Anikó Costa
Orcid: 0000-0001-8147-028X
According to our database1,
Anikó Costa
authored at least 48 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
2
1
1
1
2
1
1
2
4
5
4
2
4
2
2
1
1
3
4
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom.
Proceedings of the Workshop Petri Net Games, 2024
2023
Proceedings of the 9th IEEE World Forum on Internet of Things, 2023
2022
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2019
Proceedings of the IECON 2019, 2019
Proceedings of the IECON 2019, 2019
2018
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.
IEEE Trans. Control. Syst. Technol., 2018
2017
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices.
IEEE Trans. Ind. Informatics, 2017
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation.
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017
Reconfigurable devices based experimentation supporting teaching introductory digital systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
2015
Executable models for Embedded Controllers Development - A Cloud Based Development Framework.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015
Proceedings of the IEEE International Conference on Industrial Technology, 2015
Proceedings of the IEEE International Conference on Industrial Technology, 2015
Proceedings of the 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 2015
2014
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
Cloud based development framework using IOPT Petri nets for embedded systems teaching.
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014
Proceedings of the 7th International Conference on Human System Interactions, 2014
2013
Proceedings of the Technological Innovation for the Internet of Things, 2013
Proceedings of the 6th International Conference on Human System Interactions, 2013
2012
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
Proceedings of the Technological Innovation for Value Creation, 2012
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
On the verification of non-autonomous Petri net models using autonomous petri net tools.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
2011
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.
Proceedings of the Technological Innovation for Sustainability, 2011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.
Proceedings of the Technological Innovation for Sustainability, 2011
2010
Proceedings of the Emerging Trends in Technological Innovation, 2010
Proceedings of the Emerging Trends in Technological Innovation, 2010
2009
J. Univers. Comput. Sci., 2009
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009
2007
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
2006
Proceedings of the International Symposium on Industrial Embedded Systems, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Proceedings of the Embedded Systems Handbook., 2005
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005
Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005
Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Hardware-level Design Languages.
Proceedings of the Industrial Information Technology Handbook, 2005
2004
Embedded Systems Introductory Course supported by remote experiments.
Proceedings of the e-learning and Virtual and Remote Laboratories, 2004
Implementation of a remote and virtual laboratory in the field of home appliance systems.
Proceedings of the e-learning and Virtual and Remote Laboratories, 2004
2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2001
Proceedings of the IEEE International Conference on Systems, 2001