2008 |
22 | EE | João Lourenco,
Luís Gomes:
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.
Petri Nets 2008: 409-418 |
2007 |
21 | EE | Anikó Costa,
Luís Gomes:
Module Composition within Petri Nets Model-based Development.
SIES 2007: 316-319 |
2006 |
20 | EE | Anikó Costa,
Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution.
ETFA 2006: 1129-1132 |
19 | EE | Luís Gomes,
Anikó Costa:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams.
ETFA 2006: 1230-1237 |
2005 |
18 | EE | Rui Pais,
S. P. Barros,
Luís Gomes:
A tool for tailored code generation from Petri net models.
ETFA 2005 |
17 | EE | 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 | EE | Luís Gomes,
Anikó Costa:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design.
MSE 2005: 105-106 |
15 | EE | 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 | EE | 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 | EE | 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 | EE | João Paulo Barros,
Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations.
ACSD 2003: 177-186 |
4 | EE | Luís Gomes,
Anikó Costa:
On Lifting of Statechart Structuring Mechanisms.
ACSD 2003: 206-215 |
3 | EE | Luís Gomes,
Anikó Costa:
From Use Cases to System Implementation: Statechart Based Co-design.
MEMOCODE 2003: 24-33 |
2001 |
2 | EE | 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 |