Search - IFIP Open Digital Library Access content directly

Filter your results

20 results
authFullName_s : Luís Gomes
Page :
sorted by
Image document

Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms

 Rogério Campos-Rebelo , Anikó Costa , Luís Gomes
3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.151-160, ⟨10.1007/978-3-642-28255-3_17⟩
Conference papers hal-01365580v1
Image document

From SysML State Machines to Petri Nets Using ATL Transformations

 Rui Pais , João Paulo Barros , Luís Gomes
5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.227-236, ⟨10.1007/978-3-642-54734-8_26⟩
Conference papers hal-01274779v1
Image document

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows

 José-Inácio Rocha , Octávio Páscoa Dias , Luís Gomes
5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.237-248, ⟨10.1007/978-3-642-54734-8_27⟩
Conference papers hal-01274780v1
Image document

Towards Digital Twin in the Context of Power Wheelchairs Provision and Support

 Carolina Lagartinho-Oliveira , Filipe Moutinho , Luís Gomes
13th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jun 2022, Caparica, Portugal. pp.95-102, ⟨10.1007/978-3-031-07520-9_9⟩
Conference papers hal-04308380v1
Image document

Raising Awareness for Value Creation Potential in Engineering Research

 Luis M. Camarinha-Matos , João Goes , Luís Gomes , João Martins
3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.3-6, ⟨10.1007/978-3-642-28255-3_1⟩
Conference papers hal-01365559v1
Image document

Contributing to the Internet of Things

 Luis M. Camarinha-Matos , João Goes , Luís Gomes , João Martins
4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.3-12, ⟨10.1007/978-3-642-37291-9_1⟩
Conference papers hal-01348727v1
Image document

Towards Statecharts to Input-Output Place Transition Nets Transformations

 Rui Pais , Luís Gomes , João Paulo Barros
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.227-236, ⟨10.1007/978-3-642-19170-1_25⟩
Conference papers hal-01566559v1
Image document

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification

 Filipe Moutinho , Luís Gomes
4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.221-228, ⟨10.1007/978-3-642-37291-9_24⟩
Conference papers hal-01348757v1
Image document

A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets

 Fernando Pereira , Filipe Moutinho , Luís Gomes
3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.123-132, ⟨10.1007/978-3-642-28255-3_14⟩
Conference papers hal-01365577v1
Image document

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

 Filipe Moutinho , Luís Gomes , Paulo Barbosa , João Paulo Barros , Franklin Ramalho , et al.
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.237-245, ⟨10.1007/978-3-642-19170-1_26⟩
Conference papers hal-01566548v1
Image document

Semantic Equations for Formal Models in the Model-Driven Architecture

 Paulo Barbosa , Franklin Ramalho , Jorge Figueiredo , Anikó Costa , Luís Gomes , et al.
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.249-258, ⟨10.1007/978-3-642-11628-5_27⟩
Conference papers hal-01060810v1
Image document

Elementary Events for Modeling of Human-System Interactions with Petri Net Models

 Rogério Campos-Rebelo , Anikó Costa , Luís Gomes
5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.219-226, ⟨10.1007/978-3-642-54734-8_25⟩
Conference papers hal-01274778v1
Image document

On Structuring Events for IOPT Net Models

 Rogério Campos-Rebelo , Anikó Costa , Luís Gomes
4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.229-238, ⟨10.1007/978-3-642-37291-9_25⟩
Conference papers hal-01348759v1
Image document

Minimalist Architecture to Generate Embedded System Web User Interfaces

 Fernando Pereira , Luís Gomes
4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.239-249, ⟨10.1007/978-3-642-37291-9_26⟩
Conference papers hal-01348760v1
Image document

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems

 Filipe Moutinho , Luís Gomes
3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.143-150, ⟨10.1007/978-3-642-28255-3_16⟩
Conference papers hal-01365579v1
Image document

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design

 Paulo Barbosa , João Paulo Barros , Franklin Ramalho , Luís Gomes , Jorge Figueiredo , et al.
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.256-265, ⟨10.1007/978-3-642-19170-1_28⟩
Conference papers hal-01566552v1
Image document

Energy Consumption Monitoring System for Large Complexes

 André Jorge , João Guerreiro , Pedro Pereira , João Martins , Luís Gomes
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.417-424, ⟨10.1007/978-3-642-11628-5_46⟩
Conference papers hal-01060766v1
Image document

Scenario-Based Modeling in Industrial Information Systems

 Ricardo J. Machado , João M. Fernandes , João P. Barros , Luís Gomes
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.19-30, ⟨10.1007/978-3-642-15234-4_4⟩
Conference papers hal-01054488v1
Image document

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application

 Carolina Lagartinho-Oliveira , Filipe Moutinho , Luís Gomes
11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.93-100, ⟨10.1007/978-3-030-45124-0_8⟩
Conference papers hal-03741552v1
Image document

Properties Preservation in Distributed Execution of Petri Nets Models

 Anikó Costa , Paulo Barbosa , Luís Gomes , Franklin Ramalho , Jorge Figueiredo , et al.
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.239-248, ⟨10.1007/978-3-642-11628-5_26⟩
Conference papers hal-01060809v1
Page :