João Miguel Lobo Fernandes
AuthID: R-000-77X
71
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
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef72
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
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef73
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
Scopus74
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
ORCID75
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
ORCID76
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
77
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
78
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
ORCID79
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
80
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
