![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Luís Gomes 0001
Person information
- affiliation: Nova University of Lisbon, Department of Electrical Engineering
- affiliation: UNINOVA, Caparica, Centre of Technology and Systems
Other persons with the same name
- Luís Gomes — disambiguation page
- Luís Gomes 0002
— Nova University of Lisbon, NOVA-LINCS
- Luís Gomes 0003 — University of Coimbra, Faculty of Psychology
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c122]Luís Gomes, Anikó Costa:
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024 - [c121]Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros:
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. PNSE@Petri Nets 2024: 283-298 - [c120]João-Paulo Barros, Luís Gomes:
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case. PeNGE@Petri Nets 2024 - [c119]Fernando Pereira
, João-Paulo Barros
, Filipe Moutinho
, Anikó Costa
, Rogério Campos-Rebelo
, Luís Gomes:
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412 - [c118]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes
:
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets 2024: 413-431 - [c117]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops 2024 - [i3]Rodrigo Santos, João Silva
, Luís Gomes, João Rodrigues, António Branco:
Advancing Generative AI for Portuguese with Open Decoder Gervásio PT. CoRR abs/2402.18766 (2024) - [i2]Rodrigo Santos, João Rodrigues, Luís Gomes, João Silva
, António Branco, Henrique Lopes Cardoso, Tomás Freitas Osório, Bernardo Leite:
Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family. CoRR abs/2403.01897 (2024) - 2023
- [j23]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: 63795-63807 (2023) - [c116]Fernando Pereira, Filipe Moutinho, Luís Gomes:
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets 2023 - [c115]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: 191-202 - [c114]Luís Gomes
, José Ribeiro-Gomes:
Analysing navigation paths in constrained graphs using Petri nets. ISIE 2023: 1-4 - [e4]Luís Gomes
, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5 [contents] - 2022
- [j22]Shabnam Pasandideh
, Pedro Pereira
, Luís Gomes:
Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. IEEE Access 10: 42404-42419 (2022) - [j21]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): 166 (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 - [c112]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes:
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS 2022: 95-102 - [c111]Shabnam Pasandideh, Pedro Pereira
, Luís Gomes:
Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. IECON 2022: 1-6 - [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 - [e3]Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. CEUR Workshop Proceedings 3424, CEUR-WS.org 2022 [contents] - 2021
- [j20]Luis Ribeiro
, Luís Gomes:
Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems. IEEE Access 9: 153126-153141 (2021) - [i1]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - 2020
- [j19]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): 2623-2637 (2020) - [j18]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): 3484-3487 (2020) - [c109]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes:
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS 2020: 93-100
2010 – 2019
- 2019
- [j17]Remigiusz Wisniewski
, Grzegorz Benysek, Luís Gomes, Dariusz Kania
, Theodore E. Simos, Mengchu Zhou:
IEEE Access Special Section: Cyber-Physical Systems. IEEE Access 7: 157688-157692 (2019) - [j16]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): 3772-3783 (2019) - [c108]Carlos Ramos, Leonel Nóbrega
, Karolina Baras
, Luís Gomes:
Experimental NFT hydroponics system with lower energy consumption. exp.at 2019: 102-106 - [c107]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: 5843-5848 - [c106]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: 5862-5867 - [c105]João Paulo Barros
, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643 - [c104]Shabnam Pasandideh, Luís Gomes, Pedro Maló
:
Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. ISIE 2019: 1644-1649 - 2018
- [j15]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): 575-586 (2018) - [j14]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): 892-905 (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 - [c101]Shabnam Pasandideh
, Luís Gomes, Pedro Maló
:
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. DoCEIS 2018: 81-89 - [c100]Fernando Pereira, Luís Gomes:
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems. INDIN 2018: 23-30 - 2017
- [j13]Fernando Pereira, Luís Gomes:
The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers. IEEE Trans. Ind. Electron. 64(3): 2363-2372 (2017) - [j12]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): 1734-1741 (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 - [c98]Kang-Hyun Jo
, Luís Gomes
, Milos Manic, Jacek Ruminski
, Young Soo Suh:
Welcome message. HSI 2017: 1 - [c97]Ricardo Feio, João Rosas, Luís Gomes
:
Translating IOPT Petri net models into PLC ladder diagrams. ICIT 2017: 1211-1216 - [c96]João Esteves, Luís Gomes, Anikó Costa
:
Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544 - [c95]Luís Gomes, Anikó Costa
, Filipe Moutinho
, Pedro Maló
:
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543 - [c94]Hugo Marques, Luís Gomes
, Anikó Costa
:
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260 - [c93]David Fernandes, Luís Gomes
, Anikó Costa
:
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE 2017: 1417-1422 - 2016
- [c92]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes
:
Semi-formal method design using synchronous dataflows and Petri nets. IECON 2016: 1043-1048 - [c91]Fernando Pereira, Luís Gomes:
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development. IECON 2016: 4832-4837 - [c90]Filipe Moutinho
, Luis Paiva, Pedro Maló
, Luís Gomes:
Semantic annotation of data in schemas to support data translations. IECON 2016: 5283-5288 - [c89]Fernando Pereira, Luís Gomes:
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. DoCEIS 2016: 65-76 - [c88]José Ribeiro
, Fernando Melicio, Luís Gomes
:
Extending IOPT Nets with a Module Construct. DoCEIS 2016: 86-95 - [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
- [j11]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): 29938-29949 (2015) - [j10]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): 129-133 (2015) - [c86]Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
:
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108 - [c85]Filipe Moutinho
, José Ribeiro
, Luís Gomes:
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT 2015: 1564-1569 - [c84]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Event life time in detection of sequences of events. ICIT 2015: 3144-3149 - [c83]Luís Gomes, Anikó Costa
, Filipe Moutinho
, Ricardo Mota:
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257 - [c82]João Martins
, Luis M. Camarinha-Matos
, João Goes
, Luís Gomes:
Towards Cloud-Based Engineering Systems. DoCEIS 2015: 3-10 - [c81]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS 2015: 147-156 - [c80]Fernando Pereira, Luís Gomes:
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. DoCEIS 2015: 165-175 - [c79]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: 345-354 - [c78]Fernando Pereira, Arildo Melo, Luís Gomes:
Remote operation of embedded controllers designed using IOPT Petri-nets. INDIN 2015: 572-579 - [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 - [c76]José Ribeiro
, Fernando Melicio, Luís Gomes
:
High-level Petri nets modules for embedded controllers design. INDIN 2015: 876-882 - [c75]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: 1294-1297 - [c74]Somayeh Abdollahvand, Nuno Paulino
, Luís Gomes, João Goes
:
A current-mode VCO-based amplifier-less 2nd-order ΔΣ modulator with over 85dB SNDR. ISCAS 2015: 2037-2040 - [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 - [c72]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes
:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT 2015: 59-72 - 2014
- [j9]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: 162-167 (2014) - [j8]Filipe Moutinho
, Luís Gomes:
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics 10(4): 2024-2033 (2014) - [c71]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Output events for human-system interaction modeling. HSI 2014: 261-266 - [c70]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes:
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) 2014: 23-42 - [c69]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes:
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) 2014: 42-52 - [c68]Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Towards Collective Awareness Systems. DoCEIS 2014: 3-10 - [c67]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS 2014: 219-226 - [c66]Rui Pais, João Paulo Barros
, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236 - [c65]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: 237-248 - [c64]Edgar M. Silva
, Pedro Maló
, Luís Gomes:
A platform independent communication support for distributed controller systems modelled by Petri nets. INDIN 2014: 88-93 - [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 - [c62]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: 1111-1116 - [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 - [c60]Luís Gomes
, Anikó Costa
:
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206 - 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) - [j6]Juan J. Rodríguez-Andina
, Luís Gomes:
Guest Editorial Special Section on Information Technologies Within Engineering Education. IEEE Trans. Ind. Informatics 9(1): 546 (2013) - [c59]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: 4-10 - [c58]Luís Gomes, Filipe Moutinho
, Fernando Pereira:
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL 2013: 1 - [c57]Filipe Moutinho
, Luís Gomes:
Distributed embedded systems design using Petri nets. FPL 2013: 1-2 - [c56]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61 - [c55]Luís Gomes, Eric Monmasson
, Marcian N. Cirstea
, Juan J. Rodríguez-Andina
:
Industrial electronic control: FPGAs and embedded systems solutions. IECON 2013: 60-65 - [c54]Fernando Pereira, Luís Gomes:
Automatic synthesis of VHDL hardware components from IOPT Petri net models. IECON 2013: 2214-2219 - [c53]Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Contributing to the Internet of Things. DoCEIS 2013: 3-12 - [c52]Filipe Moutinho, Luís Gomes:
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS 2013: 221-228 - [c51]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238 - [c50]Fernando Pereira, Luís Gomes:
Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS 2013: 239-249 - [c49]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes:
Exploiting dataflows and Petri nets mappings. INDIN 2013: 590-595 - [c48]Filipe Moutinho
, José Pimenta, Luís Gomes:
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE 2013: 1-6 - 2012
- [c47]Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello:
Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. IECON 2012: 3043-3048 - [c46]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: 4676-4681 - [c45]Filipe Moutinho
, Luís Gomes:
Extending a net splitting operation for decomposition of high-level Petri nets. IECON 2012: 6120-6125 - [c44]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: 6126-6131 - [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 - [c41]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: 6151-6156 - [c40]Luis M. Camarinha-Matos
, João Goes
, Luís Gomes, João Martins
:
Raising Awareness for Value Creation Potential in Engineering Research. DoCEIS 2012: 3-6 - [c39]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: 123-132 - [c38]Filipe Moutinho
, Luís Gomes:
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150 - [c37]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS 2012: 151-160 - [c36]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: 2489-2492 - [c35]Filipe Moutinho
, Luís Gomes, Anikó Costa
, José Pimenta:
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362 - [c34]Fernando Pereira, Filipe Moutinho
, Luís Gomes:
Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE 2012: 1399-1404 - 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 - [c31]Fernando Pereira, Luís Gomes, Filipe Moutinho
:
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS 2011: 246-255 - [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
- [j5]Luís Gomes, João Lourenço:
Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Trans. Ind. Electron. 57(5): 1806-1813 (2010) - [j4]Juan J. Rodríguez-Andina
, Luís Gomes, Seta Bogosyan:
Current Trends in Industrial Electronics Education. IEEE Trans. Ind. Electron. 57(10): 3245-3252 (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 - [c28]Anikó Costa
, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior:
Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250 - [c27]Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa
, Luís Gomes, Antonio D. dos S. Junior:
Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260 - [c26]André Jorge, João Guerreiro, Pedro Pereira
, João Martins
, Luís Gomes:
Energy Consumption Monitoring System for Large Complexes. DoCEIS 2010: 419-426 - [e2]Luís Gomes, Victor Khomenko, João M. Fernandes:
10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4066-5 [contents]
2000 – 2009
- 2009
- [j3]Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa
, Luís Gomes:
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. 15(11): 2196-2224 (2009) - [j2]Luís Gomes, Seta Bogosyan:
Current Trends in Remote Laboratories. IEEE Trans. Ind. Electron. 56(12): 4744-4756 (2009) - [c25]Michael Figueiredo, Tomasz Michalak, João Goes
, Luís Gomes, Pawel Sniatala:
Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits. ICECS 2009: 763-766 - [c24]Anikó Costa
, Luís Gomes:
Petri net partitioning using net splitting operation. INDIN 2009: 204-209 - [c23]Gustavo Patricio, Luís Gomes
:
Smart house monitoring and actuating system development using automatic code generation. INDIN 2009: 256-261 - 2008
- [c22]João Lourenço, Luís Gomes:
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets 2008: 409-418 - 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 - [c20]Anikó Costa
, Luís Gomes:
Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319 - 2006
- [c19]Anikó Costa
, Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132 - [c18]Luís Gomes, Anikó Costa
:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237 - [c17]Luís Gomes, Anikó Costa
:
Petri nets as supporting formalism within Embedded Systems Co-design. IES 2006: 1-4 - 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 - [c15]Rui Pais, S. P. Barros, Luís Gomes:
A tool for tailored code generation from Petri net models. ETFA 2005 - [c14]Luís Gomes, Anikó Costa
:
Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22 - [c13]Luís Gomes, Anikó Costa
:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106 - [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 - [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
, 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 - [c9]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 - [c8]Luís Gomes, Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98 - [e1]Paul Nicolae Borza, Luís Gomes, Gheorghe Scutaru:
e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2004, In conjunction with ICINCO 2004, Setúbal, Portugal, August 2004. INSTICC Press 2004, ISBN 972-8865-14-7 [contents] - 2003
- [c7]João Paulo Barros
, Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186 - [c6]Luís Gomes, Anikó Costa
:
On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215 - [c5]Luís Gomes, João Paulo Barros
:
On structuring mechanisms for Petri nets based system design. ETFA (2) 2003: 431-438 - [c4]Luís Gomes, Anikó Costa
:
From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33 - 2001
- [c3]Luís Gomes:
Introducing Programmable Logic Devices into Digital Design. MSE 2001: 73-74 - [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
1990 – 1999
- 1995
- [c1]Luís Gomes, Adolfo Steiger-Garção:
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. Application and Theory of Petri Nets 1995: 218-237
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-08-16 18:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint