OA.uninova.pt

Items where Division is "Centre of Technology and Systems 2003-2006 > CTS0306-A Microelectronics > CTS0306-A1 Microelectronics, Design and Fractional Signal Processing > CTS0306-A1.2 Embedded Systems"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Jump to: 2006 | 2005 | 2004 | 2003
Number of items at this level: 55.

2006

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.

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

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

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

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

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.

2005

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.

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

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

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

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.

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

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.

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.

Barros, João and Jørgensen, Jens Bæk (2005) A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nordic Journal of Computing, 12 (3), pp. 229-250. ISSN 1236-6064.

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

2004

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.

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.

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

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.

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.

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.

2003

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

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

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

This list was generated on Sat Mar 25 15:15:54 2017 GMT Standard Time.