Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
1
TITLE: Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers
AUTHORS: Gomes, Luis; Natario, Diogo; Costa, Aniko; Barros, Joao Paulo; Campos Rebelo, Rogerio;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 12
AUTHORS: Gomes, Luis; Natario, Diogo; Costa, Aniko; Barros, Joao Paulo; Campos Rebelo, Rogerio;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 12
2
TITLE: Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
AUTHORS: Pereira, Fernando; Barros, Joao Paulo; Moutinho, Filipe; Costa, Aniko; Campos Rebelo, Rogerio; Gomes, Luis;
PUBLISHED: 2024, SOURCE: 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets) in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, VOLUME: 14628
AUTHORS: Pereira, Fernando; Barros, Joao Paulo; Moutinho, Filipe; Costa, Aniko; Campos Rebelo, Rogerio; Gomes, Luis;
PUBLISHED: 2024, SOURCE: 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets) in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, VOLUME: 14628
3
TITLE: Benefits of using Petri nets for cyber-physical systems’ controllers development in the classroom
AUTHORS: Luis Gomes; Anikó Costa;
PUBLISHED: 2024, SOURCE: 2024 Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun, PeNGE 2024 in CEUR Workshop Proceedings, VOLUME: 3721
AUTHORS: Luis Gomes; Anikó Costa;
PUBLISHED: 2024, SOURCE: 2024 Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun, PeNGE 2024 in CEUR Workshop Proceedings, VOLUME: 3721
INDEXED IN: 
Scopus
Scopus4
TITLE: Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
AUTHORS: Remigiusz Wiśniewski; Anikó Costa; Marcin Wojnakowski; Maxim Maliński;
PUBLISHED: 2023, SOURCE: Applied Sciences (Switzerland), VOLUME: 13, ISSUE: 12
AUTHORS: Remigiusz Wiśniewski; Anikó Costa; Marcin Wojnakowski; Maxim Maliński;
PUBLISHED: 2023, SOURCE: Applied Sciences (Switzerland), VOLUME: 13, ISSUE: 12
5
TITLE: EMG Based MIDI Controller
AUTHORS: Sebastiao Pedrosa; Aniko Costa;
PUBLISHED: 2023, SOURCE: 2023 International Young Engineers Forum in Electrical and Computer Engineering, YEF-ECE 2023 in Proceedings - 2023 International Young Engineers Forum in Electrical and Computer Engineering, YEF-ECE 2023
AUTHORS: Sebastiao Pedrosa; Aniko Costa;
PUBLISHED: 2023, SOURCE: 2023 International Young Engineers Forum in Electrical and Computer Engineering, YEF-ECE 2023 in Proceedings - 2023 International Young Engineers Forum in Electrical and Computer Engineering, YEF-ECE 2023
6
TITLE: Model-driven development in hardware-software co-design of controllers for cyber-physical systems
AUTHORS: Luis Gomes; Aniko Costa;
PUBLISHED: 2023, SOURCE: 10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023 in 2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023
AUTHORS: Luis Gomes; Aniko Costa;
PUBLISHED: 2023, SOURCE: 10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023 in 2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023
7
TITLE: IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development
AUTHORS: Pereira, Fernando; Moutinho, Filipe; Costa, Aniko; Barros, Joao Paulo; Campos Rebelo, Rogerio; Gomes, Luis;
PUBLISHED: 2022, SOURCE: 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets) in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), VOLUME: 13288
AUTHORS: Pereira, Fernando; Moutinho, Filipe; Costa, Aniko; Barros, Joao Paulo; Campos Rebelo, Rogerio; Gomes, Luis;
PUBLISHED: 2022, SOURCE: 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets) in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), VOLUME: 13288
8
TITLE: Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach
AUTHORS: Gomes, Luis; Campos Rebelo, Rogerio; Costa, Aniko; Barros, Joao Paulo;
PUBLISHED: 2022, SOURCE: 15th APCA International Conference on Automatic Control and Soft Computing (CONTROLO) in CONTROLO 2022, VOLUME: 930
AUTHORS: Gomes, Luis; Campos Rebelo, Rogerio; Costa, Aniko; Barros, Joao Paulo;
PUBLISHED: 2022, SOURCE: 15th APCA International Conference on Automatic Control and Soft Computing (CONTROLO) in CONTROLO 2022, VOLUME: 930
9
TITLE: Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
AUTHORS: Wisniewski, R; Bazydlo, G; Gomes, L; Costa, A; Wojnakowski, M;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
AUTHORS: Wisniewski, R; Bazydlo, G; Gomes, L; Costa, A; Wojnakowski, M;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
10
TITLE: Teaching Computational Reasoning without a Computer
AUTHORS: Dias, R; Costa, A; Malaquias, J; Camara, M;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
AUTHORS: Dias, R; Costa, A; Malaquias, J; Camara, M;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
