Browse by Person

Yes

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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 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).

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ó 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).

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).

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).

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 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ó (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).

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).

No

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....

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.

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.

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.

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 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ó (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 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.

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.

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.

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.

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.

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.

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 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.

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.

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.

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.

Gomes, Luís and Barros, J.-P. 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.

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.

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.

Miscelaneous

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