default search action

combined dblp search
author search
venue search
publication search

ask others

Luís Gomes 0001

Luís F. S. Gomes

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/LagartinhoOliveiraPMCG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LagartinhoOliveiraPMCG23
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)
2022
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/PasandidehPG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/PasandidehPG22
Shabnam Pasandideh, Pedro Pereira, Luís Gomes:
Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. IEEE Access 10: 42404-42419 (2022)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/computers/Lagartinho-Oliveira22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computers/Lagartinho-Oliveira22
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)
2021
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/RibeiroG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/RibeiroG21
Luis Ribeiro, Luís Gomes:
Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems. IEEE Access 9: 153126-153141 (2021)
2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/GasmiMKGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/GasmiMKGL20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/WisniewskiZGFK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/WisniewskiZGFK20
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)
2019
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/WisniewskiBGKSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/WisniewskiBGKSZ19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/SinhaPGV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/SinhaPGV19
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)
2018
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/WisniewskiKACG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/WisniewskiKACG18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/GasmiMKGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/GasmiMKGL18
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)
2017
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/Pereira017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/Pereira017
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/WisniewskiBGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/WisniewskiBGC17
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)
2015
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ContrerasTFMGF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ContrerasTFMGF15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/vlsisp/RochaDG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlsisp/RochaDG15
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)
2014
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijon/DezaniBMGDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijon/DezaniBMGDS14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/MoutinhoG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/MoutinhoG14
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)
2013
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/i-jep/BarrosGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/i-jep/BarrosGG13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/Rodriguez-AndinaG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/Rodriguez-AndinaG13
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)
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/GomesL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/GomesL10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/Rodriguez-AndinaGB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/Rodriguez-AndinaGB10
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)
2009
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BarbosaRFJCG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BarbosaRFJCG09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/GomesB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/GomesB09
Luís Gomes, Seta Bogosyan:
Current Trends in Remote Laboratories. IEEE Trans. Ind. Electron. 56(12): 4744-4756 (2009)
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/GomesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/GomesB05
Luís Gomes, João Paulo Barros:
Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics 1(2): 112-123 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c122]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/0001C24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001C24
Luís Gomes, Anikó Costa:
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024
[c121]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/0001RB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001RB24
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Barros024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Barros024
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraBMCCG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraBMCCG24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LagartinhoOliveiraMG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LagartinhoOliveiraMG24
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcis/Lagartinho-Oliveira24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/Lagartinho-Oliveira24
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops 2024
2023
[c116]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/PereiraM023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraM023
Fernando Pereira, Filipe Moutinho, Luís Gomes:
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets 2023
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/doceis/Lagartinho-Oliveira23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceis/Lagartinho-Oliveira23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/GomesR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/GomesR23
Luís Gomes, José Ribeiro-Gomes:
Analysing navigation paths in constrained graphs using Petri nets. ISIE 2023: 1-4
2022
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PereiraMCBCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PereiraMCBCG22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/doceis/Lagartinho-Oliveira22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/doceis/Lagartinho-Oliveira22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PasandidehPG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PasandidehPG22
Shabnam Pasandideh, Pedro Pereira, Luís Gomes:
Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. IECON 2022: 1-6
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BarrosG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BarrosG22
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
2020
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Lagartinho-Oliveira20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Lagartinho-Oliveira20
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS 2020: 93-100
2019
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/expat/RamosNB019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/expat/RamosNB019
Carlos Ramos, Leonel Nóbrega, Karolina Baras, Luís Gomes:
Experimental NFT hydroponics system with lower energy consumption. exp.at 2019: 102-106
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/WisniewskiB0CW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/WisniewskiB0CW19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Lagartinho-Oliveira19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Lagartinho-Oliveira19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/Barros019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/Barros019
João Paulo Barros, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/Pasandideh0M19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/Pasandideh0M19
Shabnam Pasandideh, Luís Gomes, Pedro Maló:
Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. ISIE 2019: 1644-1649
2018
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/FernandesBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/FernandesBG18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/GomesB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/GomesB18
Luís Gomes, João-Paulo Barros:
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON 2018: 4720-4725
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Pasandideh0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Pasandideh0M18
Shabnam Pasandideh, Luís Gomes, Pedro Maló:
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. DoCEIS 2018: 81-89
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/Pereira018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/Pereira018
Fernando Pereira, Luís Gomes:
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems. INDIN 2018: 23-30
2017
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/AtaideBB017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/AtaideBB017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hsi/JoGMRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsi/JoGMRS17
Kang-Hyun Jo, Luís Gomes, Milos Manic, Jacek Ruminski, Young Soo Suh:
Welcome message. HSI 2017: 1
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/FeioRG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/FeioRG17
Ricardo Feio, João Rosas, Luís Gomes:
Translating IOPT Petri net models into PLC ladder diagrams. ICIT 2017: 1211-1216
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/EstevesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/EstevesGC17
João Esteves, Luís Gomes, Anikó Costa:
Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/0001CMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/0001CMM17
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló:
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/MarquesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/MarquesGC17
Hugo Marques, Luís Gomes, Anikó Costa:
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/FernandesGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/FernandesGC17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/RochaDG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/RochaDG16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Pereira016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Pereira016
Fernando Pereira, Luís Gomes:
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development. IECON 2016: 4832-4837
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/MoutinhoPM016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/MoutinhoPM016
Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes:
Semantic annotation of data in schemas to support data translations. IECON 2016: 5283-5288
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Pereira016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Pereira016
Fernando Pereira, Luís Gomes:
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. DoCEIS 2016: 65-76
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/RibeiroMG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/RibeiroMG16
José Ribeiro, Fernando Melicio, Luís Gomes:
Extending IOPT Nets with a Module Construct. DoCEIS 2016: 86-95
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BritoB016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BritoB016
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
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/icarsc/0001SPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarsc/0001SPC15
Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa:
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/MoutinhoR015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/MoutinhoR015
Filipe Moutinho, José Ribeiro, Luís Gomes:
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT 2015: 1564-1569
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/Campos-RebeloCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/Campos-RebeloCG15
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Event life time in detection of sequences of events. ICIT 2015: 3144-3149
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/0001CMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/0001CMM15
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota:
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257
[c82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MartinsCGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MartinsCGG15
João Martins, Luis M. Camarinha-Matos, João Goes, Luís Gomes:
Towards Cloud-Based Engineering Systems. DoCEIS 2015: 3-10
[c81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG15
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PereiraG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PereiraG15
Fernando Pereira, Luís Gomes:
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. DoCEIS 2015: 165-175
[c79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/SilvaGRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/SilvaGRM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PereiraMG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PereiraMG15
Fernando Pereira, Arildo Melo, Luís Gomes:
Remote operation of embedded controllers designed using IOPT Petri-nets. INDIN 2015: 572-579
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BritoBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BritoBG15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/RibeiroMG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/RibeiroMG15
José Ribeiro, Fernando Melicio, Luís Gomes:
High-level Petri nets modules for embedded controllers design. INDIN 2015: 876-882
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/AbdollahvandOGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/AbdollahvandOGG15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/AbdollahvandPGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/AbdollahvandPGG15
Somayeh Abdollahvand, Nuno Paulino, Luís Gomes, João Goes:
A current-mode VCO-based amplifier-less 2^nd-order ΔΣ modulator with over 85dB SNDR. ISCAS 2015: 2037-2040
[c73]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/PereiraMBC015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PereiraMBC015
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]
- view
  authority control:
- export record
  dblp key:
  - conf/somet/GasmiMKG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/somet/GasmiMKG15
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT 2015: 59-72
2014
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/hsi/Campos-RebeloCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsi/Campos-RebeloCG14
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Output events for human-system interaction modeling. HSI 2014: 261-266
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icinco/GasmiMK014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/GasmiMK014
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icinco/GasmiMKG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/GasmiMKG14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Camarinha-MatosGGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM14
Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Towards Collective Awareness Systems. DoCEIS 2014: 3-10
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PaisBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PaisBG14
Rui Pais, João Paulo Barros, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/RochaDG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/RochaDG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SilvaMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SilvaMG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/BarrosBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/BarrosBG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/SilvaCHMMC014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/SilvaCHMMC014
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/BarrosG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/BarrosG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/GomesC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/GomesC14
Luís Gomes, Anikó Costa:
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206
2013
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/BarbosaMGAGMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/BarbosaMGAGMF13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/GomesMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/GomesMP13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/MoutinhoG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/MoutinhoG13
Filipe Moutinho, Luís Gomes:
Distributed embedded systems design using Petri nets. FPL 2013: 1-2
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/hsi/Campos-RebeloCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsi/Campos-RebeloCG13
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/0001MCR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/0001MCR13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Pereira013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Pereira013
Fernando Pereira, Luís Gomes:
Automatic synthesis of VHDL hardware components from IOPT Petri net models. IECON 2013: 2214-2219
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Camarinha-MatosGGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM13
Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Contributing to the Internet of Things. DoCEIS 2013: 3-12
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MoutinhoG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MoutinhoG13
Filipe Moutinho, Luís Gomes:
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS 2013: 221-228
[c51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG13
Rogério Campos-Rebelo, Anikó Costa, Luís Gomes:
On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PereiraG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PereiraG13
Fernando Pereira, Luís Gomes:
Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS 2013: 239-249
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/RochaDG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/RochaDG13
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes:
Exploiting dataflows and Petri nets mappings. INDIN 2013: 590-595
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/MoutinhoPG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/MoutinhoPG13
Filipe Moutinho, José Pimenta, Luís Gomes:
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE 2013: 1-6
2012
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Dezani0DM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Dezani0DM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/RochaGD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/RochaGD12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Moutinho012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Moutinho012
Filipe Moutinho, Luís Gomes:
Extending a net splitting operation for decomposition of high-level Petri nets. IECON 2012: 6120-6125
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Dezani0DM12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Dezani0DM12a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Costa0B12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Costa0B12
Anikó Costa, Luís Gomes, João Paulo Barros:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Barros0C12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Barros0C12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/PereiraMR012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/PereiraMR012
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Camarinha-MatosGGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM12
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PereiraMG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PereiraMG12
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MoutinhoG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MoutinhoG12
Filipe Moutinho, Luís Gomes:
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/Campos-RebeloCG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/AbdollahvandGOGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/AbdollahvandGOGP12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/Moutinho0CP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/Moutinho0CP12
Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta:
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/PereiraM012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/PereiraM012
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PaisGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PaisGB11
Rui Pais, Luís Gomes, João Paulo Barros:
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/MoutinhoGBBRFCM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/MoutinhoGBBRFCM11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/PereiraGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/PereiraGM11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BarbosaBRGFMCA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BarbosaBRGFMCA11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/MachadoFBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/MachadoFBG10
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/CostaBGRFJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/CostaBGRFJ10
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/BarbosaRFCGJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/BarbosaRFCGJ10
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-5/JorgeGPMG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-5/JorgeGPMG10
André Jorge, João Guerreiro, Pedro Pereira, João Martins, Luís Gomes:
Energy Consumption Monitoring System for Large Complexes. DoCEIS 2010: 419-426
2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/FigueiredoMGGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/FigueiredoMGGS09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/Costa009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/Costa009
Anikó Costa, Luís Gomes:
Petri net partitioning using net splitting operation. INDIN 2009: 204-209
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/PatricioG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/PatricioG09
Gustavo Patricio, Luís Gomes:
Smart house monitoring and actuating system development using automatic code generation. INDIN 2009: 256-261
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LourencoG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LourencoG08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/NunesGB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/NunesGB07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/CostaG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/CostaG07
Anikó Costa, Luís Gomes:
Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319
2006
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CostaG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CostaG06
Anikó Costa, Luís Gomes:
Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesC06
Luís Gomes, Anikó Costa:
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/GomesC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/GomesC06
Luís Gomes, Anikó Costa:
Petri nets as supporting formalism within Embedded Systems Co-design. IES 2006: 1-4
2005
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesBCPM05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/PaisBG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/PaisBG05
Rui Pais, S. P. Barros, Luís Gomes:
A tool for tailored code generation from Petri net models. ETFA 2005
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/mse/GomesC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mse/GomesC05
Luís Gomes, Anikó Costa:
Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mse/GomesC05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mse/GomesC05a
Luís Gomes, Anikó Costa:
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/recosoc/GomesBCPM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/GomesBCPM05
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
2004
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarrosG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarrosG04
João Paulo Barros, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icinco/BarrosGPD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/BarrosGPD04
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/virtual-lab/BorzaSGCL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/virtual-lab/BorzaSGCL04
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/virtual-lab/GomesC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/virtual-lab/GomesC04
Luís Gomes, Anikó Costa:
Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98
2003
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BarrosG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BarrosG03
João Paulo Barros, Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/GomesC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/GomesC03
Luís Gomes, Anikó Costa:
On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GomesB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GomesB03
Luís Gomes, João Paulo Barros:
On structuring mechanisms for Petri nets based system design. ETFA (2) 2003: 431-438
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/GomesC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/GomesC03
Luís Gomes, Anikó Costa:
From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mse/Gomes01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mse/Gomes01
Luís Gomes:
Introducing Programmable Logic Devices into Digital Design. MSE 2001: 73-74
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/GomesBC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/GomesBC01
Luís Gomes, João-Paulo Barros, Anikó Costa:
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC 2001: 1565-1570
1995
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GomesS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GomesS95
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

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2005
[p2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/crc/IIR2005/GomesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/IIR2005/GomesB05
Luís Gomes, João Paulo Barros:
Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/crc/IIR2005/GomesC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/IIR2005/GomesC05
Luís Gomes, Anikó Costa:
Hardware-level Design Languages. The Industrial Information Technology Handbook 2005: 1-18

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2023
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
[e3]
- view
- export record
  dblp key:
  - conf/apn/2023ataed
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2023ataed
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]
2010
[e2]
- view
- export record
  dblp key:
  - conf/acsd/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/2010
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]
2004
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/virtual-lab/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/virtual-lab/2004
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]

Reference Works

see FAQ

What is the meaning of the colors in the publication lists?

2005
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crc/BarrosCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/BarrosCG05
João Paulo Barros, Anikó Costa, Luís Gomes:
Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-18766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-18766
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-01897
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-01897
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)
2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-05556
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-05556
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)

Coauthor Index

see FAQ

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.