João Miguel Lobo Fernandes
AuthID: R-000-77X
71
TÃTULO: Preface
AUTORES: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: 
Scopus
Scopus72
TÃTULO: Preface
AUTORES: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Donatelli, S; Kleijn, J; Machado, RJ; Fernandes, JM;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID73
TÃTULO: Scenario-based modeling in industrial information systems
AUTORES: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID74
TÃTULO: Behavioral Modeling for Embedded Systems and Technologies. Applications for Design and Implementation
AUTORES: Luís Gomes; João M Fernandes;
PUBLICAÇÃO: 2010
AUTORES: Luís Gomes; João M Fernandes;
PUBLICAÇÃO: 2010
75
TÃTULO: Preface: ICSEA 2009
AUTORES: Boness, K; Dini, P; Hall, JG; Kaindl, H; Kirchberg, M; Lopes, SF; Mannaert, H; Oberhauser, R; Oquendo, F; Pasic, A; Breivold, HP; Takaki, O; Wiemann, M; Fernandes, JM; Machado, RJ ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software in 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
AUTORES: Boness, K; Dini, P; Hall, JG; Kaindl, H; Kirchberg, M; Lopes, SF; Mannaert, H; Oberhauser, R; Oquendo, F; Pasic, A; Breivold, HP; Takaki, O; Wiemann, M; Fernandes, JM; Machado, RJ ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software in 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
76
TÃTULO: Preface
AUTORES: Gomes, L; Fernandes, JM;
PUBLICAÇÃO: 2009, FONTE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
AUTORES: Gomes, L; Fernandes, JM;
PUBLICAÇÃO: 2009, FONTE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID77
TÃTULO: Formal requirements modelling with executable use cases and coloured Petri nets Full Text
AUTORES: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLICAÇÃO: 2009, FONTE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, NÚMERO: 1
AUTORES: Jens B Jørgensen; Simon Tjell; João M Fernandes;
PUBLICAÇÃO: 2009, FONTE: Innovations Syst Softw Eng - Innovations in Systems and Software Engineering, VOLUME: 5, NÚMERO: 1
78
TÃTULO: Model-driven development for pervasive information systems
AUTORES: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLICAÇÃO: 2008, FONTE: Advances in Ubiquitous Computing: Future Paradigms and Directions
AUTORES: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLICAÇÃO: 2008, FONTE: Advances in Ubiquitous Computing: Future Paradigms and Directions
79
TÃTULO: Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables
AUTORES: Simon Tiell; Joao M Fernandes;
PUBLICAÇÃO: 2008, FONTE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES
AUTORES: Simon Tiell; Joao M Fernandes;
PUBLICAÇÃO: 2008, FONTE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES
INDEXADO EM: 
WOS
WOS80
TÃTULO: Validation of Reactive Software from Scenario-Based Models
AUTORES: Oscar R Ribeiro; Joao M Fernandes;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
AUTORES: Oscar R Ribeiro; Joao M Fernandes;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
INDEXADO EM: 
CrossRef
CrossRef