João-Paulo Barros

16 papers A 1B 3C 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 C conf
Orchestrating Smart Health: A Nets-within-Nets Approach for Hybrid Fall Detection Systems.
MODELSWARD
João Pica, João-Paulo Barros
2025 — conf
Embedded System Experimentation Powered by Petri Nets-Driven Development and Rapid Prototyping.
exp.at
Luís Gomes, João-Paulo Barros, Anikó Costa, Filipe Moutinho, Fernando Pereira
2025 A conf
Model-Driven Development of Distributed Controllers Using Petri Nets and Low-Code Strategy.
IROS
Luís Gomes, Anikó Costa, Filipe Moutinho, Fernando Pereira, João-Paulo Barros
2025 — conf
Remote Debugger: A Digital Twin for Petri Nets-based Networked Embedded Controllers.
exp.at
Fernando Pereira, Anikó Costa, Filipe Moutinho, João-Paulo Barros, Rogério Campos-Rebelo, Luis Gomes
2025 — conf
Tile-Based Games for Object-Oriented Programming Learning: A Modular Base Code Approach.
CSEDU (2)
João-Paulo Barros
2024 — conf
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case.
PeNGE@Petri Nets
João-Paulo Barros, Luís Gomes
2024 B conf
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers.
Petri Nets
Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes
2024 — conf
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games.
PNSE@Petri Nets
Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros
2022 — conf
Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher.
CSEDU (2)
João-Paulo Barros
2022 — conf
Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach.
CSEDU (2)
Luís Filipe Garcia, João-Paulo Barros, Candida Viriato
2022 B conf
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.
Petri Nets
Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes
2022 — conf
Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker.
ISIE
João-Paulo Barros, Luís Gomes
2018 C conf
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications.
IECON
João M. Fernandes, João-Paulo Barros, Luís Gomes
2018 C conf
Refining IOPT Petri Nets Class for Embedded System Controller Modeling.
IECON
Luís Gomes, João-Paulo Barros
2014 — conf
Towards the use of Place/Transition net tools for analysis of IOPT models.
ISIE
João-Paulo Barros, Luís Gomes
2001 B conf
Man-machine interface for real-time telecontrol based onPetri nets specification.
SMC
Luís Gomes, João-Paulo Barros, Anikó Costa