Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
21
TITLE: On Structuring Events for IOPT Net Models
AUTHORS: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2013, SOURCE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
AUTHORS: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2013, SOURCE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
INDEXED IN: 
Scopus 
WOS
Scopus WOS22
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef23
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXED IN: Scopus CrossRef
Scopus CrossRef24
TITLE: Events for human-system interaction modeling with IOPT Petri nets
AUTHORS: Rogerio Campos-Rebelo; Aniko Costa; Lui Gomes;
PUBLISHED: 2013, SOURCE: 2013 6th International Conference on Human System Interactions (HSI)
AUTHORS: Rogerio Campos-Rebelo; Aniko Costa; Lui Gomes;
PUBLISHED: 2013, SOURCE: 2013 6th International Conference on Human System Interactions (HSI)
25
TITLE: Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms
AUTHORS: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLISHED: 2012, SOURCE: Technological Innovation for Value Creation - IFIP Advances in Information and Communication Technology
AUTHORS: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLISHED: 2012, SOURCE: Technological Innovation for Value Creation - IFIP Advances in Information and Communication Technology
26
TITLE: Petri nets based study plan construction supporting student's evolution monitoring
AUTHORS: Rogerio Campos-Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2012, SOURCE: 2012 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE)
AUTHORS: Rogerio Campos-Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2012, SOURCE: 2012 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE)
27
TITLE: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTHORS: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTHORS: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: WOS
WOS28
TITLE: On lifting of Statechart structuring mechanisms Full Text
AUTHORS: Gomes, L; Costa, A;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
AUTHORS: Gomes, L; Costa, A;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
29
TITLE: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
INDEXED IN: WOS
WOS