“From Use Cases to building monitoring systems through Petri nets”; Luís Gomes, Anikó Costa, Paulo Meira; ISIE'2005 - 2005 IEEE International Symposium on Industrial Electronics; 20-23 June 2005, Dubrovnik, Croatia
“Formal methods for Embedded Systems Co-design: the FORDESIGN project”; Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho; ReCoSoC'05 - Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings; Gilles Sassatelli, Manfred Glesner, Lionel Torres, Leandro Soares Indrusiak, Thomas Hollstein (Editors); ISBN 2 – 9517 – 4611 – 3; 27-29 June 2005, Montpellier, França;
“On conflict resolution in Petri nets models through model structuring and composition”; Luís Gomes; INDIN'2005 – 3rd IEEE International Conference on Industrial Informatics; 10-12 August 2005; Perth, Austrália
“A Tool for Tailored Code Generation from Petri Net Models”; Rui Pais, João Paulo Barros, Luís Gomes; ETFA'2005 - 10th International Conference on Emergent Technologies and Factory Automation; 19-22 September 2005; Facolta' di Ingegneria, Catania, Italy
“Towards Usage of Formal methods within Embedded Systems Co-design”; Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho; ETFA'2005 - 10th International Conference on Emergent Technologies and Factory Automation; 19-22 September 2005; Facolta' di Ingegneria, Catania, Italy
“Programmable Logic Devices supporting Embedded System Design Curriculum”; Luís Gomes; IECON'2005 – The 31 st Annual Conference of the IEEE Industrial Electronics Society, Raleigh, North Carolina, USA, 6-10 Nov. 2005; IEEE Catalog Number: 05CH37699C; ISBN 0-7803-9253-1
“Using Concurrency Modeling Formalisms within System-on-a-Programmable-Chip Design”; Luís Gomes, Anikó Costa; TeaConc'2006 - Workshop on Teaching Concurrency; Turku; Filand; 27 June 2006; http://www.uninova.pt/teaconc2006
“Teaching Concurrency Through Petri Nets and Model Composition”; João Paulo Barros, Luís Gomes; TeaConc'2006 - Workshop on Teaching Concurrency; Turku; Filand; 27 June 2006; http://www.uninova.pt/teaconc2006
“On exercising hardware-software logical equivalency using FPGAs”; Luís Gomes, Anikó Costa; ISIE'2006 - 2006 IEEE International Symposium on Industrial Electronics; 9-13 July 2006, Montreal, Canadá; IEEE Catalog Number: 06TH8892; ISBN 1-4244-0497-5
“Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams”; Luís Gomes, Anikó Costa; ETFA'2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation; 20-22 September 2006, Prague, Czech Republic; IEEE Catalog Number: 06TH8897C; ISBN 1-4244-0681-1
“Partitioning of Petri net models amenable for Distributed Execution”; Anikó Costa, Luís Gomes; ETFA'2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation; 20-22 September 2006, Prague, Czech Republic; IEEE Catalog Number: 06TH8897C; ISBN 1-4244-0681-1
“Internal event removal in Hierarchical and Concurrent State Diagrams”; Anikó Costa, Luís Gomes, Helder Francisco, Bruno Silva; DESDes'06 – 3 rd IFAC Workshop on Discrete-Event System Design; 26-28 September 2006, Rydzyna, Polónia
“Petri nets as supporting formalism within Embedded Systems Co-design”; Luís Gomes, Anikó Costa; SIES'2006 - 2006 IEEE International Symposium on Industrial Embedded Systems; 18-20 October 2006, Nice, France; IEEE Catalog Number: 06EX1451; ISBN 1-4244-0777-X
“Emphasizing Graphical Modeling Formalisms within Digital Systems Design Course”; Luís Gomes, Anikó Costa; ICELIE'2006 - 1 st IEEE International Conference on e-learning in industrial electronics; Hammamet, Tunisia, 18-20 December, 2006; ISBN:1-4244-0324-3
“Petri Nets Tools and Embedded Systems Design”; Luís Gomes, João Paulo Barros, Anikó Costa; PNSE'07 - International Workshop on Petri Nets and Software Engineering, Siedlce, Poland, June 25-26, 2007
“Towards a Human-Usable Textual Language for Petri Nets”; João Paulo Barros, Luís Gomes; Workshop on Petri Net Standards 2007; 26 June 2007, Siedlce , Poland
“Module Composition within Petri Nets Model-based Development”; Anikó Costa, Luís Gomes; SIES'2007 – 2nd IEEE International Symposium on Industrial Embedded Systems; 4-6 July 2007; Hotel Costa da Caparica, Lisbon, Portugal
“Petri net Splitting Operation within Embedded Systems Co-design”; Anikó Costa, Luís Gomes; INDIN'2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 July 2007, Vienna, Austria
“The Input-Output Place-Transition Petri Net Class and Associated Tools”; Luís Gomes, João Paulo Barros, Anikó Costa, Ricardo Nunes; INDIN'2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 July 2007, Vienna, Austria
“Petri Net based Building Automation and Monitoring System”; Luís Gomes, Anikó Costa, João Paulo Barros, Rui Pais, Tiago Rodrigues, Richard Ferreira; INDIN'2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 July 2007, Vienna, Austria
“A Graphical Editor for the Input-Output Place-Transition Petri Net Class”; Ricardo Nunes, Luís Gomes, João Paulo Barros; ETFA'2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007; Patras, Greece
“From Petri net models to VHDL implementation of digital controllers”; Luís Gomes, Anikó Costa, João Paulo Barros, Paulo Lima; IECON'2007 - The 33rd Annual Conference of the IEEE Industrial Electronics Society, November 5-8, 2007, The Grand Hotel, Taipei, Taiwan
