Anikó Costa - RankMe

53 papers A 1B 3C 14Journal 3Unranked 29

Year	Rank	Type	Title / Venue / Authors
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`	Toward Cybersecure-by-Design Manufacturing Systems: A Taxonomy of Hardware-Based Approaches for Software Cybersecurity Violation Detection. IN4PL (1) Eda Marchetti, Anikó Costa, Sanaz Nikghadam-Hojjati, José Barata, Antonello Calabrò
2024	—	`conf`	Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets Luís Gomes, Anikó Costa
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
2023	—	`conf`	Women in Engineering Forum. WF-IoT Carolina Lagartinho De Oliveira, Anikó Costa, Nagham Saeed, Francisco Arantes
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
2019	C	`conf`	Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
2019	C	`conf`	Teaching Computational Reasoning without a Computer. IECON Rafael Dias, Anikó Costa, José Malaquias, Manuel Camara
2018	J	`jnl`	Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
2017	C	`conf`	Collision avoidance system for an autonomous sailboat. IECON João Esteves, Luís Gomes, Anikó Costa
2017	J	`jnl`	Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa
2017	—	`conf`	Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE Hugo Marques, Luís Gomes, Anikó Costa
2017	C	`conf`	Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló
2017	—	`conf`	Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE David Fernandes, Luís Gomes, Anikó Costa
2015	—	`conf`	Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2015	—	`conf`	Attracting students to engineering through autonomous sailing yacht development. ICIT Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota
2015	—	`conf`	Event life time in detection of sequences of events. ICIT Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2015	—	`conf`	Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes
2015	—	`conf`	Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
2014	—	`conf`	Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE Luís Gomes, Anikó Costa
2014	—	`conf`	Communication support for Petri nets based distributed controllers. ISIE Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes
2014	—	`conf`	Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2014	C	`conf`	Output events for human-system interaction modeling. HSI Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2013	C	`conf`	Events for human-system interaction modeling with IOPT Petri nets. HSI Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2013	—	`conf`	On Structuring Events for IOPT Net Models. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2012	—	`conf`	Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta
2012	—	`conf`	Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2012	C	`conf`	Model composition by reusing Petri net based modules. IECON Anikó Costa, Luís Gomes, João Paulo Barros
2012	C	`conf`	On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON João Paulo Barros, Luís Gomes, Anikó Costa
2011	—	`conf`	Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
2011	—	`conf`	SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
2010	—	`—`	Petri net model decomposition - a model based approach supporting distributed execution. Anikó Costa
2010	—	`conf`	Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
2010	—	`conf`	Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior
2009	J	`jnl`	Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes
2009	C	`conf`	Petri net partitioning using net splitting operation. INDIN Anikó Costa, Luís Gomes
2007	—	`conf`	Module Composition within Petri Nets Model-based Development. SIES Anikó Costa, Luís Gomes
2006	C	`conf`	Partitioning of Petri net models amenable for Distributed Execution. ETFA Anikó Costa, Luís Gomes
2006	C	`conf`	Petri nets as supporting formalism within Embedded Systems Co-design. IES Luís Gomes, Anikó Costa
2006	C	`conf`	Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA Luís Gomes, Anikó Costa
2005	—	`conf`	Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2005	—	`ch.`	Hardware-level Design Languages. The Industrial Information Technology Handbook Luís Gomes, Anikó Costa
2005	—	`ch.`	Modeling Formalisms for Embedded System Design. Embedded Systems Handbook João Paulo Barros, Anikó Costa, Luís Gomes
2005	—	`conf`	Remote Laboratory Support for an Introductory Microprocessor Course. MSE Luís Gomes, Anikó Costa
2005	—	`conf`	Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE Luís Gomes, Anikó Costa
2005	C	`conf`	Towards usage of formal methods within embedded systems co-design. ETFA Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2004	—	`conf`	Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB Luís Gomes, Anikó Costa
2004	—	`conf`	Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Laszlo Lazar
2003	C	`conf`	From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE Luís Gomes, Anikó Costa
2003	—	`conf`	On Lifting of Statechart Structuring Mechanisms. ACSD Luís Gomes, Anikó Costa
2001	B	`conf`	Man-machine interface for real-time telecontrol based onPetri nets specification. SMC Luís Gomes, João-Paulo Barros, Anikó Costa