Skip navigation

Browsing by Author Gomes, Luís

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 19 of 19
This table browses all dspace content
Issue DateTitleAuthor(s)TypeAccess Type
Oct-2018Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications20.500.12207/5045Fernandes, João M.; Barros, João Paulo; Gomes, LuísarticleopenAccess
2014Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development20.500.12207/4470Gomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/restrictedAccess
Jun-2019From non-autonomous Petri net models to executable state machines20.500.12207/4968Barros, João Paulo; Gomes, LuísarticleembargoedAccess
19-Jul-2016From requirements to code (Re2Code): A model-based approach for controller implementation20.500.12207/4790Brito, Isabel Sofia; Barros, João Paulo; Gomes, LuísconferenceObjectclosedAccess
2014From SysML State Machines to Petri Nets using ATL Transformations20.500.12207/4472Pais, Rui; Barros, João Paulo; Gomes, Luísarticleinfo:eu-repo/semantics/restrictedAccess
Nov-2011From UML State Machines to Petri nets: history attribute translation strategies20.500.12207/648Pais, Rui; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2013Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
2012Model composition by reusing Petri net based modules20.500.12207/652Costa, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
Oct-2007On the use of programming languages for textual specification of Petri Net Models20.500.12207/237Barros, João Paulo; Gomes, LuísarticleopenAccess
Feb-2011Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreconferenceObjectinfo:eu-repo/semantics/closedAccess
2013A Proposal for the Description of Individual Course Units20.500.12207/490Barros, João Paulo; Gomes, Luís; Garcia, LuísarticleclosedAccess
Oct-2018Refining IOPT Petri Nets Class for Embedded System Controller Modeling20.500.12207/5043Gomes, Luís; Barros, João PauloarticleopenAccess
May-2005Structuring and composability issues in Petri nets modeling20.500.12207/703Gomes, Luís; Barros, João Pauloarticleinfo:eu-repo/semantics/closedAccess
2011SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design20.500.12207/491Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, AndrébookPartclosedAccess
Sep-2012Towards a complete description for individual course units: a follow-up to the Bologna proposals20.500.12207/657Barros, João Paulo; Gomes, Luís; Garcia, LuísconferenceObjectinfo:eu-repo/semantics/closedAccess
2022Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker20.500.12207/5698Barros, João Paulo; Gomes, LuísarticlerestrictedAccess
12-Sep-2017Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards20.500.12207/4787Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, LuísconferenceObjectclosedAccess
2011Towards Statecharts to Input-Output Place Transition Nets Transformations20.500.12207/494Pais, Rui; Gomes, Luís; Barros, João PaulobookPartclosedAccess
2014Towards the use of Place/Transition net tools for analysis of IOPT models20.500.12207/4471Barros, João Paulo; Gomes, LuísconferenceObjectinfo:eu-repo/semantics/openAccess