The Speakers
Didier Buchs
Visit Professor Didier Buchs Homepage
Institution: Computer Science Department, University of Geneva
Speaker's Bio - Abstract
Didier Buchs obtained a PhD degree in Computer Science from the University of Geneva in 1989. He was a researcher at 'Laboratoire de recherche en Informatique' of University of Paris Sud (Orsay) from 1989 to 1991 and the leader of the research team working on formal methods and concurrency at University of Geneva from 1991 to 1993. He has been a 'collaborateur scientifique' at the Software Engineering Laboratory of EPFL from 1993 (Adjoint Scientifique since 1997) to 2002 developping methods and tools for distributed embedded systems.
His current interest is principally on formal specification methods, validation techniques and testing techniques for real size distributed systems. These research topics produce a number of significant results such that the development of a specification language CO-OPN as well as its supporting environment CoopnBuilder (previously called SANDS, CoopnTools). Currently a model checker, called Alpina, for high level Petri nets is under development .
Hans Vangheluwe
Visit Professor Hans Vangheluwe Homepage
Institutions: University of Antwerp (Belgium) and McGill University (Canada)
Speaker's Bio - Abstract
Hans Vangheluwe is a Professor in the department of Mathematics and Computer Science at the University of Antwerp (Belgium), an Associate Professor in the School of Computer Science at McGill University (Canada) and an Adjunct Professor at the National University of Defense Technology (NUDT) in Changsha, China. He heads the Modelling, Simulation and Design (MSDL) research lab, geographically distributed over McGill and Antwerp.
He has been the Principal Investigator of a number of research projects focused on the development of a multi-formalism theory and enabling technology for Modelling and Simulation. Some of this work has led to the WEST++ tool, which was commercialised for use in the design and optimization of bioactivated sludge Waste Water Treatment Plants.
He was the co-founder and coordinator of the European Union's ESPRIT Basic Research Working Group 8467 ``Simulation in Europe'', a founding member of the Modelica Design Team, and an advisor to national and international granting agencies in Europe and North America. He is an Associate Editor of Software and Systems Modeling, of the International Journal of Critical Computer-Based Systems, of Simulation: Transactions of the Society for Computer Simulation, and of the International Journal of Adaptive, Resilient and Autonomic Systems. In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Computer Automated Multi-Paradigm Modelling (CAMPaM). His current interests are in domain-specific modelling and simulation, including the development of graphical user interfaces for multiple platforms.The MSDL's tool AToM3 (A Tool for Multi-formalism and Meta-Modelling), developed in collaboration with Prof. Juan de Lara uses meta-modelling and graph transformation to specify and generate domain-specific environments. Recently, he has become active in the design of Automotive applications.
Eugene Syriani
See Professor Eugene Syriani Homepage
Institution: University of Alabama
Speaker's Bio - Abstract
I received my Ph.D. in 2011 from School of Computer Science at McGill University. I am currently a member of the Modeling, Simulation, and Design Lab under the supervision of Prof. Hans Vangheluwe. My academic work is sponsored by the Natural Sciences and Engineering Research Council of Canada.
My current research interests are Model Transformation, Model-driven Engineering and Simulation-based Design. I am in particular interested in the engineering of model transformation languages. My contribution in the field resides in the engineering of model transformation languages, following multi-paradigm modelling principles. I have developed a framework for producing transformation languages tailored for the specific needs. This is based on T-Core, a collection primitive transformation constructs scriptable with Python. MoTif is another transformation language built on top of the framework. It is a completely modelled language with a transformation-specific meta-model for the syntax. Its semantics and execution engine are defined by weaving of T-Core with a simulation formalism. I also have over five years of industry experience in different service-oriented software companies in Montreal.
Vasco Amaral
Visit Professor Vasco Homepage
Institution: Departmento de Informática / FCT, Universidade Nova de Lisboa
Speaker's Bio - Abstract
Vasco Amaral is presently Assistant Professor at FCT/UNL and full member of the CITI (Research Center for Informatics and Information Technologies) Portuguese Research Institution. Holds a PhD. by the University of Mannheim in Germany, worked in the past as software engineer on High Energy Physics Computing and Very Large Databases at CERN (Switzerland), DESY (Germany), and LIP (Portugal). Has been working in the last years on the general topic of Software Languages Engineering, centered on the use of Model-Driven Development (MDD) approaches, at both the Foundations and Application level.
Vasco is presently focusing his research on the topics of Verification, Model Composition and Transformations, Multi-Paradigm Modeling, DSL Engineering approaches, DSL Experimental Evaluation, and MDD education. Is organizer of several events like MPM@MODELS, PPPJ, INFORUM and served in the past as part of the scientific Committee of events and journals like ICEIS, DEXA, BIRD, ANT, ISDTA, Journal of Visual Languages Computing and MODEVVA@MODELS.
Miguel Goulão
Visit Professor Miguel Homepage
Institution: Departmento de Informática / FCT, Universidade Nova de Lisboa
Speaker's Bio
Born in Lisbon, Portugal, in June, 20, 1972. He received his MSc degree in Electrotechnical and Computers Engineering from IST, and his PhD degree from FCT/UNL, in 2008.
Curently Assistant Professor at FCT/UNL. He conducts his research in CITI, since 2000. He is a co-founder of the QUASAR research team. Before joining FCT and CITI, he worked as a junior researcher at the Software Engineering Group at INESC. His main research interests revolve around Experimental Software Engineering (ESE) and span from the evolution in ESE to its applications to several Software Engineering areas.
For the last 15 years, Miguel has been working in Object-Oriented Design, Software Process Improvement, Software Evolution and Reengineering, Component-Based Software Engineering, and, more recently, in Software Languages Engineering and Domain Specific Modeling, using Experimental Software Engineering approaches to improve the validation of claims in those areas.
Bruno Barroca
Visit Researcher Bruno Homepage
Institution: Departmento de Informática / FCT, Universidade Nova de Lisboa
Speaker's Bio - Abstract
Bruno F. Barroca is, since January 2008, a PhD student and scientific researcher at FCT/UNL and is collaborating on the public funded project BATICCCS (Building Adaptive Three-Dimensional Interfaces for Critical Complex Control Systems).
He obtained is degree in Informatics Engineering from FCT/UNL in 2003. From 2003 to 2008, he was working in a medium sized software house, developing on a proprietary language (editor, compiler, etc..). In 2007, he received his MSc degree in Informatics Engineering from FCT/UNL, in the topic of languages for rapid design and prototyping of graphical user interfaces.
His current research interests are Domain Specific Languages Engineering and Domain Specific Modeling, Reverse and Round-trip Engineering, Model Transformations (specification and validation), Model-based Testing, and Model Checking.
Alberto Manuel Rodrigues da Silva
Visit Professor Alberto Manuel Rodrigues da Silva Homepage
Institution: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
Speaker's Bio - Abstract
Professor Alberto Manuel Rodrigues da Silva has a PhD (1999) and a MSc (1992) degree in Computer Science Engineering from the Technical University of Lisbon (IST/UTL), and a Engineering degree (1989) from the New University of Lisbon (FCT/UNL).
He has professional and research interests in the following areas: Modeling and Metamodeling, Model driven Engineering, Requirement Engineering, Social Software Engineering, Enterprise knowledge-based systems and applications, namely based on Enterprise, Content and Document Management Systems, and IT Process and Project Management.
João Pascoal Faria
Visit Professor João Pascoal Faria Homepage and Institutional record
Institution: Faculdade de Engenharia da Universidade do Porto
Speaker's Bio - Abstract
João Pascoal Faria is assistant professor at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto, researcher at INESC Porto, and co-founder of Strongstep. He is vice-president of the "Comissão Sectorial para a Qualidade nas Tecnologias de Informação e Comunicações (CS03)" under "instituto Português da Qualidade".
In the past, he also worked with several software companies (Novabase, Sidereus and Medidata). He has more than 20 years of experience in teaching, research and consultancy in several software engineering areas. He is the main author of a rapid application development tool, based on domain specific languages, with more than 20 years of market presence and evolution (1989-2011).
Since 2008, he is a Certified Personal Software Process (PSP) Developer, Authorized PSP Instructor, and Team Software Process (TSP) Coach by the Software Engineering Institute of the Carnegie Mellon University. He is currently involved in research projects and supervisions in the areas of model-based testing, model-driven development and software process improvement.
Ana Paiva
Visit Professor Ana Paiva Homepage
Institution: Faculdade de Engenharia da Universidade do Porto
Speaker's Bio - Abstract
Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Assistant Professor at the Informatics Engineering Department of the Faculty of Engineering of University of Porto (FEUP) where she works since 1999. She teaches subjects like Software Testing, Formal Methods and Software Engineering, among others.
She belongs to the group on Software Engineering (www.fe.up.pt/~softeng) which gathers researchers and post graduate students with common interests in software engineering.
She has a PhD in Electrical and Computer Engineering from FEUP with a thesis titled "Automated Specification Based Testing of Graphical User Interfaces". Her expertise is on the implementation and automation of the model based testing process. She has been developing research work in collaboration with Foundation of Software Engineering research group within Microsoft Research where she had the opportunity to extend Microsoft's model-based testing tool, Spec Explorer, for GUI testing.
She is a member of the PSTQB board, member of the Council of the Department of Informatics Engineering, and member of the Council of Representatives of FEUP.
Hugo Ferreira
See Professor Hugo Ferreira Homepage
Institution: Faculdade de Engenharia da Universidade do Porto
Speaker's Bio - Abstract
Hugo is a lecturer, software architect and developer with over 10 years experience focused in high-quality, highly-adaptable, large-scale and critical solutions. His career experience encompases projects for government, military and businesses, both at national and international level. Today Hugo specialises in research, training and consultancy in Object-Oriented Programming, Software Architecture, Agile Methodologies, UML and Design Patterns.
After receiving a Licentiate Engineering degree in Informatics and Computation Engineering, Hugo worked in military R&D for NATO at ParadigmaXis, S.A. There he progressively assumed the roles of developer, team leader, software architect, and project manager in several government and privately held projects. A PhD candidate in meta-programming and model-driven software engineering since 2007, Hugo has been lecturing at various universities for a number of years, principally at the Faculty of Engineering of the University of Porto. He has since been awarded his Joint PhD, with distinction, in Computer Science by the Universities of Minho (UM), Aveiro (UA) and Porto (UP).
Vasco Sousa
See Researcher Vasco Sousa Homepage
Institution: University of Luxembourg
Speaker's Bio - Abstract
Vasco Sousa holds his Master degree from FCT/UNL since 2008. Is very experienced in implementing DSLs using MDD approaches. In fact, was involved in the development of severel research and industry projects where DSLs played a key role.
Has been assistant at several DSL courses at FCT/UNL and is very experienced with DSL workbenches tools like GME, Atom3, GEMS, GMF/EMF, Microsoft DSL tools, MetaEdit, and model transformation tools like ATL and DSLTrans. Vasco's current research interests are Language Metamodeling and Model Transformations.
Maurício Alferez
See Researcher Maurício Alferez Homepage
Institution: Institution: Departmento de Informática / FCT, Universidade Nova de Lisboa
Speaker's Bio - Abstract
Computer Science Engineer and PhD. Student at the Faculdade de Ciências e Tecnologia / Universidade Nova de Lisboa, Portugal.
I’m also working for the Research Center for Informatics and Information Technologies (Centro de Investigação em Informática e Tecnologias da Informação – CITI ) and for the Fundação para a Ciência e a Tecnologia – FCT, Portugal, grant SFRH/BD/46194/2008.
I am interested in the area of Computer Science Engineering with a focus on Informatics and Software Systems. The topics that keep most of my attention and current research effort are: Software Product Lines, Model-Driven Software Development, Aspect-Oriented Software Development, Domain-Specific Languages Engineering, Software Verification, Requirements Engineering, Applied formal Methods
Alexis Marechal
See Professor Alexis Marechal Homepage
Institution: Centre Universitaire d'Informatique, Université de Genève
Speaker's Bio - Abstract
Alexis Marechal obtained his MSc degree in Computer Science at the SMV group at the University of Geneva in 2008. Since then, he is a PhD student in the same institution. His current position is Research and teaching assistant.
His research activities are centered in the domain of Model Checking of Modular High-Level Petri Nets, in two main directions:
- Improving the performances of model checking through efficient encoding of the model states using Decision Diagrams;
- Enhancing its applicability, mainly in the aspect of the creation of such models. From a user point of view, this is pursued by using Domain Specific Languages. On the other hand, the automatic extraction of models from existing code is also considered.
The basis for this work is a powerful underlying modular formalism, based on CO-OPN.
He participated in the development of AlPiNA, a model checker for Algebraic Petri Nets, along with Steve Hostettler. He is the author of AlPiNA's input languages, all created in the EMF environment.
Paulo Carreira
See Professor Paulo Carreira Homepage
Institution: Technical University of Lisbon
Speaker's Bio - Abstract
Paulo Carreira holds a PhD and a Master's Degree in Computer Science from the University of Lisbon.
His research focuses primarily on the application of query optimization techniques to data integration, cleaning and transformation. He has worked as researcher at INESC-ID and at the XLDB group while completing his doctoral project. Paulo also worked several years in industry before joining INESC-ID. His main industrial achievement was the development of Data Fusion, a toolbox for legacy data migration used in several large scale data migration projects by the Portuguese Public Administration and Banking industry.
