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

Article

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.

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

Book

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.

Book Section

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

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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

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

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

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

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.

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

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.

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

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.

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.

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

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.

Thesis

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

This list was generated on Fri May 26 17:45:16 2017 GMT Daylight Time.