default search action
Anikó Costa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c43]Luís Gomes, Anikó Costa:
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024 - [c42]Fernando Pereira
, João-Paulo Barros
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412 - 2023
- [c41]Carolina Lagartinho De Oliveira, Anikó Costa, Nagham Saeed, Francisco Arantes:
Women in Engineering Forum. WF-IoT 2023: 1-13 - 2022
- [c40]Fernando Pereira
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138
2010 – 2019
- 2019
- [c39]Remigiusz Wisniewski
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON 2019: 5843-5848 - [c38]Rafael Dias, Anikó Costa
Teaching Computational Reasoning without a Computer. IECON 2019: 6795-6800 - 2018
- [j3]Remigiusz Wisniewski
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26(2): 575-586 (2018) - 2017
- [j2]Remigiusz Wisniewski
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13(4): 1734-1741 (2017) - [c37]João Esteves, Luís Gomes, Anikó Costa
Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544 - [c36]Luís Gomes, Anikó Costa
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543 - [c35]Hugo Marques, Luís Gomes
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260 - [c34]David Fernandes, Luís Gomes
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE 2017: 1417-1422 - 2015
- [c33]Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108 - [c32]Rogério Campos-Rebelo
Event life time in detection of sequences of events. ICIT 2015: 3144-3149 - [c31]Luís Gomes, Anikó Costa
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257 - [c30]Rogério Campos-Rebelo
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS 2015: 147-156 - [c29]Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes:
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS 2015: 40-43 - 2014
- [c28]Rogério Campos-Rebelo, Anikó Costa
Output events for human-system interaction modeling. HSI 2014: 261-266 - [c27]Rogério Campos-Rebelo, Anikó Costa
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS 2014: 219-226 - [c26]Edgar M. Silva
Communication support for Petri nets based distributed controllers. ISIE 2014: 1111-1116 - [c25]Luís Gomes
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206 - 2013
- [c24]Rogério Campos-Rebelo
Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61 - [c23]Rogério Campos-Rebelo, Anikó Costa
On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238 - 2012
- [c22]Anikó Costa
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137 - [c21]João Paulo Barros
On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON 2012: 6138-6143 - [c20]Rogério Campos-Rebelo, Anikó Costa
Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS 2012: 151-160 - [c19]Filipe Moutinho
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362 - 2011
- [c18]Filipe Moutinho
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245 - [c17]Paulo E. S. Barbosa, João Paulo Barros
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265 - 2010
- [c16]Anikó Costa
Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250 - [c15]Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa
Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
2000 – 2009
- 2009
- [j1]Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. 15(11): 2196-2224 (2009) - [c14]Anikó Costa
Petri net partitioning using net splitting operation. INDIN 2009: 204-209 - 2007
- [c13]Anikó Costa
Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319 - 2006
- [c12]Anikó Costa
Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132 - [c11]Luís Gomes, Anikó Costa
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237 - [c10]Luís Gomes, Anikó Costa
Petri nets as supporting formalism within Embedded Systems Co-design. IES 2006: 1-4 - 2005
- [c9]Luís Gomes, João Paulo Barros, Anikó Costa
Towards usage of formal methods within embedded systems co-design. ETFA 2005 - [c8]Luís Gomes, Anikó Costa
Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22 - [c7]Luís Gomes, Anikó Costa
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106 - [c6]Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150 - [p1]Luís Gomes, Anikó Costa:
Hardware-level Design Languages. The Industrial Information Technology Handbook 2005: 1-18 - [r1]João Paulo Barros, Anikó Costa
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005 - 2004
- [c5]Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Laszlo Lazar:
Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB 2004: 60-68 - [c4]Luís Gomes, Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98 - 2003
- [c3]Luís Gomes, Anikó Costa
On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215 - [c2]Luís Gomes, Anikó Costa
From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33 - 2001
- [c1]Luís Gomes, João-Paulo Barros, Anikó Costa:
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC 2001: 1565-1570
Coauthor Index
aka: João-Paulo Barros
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-27 17:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: