Research output per year
Research output per year
Search results
-
2024
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
Pereira, F., Barros, J. P., Moutinho, F., Costa, A., Campos-Rebelo, R. & Gomes, L., 2024, Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings. Kristensen, L. M. & van der Werf, J. M. (eds.). Cham: Springer, p. 402-412 11 p. (Lecture Notes in Computer Science; vol. 14628 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2023
A syntax-independent code generation tool for IOPT-Petri nets
Pereira, F., Moutinho, F. & Gomes, L., 2023, International Workshop on Petri Nets for Twin Transition (PN4TT’23): June 26, 2023. Gomes, L. & Leitão, P. (eds.). Institute of Electrical and Electronics Engineers (IEEE), 11 p. (CEUR Workshop Proceedings; vol. 3424).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2022
IOPT-Tools: From Executable Models to Automatic Code Generation for Embedded Controllers Development
Pereira, F., Moutinho, F., Costa, A., Barros, J. P., Campos-Rebelo, R. & Gomes, L., 13 Jun 2022, Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings. Bernardinello, L. & Petrucci, L. (eds.). Cham: Springer, p. 127-138 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13288).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
17 Citations (Scopus) -
2019
Short-Keynote: IOPT-TOOLS - Ambiente de desenvolvimento de sistemas embutidos baseado em redes de Petri utilizando tecnologias web
Gomes, L., Moutinho, F., Costa, A. & Pereira, F., 2019, Atas das XV Jornadas sobre Sistemas Reconfiguráveis - REC'2019. 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review