OA.uninova.pt

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | Date | Divisions | WoS Indexed | WoS Citations | No Grouping
Number of items: 257.

Article

Gasmi, Maroua and Mosbahi, Olfa and Khalgui, Mohamed and Gomes, Luís and Li, Zhiwu (2016) R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp. 1-14. ISSN 2168-2216. eISSN 2168-2232. URL: http://dx.doi.org/10.1109/TSMC.2016.2625817.

Rocha, José-Inácio and Dias, Octávio Páscoa and Gomes, Luís (2015) Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”. Journal of Signal Processing Systems, 81 (1), pp. 129-133. ISSN 1939-8018. eISSN 1939-8115. URL: http://dx.doi.org/10.1007/s11265-015-0977-5.

Contreras, Javier and Tornero, Josep and Ferreira, Isabel and Martins, Rodrigo and Gomes, Luís and Fortunato, Elvira (2015) Simulated and Real Sheet-of-Light 3D Object Scanning Using a-Si:H Thin Film PSD Arrays. Sensors, 15 (12), pp. 29938-29949. eISSN 1424-8220. URL: http://dx.doi.org/10.3390/s151229779.

Moutinho, Filipe and Gomes, Luís (2014) Asynchronous-channels within Petri net based GALS distributed embedded systems modeling. IEEE Transactions on Industrial Informatics, p. 1. ISSN 1551-3203. eISSN 1941-0050. URL: http://dx.doi.org/10.1109/TII.2014.2341933.

Pereira, Fernando and Gomes, Luís and Redondo, Luis M. (2014) Multifunctional Controller Architecture for Solid-State Marx Modulator Based on FPGA. IEEE Transactions on Plasma Science, 42 (10), pp. 2991-2997. ISSN 0093-3813. eISSN 1939-9375. URL: http://dx.doi.org/10.1109/TPS.2014.2320409.

Dezani, Henrique and Bassi, Regiane D.S. and Marranghello, Norian and Gomes, Luís and Damiani, Furio and Nunes da Silva, Ivan (2014) Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. Neurocomputing, 124, pp. 162-167. ISSN 0925-2312. URL: http://dx.doi.org/10.1016/j.neucom.2013.07.015.

Campos-Rebelo, Rogerio and Silva, Edgar M. and Moutinho, Filipe and Maló, Pedro and Costa, Anikó and Gomes, Luís (2014) Suporte de Comunicação para Controladores Distribuídos Modelados com Redes de Petri. X Jornadas sobre Sistemas Reconfiguráveis, p. 61.

Contreras, Javier and Martins, Rodrigo and Wojcik, Pawel and Filonovich, Sergej and Aguas, Hugo and Gomes, Luís and Fortunato, Elvira and Ferreira, Isabel (2013) Color sensing ability of an amorphous silicon position sensitive detector array system. Sensors and Actuators A: Physical. ISSN 0924-4247. URL: http://dx.doi.org/10.1016/j.sna.2013.10.017.

Barros, João Paulo and Gomes, Luís and Garcia, Luís (2013) A Proposal for the Description of Individual Course Units. International Journal of Engineering Pedagogy (iJEP), 3 (S1). eISSN 2192-4880. URL: http://dx.doi.org/10.3991/ijep.v3iS1.2420.

Abdollahvand, Somayeh and Goes, João and Paulino, Nuno and Gomes, Luís (2012) Polyphase Comb Filter Based on Dispatching Input Bit-stream and Interlaying Multiplexer Techniques for ΔΣ ADCs. International Journal of Microelectronics and Computer Science, 3 (4), pp. 152-158. ISSN 2080-8755.

Contreras, Javier and Gomes, Luís and Filonovich, Sergej and Correia, Nuno and Fortunato, Elvira and Martins, Rodrigo and Ferreira, Isabel (2012) 3D scanning characteristics of an amorphous silicon position sensitive detector array system. Optics Express, 20 (4), pp. 4583-4602. eISSN 1094-4087. URL: http://dx.doi.org/10.1364/OE.20.004583.

Rodriguez-Andina, Juan J. and Gomes, L. and Bogosyan, Seta (2010) Current Trends in Industrial Electronics Education. IEEE Transactions on Industrial Electronics, 57 (10), pp. 3245-3252. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2010.2057235. (ISI Web of Science).

Gomes, Luís (2010) In Memoriam: Prof. Carl Adam Petri. IEEE Industrial Electronics Magazine, 4 (4), p. 52. ISSN 1932-4529. URL: http://dx.doi.org/10.1109/MIE.2010.938723. (ISI Web of Science).

Gomes, L. and Lourenco, J. (2010) Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Transactions on Industrial Electronics, pp. 1806-1813. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2009.2031188. (ISI Web of Science, Citations: 2).

Barbosa, P. and Ramalho, F. and Figueiredo, J. and Junior, A. and Costa, Anikó and Gomes, Luís (2009) Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, 15 (11), pp. 2196-2224. ISSN 0948-695X. (ISI Web of Science, Citations: 3).

Gomes, Luís and Bogosyan, Seta (2009) Current Trends in Remote Laboratories. IEEE Transactions on Industrial Electronics, 56 (12), pp. 4744-4756. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2009.2033293. (ISI Web of Science, Citations: 14).

Barros, João and Gomes, Luís (2007) On the Use of Programming Languages for Textual Specification of Petri Net Models. Petri Net Newsletter, 73. ISSN 0931-1084.

Gomes, Luís and Barros, João (2005) Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics, 1 (2), pp. 112-123. (ISI Web of Science, Citations: 20).

Barros, João and Gomes, Luís (2004) On the Use of Coloured Petri nets for the Object Oriented Design. Lecture Notes in Computer Science LNCS 3099, pp. 117-136. ISSN 0302-9743. (ISI Web of Science, Citations: 1).

Gomes, Luís and Steiger-Garção, Adolfo (1999) Sistema distribuido para monitorización y control integrado de edificios. Informes de la construcción, 50 (459), pp. 35-42.

Gomes, Luís and Steiger-Garção, Adolfo and Gama, L. and Correia, N. (1993) Programação de controladores utilizando redes de Petri. Ingenium (72), pp. 43-52.

Gomes, Luís and Steiger-Garção, Adolfo (1992) Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa. Revista Robótica e Automatização (10).

Book

Moutinho, Filipe and Gomes, Luís (2016) Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems. SpringerBriefs in Electrical and Computer Engineering, 150 . Springer. ISBN 978-3-319-20821-3. eISBN 978-3-319-20822-0. ISSN 2191-8112. eISSN 2191-8120. URL: http://dx.doi.org/10.1007/978-3-319-20822-0.

Gomes, Luís and Fernandes, J. (2010) Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global’s. ISBN 978-1-60566-750-8. eISBN 978-1-60566-751-5.

Gomes, Luís and Fernandes, João M. (2009) Behavioral Modeling for Embedded Systems and Technologies. IGI GLOBAL. ISBN 9781605667508. eISBN 9781605667515. URL: http://dx.doi.org/10.4018/978-1-60566-750-8.

Moraru, Sorin-Aures and Borza, Paul N. and Gomes, Luís and Barros, João and Costa, Anikó (2002) Preparatory Module Course. Editura Lux Libris, Brasov, Romania. ISBN 973-9458-23-8.

Yakovlev, A and Gomes, Luís and Lavagno, L (2000) Hardware Design and Petri Nets. Springer. ISBN 978-0-7923-7791-5.

Book Section

Moutinho, Filipe and Gomes, Luís (2016) Conclusions and Future Work. In: Distributed Embedded Controller Development with Petri Nets. SpringerBriefs in Electrical and Computer Engineering, 150 . Springer, pp. 69-72. ISBN 978-3-319-20821-3. eISBN 978-3-319-20822-0. ISSN 2191-8112. eISSN 2191-8120. URL: http://dx.doi.org/10.1007/978-3-319-20822-0_5.

Moutinho, Filipe and Gomes, Luís (2016) Development of Distributed Embedded Controllers. In: Distributed Embedded Controller Development with Petri Nets. SpringerBriefs in Electrical and Computer Engineering, 150 . Springer, pp. 19-41. ISBN 978-3-319-20821-3. eISBN 978-3-319-20822-0. ISSN 2191-8112. eISSN 2191-8120. URL: http://dx.doi.org/10.1007/978-3-319-20822-0_3.

Campos-Rebelo, Rogerio and Costa, A. and Gomes, L. (2014) Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets. In: Human-Computer Systems Interaction: Backgrounds and Applications 3. Advances in Intelligent Systems and Computing, 300 . Springer International Publishing, Switzerland, pp. 39-50. ISBN 978-3-319-08490-9. eISBN 978-3-319-08491-6. ISSN 2194-5357. eISSN 2194-5365. URL: http://dx.doi.org/10.1007/978-3-319-08491-6_4.

Costa, Anikó and Barbosa, Paulo E. S. and Moutinho, Filipe and Pereira, Fernando and Ramalho, Franklin and Figueiredo, Jorge C. A. and Gomes, Luís (2013) MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Formal Methods in Manufacturing Systems. IGI Global, pp. 112-135. ISBN 9781466640344. eISBN 9781466640351. URL: http://dx.doi.org/10.4018/978-1-4666-4034-4.ch006.

Gomes, Luís and Costa, Anikó and Barros, João Paulo and Moutinho, Filipe and Pereira, Fernando (2013) Merging and Splitting Petri Net Models within Distributed Embedded Controller Design. In: Embedded Computing Systems. IGI Global , pp. 160-183. ISBN 9781466639225. eISBN 9781466639232. URL: http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009.

Gomes, Luís and Coito, Fernando and Costa, Anikó and Palma, Luís B. (2007) Teaching, Learning, and Remote Laboratories. In: Gomes, Luís and Garcia-Zubia, Javier, (eds.). Advances on remote laboratories and e-learning experiences. University of Deusto, Bilbao, Spain, pp. 189-204. ISBN 978-84-9830-077-2.

Gomes, Luís and Costa, Anikó (2005) Hardware-level Design Language. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 84.1-84.18. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Modeling Formalisms for Embedded Systems Design. In: Zurawski, Richard, (ed.). Embedded Systems Handbook. CRC, 5.1-5.34. ISBN 0849328241.

Gomes, Luís and Barros, João (2005) Models of Computation for Embedded Systems. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 83.1-83.17. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations. In: Adamski, Marian and Karatkevich, Andrei and Wegrzyn, Marek, (eds.). Design of embedded control systems. Springer, pp. 153-166. ISBN 10: 0-387-23630-9; 13: 978-0387-23630-8.

Conference or Workshop Item

Gomes, Luís and Costa, Anikó and Fernandes, David and Marques, Hugo and Anjos, Filipe (2017) Improving Instrumentation Support and Control Strategies for Autonomous Sailboats in a Regatta Contest. [Paper]. In: 9th International Robotic Sailing Conference, 5th to 10th of September 2016, Viana do Castelo, Portugal. URL: http://dx.doi.org/10.1007/978-3-319-45453-5_4.

Pereira, Fernando and Gomes, Luís (2016) Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. [Paper]. In: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, April 11-13, 2016, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-319-31165-4_7.

Ribeiro, José and Melício, Fernando and Gomes, Luís (2016) Extending IOPT Nets with a Module Construct. [Paper]. In: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, April 11-13, 2016, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-319-31165-4_9.

Gomes, Luís (2016) Model-based development of distributed embedded controllers - rapid prototyping using IOPT-tools and FPGAs -. [Paper]. In: 2016 International Conference on FPGA Reconfiguration for General-Purpose Computing (FPGA4GPC), 9-10 May 2016 , Helmut Schmidt University Hamburg, Germany. URL: http://dx.doi.org/10.1109/FPGA4GPC.2016.7518526.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2015) Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. [Paper]. In: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, April 13-15, 2015, Costa de Caparica, Portugal,. URL: http://dx.doi.org/10.1007/978-3-319-16766-4_16.

Gomes, Luís and Costa, Anikó and Moutinho, Filipe and Mota, Ricardo (2015) Attracting students to engineering through autonomous sailing yacht development. [Paper]. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 17-19 March 2015 , Seville. URL: http://dx.doi.org/10.1109/ICIT.2015.7125579.

Pereira, Fernando and Gomes, Luís (2015) Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. [Paper]. In: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, April 13-15, 2015, Costa de Caparica, Portugal,. URL: http://dx.doi.org/10.1007/978-3-319-16766-4_18.

Brito, Isabel Sofia and Barros, João Paulo and Gomes, Luís (2015) Controller design and implementation: An approach based on problem frames and Petri Net models. [Paper]. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 22-24 July 2015 , Cambridge. URL: http://dx.doi.org/10.1109/INDIN.2015.7281849.

Moutinho, Filipe and Ribeiro, Jose and Gomes, Luís (2015) Distributed controllers modeling through Petri nets with multi-asynchronous-channels. [Paper]. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 17-19 March 2015 , Seville. URL: http://dx.doi.org/10.1109/ICIT.2015.7125319.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2015) Event life time in detection of sequences of events. [Paper]. In: 2015 IEEE International Conference on Industrial Technology (ICIT), 17-19 March 2015 , Seville. URL: http://dx.doi.org/10.1109/ICIT.2015.7125562.

Ribeiro, Jose and Melicio, Fernando and Gomes, Luís (2015) High-level Petri nets modules for embedded controllers design. [Paper]. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 22-24 July 2015 , Cambridge. URL: http://dx.doi.org/10.1109/INDIN.2015.7281851.

Silva, Edgar M. and Gomes, Luís and Rodrigues, João and Maló, Pedro (2015) A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation. [Paper]. In: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, April 13-15, 2015, Costa de Caparica, Portugal,. URL: http://dx.doi.org/10.1007/978-3-319-16766-4_37.

Gomes, Luís and Santos, Miguel and Pereira, Thiago and Costa, Anikó (2015) Model-Based Development of an Autonomous Sailing Yacht Controller. [Paper]. In: 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 8-10 April 2015 , Vila Real . URL: http://dx.doi.org/10.1109/ICARSC.2015.20.

Gasmi, Maroua and Mosbahi, Olfa and Khalgui, Mohamed and Gomes, Luís (2015) PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. [Paper]. In: 14th International Conference, SoMet 2015, September 15-17, 2015, Naples, Italy. URL: http://dx.doi.org/10.1007/978-3-319-22689-7_5.

Gasmi, Maroua and Mosbahi, Olfa and Khalgui, Mohamed and Gomes, Luís (2015) Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. [Paper]. In: 12th International Conference, ICINCO 2015, 21-23 July, 2015, Colmar, Alsace, France, . URL: http://dx.doi.org/10.1007/978-3-319-26453-0_2.

Pereira, Fernando and Melo, Arildo and Gomes, Luís (2015) Remote operation of embedded controllers designed using IOPT Petri-nets. [Paper]. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 22-24 July 2015 , Cambridge. URL: http://dx.doi.org/10.1109/INDIN.2015.7281797.

Martins, João and Camarinha-Matos, Luís and Goes, João and Gomes, Luís (2015) Towards Cloud-Based Engineering Systems. [Paper]. In: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, April 13-15, 2015, Costa de Caparica, Portugal,. URL: http://dx.doi.org/10.1007/978-3-319-16766-4_1.

Abdollahvand, Somayeh and Paulino, Nuno and Gomes, Luís and Goes, João (2015) A current-mode VCO-based amplifier-less 2nd-order ΔΣ modulator with over 85dB SNDR. [Paper]. In: 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 24-27 May 2015, Lisbon. URL: http://dx.doi.org/10.1109/ISCAS.2015.7169077.

Abdollahvand, Somayeh and Oliveira, Luís B. and Gomes, Luís and Goes, João (2015) A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques. [Paper]. In: 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 24-27 May 2015, Lisbon. URL: http://dx.doi.org/10.1109/ISCAS.2015.7168878.

Gomes, Luís and Costa, Anikó (2014) Cloud based development framework using IOPT Petri nets for embedded systems teaching. [Paper]. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), 1-4 June 2014 , Istanbul. URL: http://dx.doi.org/10.1109/ISIE.2014.6864959.

Silva, Edgar M. and Campos-Rebelo, Rogerio and Hirashima, Takahiro and Moutinho, Filipe and Maló, Pedro and Costa, Anikó and Gomes, Luís (2014) Communication support for Petri nets based distributed controllers. [Paper]. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), 1-4 June 2014, Istanbul. URL: http://dx.doi.org/10.1109/ISIE.2014.6864769.

Campos-Rebelo, Rogério and Costa, Anikó and Gomes, Luís (2014) Elementary Events for Modeling of Human-System Interactions with Petri Net Models. [Paper]. In: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, April 7-9, 2014, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-54734-8_25.

Gomes, Luís and Moutinho, Filipe and Pereira, Fernando and Ribeiro, Jose and Costa, Anikó and Barros, João Paulo (2014) Extending input-output place-transition Petri nets for distributed controller systems development. [Paper]. In: 2014 International Conference on Mechatronics and Control (ICMC), 3-5 July 2014 , Jinzhou . URL: http://dx.doi.org/10.1109/ICMC.2014.7231723.

Pais, Rui and Barros, João Paulo and Gomes, Luís (2014) From SysML State Machines to Petri Nets Using ATL Transformations. [Paper]. In: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, April 7-9, 2014, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-54734-8_26.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2014) IOPT-tools — Towards cloud design automation of digital controllers with Petri nets. [Paper]. In: 2014 International Conference on Mechatronics and Control (ICMC), 3-5 July 2014 , Jinzhou . URL: http://dx.doi.org/10.1109/ICMC.2014.7232002.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2014) Output events for human-system interaction modeling. [Paper]. In: 2014 7th International Conference on Human System Interactions (HSI), 16-18 June 2014, Costa da Caparica . URL: http://dx.doi.org/10.1109/HSI.2014.6860486.

Gomes, Luís and Khalgui, Mohamed and Mosbahi, Olfa and Gasmi, Maroua (2014) Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. [Paper]. In: Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics. URL: http://dx.doi.org/10.5220/0005060900420052.

Barros, João Paulo and Brito, Isabel Sofia and Gomes, Luís (2014) Requirements specification for controller design — From use cases to IOPT net models. [Paper]. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 27-30 July 2014, Porto Alegre . URL: http://dx.doi.org/10.1109/INDIN.2014.6945509.

Rocha, José-Inácio and Páscoa Dias, Octávio and Gomes, Luís (2014) Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. [Abstract]. In: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, April 7-9, 2014, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-54734-8_27.

Camarinha-Matos, Luis M. and Goes, João and Gomes, Luís and Martins, João (2014) Towards Collective Awareness Systems. [Paper]. In: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, April 7-9, 2014, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-54734-8_1.

Barros, João Paulo and Gomes, Luís (2014) Towards the use of Place/Transition net tools for analysis of IOPT models. [Paper]. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), 1-4 June 2014, Istanbul. URL: http://dx.doi.org/10.1109/ISIE.2014.6864774.

Silva, Edgar M. and Maló, Pedro and Gomes, Luís (2014) A platform independent communication support for distributed controller systems modelled by Petri nets. [Paper]. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 27-30 July 2014 , Porto Alegre . URL: http://dx.doi.org/10.1109/INDIN.2014.6945489.

Moutinho, Filipe and Gomes, Luís (2013) Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. [Paper]. In: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, APR 15-17, 2013 , Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-37291-9_24.

Pereira, Fernando and Gomes, Luís (2013) Automatic synthesis of VHDL hardware components from IOPT Petri net models. [Paper]. In: IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 10-13 Nov. 2013, Vienna, Austria . URL: http://dx.doi.org/10.1109/IECON.2013.6699475.

Moutinho, Filipe and Pimenta, Jose and Gomes, Luís (2013) Configuring communication nodes for networked embedded systems specified by Petri nets. [Paper]. In: 2013 IEEE International Symposium on Industrial Electronics, 28-31 May 2013, Taipei, Taiwan . URL: http://dx.doi.org/10.1109/ISIE.2013.6563867.

Camarinha-Matos, Luis M. and Goes, João and Gomes, Luís and Martins, João (2013) Contributing to the Internet of Things. [Paper]. In: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, APR 15-17, 2013 , Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-37291-9_1.

Moutinho, Filipe and Gomes, Luís (2013) Distributed embedded systems design using Petri nets. [Paper]. In: 2013 23rd International Conference on Field programmable Logic and Applications, 2-4 Sept. 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/FPL.2013.6645617.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2013) Events for human-system interaction modeling with IOPT Petri nets. [Paper]. In: 2013 6th International Conference on Human System Interactions (HSI), 6-8 June 2013 , Sopot. URL: http://dx.doi.org/10.1109/HSI.2013.6577802.

Rocha, Jose-Inacio and Dias, Octavio Pascoa and Gomes, Luís (2013) Exploiting dataflows and Petri nets mappings. [Paper]. In: 2013 11th IEEE International Conference on Industrial Informatics (INDIN), 29-31 July 2013, Bochum, Germany . URL: http://dx.doi.org/10.1109/INDIN.2013.6622950.

Pereira, Fernando and Gomes, Luís (2013) FPGA based speed control of Brushless DC Motors using IOPT Petri Net models. [Paper]. In: 2013 IEEE International Conference on Industrial Technology (ICIT), 225-28 Feb. 2013, Cape Town. URL: http://dx.doi.org/10.1109/ICIT.2013.6505810.

Gomes, Luís and Moutinho, Filipe and Pereira, Fernando (2013) IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. [Paper]. In: 2013 23rd International Conference on Field programmable Logic and Applications, 2-4 Sept. 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/FPL.2013.6645633.

Gomes, Luís and Monmasson, Eric and Cirstea, Marcian and Rodriguez-Andina, Juan J. (2013) Industrial electronic control: FPGAs and embedded systems solutions. [Paper]. In: IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 10-13 Nov. 2013, Vienna, Austria . URL: http://dx.doi.org/10.1109/IECON.2013.6699112.

Pereira, Fernando and Gomes, Luís (2013) Minimalist Architecture to Generate Embedded System Web User Interfaces. [Paper]. In: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, APR 15-17, 2013 , Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-37291-9_26.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2013) On Structuring Events for IOPT Net Models. [Paper]. In: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, APR 15-17, 2013 , Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-37291-9_25.

Moutinho, Filipe and Gomes, Luís (2013) Towards distributed execution of Petri net conflicts through model transformation. [Paper]. In: 2013 IEEE International Conference on Industrial Technology (ICIT), 225-28 Feb. 2013, Cape Town. URL: http://dx.doi.org/10.1109/ICIT.2013.6505879.

Barbosa, Paulo E. S. and Morais, Misael and Galdino, Katia and Andrade, Melquisedec and Gomes, Luís and Moutinho, Filipe and de Figueiredo, Jorge C. A. (2013) Towards medical device behavioural validation using Petri nets. [Paper]. In: Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 20-22 June 2013, Porto, Portugal. URL: http://dx.doi.org/10.1109/CBMS.2013.6627756.

Moutinho, Filipe and Pimenta, Jose and Gomes, Luís (2012) Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri. [Paper]. In: REC’2012 – VIII Jornadas sobre Sistemas Reconfigurávei.

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2012) Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society. URL: http://dx.doi.org/10.1109/IECON.2012.6389492.

Moutinho, Filipe and Gomes, Luís and Costa, Anikó and Pimenta, Jose (2012) Asynchronous wrappers configuration within GALS systems specified by Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237288.

Moutinho, Filipe and Gomes, Luís and Costa, Anikó and Pimenta, Jose (2012) Asynchronous wrappers configuration within GALS systems specified by Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237288.

Moutinho, Filipe and Gomes, Luís (2012) Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_16.

Dezani, Henrique and Gomes, Luís and Damiani, Furio and Marranghello, Norian (2012) Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389412.

Moutinho, Filipe and Gomes, Luís (2012) Extending a net splitting operation for decomposition of high-level Petri nets. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389080.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2012) Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_17.

Dezani, Henrique and Gomes, Luís and Damiani, Furio and Marranghello, Norian (2012) Finding best urban routes based on analyses of high level and IOPT Petri net models. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389079.

Abdollahvand, Somayeh and Goes, João and Oliveira, Luís B. and Gomes, Luís and Paulino, Nuno (2012) Low phase-noise temperature compensated self-biased ring oscillator. [Paper]. In: 2012 IEEE International Symposium on Circuits and Systems, 20-23 May 2012, Seoul. URL: http://dx.doi.org/10.1109/ISCAS.2012.6271805.

Costa, Anikó and Gomes, Luís and Barros, João Paulo (2012) Model composition by reusing Petri net based modules. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389078.

Costa, Anikó and Gomes, Luís and Barros, João Paulo (2012) Model composition by reusing Petri net based modules. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389078.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) Model-checking framework for embedded systems controllers development using IOPT Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237295.

Barros, João Paulo and Gomes, Luís and Costa, Anikó (2012) On the verification of non-autonomous Petri net models using autonomous petri net tools. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389077.

Barros, João Paulo and Gomes, Luís and Costa, Anikó (2012) On the verification of non-autonomous Petri net models using autonomous petri net tools. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389077.

Camarinha-Matos, Luis M. and Goes, João and Gomes, Luís and Martins, João (2012) Raising Awareness for Value Creation Potential in Engineering Research. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_1.

Moutinho, F. and Gomes, Luís (2012) State space generation for Petri nets-based GALS systems. [Paper]. In: 2012 IEEE International Conference on Industrial Technology, 19-21 March 2012, Athens. URL: http://dx.doi.org/10.1109/ICIT.2012.6210007.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_14.

Barros, João Paulo and Gomes, Luís and Garcia, Luis (2012) Towards a complete description for individual course units: A follow-up to the Bologna proposals. [Paper]. In: 2012 15th International Conference on Interactive Collaborative Learning (ICL), 26-28 Sept. 2012, Villach. URL: http://dx.doi.org/10.1109/ICL.2012.6402207.

Pereira, Fernando and Moutinho, Filipe and Ribeiro, Jose and Gomes, Luís (2012) Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389075.

Fodor, Janos and Gomes, Luís (2012) Welcome message from the general chairs. [Paper]. In: 2012 IEEE 16th International Conference on Intelligent Engineering Systems (INES), 13-15 June 2012, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INES.2012.6249905.

Pereira, Fernando and Gomes, Luís and Moutinho, Filipe (2011) Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_27. (ISI Web of Science).

Moutinho, Filipe and Pereira, Fernando and Gomes, Luís (2011) Automatic generation of graphical user interfaces for VHDL based controllers. [Paper]. In: 2011 IEEE International Symposium on Industrial Electronics, 27-30 June 2011, Gdansk, Poland. URL: http://dx.doi.org/10.1109/ISIE.2011.5984381. (ISI Web of Science).

Guerreiro, Hugo and Campos-Rebelo, Rogerio and Gomes, Luís (2011) Bridge expansion joints monitoring system. [Paper]. In: 2011 15th IEEE International Conference on Intelligent Engineering Systems, 23-25 June 2011, Poprad, Slovakia. URL: http://dx.doi.org/10.1109/INES.2011.5954711.

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2011) Dataflow model property verification using Petri net translation techniques. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034993. (ISI Web of Science).

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Pereira, Fernando and Gomes, Luís and Redondo, Luis (2011) FPGA controller for power converters with integrated oscilloscope and graphical user interface. [Paper]. In: 2011 International Conference on Power Engineering, Energy and Electrical Drives, 11-13 May 2011, Torremolinos, Malaga, Spain. URL: http://dx.doi.org/10.1109/PowerEng.2011.6036436.

Campos-Rebelo, Rogerio and Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2011) From IOPT Petri nets to C: An automatic code generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034908. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) From UML state machines to Petri nets: History attribute translation strategies. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119924.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Campos-Rebelo, Rogerio (2011) IOPT Petri net state space generation algorithm with maximal-step execution semantics. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034958. (ISI Web of Science).

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Ribeiro, Jose and Campos-Rebelo, Rogerio (2011) An IOPT-net state-space generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034907. (ISI Web of Science).

Ferreira, Ricardo and Costa, Anikó and Gomes, Luís (2011) Intra- and inter-circuit network for Petri nets based components. [Paper]. In: 2011 IEEE International Symposium on Industrial Electronics, 27-30 June 2011, Gdansk, Poland. URL: http://dx.doi.org/10.1109/ISIE.2011.5984387. (ISI Web of Science).

Reis, Mauro and Campos-Rebelo, Rogerio and Gomes, Luís (2011) Introducing model-based development within the reengineering of a Smart House controllers system. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034987. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2011) Petri net verification techniques on Synchronous Dataflow models. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119927.

Moutinho, Filipe and Gomes, Luís (2011) State space generation algorithm for gals systems modeled by IOPT Petri nets. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119762. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Costa, Anikó and Gomes, Luís (2011) System development using Petri net based modules. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034990. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_25. (ISI Web of Science).

Abdollahvand, Somayeh and Goes, João and Paulino, Nuno and Nowacki, Blazej and Gomes, Luís (2011) A polyphase comb filter using interlaying multiplexers for high-speed single-bit sigma-delta modulators. [Paper]. In: 18th International Conference Mixed Design of Integrated Circuits and Systems (MIXDES), 16-18 June 2011, Gliwice.

Barbosa, Paulo E. S. and Costa, Anikó and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Junior, Antônio (2010) A MDA-based Contribution for Integrating Web Services within Embedded System’s Design. [Paper]. In: 8th IEEE International Conference on Industrial Informatics INDIN’2010, 13-16 July, 2010, Osaka, Japan. URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumb....

Jorge, André and Guerreiro, João and Pereira, Pedro and Martins, João and Gomes, Luís (2010) Energy Consumption Monitoring System for Large Complexes. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_46. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).

Ferreira, Ricardo and Gomes, Luís and Costa, Anikó (2010) Interligação intra- e inter-circuito de componentes especificados com Redes de Petri. [Paper]. In: REC’2010 – VI Jornadas sobre Sistemas Reconfiguráveis, 4-5 Fevereiro 2010, IEETA, Universidade de Aveiro, Aveiro, Portugal.

Barbosa, Paulo E. S. and Costa, Anikó and Gomes, Luís and Ramalho, Franklin and de Figueiredo, Jorge C. A. and Junior, Antonio (2010) A MDA-based contribution for integrating web services within embedded system's design. [Paper]. In: 2010 8th IEEE International Conference on Industrial Informatics, 13-16 July 2010 , Osaka . URL: http://dx.doi.org/10.1109/INDIN.2010.5549679.

Costa, A. and Barbosa, P. and Gomes, L. and Ramalho, Franklin and Figueiredo, Jorge and Junior, Antônio (2010) Properties Preservation in Distributed Execution of Petri Nets Models. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_26. (ISI Web of Science).

Machado, Ricardo J and Fernandes, João M. and Barros, João Paulo and Gomes, L. (2010) Scenario-based Modeling in Industrial Information Systems. [Paper]. In: DIPES’2010 - IFIP Conference on Distributed and Parallel Embedded Systems, September 20th - 23rd, 2010, Brisbane, Australia. URL: http://www.springerlink.com/content/8u0324ux1x4312.... (ISI Web of Science).

Barbosa, Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Gomes, Luís and Junior, Antonio (2010) Semantic Equations for Formal Models in the Model-Driven Architecture. [Paper]. In: DoCEIS’10 – Doctoral Conference on Computing, Electrical and Industrial Systems, February 22-24, 2010, Caparica, Lisbon, Portugal. (ISI Web of Science, Citations: 1).

Figueiredo, M. and Michalak, T. and Goes, J. and Gomes, L. and Sniatala, P. (2009) Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits. [Paper]. In: Electronics, Circuits, and Systems, 2009. ICECS 2009. 16th IEEE International Conference on.

Ngolo, M. and Palma, L.B. and Coito, F. and Gomes, L. and Costa, A. (2009) Architecture for remote laboratories based on REST web services. [Paper]. In: 2009 3rd IEEE International Conference on E-Learning in Industrial Electronics (ICELIE), 3-5 Nov. 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413216. (ISI Web of Science).

Oliveira, J.P. and Costa, Anikó and Gomes, Luís (2009) Configurador de plataformas específicas em Co-design de Sistemas Embutidos. [Paper]. In: REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, 5-6 Fevereiro 2009, Monte de Caparica.

Scutaru, Gh. and Cocorada, E. and Gomes, L. and Scapolla, A.M. and Mustica, M. and Pavalache, M. and Kristaly, D. and Cocorada, S. (2009) Enhanced Individualized Learning Environment's impact on the learning process. [Paper]. In: 2009 3rd International Conference on Signal Processing and Communication Systems, 3-5 November, 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413212.

Moutinho, Filipe and Gomes, Luís (2009) From models to controllers integrating graphical animation in FPGA through automatic code generation. [Paper]. In: 2009 IEEE International Symposium on Industrial Electronics, 5-8 July 2009, Seoul, Korea. URL: http://dx.doi.org/10.1109/ISIE.2009.5218315. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís (2009) Geração Automática de Controladores em FPGA Integrando Animação Gráfica. [Paper]. In: REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, 5-6 Fevereiro 2009, Monte de Caparica.

Barbosa, Paulo E. S. and Costa, Anikó and de Figueiredo, Jorge C. A. and Ramalho, Franklin and Gomes, Luis and dos S., Antonio D. (2009) Modeling complex Petri nets operations in the Model-Driven Architecture. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414909. (ISI Web of Science).

Gomes, L. and Barros, J. (2009) PNML based composition in non-autonomous Petri net models. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414908. (ISI Web of Science).

Bukowiec, Arkadiusz and Gomes, Luís (2009) Partitioning of Mealy Finite State Machines. [Paper]. In: DESDes’09 – 4th IFAC Workshop on Discrete-Event System Design, 6-8 October 2009, Gandia, Beach, Valencia, Spain.

Costa, Aniko and Gomes, Luís (2009) Petri net partitioning using net splitting operation. [Paper]. In: 2009 7th IEEE International Conference on Industrial Informatics, 23-26 June 2009, Cardiff, UK. URL: http://dx.doi.org/10.1109/INDIN.2009.5195804. (ISI Web of Science, Citations: 1).

Martins, J. F. and Fernao Pires, V. and Gomes, Luis and Pascoa Dias, O. (2009) Plug-in electric vehicles integration with renewable energy building facility - building/vehicle interface. [Paper]. In: 2009 International Conference on Power Engineering, Energy and Electrical Drives, 18-20 March 2009, Lisbon. URL: http://dx.doi.org/10.1109/POWERENG.2009.4915258.

Gomes, L. and Patricio, G. and Ferreira, R. and Costa, A. (2009) Remote experimentation for introductory digital logic course. [Paper]. In: 2009 3rd IEEE International Conference on E-Learning in Industrial Electronics (ICELIE), 3-5 November, 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413204. (ISI Web of Science).

Patricio, Gustavo and Gomes, Luis (2009) Smart house monitoring and actuating system development using automatic code generation. [Paper]. In: 2009 7th IEEE International Conference on Industrial Informatics, 24-26 June 2009, Cardiff, UK. URL: http://dx.doi.org/10.1109/INDIN.2009.5195813. (ISI Web of Science).

Lourenco, João and Gomes, Luís (2008) Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. [Paper]. In: 29th international conference on Applications and Theory of Petri Nets, June 23-27, 2008, Xi'an, China. URL: http://dx.doi.org/10.1007/978-3-540-68746-7_27. (ISI Web of Science, Citations: 1).

Gomes, Luís and Costa, Anikó (2008) Co-design techniques within digital system design curricula. [Paper]. In: 7th European Workshop on Microelectronics Education (EWME 2008), 28-30 May 2008, Budapeste.

Martins, Goncalo and Barata, Manuel and Gomes, Luís (2008) Low cost method to reproduce sound with FPGA. [Paper]. In: 2008 IEEE International Symposium on Industrial Electronics, 30 Jun - 2 Jul 2008, Cambridge. URL: http://dx.doi.org/10.1109/ISIE.2008.4677050. (ISI Web of Science).

Costa, Anikó and Gomes, Luís and Barros, João and Oliveira, J.P. and Reis, Tiago M. (2008) Petri nets tools framework supporting FPGA-based controller implementations. [Paper]. In: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON’2008), 10-13 Nov 2008, Orlando. (ISI Web of Science).

Gomes, Luís and Lourenco, João (2008) Petri nets-based automatic generation GUI tools for embedded systems. [Paper]. In: 2008 Conference on Human System Interactions, 25-27 May 2008, Krakow - Polónia. URL: http://dx.doi.org/10.1109/HSI.2008.4581447. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Barros, João and Lima, P. (2008) Redes de Petri e geração de código VHDL. [Paper]. In: IV Jornadas sobre Sistemas Reconfiguráveis (REC’2008), 7-8 Feb 2008, Braga.

Coito, F. and Gomes, Luís and Costa, Anikó and Palma, Luís (2008) The Use of Remote Laboratory Activities within the Learning Process. [Paper]. In: 8th Portuguese Conference on Automatic Control (CONTROLO’2008), 21-23 Jul 2008, Vila Real.

Gomes, Luís and Costa, Anikó and Barros, João and Lima, Paulo (2007) From Petri net models to VHDL implementation of digital controllers. [Paper]. In: IECON’2007 - The 33rd Annual Conference of the IEEE Industrial Electronics Society, November 5-8, 2007, The Grand Hotel, Taipei - Taiwan. (ISI Web of Science).

Nunes, Ricardo and Gomes, Luís and Barros, João (2007) A Graphical Editor for the Input-Output Place-Transition Petri Net Class. [Paper]. In: ETFA’2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007, Patras - Greece. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Nunes, Ricardo (2007) The Input-Output Place-Transition Petri Net Class and Associated Tools. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science, Citations: 1).

Costa, Anikó and Gomes, Luís (2007) Module Composition within Petri Nets Model-based Development. [Paper]. In: SIES’2007 – 2nd IEEE International Symposium on Industrial Embedded Systems, 4-6 July 2007, Hotel Costa da Caparica, Lisboa, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2007) Partição de redes de Petri integrada em metodologia de co-design de sistemas embutidos. [Paper]. In: REC’2007 – III Jornadas sobre Sistemas Reconfiguráveis, 8-9 Fevereiro 2007, Instituto Superior Técnico, Lisboa, Portugal.

Gomes, Luís and Costa, Anikó and Barros, João and Pais, Rui and Rodrigues, Tiago and Ferreira, Richard (2007) Petri Net based Building Automation and Monitoring System. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó (2007) Petri Nets Tools and Embedded Systems Design. [Paper]. In: PNSE'07 - International Workshop on Petri Nets and Software Engineering, June 25-26, 2007, Siedlce - Poland.

Costa, Anikó and Gomes, Luís (2007) Petri net Splitting Operation within Embedded Systems Co-design. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Coito, Fernando and Costa, Anikó and Palma, Luís and Almeida, Paulo (2007) Remote Laboratories support within Teaching and Learning Activities. [Paper]. In: REV’2007 - International Conference on Remote Engineering and Virtual Instrumentation, 25-27 June 2007, University of Porto (FEUP) - Portugal.

Barros, João and Gomes, Luís (2007) Towards a Human-Usable Textual Language for Petri Nets. [Paper]. In: Workshop on Petri Net Standards 2007, 26 June 2007, Siedlce - Poland.

Gomes, Luís and Costa, Anikó (2006) Emphasizing Graphical Modeling Formalisms within Digital Systems Design Course - ICELIE’2006. [Paper]. In: 1st IEEE International Conference on e-learning in industrial electronics, 18-20 Dec 2006, Hammamet, Tunisia.

Gomes, Luís and Costa, Anikó (2006) Petri nets as supporting formalism within Embedded Systems Co-design. [Paper]. In: IES’2006 - 2006 IEEE International Symposium on Industrial Embedded Systems, 18-20 Oct 2006, Nice, France.

Scutaru, Gheorghe and Borza, Paul N. and Gomes, Luís and Tollet, Ingmar and Lahti, Seppo (2006) Knowledge Management in Virtual-Electro-Lab: Course & Remote Experiment on Home Appliance System and Peripheral Components. [Paper]. In: 35th International IGIP Symposium Proceedings – Engineering Education – The priority for global development, 18-21 Sept 2006, Tallinn, Estonia.

Costa, Anikó and Gomes, Luís and Francisco, Helder and Silva, Bruno (2006) Internal event removal in Hierarchical and Concurrent State Diagrams. [Paper]. In: DESDes’06 – 3rd IFAC Workshop on Discrete-Event System Design, 26-28 Sept 2006, Rydzyna, Polónia.

Costa, Anikó and Gomes, Luís (2006) Partitioning of Petri net models amenable for Distributed Execution. [Paper]. In: ETFA’2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation, 20-22 Sept 2006, Prague, Czech Republic. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2006) Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. [Paper]. In: ETFA’2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation, 20-22 Sep 2006, Prague, Czech Republic. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2006) On exercising hardware-software logical equivalency using FPGAs. [Paper]. In: ISIE’2006 - 2006 IEEE International Symposium on Industrial Electronics, 09-13 Jul 2006, Montreal, Canadá. (ISI Web of Science).

Barros, João and Gomes, Luís (2006) Teaching Concurrency Through Petri Nets and Model Composition. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Costa, Anikó (2006) Using Concurrency Modeling Formalisms within System-on-a-Programmable-Chip Design. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2006) Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Porto, Portugal..

Gomes, Luís and Costa, Anikó (2006) Sobre a equivalência lógica entre hardware e software. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Portugal.

Coito, Fernando and Gomes, Luís (2006) Remotos e Virtuais: situação e perspectivas no DEE da FCT da UNL. [Paper]. In: Laboratórios Remotos e Virtuais 2006, Aveiro (PT).

Lino, Rui and Gomes, Luís (2005) Detecção de falhas de sensores em sistemas de automação utilizando redes de Petri. [Paper]. In: Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC’05), 17-18 Nov 2005, Lisboa.

Gomes, Luís (2005) Programmable Logic Devices supporting Embedded System Design Curriculum. [Paper]. In: IECON’2005 – The 31st Annual Conference of the IEEE Industrial Electronics Society, 06-10 Nov 2005, Raleigh, North Carolina, USA. (ISI Web of Science).

Pais, Rui and Barros, João and Gomes, Luís (2005) A Tool for Tailored Code Generation from Petri Net Models. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Towards Usage of Formal methods within Embedded Systems Co-design. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís (2005) On conflict resolution in Petri nets models through model structuring and composition. [Paper]. In: INDIN’2005 – 3rd IEEE International Conference on Industrial Informatics, 10-12 Aug 2005, Perth, Austrália. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Meira, Paulo (2005) From Use Cases to building monitoring systems through Petri nets. [Paper]. In: ISIE’2005 - 2005 IEEE International Symposium on Industrial Electronics, 20-23 Jun 2005, Dubrovnik, Croatia. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Remote laboratory support for an introductory microprocessor course. [Paper]. In: MSE’2005 – 2005 International Conference on Microelectronic Systems Education, 12-13 Jun 2005, Anaheim, Califórnia, USA. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Teaching Formal Methods within System-on-a-Programmable-Chip Design. [Paper]. In: MSE’2005 – 2005 International Conference on Microelectronic Systems Education, 12-13 Jun 2005, Anaheim, Califórnia, USA. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Redes de Petri no ensino de sistemas digitais utilizando dispositivos reconfiguráveis. [Paper]. In: REC’2005 - Jornadas sobre Sistemas Reconfiguráveis, 21 Fev 2005, Faro, Portugal.

Gomes, Luís and Costa, Anikó (2005) Statechart based component partitioning in hardware/software co-design. [Paper]. In: REC’2005 - Jornadas sobre Sistemas Reconfiguráveis, 21 Fev 2005, Faro, Portugal.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Barros, João and Gomes, Luís (2004) A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools. [Paper]. In: CPN'04 - Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 8-11 Oct 2004, Denmark.

Gomes, Luís and Barros, João and Pais, Rui (2004) From non-autonomous Petri net models to code in embedded systems design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Gomes, Luís and Costa, Anikó (2004) Statechart based embedded systems co-design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Gomes, Luís and Costa, Anikó (2004) Embedded Systems Introductory Course supported by remote experiments. [Paper]. In: VIRTUAL-LAB’2004 – 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setúbal, Portugal.

Barros, João and Gomes, Luís and Pais, Rui and Dias, Rui (2004) From Petri nets to executable systems: an environment for code generation and analysis. [Paper]. In: ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics, 25-28 Aug 2004, Setúbal, Portugal.

Borza, Paul N. and Scutaru, Gheorghe and Gomes, Luís and Costa, Anikó and Laszlo, Lazar (2004) Implementation of a remote and virtual laboratory in the field of home appliance systems. [Paper]. In: VIRTUAL-LAB’2004 – 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setubal, Portugal.

Barros, João and Gomes, Luís (2004) Net Model Composition and Modification by Net Operations: a Pragmatic Approach. [Paper]. In: INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics, 24-26 June 2004, Berlin, Germany. (ISI Web of Science).

Barros, João and Gomes, Luís (2004) On system’s model transformation by Petri nets. [Paper]. In: CONTROLO’2004 – Sixth Portuguese Conference on Automatic Control, 07-09 June 2004, Faro, Portugal.

Barros, João and Gomes, Luís (2004) Operational PNML: Towards a PNML Support for Model Construction and Modification. [Paper]. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Bolonha, Itália.

Gomes, Luís and Barros, João and Lino, Rui (2004) Addition of fault detection capabilities in automation applications using Petri nets. [Paper]. In: ISIE’04 - 2004 IEEE International Symposium on Industrial Electronics, 04-07 May 2004, Ajjaccio, France. (ISI Web of Science).

Gomes, Luís and Borza, Paul N. and Costa, Anikó (2004) Home appliance systems and domotics course with multimedia support. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Gomes, Luís and Costa, Anikó (2004) Concurrent systems’ hardware design using Petri nets. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Gomes, Luís and Maló, Pedro and Costa, Anikó (2004) From MSI modules to microprocessors: filling the gap with programmable logic devices. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Barros, João and Gomes, Luís (2003) Actions as Activities and Activities as Petri Nets. [Paper]. In: CSDUML’2003 – Workshop on Critical Systems Development with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Barros, João and Gomes, Luís (2003) Towards the Support for Crosscutting Concerns in Activity Diagrams: a Graphical Approach. [Paper]. In: Fourth Workshop on Aspect-Oriented Modeling with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Gomes, Luís and Barros, João (2003) On Structuring Mechanisms for Petri Nets Based System Design. [Paper]. In: ETFA’2003 – 2003 IEEE Conference on Emerging Technologies and Factory Automation, 16-19 Sept 2003, Lisbon, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2003) From Use Cases to System Implementation: Statechart Based Co-design. [Paper]. In: MEMOCODE’2003 - First ACM/IEEE Conference on Formal Methods and Programming Models for Codesign, 24-26 June 2003, Mont Saint-Michel, France. (ISI Web of Science, Citations: 1).

Barros, João and Gomes, Luís (2003) Modifying Petri Net Models by Means of Crosscutting Operations. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2003) On Lifting of Statechart Structuring Mechanisms. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

González, Ignacio and Sanz, Ricardo and Doussin, Marie-Helene and Clavijo, José A. and Gomes, Luís and Zangrilli, Antonio and Hernández, Gregorio (2002) - DOTS: an experience on interoperability in power substations. [Paper]. In: 39th CIGRE Session (International Council on Large Electric Systems), 25-30 Aug 2002, Paris.

Sanz, Ricardo and González, Ignacio and Segarra, Miguel and Tagliarini, Raoul and Gomes, Luís and Hernández, Gregorio and Zangrilli, Antonio (2002) CORBA-based interoperation in substation automation systems. [Paper]. In: Preprints of the 15th Triennial World Congress of the IFAC - International Federation of Automatic Control, 21-26 July 2002, Barcelona, Spain.

Gomes, Luís (2002) Introducing microprocessor design using programmable logic devices and public domain tools - Microelectronics Education. [Paper]. In: 4th European Workshop on Microelectronics Education – EWME 2002.

Gomes, Luís and Barros, João and Costa, Anikó (2002) Man-machine interface for real-time telecontrol based onPetri nets specification. [Paper]. In: 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), OCT 07-10, 2001, TUCSON, AZ. URL: http://dx.doi.org/10.1109/ICSMC.2001.973507.

Gomes, Luís and Henriques, Francisco and Costa, Anikó and Frade, Carlos and Maló, Pedro (2001) Hierarchical Hybrid Control for Innovative Air-conditioning Equipment. [Paper]. In: 5th WSES/IEEE World Multi-conference on Circuits, Systems, Communications & Computers (CSCC’2001), 8-15 Jul 2001, Crete, Greece.

Gomes, Luís and Henriques, Francisco and Costa, Anikó and Frade, Carlos and Maló, Pedro (2001) Sistema de controlo de Unidade de Tratamento de Ar. [Paper]. In: 7as. Jornadas Hispano-Lusas de Engenharia Electrotécnica, 4-6 Jul 2001, Madrid, Spain.

Gomes, Luís and Costa, Anikó and Soares, Carlos and Barros, João and Steiger-Garção, Adolfo (1997) Campus-Guard: a domot targeted for integrated building monitoring and control. [Paper]. In: 2nd Int. Conference on Intelligent Buildings, 4 a 6 Março 1997, Tel-Aviv, Israel.

Barros, João and Gomes, Luís and Steiger-Garção, Adolfo (1997) Implementation Of A Non-Autonomous High-Level Petri Net Model For Reactive Real Systems. [Paper]. In: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 9 a 11 Abril 1997, Vilamoura, Portugal. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1996) Domots are coming! Or how to manage building automation in a balanced way? [Paper]. In: BASYS'96 - 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems, June‚96, Lisbon, Portugal. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1996) Petri Net Based Hierarchical State Machine Model For Reactive Real-Time Systems. [Paper]. In: CONTROLO’96, 11 a 13 Setembro 1996, Porto, Portugal.

Gomes, Luís and Steiger-Garção, Adolfo (1996) Towards The Implementation Of Conflict Resolution On A Non-Autonomous High-Level Petri Net Model. [Paper]. In: 1st Int. Workshop on Manufacturing and Petri Nets, 24 a 28 de Junho 1996, Osaka, Japão.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Fuzzy Petri net controller. [Paper]. In: Proceedings of IFSA'95 the Sixth International Fuzzy Systems Association= World Congress, 22 a 28 de Julho 1995, São Paulo, Brasil. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1995) Fuzzy Petri net model for real-time control. [Paper]. In: AARTC95; 3rd IFAC/IFIP Workshop on Algorithms and Architectures for= Real-Time Control, 31 de Maio a 2 de Junho 1995, Ostend, Belgium.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Integração de diferentes paradigmas de controlo em controladores industriais de baixo custo. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produ��o Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimar�es.

Gomes, Luís and Barros, João and Soares, A. and Steiger-Garção, Adolfo (1995) Monitoração de arquitecturas sensoriais distribuídas. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimarães.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Petri net based programmable fuzzy controller targeted for distributed control environments. [Paper]. In: Proceedings of 1995 IEEE International Conference on Fuzzy Systems. The International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and The Second International Fuzzy Engineering Symposium, 20 a 24 de Março 1995, Yokohama, Japan. URL: http://dx.doi.org/10.1109/FUZZY.1995.409867. (ISI Web of Science, Citations: 1).

Gomes, L. and Steiger-Garcao, A. (1995) Programmable Controller Design Based on a Synchronized Colored Petri Net Model and Integrating Fuzzy Reasoning. [Paper]. In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., 26 a 30 de Junho 1995, Torino, Italy. (ISI Web of Science, Citations: 6).

Gomes, Luís and Steiger-Garção, Adolfo (1994) Towards Different Buildings. [Paper]. In: ; Conferencia Internacional sobre el Control Automático en el Ahorro de Energia, 21 a 23 Fevereiro 1994, La Habana - Cuba.

Gomes, Luís and Steiger-Garção, Adolfo and Gama, L. and Correia, N. (1993) Programação de controladores utilizando redes de Petri. [Paper]. In: 4as Jornadas Nacionais de Projecto,Planeamento e Producção Assistida por Computador, Lisboa, Portugal, 17-19 Maio 1993.

Gomes, Luís and Steiger-Garção, Adolfo (1992) Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa. [Paper]. In: Workshop Ibero-americano de Sistemas Autónomos em Robótica e CIM, 2 a 4 de Novembro 1992, Lisboa; .

Gomes, L. and Steiger-Garcao, A. (1991) Simulation of an ultrasonic based sensorial system. [Paper]. In: 2nd Workshop on Robotics an CIM-Belgrado, Set. 91 , Jusgolávia.

Moura-Pires, F. and Gomes, Luís and Steiger-Garção, Adolfo (1991) Uma Implementação paralela de algorítmos de indução de árvores de decisão. [Paper]. In: 3ªs Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 4 a 6 de Dezembro, Ordem dos Enªs, FIL.

Journal Editor

Gomes, Luís and Rodriguez-Andina, Juan J., eds (2013) Guest Editorial Special Section on Embedded and Reconfigurable Systems. IEEE Transactions on Industrial Informatics, 9 (3), pp. 1588-1590. ISSN 1551-3203. eISSN 1941-0050. URL: http://dx.doi.org/10.1109/TII.2013.2266098.

Gomes, Luís and Khomenko, V. and Fernandes, J.M., eds (2011) Editorial: Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). IET Computers & Digital Techniques, 5 (6), pp. 425-426. ISSN 1751-8601. URL: http://dx.doi.org/10.1049/iet-cdt.2011.0150.

Manic, Milos and Gomes, Luís and Malinowski, Aleksander, eds (2011) Guest Editorial. IEEE Transactions on Industrial Electronics, 58 (3), pp. 718-721. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2010.2098638. (ISI Web of Science).

Rodriguez-Andina, JJ and Gomes, L. and Bogosyan, S, eds (2010) Special Section on Current trends in industrial electronics education. IEEE Transactions on Industrial Electronics, 57 (10), pp. 3242-3244. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2010.2057292. (ISI Web of Science).

Gomes, Luís and Bogosyan, Seta, eds (2009) Guest Editorial. IEEE Transactions on Industrial Electronics, 56 (12), pp. 4742-4743. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2009.2033630. (ISI Web of Science).

Gomes, Luis and Bogosyan, Seta, eds (2008) Editorial. IEEE Transactions on Industrial Electronics, 55 (6), pp. 2324-2325. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2008.924910. (ISI Web of Science, Citations: 2).

Gomes, Luis and Bogosyan, Seta, eds (2007) Guest Editorial. IEEE Transactions on Industrial Electronics, 54 (6), pp. 3054-3056. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2007.907007. (ISI Web of Science, Citations: 3).

Proceedings

Gomes, Luís and Khomenko, Victor and Fernandes, João M., eds (2010) Proceedings Tenth International Conference on Application of Concurrency to System Design – ACSD 2010. In: 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal. IEEE Computer Society Conference Publishing Services. ISBN 978-0-7695-4066-5. ISSN 1550-4808.

Gomes, Luís and Oliveira, A., eds (2009) Actas das V Jornadas sobre Sistemas Reconfiguráveis – REC’2009. In: V Jornadas sobre Sistemas Reconfiguráveis, 5 e 6 Fevereiro 2009, Monte de Caparica. Edição de autor.

Esteves, A. and Gomes, L., eds (2008) Actas das IV Jornadas sobre Sistemas Reconfiguráveis. In: IV Jornadas sobre Sistemas Reconfiguráveis - REC’2008. Edição de autor, Braga.

Gomes, Luís and Christensen, Soren, eds (2007) Proceedings of TeaConc’2007 - The 2nd Workshop on Teaching Concurrency. In: The 2nd Workshop on Teaching Concurrency, 25 June 2007, Siedlce, Poland. Publishing House of University of Podlasie, Siedlce, Poland. ISBN 978-83-7051-426-6.

Gomes, Luís and Garcia-Zubia, Javier, eds (2007) Advances on remote laboratories and e-learning experiences. In: International Meeting on Professional Remote Laboratories, 16-17 Nov 2006, Bilbao, Spain. University of Deusto, Bilbao. ISBN 978-84-9830-077-2.

Gomes, Luís and Scutaru, Gheorghe, eds (2007) Individualized learning enhanced by virtual reality. In: Workshop on using VR in education, 19-21 Mar 2007. Minerva Identity. ISBN 978-989-20-0715-1.

Gomes, Luís and Scutaru, Gheorghe (2007) Workshop on using VR in education. In: Workshop on using VR in education, 2007. .... ISBN 978-989-20-0715-1.

Adamski, Marian and Gomes, Luís and Wegrzyn, Marek and Labiak, Grzegorz, eds (2006) Discrete-Event System Design 2006. In: 3rd IFAC Workshop on Discrete-Event System Design (DESDes’06), 26-28 Sep 2006, Zielona Gora, Poland. Gora Press, Rydzyna, Poland. ISBN 83-7481-035-1. URL: http://www.desdes.uz.zgora.pl/.

Borza, Paul N. and Gomes, Luís and Scutaru, Gheorghe, eds (2004) VIRTUAL-LAB’2004 e-learning and Virtual and Remote Laboratories. In: 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setúbal, Portugal. INSTICC Press. ISBN 972-8865-14-7.

Thesis

Oliveira, João (2009) Configurador de plataformas específicas em co-design de sistemas embutidos. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Amaral, Hugo (2009) Desenvolvimento de um equipamento de tratamento de estética utilizando Redes de Petri. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Michalak, Tomasz (2009) Systematic Design of multi-phase clock-generators for low-jitter edge-driven switching based on asynchronous machines for multi-channel time-interleaved ADC's. Goes, João and Gomes, Luís (supervisors). Masters thesis, FCT-UNL.

Lima, Paulo (2009) Geração de código VHDL a partir de especificações IOPT PNML2VHDL. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Patrício, Gustavo (2009) Rede Sem Fios de Microcontroladores com Acesso Remoto Aplicada à Domótica. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Moutinho, Filipe (2009) Geração Automática de Controladores em FPGA integrando animação gráfica. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Reis, Tiago M. (2008) Partição de modelos de redes de Petri. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Nunes, Ricardo F. (2008) Editor de Redes de Petri suportando especificações hierárquicas e modulares. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Lourenço, João P. (2008) Modelos comportamentais e redes de petri na geração automática de animação de sinópticos. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Barros, João (2006) Modularidade em Redes de Petri. Gomes, Luís (supervisor). PhD thesis, Faculdade Ciências e Tecnologia/UNL.

Conceição, Paulo (2005) Dos casos de uso às redes de Petri: uma aplicação à monitorização de edifícios. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Pais, Rui (2005) Geração de Executores e Analisadores de Redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Lino, Rui (2005) Detecção de falhas em sistemas de automação utilizando redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Costa, Anikó (2003) Estradogmas em Co-Design de Sistemas Embutidos. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Gomes, Luís (1997) As Redes de Petri Reactivas e Hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real. Steiger-Garção, Adolfo (supervisor). PhD thesis, FCT/UNL.

This list was generated on Sat Jun 24 12:41:27 2017 GMT Daylight Time.