Man-machine interface for real-time telecontrol based onPetri nets specification. - Luís Gomes 001; João-Paulo Barros; Anikó Costa (SMC, 2001)

On Lifting of Statechart Structuring Mechanisms. - Luís Gomes 001; Anikó Costa (ACSD, 2003)

From Use Cases to System Implementation: Statechart Based Co-design. - Luís Gomes 001; Anikó Costa (MEMOCODE, 2003)

Implementation of a remote and virtual laboratory in the field of home appliance systems. - Paul Nicolae Borza; Gheorghe Scutaru; Luís Gomes 001; Anikó Costa; Laszlo Lazar (VIRTUAL-LAB, 2004)

Embedded Systems Introductory Course supported by remote experiments. - Luís Gomes 001; Anikó Costa (VIRTUAL-LAB, 2004)

Hardware-level Design Languages. - Luís Gomes 001; Anikó Costa (The Industrial Information Technology Handbook, 2005)

Towards usage of formal methods within embedded systems co-design. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ETFA, 2005)

Remote Laboratory Support for an Introductory Microprocessor Course. - Luís Gomes 001; Anikó Costa (MSE, 2005)

Teaching Formal Methods Within System-on-a-Programmable-Chip Design. - Luís Gomes 001; Anikó Costa (MSE, 2005)

Formal methods for Embedded Systems Co-design: the FORDESIGN project. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ReCoSoC, 2005)

Modeling Formalisms for Embedded System Design. - João Paulo Barros; Anikó Costa; Luís Gomes 001 (Embedded Systems Handbook, 2005)

Partitioning of Petri net models amenable for Distributed Execution. - Anikó Costa; Luís Gomes 001 (ETFA, 2006)

Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. - Luís Gomes 001; Anikó Costa (ETFA, 2006)

Petri nets as supporting formalism within Embedded Systems Co-design. - Luís Gomes 001; Anikó Costa (IES, 2006)

Module Composition within Petri Nets Model-based Development. - Anikó Costa; Luís Gomes 001 (SIES, 2007)

Petri net partitioning using net splitting operation. - Anikó Costa; Luís Gomes 001 (INDIN, 2009)

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior; Anikó Costa; Luís Gomes 001 (J. Univers. Comput. Sci., 2009)

Semantic Equations for Formal Models in the Model-Driven Architecture. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; Luís Gomes 001; Antonio D. dos S. Junior (DoCEIS, 2010)

Properties Preservation in Distributed Execution of Petri Nets Models. - Anikó Costa; Paulo E. S. Barbosa; Luís Gomes 001; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (DoCEIS, 2010)

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. - Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Luís Gomes 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. - Filipe Moutinho; Luís Gomes 001; Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; André Monteiro (DoCEIS, 2011)

On the verification of non-autonomous Petri net models using autonomous petri net tools. - João Paulo Barros; Luís Gomes 001; Anikó Costa (IECON, 2012)

Model composition by reusing Petri net based modules. - Anikó Costa; Luís Gomes 001; João Paulo Barros (IECON, 2012)

Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (DoCEIS, 2012)

Asynchronous wrappers configuration within GALS systems specified by Petri nets. - Filipe Moutinho; Luís Gomes 001; Anikó Costa; José Pimenta (ISIE, 2012)

Events for human-system interaction modeling with IOPT Petri nets. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (HSI, 2013)

On Structuring Events for IOPT Net Models. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (DoCEIS, 2013)

Output events for human-system interaction modeling. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (HSI, 2014)

Elementary Events for Modeling of Human-System Interactions with Petri Net Models. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (DoCEIS, 2014)

Cloud based development framework using IOPT Petri nets for embedded systems teaching. - Luís Gomes 001; Anikó Costa (ISIE, 2014)

Communication support for Petri nets based distributed controllers. - Edgar M. Silva; Rogério Campos-Rebelo; Takahiro Hirashima; Filipe Moutinho; Pedro Maló; Anikó Costa; Luís Gomes 001 (ISIE, 2014)

Model-Based Development of an Autonomous Sailing Yacht Controller. - Luís Gomes 001; Miguel Santos; Thiago Pereira; Anikó Costa (ICARSC, 2015)

Attracting students to engineering through autonomous sailing yacht development. - Luís Gomes 001; Anikó Costa; Filipe Moutinho; Ricardo Mota (ICIT, 2015)

Event life time in detection of sequences of events. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (ICIT, 2015)

Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. - Rogério Campos-Rebelo; Anikó Costa; Luís Gomes 001 (DoCEIS, 2015)

Executable models for Embedded Controllers Development - A Cloud Based Development Framework. - Fernando Pereira; Filipe Moutinho; João Paulo Barros; Anikó Costa; Luís Gomes 001 (P&D@MoDELS, 2015)

Collision avoidance system for an autonomous sailboat. - João Esteves; Luís Gomes 001; Anikó Costa (IECON, 2017)

Reconfigurable devices based experimentation supporting teaching introductory digital systems. - Luís Gomes 001; Anikó Costa; Filipe Moutinho; Pedro Maló (INDIN, 2017)

Wind speed and direction measurement based on time of flight ultrasonic anemometer. - David Fernandes; Luís Gomes 001; Anikó Costa (ISIE, 2017)

Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. - Hugo Marques; Luís Gomes 001; Anikó Costa (ISIE, 2017)

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa (IEEE Trans. Ind. Informatics, 2017)

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. - Remigiusz Wisniewski; Andrei Karatkevich; Marian Adamski; Anikó Costa; Luís Gomes 001 (IEEE Trans. Control. Syst. Technol., 2018)

Teaching Computational Reasoning without a Computer. - Rafael Dias; Anikó Costa; José Malaquias; Manuel Camara (IECON, 2019)

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. - Remigiusz Wisniewski; Grzegorz Bazydlo; Luís Gomes 001; Anikó Costa; Marcin Wojnakowski (IECON, 2019)

IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. - Fernando Pereira; Filipe Moutinho; Anikó Costa; João-Paulo Barros; Rogério Campos-Rebelo; Luís Gomes 001 (Petri Nets, 2022)

Women in Engineering Forum. - Carolina Lagartinho De Oliveira; Anikó Costa; Nagham Saeed; Francisco Arantes (WF-IoT, 2023)

Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. - Luís Gomes 001; Anikó Costa (PeNGE@Petri Nets, 2024)

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. - Fernando Pereira; João-Paulo Barros; Filipe Moutinho; Anikó Costa; Rogério Campos-Rebelo; Luís Gomes 001 (Petri Nets, 2024)