João Miguel Lobo Fernandes
AuthID: R-000-77X
41
TITLE: COLOURED PETRI NETS IN THE SIMULATION OF ETL STANDARD TASKS THE SURROGATE KEY PIPELINING CASE
AUTHORS: Diogo Silva; Orlando Belo; Joao M Fernandes;
PUBLISHED: 2012, SOURCE: European Simulation and Modelling Conference (ESM 2012) in EUROPEAN SIMULATION AND MODELLING CONFERENCE 2012
AUTHORS: Diogo Silva; Orlando Belo; Joao M Fernandes;
PUBLISHED: 2012, SOURCE: European Simulation and Modelling Conference (ESM 2012) in EUROPEAN SIMULATION AND MODELLING CONFERENCE 2012
INDEXED IN: 
WOS
WOS42
TITLE: Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010) Full Text
AUTHORS: Luis Gomes; Victor Khomenko; Joao Fernandes;
PUBLISHED: 2011, SOURCE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 5, ISSUE: 6
AUTHORS: Luis Gomes; Victor Khomenko; Joao Fernandes;
PUBLISHED: 2011, SOURCE: IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 5, ISSUE: 6
43
TITLE: Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
AUTHORS: João M Fernandes; Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLISHED: 2011, SOURCE: GTTSE, VOLUME: 6491
AUTHORS: João M Fernandes; Ralf Lämmel; Joost Visser; João Saraiva ;
PUBLISHED: 2011, SOURCE: GTTSE, VOLUME: 6491
44
TITLE: Preface
AUTHORS: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2011, SOURCE: International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6491 LNCS
AUTHORS: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2011, SOURCE: International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6491 LNCS
INDEXED IN: 
Scopus
Scopus45
TITLE: Preface
AUTHORS: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLISHED: 2010, SOURCE: Recent Advances in Petri Nets and Concurrency, RAPNeC 2010 - Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010 and the 10th int. conf. ACSD 2010 in CEUR Workshop Proceedings, VOLUME: 827
AUTHORS: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLISHED: 2010, SOURCE: Recent Advances in Petri Nets and Concurrency, RAPNeC 2010 - Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010 and the 10th int. conf. ACSD 2010 in CEUR Workshop Proceedings, VOLUME: 827
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID46
TITLE: Scenario-based modeling in industrial information systems
AUTHORS: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLISHED: 2010, SOURCE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
AUTHORS: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLISHED: 2010, SOURCE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
INDEXED IN: Scopus
Scopus47
TITLE: Behavioral Modeling for Embedded Systems and Technologies. Applications for Design and Implementation
AUTHORS: Luís Gomes; João M Fernandes;
PUBLISHED: 2010
AUTHORS: Luís Gomes; João M Fernandes;
PUBLISHED: 2010
48
TITLE: Preface
AUTHORS: Gomes, L; Fernandes, JM;
PUBLISHED: 2009, SOURCE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
AUTHORS: Gomes, L; Fernandes, JM;
PUBLISHED: 2009, SOURCE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID49
TITLE: Formal requirements modelling with executable use cases and coloured Petri nets Full Text
AUTHORS: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLISHED: 2009, SOURCE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, ISSUE: 1
AUTHORS: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLISHED: 2009, SOURCE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, ISSUE: 1
50
TITLE: Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables
AUTHORS: Simon Tiell; Joao M Fernandes;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES
AUTHORS: Simon Tiell; Joao M Fernandes;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES
INDEXED IN: WOS
WOS