João Miguel Lobo Fernandes
AuthID: R-000-77X
71
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
Scopus72
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
ORCID73
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
Scopus IN MY: ORCID
ORCID74
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
75
TITLE: Preface: ICSEA 2009
AUTHORS: 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 ;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: 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 ;
PUBLISHED: 2009, SOURCE: 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
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
ORCID77
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
78
TITLE: Model-driven development for pervasive information systems
AUTHORS: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLISHED: 2008, SOURCE: Advances in Ubiquitous Computing: Future Paradigms and Directions
AUTHORS: Fernandes, JE; Machado, RJ; Carvalho, JA ;
PUBLISHED: 2008, SOURCE: Advances in Ubiquitous Computing: Future Paradigms and Directions
79
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
WOS80
TITLE: Validation of Reactive Software from Scenario-Based Models
AUTHORS: Oscar R Ribeiro; Joao M Fernandes;
PUBLISHED: 2007, SOURCE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
AUTHORS: Oscar R Ribeiro; Joao M Fernandes;
PUBLISHED: 2007, SOURCE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
INDEXED IN: 
CrossRef
CrossRef