Luís Gomes

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 59

Top Venues

Publications

Fernando Pereira, Filipe Moutinho, Luís Gomes
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets (2023)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange. DoCEIS (2023)
Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes
Integrated Development of Embedded Systems With Remote Graphical User Interfaces. IEEE Access 11 (2023)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS (2022)
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)
Shabnam Pasandideh, Pedro Pereira, Luís Gomes
Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. IEEE Access 10 (2022)
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)
Shabnam Pasandideh, Pedro Pereira, Luís Gomes
Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. IECON (2022)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model. Comput. 11 (11) (2022)
Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR (2021)
Luis Ribeiro, Luís Gomes
Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems. IEEE Access 9 (2021)
Remigiusz Wisniewski, Mengchu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50 (7) (2020)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS (2020)
Carlos Ramos, Leonel Nóbrega, Karolina Baras, Luís Gomes
Experimental NFT hydroponics system with lower energy consumption. exp.at (2019)
João Paulo Barros, Luís Gomes
From non-autonomous Petri net models to executable state machines. ISIE (2019)
Shabnam Pasandideh, Luís Gomes, Pedro Maló
Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. ISIE (2019)
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON (2019)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models. IECON (2019)
Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15 (7) (2019)
Remigiusz Wisniewski, Grzegorz Benysek, Luís Gomes, Dariusz Kania, Theodore E. Simos, Mengchu Zhou
IEEE Access Special Section: Cyber-Physical Systems. IEEE Access 7 (2019)
Shabnam Pasandideh, Luís Gomes, Pedro Maló
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. DoCEIS (2018)
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26 (2) (2018)
Fernando Pereira, Luís Gomes
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems. INDIN (2018)
João M. Fernandes, João-Paulo Barros, Luís Gomes
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON (2018)
Luís Gomes, João-Paulo Barros
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON (2018)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. 48 (6) (2018)
João Esteves, Luís Gomes, Anikó Costa
Collision avoidance system for an autonomous sailboat. IECON (2017)
David Fernandes, Luís Gomes, Anikó Costa
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE (2017)
Fernando Pereira, Luís Gomes
The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers. IEEE Trans. Ind. Electron. 64 (3) (2017)
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)
Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13 (4) (2017)
Hugo Marques, Luís Gomes, Anikó Costa
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE (2017)
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN (2017)
Kang-Hyun Jo, Luís Gomes, Milos Manic, Jacek Ruminski, Young Soo Suh
Welcome message. HSI (2017)
Ricardo Feio, João Rosas, Luís Gomes
Translating IOPT Petri net models into PLC ladder diagrams. ICIT (2017)
Isabel Sofia Brito, João Paulo Barros, Luís Gomes
From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN (2016)
José Ribeiro, Fernando Melicio, Luís Gomes
Extending IOPT Nets with a Module Construct. DoCEIS (2016)
Fernando Pereira, Luís Gomes
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. DoCEIS (2016)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Semi-formal method design using synchronous dataflows and Petri nets. IECON (2016)
Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes
Semantic annotation of data in schemas to support data translations. IECON (2016)
Fernando Pereira, Luís Gomes
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development. IECON (2016)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Event life time in detection of sequences of events. ICIT (2015)
Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC (2015)
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)
Fernando Pereira, Luís Gomes
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. DoCEIS (2015)
Edgar M. Silva, Luís Gomes, João Rodrigues, Pedro Maló
A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation. DoCEIS (2015)
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)
Somayeh Abdollahvand, Nuno Paulino, Luís Gomes, João Goes
-order ΔΣ modulator with over 85dB SNDR. ISCAS (2015)
Fernando Pereira, Arildo Melo, Luís Gomes
Remote operation of embedded controllers designed using IOPT Petri-nets. INDIN (2015)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS (2015)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT (2015)
João Martins, Luis M. Camarinha-Matos, João Goes, Luís Gomes
Towards Cloud-Based Engineering Systems. DoCEIS (2015)
Filipe Moutinho, José Ribeiro, Luís Gomes
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT (2015)
Javier Contreras, Josep Tornero, Isabel Ferreira, Rodrigo Martins, Luís Gomes, Elvira Fortunato
Simulated and Real Sheet-of-Light 3D Object Scanning Using a-Si: H Thin Film PSD Arrays. Sensors 15 (12) (2015)
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota
Attracting students to engineering through autonomous sailing yacht development. ICIT (2015)
Somayeh Abdollahvand, Luís Bica Oliveira, Luís Gomes, João Goes
A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques. ISCAS (2015)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Comments on "Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks" - Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n.31, pp 207-229, 2002. J. Signal Process. Syst. 81 (1) (2015)
José Ribeiro, Fernando Melicio, Luís Gomes
High-level Petri nets modules for embedded controllers design. INDIN (2015)
Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
Towards Collective Awareness Systems. DoCEIS (2014)
Henrique Dezani, Regiane D. S. Bassi, Norian Marranghello, Luís Gomes, Furio Damiani, Ivan Nunes da Silva
Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. Neurocomputing 124 (2014)
Filipe Moutinho, Luís Gomes
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics 10 (4) (2014)
João-Paulo Barros, Luís Gomes
Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE (2014)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS (2014)
Rui Pais, João Paulo Barros, Luís Gomes
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS (2014)
Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes
Communication support for Petri nets based distributed controllers. ISIE (2014)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) (2014)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) (2014)
Luís Gomes, Anikó Costa
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE (2014)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Output events for human-system interaction modeling. HSI (2014)
João Paulo Barros, Isabel Sofia Brito, Luís Gomes
Requirements specification for controller design - From use cases to IOPT net models. INDIN (2014)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. DoCEIS (2014)
Edgar M. Silva, Pedro Maló, Luís Gomes
A platform independent communication support for distributed controller systems modelled by Petri nets. INDIN (2014)
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
Exploiting dataflows and Petri nets mappings. INDIN (2013)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
On Structuring Events for IOPT Net Models. DoCEIS (2013)
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) (2013)
Luís Gomes, Filipe Moutinho, Fernando Pereira
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL (2013)
Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
Towards medical device behavioural validation using Petri nets. CBMS (2013)
Fernando Pereira, Luís Gomes
Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS (2013)
Fernando Pereira, Luís Gomes
Automatic synthesis of VHDL hardware components from IOPT Petri net models. IECON (2013)
Filipe Moutinho, Luís Gomes
Distributed embedded systems design using Petri nets. FPL (2013)
Filipe Moutinho, José Pimenta, Luís Gomes
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE (2013)
Luís Gomes, Eric Monmasson, Marcian N. Cirstea, Juan J. Rodríguez-Andina
Industrial electronic control: FPGAs and embedded systems solutions. IECON (2013)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Events for human-system interaction modeling with IOPT Petri nets. HSI (2013)
Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
Contributing to the Internet of Things. DoCEIS (2013)
Filipe Moutinho, Luís Gomes
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS (2013)
Juan J. Rodríguez-Andina, Luís Gomes
Guest Editorial Special Section on Information Technologies Within Engineering Education. IEEE Trans. Ind. Informatics 9 (1) (2013)
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)
Anikó Costa, Luís Gomes, João Paulo Barros
Model composition by reusing Petri net based modules. IECON (2012)
Fernando Pereira, Filipe Moutinho, Luís Gomes
Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE (2012)
Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello
Finding best urban routes based on analyses of high level and IOPT Petri net models. IECON (2012)
Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. IECON (2012)
Fernando Pereira, Filipe Moutinho, Luís Gomes
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS (2012)
Filipe Moutinho, Luís Gomes
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS (2012)
José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias
Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. IECON (2012)
Filipe Moutinho, Luís Gomes
Extending a net splitting operation for decomposition of high-level Petri nets. IECON (2012)
Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE (2012)
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS (2012)
Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
Raising Awareness for Value Creation Potential in Engineering Research. DoCEIS (2012)
Somayeh Abdollahvand, João Goes, Luís B. Oliveira, Luís Gomes, Nuno Paulino
Low phase-noise temperature compensated self-biased ring oscillator. ISCAS (2012)

Luís Gomes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luís Gomes