| 2025 | IROS | Model-Driven Development of Distributed Controllers Using Petri Nets and Low-Code Strategy. | Lus Gomes, Anik Costa, Filipe Moutinho, Fernando Pereira, Joo-Paulo Barros |
| 2019 | IECON | Teaching Computational Reasoning without a Computer. | Rafael Dias, Anik Costa, Jos Malaquias, Manuel Camara |
| 2019 | IECON | Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. | Remigiusz Wisniewski, Grzegorz Bazydlo, Lus Gomes, Anik Costa, Marcin Wojnakowski |
| 2017 | INDIN | Reconfigurable devices based experimentation supporting teaching introductory digital systems. | Lus Gomes, Anik Costa, Filipe Moutinho, Pedro Mal |
| 2017 | IECON | Collision avoidance system for an autonomous sailboat. | Joo Esteves, Lus Gomes, Anik Costa |
| 2015 | MODELS | Executable models for Embedded Controllers Development - A Cloud Based Development Framework. | Fernando Pereira, Filipe Moutinho, Joo Paulo Barros, Anik Costa, Lus Gomes |
| 2014 | HSI | Output events for human-system interaction modeling. | Rogrio Campos-Rebelo, Anik Costa, Lus Gomes |
| 2013 | HSI | Events for human-system interaction modeling with IOPT Petri nets. | Rogrio Campos-Rebelo, Anik Costa, Lus Gomes |
| 2012 | IECON | On the verification of non-autonomous Petri net models using autonomous petri net tools. | Joo Paulo Barros, Lus Gomes, Anik Costa |
| 2012 | IECON | Model composition by reusing Petri net based modules. | Anik Costa, Lus Gomes, Joo Paulo Barros |
| 2009 | INDIN | Petri net partitioning using net splitting operation. | Anik Costa, Lus Gomes |
| 2006 | ETFA | Partitioning of Petri net models amenable for Distributed Execution. | Anik Costa, Lus Gomes |
| 2006 | ETFA | Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. | Lus Gomes, Anik Costa |
| 2005 | ETFA | Towards usage of formal methods within embedded systems co-design. | Lus Gomes, Joo Paulo Barros, Anik Costa, Rui Pais, Filipe Moutinho |
| 2003 | MEMOCODE | From Use Cases to System Implementation: Statechart Based Co-design. | Lus Gomes, Anik Costa |
| 2001 | SMC | Man-machine interface for real-time telecontrol based onPetri nets specification. | Lus Gomes, Joo-Paulo Barros, Anik Costa |