Остановите войну!
for scientists:
default search action
Luís Gomes 0001
- > Home > Persons > Luís Gomes 0001
Publications
- 2022
- [c113]Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes:
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138 - [c110]João-Paulo Barros, Luís Gomes:
Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker. ISIE 2022: 239-244 - 2019
- [c105]João Paulo Barros, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643 - 2018
- [c103]João M. Fernandes, João-Paulo Barros, Luís Gomes:
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON 2018: 3013-3020 - [c102]Luís Gomes, João-Paulo Barros:
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON 2018: 4720-4725 - 2017
- [c99]Artur Ataide, João Paulo Barros, Isabel Sofia Brito, Luís Gomes:
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards. ETFA 2017: 1-4 - 2016
- [c87]Isabel Sofia Brito, João Paulo Barros, Luís Gomes:
From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN 2016: 1224-1230 - 2015
- [c77]Isabel Sofia Brito, João Paulo Barros, Luís Gomes:
Controller design and implementation: An approach based on problem frames and Petri Net models. INDIN 2015: 860-867 - [c73]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
- [c66]Rui Pais, João Paulo Barros, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236 - [c63]João Paulo Barros, Isabel Sofia Brito, Luís Gomes:
Requirements specification for controller design - From use cases to IOPT net models. INDIN 2014: 207-212 - [c61]João-Paulo Barros, Luís Gomes:
Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE 2014: 1141-1146 - 2013
- [j7]João Paulo Barros, Luís Gomes, Luís Garcia:
A Proposal for the Description of Individual Course Units. Int. J. Eng. Pedagog. 3(S1): 71-75 (2013) - 2012
- [c43]Anikó Costa, Luís Gomes, João Paulo Barros:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137 - [c42]João Paulo Barros, Luís Gomes, Anikó Costa:
On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON 2012: 6138-6143 - 2011
- [c33]Rui Pais, Luís Gomes, João Paulo Barros:
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236 - [c32]Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro:
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245 - [c30]Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha:
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265 - 2010
- [c29]Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes:
Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC 2010: 19-30 - 2007
- [c21]Ricardo Nunes, Luís Gomes, João Paulo Barros:
A graphical editor for the input-output place-transition petri net class. ETFA 2007: 788-791 - 2005
- [j1]Luís Gomes, João Paulo Barros:
Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics 1(2): 112-123 (2005) - [c16]Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design. ETFA 2005 - [c12]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 - [p2]Luís Gomes, João Paulo Barros:
Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17 - [r1]João Paulo Barros, Anikó Costa, Luís Gomes:
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005 - 2004
- [c11]João Paulo Barros, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136 - [c10]João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias:
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. ICINCO (2) 2004: 464-467 - 2003
- [c7]João Paulo Barros, Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186 - [c5]Luís Gomes, João Paulo Barros:
On structuring mechanisms for Petri nets based system design. ETFA (2) 2003: 431-438 - 2001
- [c2]Luís Gomes, João-Paulo Barros, Anikó Costa:
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC 2001: 1565-1570
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-04-03 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint