 | 2008 |
|---|
| 22 |       | João Lourenço,
Luís Gomes:
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.
Petri Nets 2008: 409-418 |
| 2007 |
|---|
| 21 | | Anikó Costa,
Luís Gomes:
Module Composition within Petri Nets Model-based Development.
SIES 2007: 316-319 |
| 2006 |
|---|
| 20 | | Anikó Costa,
Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution.
ETFA 2006: 1129-1132 |
| 19 | | Luís Gomes,
Anikó Costa:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams.
ETFA 2006: 1230-1237 |
| 2005 |
|---|
| 18 | | Rui Pais,
S. P. Barros,
Luís Gomes:
A tool for tailored code generation from Petri net models.
ETFA 2005 |
| 17 | | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design.
ETFA 2005 |
| 16 | | Luís Gomes,
Anikó Costa:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design.
MSE 2005: 105-106 |
| 15 | | Luís Gomes,
Anikó Costa:
Remote Laboratory Support for an Introductory Microprocessor Course.
MSE 2005: 21-22 |
| 14 |  | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
ReCoSoC 2005: 143-150 |
| 13 | | Luís Gomes,
João Paulo Barros:
Models of Computation for Embedded Systems.
The Industrial Information Technology Handbook 2005: 1-17 |
| 12 | | Luís Gomes,
Anikó Costa:
Hardware-level Design Languages.
The Industrial Information Technology Handbook 2005: 1-18 |
| 11 | | Luís Gomes,
João Paulo Barros:
Structuring and composability issues in Petri nets modeling.
IEEE Trans. Industrial Informatics 1(2): 112-123 (2005) |
| 2004 |
|---|
| 10 | | Paul Nicolae Borza,
Luís Gomes,
Gheorghe Scutaru:
e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2004, In conjunction with ICINCO 2004, Setúbal, Portugal, August 2004
INSTICC Press 2004 |
| 9 | | João Paulo Barros,
Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design.
ICATPN 2004: 117-136 |
| 8 | | João Paulo Barros,
Luís Gomes,
Rui Pais,
Rui Dias:
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.
ICINCO (2) 2004: 464-467 |
| 7 | | Paul Nicolae Borza,
Gheorghe Scutaru,
Luís Gomes,
Anikó Costa,
Lazar Laszlo:
Implementation of a remote and virtual laboratory in the field of home appliance systems.
VIRTUAL-LAB 2004: 60-68 |
| 6 | | Luís Gomes,
Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments.
VIRTUAL-LAB 2004: 89-98 |
| 2003 |
|---|
| 5 | | João Paulo Barros,
Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations.
ACSD 2003: 177-186 |
| 4 | | Luís Gomes,
Anikó Costa:
On Lifting of Statechart Structuring Mechanisms.
ACSD 2003: 206-215 |
| 3 | | Luís Gomes,
Anikó Costa:
From Use Cases to System Implementation: Statechart Based Co-design.
MEMOCODE 2003: 24-33 |
| 2001 |
|---|
| 2 | | Luís Gomes:
Introducing Programmable Logic Devices into Digital Design.
MSE 2001: 73-74 |
| 1995 |
|---|
| 1 | | Luís Gomes,
Adolfo Steiger-Garção:
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning.
Application and Theory of Petri Nets 1995: 218-237 |
