Luís Gomes - RankMe

158 papers A 1B 9C 44Journal 26Unranked 72

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Embedded System Experimentation Powered by Petri Nets-Driven Development and Rapid Prototyping. exp.at Luís Gomes, João-Paulo Barros, Anikó Costa, Filipe Moutinho, Fernando Pereira
2025	—	`conf`	High-Level Petri Nets for Modeling Cyber-Physical Multi-Agent Systems. DoCEIS Rui Guerreiro, João Paulo Barros, Luís Gomes
2025	A	`conf`	Model-Driven Development of Distributed Controllers Using Petri Nets and Low-Code Strategy. IROS Luís Gomes, Anikó Costa, Filipe Moutinho, Fernando Pereira, João-Paulo Barros
2024	—	`conf`	A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2024	J	`jnl`	Advancing Generative AI for Portuguese with Open Decoder Gervásio PT. CoRR Rodrigo Santos, João Silva, Luís Gomes, João Rodrigues, António Branco
2024	—	`conf`	Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets Luís Gomes, Anikó Costa
2024	J	`jnl`	Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family. CoRR Rodrigo Santos, João Rodrigues, Luís Gomes, João Silva, António Branco, Henrique Lopes Cardoso, Tomás Freitas Osório, Bernardo Leite
2024	—	`conf`	Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case. PeNGE@Petri Nets João-Paulo Barros, Luís Gomes
2024	B	`conf`	Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes
2024	—	`conf`	Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. PNSE@Petri Nets Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros
2024	B	`conf`	Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2023	—	`conf`	A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets Fernando Pereira, Filipe Moutinho, Luís Gomes
2023	—	`conf`	Analysing navigation paths in constrained graphs using Petri nets. ISIE Luís Gomes, José Ribeiro-Gomes
2023	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings Petri Nets Luís Gomes, Robert Lorenz
2023	J	`jnl`	Integrated Development of Embedded Systems With Remote Graphical User Interfaces. IEEE Access Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes
2023	—	`conf`	Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange. DoCEIS Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2022	C	`conf`	Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. IECON Shabnam Pasandideh, Pedro Pereira, Luís Gomes
2022	J	`jnl`	Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. IEEE Access Shabnam Pasandideh, Pedro Pereira, Luís Gomes
2022	J	`jnl`	Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model. Comput. Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2022	B	`conf`	IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes
2022	—	`ed.`	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. ATAED/PN4TT@Petri Nets Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst
2022	—	`conf`	Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2022	—	`conf`	Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker. ISIE João-Paulo Barros, Luís Gomes
2021	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2021	J	`jnl`	Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems. IEEE Access Luis Ribeiro, Luís Gomes
2020	J	`jnl`	Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, ZhiWu Li
2020	—	`conf`	Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2020	J	`jnl`	Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. IEEE Trans. Syst. Man Cybern. Syst. Remigiusz Wisniewski, MengChu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
2019	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2019	C	`conf`	Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa, Marcin Wojnakowski
2019	—	`conf`	Experimental NFT hydroponics system with lower energy consumption. exp.at Carlos Ramos, Leonel Nóbrega, Karolina Baras, Luís Gomes
2019	—	`conf`	From non-autonomous Petri net models to executable state machines. ISIE João Paulo Barros, Luís Gomes
2019	C	`conf`	GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models. IECON Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2019	J	`jnl`	IEEE Access Special Section: Cyber-Physical Systems. IEEE Access Remigiusz Wisniewski, Grzegorz Benysek, Luís Gomes, Dariusz Kania, Theodore E. Simos, MengChu Zhou
2019	—	`conf`	Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. ISIE Shabnam Pasandideh, Luís Gomes, Pedro Maló
2018	C	`conf`	A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems. INDIN Fernando Pereira, Luís Gomes
2018	C	`conf`	Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON João M. Fernandes, João-Paulo Barros, Luís Gomes
2018	—	`conf`	Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. DoCEIS Shabnam Pasandideh, Luís Gomes, Pedro Maló
2018	J	`jnl`	Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
2018	J	`jnl`	R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, ZhiWu Li
2018	C	`conf`	Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON Luís Gomes, João-Paulo Barros
2017	C	`conf`	Collision avoidance system for an autonomous sailboat. IECON João Esteves, Luís Gomes, Anikó Costa
2017	J	`jnl`	Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes, Anikó Costa
2017	—	`conf`	Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE Hugo Marques, Luís Gomes, Anikó Costa
2017	C	`conf`	Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló
2017	J	`jnl`	The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers. IEEE Trans. Ind. Electron. Fernando Pereira, Luís Gomes
2017	C	`conf`	Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards. ETFA Artur Ataide, João Paulo Barros, Isabel Sofia Brito, Luís Gomes
2017	—	`conf`	Translating IOPT Petri net models into PLC ladder diagrams. ICIT Ricardo Feio, João Rosas, Luís Gomes
2017	C	`conf`	Welcome message. HSI Kang-Hyun Jo, Luís Gomes, Milos Manic, Jacek Ruminski, Young Soo Suh
2017	—	`conf`	Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE David Fernandes, Luís Gomes, Anikó Costa
2016	—	`conf`	Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. DoCEIS Fernando Pereira, Luís Gomes
2016	—	`conf`	Extending IOPT Nets with a Module Construct. DoCEIS José Ribeiro, Fernando Melicio, Luís Gomes
2016	C	`conf`	From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN Isabel Sofia Brito, João Paulo Barros, Luís Gomes
2016	C	`conf`	Semantic annotation of data in schemas to support data translations. IECON Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes
2016	C	`conf`	Semi-formal method design using synchronous dataflows and Petri nets. IECON José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2016	C	`conf`	The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development. IECON Fernando Pereira, Luís Gomes
2015	—	`conf`	A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation. DoCEIS Edgar M. Silva, Luís Gomes, João Rodrigues, Pedro Maló
2015	C	`conf`	A current-mode VCO-based amplifier-less 2 ISCAS Somayeh Abdollahvand, Nuno Paulino, Luís Gomes, João Goes
2015	C	`conf`	A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques. ISCAS Somayeh Abdollahvand, Luís Bica Oliveira, Luís Gomes, João Goes
2015	—	`conf`	Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2015	—	`conf`	Attracting students to engineering through autonomous sailing yacht development. ICIT Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota
2015	—	`conf`	Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. DoCEIS Fernando Pereira, Luís Gomes
2015	J	`jnl`	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. José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2015	C	`conf`	Controller design and implementation: An approach based on problem frames and Petri Net models. INDIN Isabel Sofia Brito, João Paulo Barros, Luís Gomes
2015	—	`conf`	Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT Filipe Moutinho, José Ribeiro, Luís Gomes
2015	—	`conf`	Event life time in detection of sequences of events. ICIT Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2015	—	`conf`	Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes
2015	C	`conf`	High-level Petri nets modules for embedded controllers design. INDIN José Ribeiro, Fernando Melicio, Luís Gomes
2015	—	`conf`	Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
2015	C	`conf`	PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2015	C	`conf`	Remote operation of embedded controllers designed using IOPT Petri-nets. INDIN Fernando Pereira, Arildo Melo, Luís Gomes
2015	J	`jnl`	Simulated and Real Sheet-of-Light 3D Object Scanning Using a-Si: H Thin Film PSD Arrays. Sensors Javier Contreras, Josep Tornero, Isabel Ferreira, Rodrigo Martins, Luís Gomes, Elvira Fortunato
2015	—	`conf`	Towards Cloud-Based Engineering Systems. DoCEIS João Martins, Luis M. Camarinha-Matos, João Goes, Luís Gomes
2014	C	`conf`	A platform independent communication support for distributed controller systems modelled by Petri nets. INDIN Edgar M. Silva, Pedro Maló, Luís Gomes
2014	J	`jnl`	Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics Filipe Moutinho, Luís Gomes
2014	—	`conf`	Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE Luís Gomes, Anikó Costa
2014	—	`conf`	Communication support for Petri nets based distributed controllers. ISIE Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes
2014	—	`conf`	Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2014	—	`conf`	From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS Rui Pais, João Paulo Barros, Luís Gomes
2014	J	`jnl`	Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. Neurocomputing Henrique Dezani, Regiane D. S. Bassi, Norian Marranghello, Luís Gomes, Furio Damiani, Ivan Nunes da Silva
2014	C	`conf`	Output events for human-system interaction modeling. HSI Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2014	—	`conf`	Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2014	—	`conf`	Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2014	C	`conf`	Requirements specification for controller design - From use cases to IOPT net models. INDIN João Paulo Barros, Isabel Sofia Brito, Luís Gomes
2014	—	`conf`	Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. DoCEIS José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2014	—	`conf`	Towards Collective Awareness Systems. DoCEIS Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
2014	—	`conf`	Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE João-Paulo Barros, Luís Gomes
2013	J	`jnl`	A Proposal for the Description of Individual Course Units. Int. J. Eng. Pedagog. João Paulo Barros, Luís Gomes, Luís Garcia
2013	—	`conf`	Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS Filipe Moutinho, Luís Gomes
2013	C	`conf`	Automatic synthesis of VHDL hardware components from IOPT Petri net models. IECON Fernando Pereira, Luís Gomes
2013	—	`conf`	Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE Filipe Moutinho, José Pimenta, Luís Gomes
2013	—	`conf`	Contributing to the Internet of Things. DoCEIS Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
2013	B	`conf`	Distributed embedded systems design using Petri nets. FPL Filipe Moutinho, Luís Gomes
2013	C	`conf`	Events for human-system interaction modeling with IOPT Petri nets. HSI Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2013	C	`conf`	Exploiting dataflows and Petri nets mappings. INDIN José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2013	J	`jnl`	Guest Editorial Special Section on Information Technologies Within Engineering Education. IEEE Trans. Ind. Informatics Juan J. Rodríguez-Andina, Luís Gomes
2013	B	`conf`	IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL Luís Gomes, Filipe Moutinho, Fernando Pereira
2013	C	`conf`	Industrial electronic control: FPGAs and embedded systems solutions. IECON Luís Gomes, Eric Monmasson, Marcian N. Cirstea, Juan J. Rodríguez-Andina
2013	—	`conf`	Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS Fernando Pereira, Luís Gomes
2013	—	`conf`	On Structuring Events for IOPT Net Models. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2013	B	`conf`	Towards medical device behavioural validation using Petri nets. CBMS Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
2012	—	`conf`	A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS Fernando Pereira, Filipe Moutinho, Luís Gomes
2012	C	`conf`	Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. IECON José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias
2012	—	`conf`	Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta
2012	—	`conf`	Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS Filipe Moutinho, Luís Gomes
2012	C	`conf`	Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. IECON Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello
2012	C	`conf`	Extending a net splitting operation for decomposition of high-level Petri nets. IECON Filipe Moutinho, Luís Gomes
2012	—	`conf`	Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS Rogério Campos-Rebelo, Anikó Costa, Luís Gomes
2012	C	`conf`	Finding best urban routes based on analyses of high level and IOPT Petri net models. IECON Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello
2012	C	`conf`	Low phase-noise temperature compensated self-biased ring oscillator. ISCAS Somayeh Abdollahvand, João Goes, Luís B. Oliveira, Luís Gomes, Nuno Paulino
2012	C	`conf`	Model composition by reusing Petri net based modules. IECON Anikó Costa, Luís Gomes, João Paulo Barros
2012	—	`conf`	Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE Fernando Pereira, Filipe Moutinho, Luís Gomes
2012	C	`conf`	On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON João Paulo Barros, Luís Gomes, Anikó Costa
2012	—	`conf`	Raising Awareness for Value Creation Potential in Engineering Research. DoCEIS Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins
2012	C	`conf`	Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. IECON Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes
2011	—	`conf`	Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS Fernando Pereira, Luís Gomes, Filipe Moutinho
2011	—	`conf`	Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
2011	—	`conf`	SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
2011	—	`conf`	Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS Rui Pais, Luís Gomes, João Paulo Barros
2010	—	`ed.`	10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010 ACSD Luís Gomes, Victor Khomenko, João M. Fernandes
2010	J	`jnl`	Current Trends in Industrial Electronics Education. IEEE Trans. Ind. Electron. Juan J. Rodríguez-Andina, Luís Gomes, Seta Bogosyan
2010	—	`conf`	Energy Consumption Monitoring System for Large Complexes. DoCEIS André Jorge, João Guerreiro, Pedro Pereira, João Martins, Luís Gomes
2010	—	`conf`	Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
2010	J	`jnl`	Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Trans. Ind. Electron. Luís Gomes, João Lourenço
2010	—	`conf`	Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes
2010	—	`conf`	Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior
2009	J	`jnl`	Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes
2009	J	`jnl`	Current Trends in Remote Laboratories. IEEE Trans. Ind. Electron. Luís Gomes, Seta Bogosyan
2009	—	`conf`	Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits. ICECS Michael Figueiredo, Tomasz Michalak, João Goes, Luís Gomes, Pawel Sniatala
2009	C	`conf`	Petri net partitioning using net splitting operation. INDIN Anikó Costa, Luís Gomes
2009	C	`conf`	Smart house monitoring and actuating system development using automatic code generation. INDIN Gustavo Patricio, Luís Gomes
2008	B	`conf`	Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets João Lourenço, Luís Gomes
2007	C	`conf`	A graphical editor for the input-output place-transition petri net class. ETFA Ricardo Nunes, Luís Gomes, João Paulo Barros
2007	—	`conf`	Module Composition within Petri Nets Model-based Development. SIES Anikó Costa, Luís Gomes
2006	C	`conf`	Partitioning of Petri net models amenable for Distributed Execution. ETFA Anikó Costa, Luís Gomes
2006	C	`conf`	Petri nets as supporting formalism within Embedded Systems Co-design. IES Luís Gomes, Anikó Costa
2006	C	`conf`	Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA Luís Gomes, Anikó Costa
2005	C	`conf`	A tool for tailored code generation from Petri net models. ETFA Rui Pais, S. P. Barros, Luís Gomes
2005	—	`conf`	Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2005	—	`ch.`	Hardware-level Design Languages. The Industrial Information Technology Handbook Luís Gomes, Anikó Costa
2005	—	`ch.`	Modeling Formalisms for Embedded System Design. Embedded Systems Handbook João Paulo Barros, Anikó Costa, Luís Gomes
2005	—	`ch.`	Models of Computation for Embedded Systems. The Industrial Information Technology Handbook Luís Gomes, João Paulo Barros
2005	—	`conf`	Remote Laboratory Support for an Introductory Microprocessor Course. MSE Luís Gomes, Anikó Costa
2005	J	`jnl`	Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Informatics Luís Gomes, João Paulo Barros
2005	—	`conf`	Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE Luís Gomes, Anikó Costa
2005	C	`conf`	Towards usage of formal methods within embedded systems co-design. ETFA Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2004	—	`conf`	Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB Luís Gomes, Anikó Costa
2004	—	`conf`	From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. ICINCO (2) João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias
2004	—	`conf`	Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Laszlo Lazar
2004	—	`conf`	On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN João Paulo Barros, Luís Gomes
2004	—	`ed.`	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 VIRTUAL-LAB Paul Nicolae Borza, Luís Gomes, Gheorghe Scutaru
2003	C	`conf`	From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE Luís Gomes, Anikó Costa
2003	—	`conf`	Modifying Petri Net Models by Means of Crosscutting Operations. ACSD João Paulo Barros, Luís Gomes
2003	—	`conf`	On Lifting of Statechart Structuring Mechanisms. ACSD Luís Gomes, Anikó Costa
2003	—	`conf`	On structuring mechanisms for Petri nets based system design. ETFA (2) Luís Gomes, João Paulo Barros
2001	—	`conf`	Introducing Programmable Logic Devices into Digital Design. MSE Luís Gomes
2001	B	`conf`	Man-machine interface for real-time telecontrol based onPetri nets specification. SMC Luís Gomes, João-Paulo Barros, Anikó Costa
1995	—	`conf`	Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. Application and Theory of Petri Nets Luís Gomes, Adolfo Steiger-Garção