|
|
DSM TP 2016 Theory and Practice |
7th International Summer School on Domain-Specific Modeling |
Genève, Switzerland 22-26 August |
|
|
|
DSM TP 2016 Theory and Practice |
7th International Summer School on Domain-Specific Modeling |
Genève, Switzerland 22-26 August |
|
|
LecturersProf. Vasco Amaral
Visit Dr. Amaral's Homepage Short BioVasco Amaral is an Assistant Professor at FCT Universidade NOVA de Lisboa and integrated member of the NOVA LINCS ( NOVA Laboratory for Computer Science and Informatics). Vasco is currently affiliated as a senior member of IEEE and the Portuguese Ordem dos Engenheiros. He holds a PhD. from the University of Mannheim in Germany. Before that, he has worked as Software Engineer, and research collaborator, on High Energy Physics Computing and Very Large Databases at CERN (Switzerland), DESY (Germany), and LIP (Portugal). Over the last years, he has worked on the topic of Software Language Engineering, and he has focused on the use of Model-Driven Development (MDD) approaches, at both the Foundations and Application level. He is currently interested in finding systematic, automatic and robust approaches to conceiving Modeling Languages to support Software Development. He has produced contributions in Model Composition, Model Transformations (tool DSLTrans), Multi-Paradigm Modeling, DSL Engineering approaches, DSL Quality, and MDD education. Among more than 50 publications in reputed journals and conferences, he serves as guest editor or reviewer of journals like SoSym, SQJ, IST, JVL, COMLAN, COMSIS. He is vice-chair of the European COST action MPM4CPS (Multiparadigm Modeling of Cyberphysical Systems) and co-organizer of the International DSM-TP Summer School. Prof. Didier Buchs
Visit Dr. Buchs' Homepage Short BioDr. Buchs is a Full Professor at the University of Geneva. He 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) until 2002, developing methods and tools for distributed embedded systems. His current interest is mostly on formal specification methods, validation techniques and testing techniques for real size distributed systems. These research topics produced a number of significant results such as 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 . Prof. Miguel Goulão
Visit Dr. Goulão's Homepage Short BioMiguel Goulão received his PhD degree from Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT/UNL), in 2008. He is an Assistant Professor of the Informatics Department of FCT/UNL. He conducts his research in the Nova LINCS research center. He has 20 years of experience with Experimental Software Engineering (ESE) and its applications to several Software Engineering areas. Miguel has been applying ESE to evaluate claims on Object-Oriented Design, Software Process Improvement, Software Evolution and Reengineering, Component-Based Software Engineering, and, more recently, in Requirements Engineering and Software Languages Engineering. Miguel is currently focusing his research on how complexity affects the usability of software development languages, namely requirements engineering and domain specific languages. Miguel has published over 50 papers in peer reviewed international journals, conferences, and workshops, and served as PC member on several occasions. He also served as General Chair of SEDES'2012, PC Chair of ESELAW2015, PC Co-Chair of QUATIC’2004 and QUATIC’2010, as organizing co-chair of QUATIC’2007, and as member of the organizing committee of CSMR’2001 and UML’2004. He was a co-author of the paper receiving the best paper award in CAiSE 2014, and of the paper receiving the János Szentes Award for the best paper on Software Metrics presented at the 6th European Conference on Software Quality, in 1999. Dr. Steve Hostettler
Short BioSince August 2013, Dr. Steve Hostettler works as a Software & Solution Architect for Wolters Kluwer Financial Services. He previously held several positions as architect and senior consultant for different industries (financial sector, chemical and pharmaceutical industry, retail, logistic) and he worked as a post-doctoral researcher in Computer Science at the Software modeling and Verification laboratory of the University of Geneva where he obtained his PhD in Computer Science. Software craftsman for quite some time (~16 years). He is mostly interested in architecture and software validation & verification. He also enjoy teaching at the University of Geneva. Wolters Kluwer financial services (WKFS) is a leading worldwide provider of comprehensive compliance, risk management and audit solutions for the financial services industry. Development and maintenance of WKFS solutions require both high technical and business expertise. WKFS’ new integrated solution relies on DSLs to abstract technical complexity from business analysts and users. Experience in specifying, implementing and using the DSLs for regulatory reporting and risk management will be presented. Prof. Thomas Kühne
Visit Dr. Kühne's Homepage Short BioDr. Kühne has been an Associate Professor at the Victoria University of Wellington since 2007. Before that he was an Assistant Professor at the Technische Universität Darmstadt, an Acting Professor at the Software Engineering Department of the University of Mannheim and the Technische Universität Darmstadt, a researcher at the University of Kaiserslautern and a Lecturer in Computing at Staffordshire University. Thomas' research interests include object-technology, programming languages, component architectures, (meta-) modelling, and model-driven development. Among several other recent highlights activities, Thomas is a co-editor of the SoSyM Theme Issue on Multi-level Modeling and was editor for the SoSyM Theme Issue on Metamodeling for the Springer Verlag journal Software and Systems Modeling, is a co-organiser of the international "MULTI" workshops at MODELS, was in 2011 the organizer of MODELS 2011, and was PC chair (foundations track) for ECMFA 2010. Thomas was author of several papers among which, the well known in the MDD community "Matters of (Meta-)Modeling" Journal on Software and Systems Modeling, in 2006. Dr. Levi Lucio
Visit Dr. Lucio's Homepage Short BioDr. Levi Lúcio is a senior staff researcher and project leader at fortiss GmbH, Germany. He was awarded a PhD from the University of Geneva, Switzerland, in 2008, for his work on Model-Based Testing. For the past 6 years he has led research on the verification of model transformations based on the DSLTrans language, partly in collaboration with General Motors. This research has materialised in several publications, a best application paper award (at ICMT 2014), several completed and ongoing PhD thesis, and the SyVOLT tool. His research on this topic and ensuing and tools are of practical interest to Siemens, for which Levi is currently implementing a project to qualify a C code generation tool called mbeddr. Levi’s current research has as goal the technology transfer of Model-Driven Development techniques to improve software development productivity in the industry. At fortiss he works tightly with aerospace and automotives companies (Diehl / Airbus, ZF) to develop novel tools based on DSLs and the MPS workbench to improve current requirement gathering and management techniques. In the past Levi has performed research and lectured at several top-ranked institutions, including CERN, the University of Geneva and McGill University. He was at the origin of the VOLT and AMT workshops in the field of model transformation analysis, which have become references and helped to shape the domain. He was workshop co-chair for ICST 2013 and is a reviewer for journals such as SoSyM and TSE. Dr. Bernhard Schätz
Visit Dr. Schätz's Homepage Short BioBernhard Schätz received his Ph.D. and Habilitation degree in Informatics from the Technische Unversität München. At the fortiss Transfer Institute associated with the Technische Universität München, he leads the research department “Software & Systems Engineering” with the fields of Analysis and Design of Dependable Systems, Optimized Design Space Exploration, Model-Based Engineering Tools, with Smart Grid, Automotive, and Automation as fields of application. Besides his scientific activities, he acts as Lecturer at the Technische Unversität München, he is co-founder and member of the advisory board of the Validas AG, and works as a consultant (incl. BMW, Bosch, Eurocopter) in the field of Software and Systems Engineering. Prof. Eugene Syriani
Visit Dr. Syriani's Homepage Short BioDr. Syriani is I an Assistant Professor in Computer Science at the University of Montreal. He is a member of the GEODES Software Engineering Research Group. Until 2014, he was an Assistant Professor at the University of Alabama. His main research interests are in model-based design, in particular model transformation design and verification, model-driven methodology, simulation-based design, and application of MDE in non-computer science domains. He serves on the program committee and organizes several international conferences and workshops. Prof. Hans Vangheluwe
Visit Dr. Vangheluwe's Homepage Short BioDr. Vangheluwe is a Full Professor in the department of Mathematics and Computer Science at the University of Antwerp (Belgium), an Adjunct 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. 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 currently the chair of COST Action IC1404 Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS). He is an advisor to national and international granting agencies in Europe and North America. In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM). His current interests are in domain-specific modelling and simulation, including the development of graphical user interfaces for multiple platforms. The MSDL's tool AToMPM (A Tool for Multi-Paradigm Modelling), developed in collaboration with Prof. Eugene Syriani uses meta-modelling and graph transformation to specify and generate domain-specific environments. Recently, he has been active in the design of Automotive applications. Prof. Dániel Varró
Visit Dr. Varró's Homepage Short BioDr. Varró is a Full Professor at McGill University and at the Budapest University of Technology and Economics and a Research Chair of MTA-BME Lendület Research Group on Cyber-Physical Systems. His main research interest is model-driven systems and services engineering with special focus on model transformations. He regularly serves on the programme committee of various international conferences in the field such as MODELS, ASE, FASE and ICMT and serves on the editorial board of the Software and Systems Modeling journal (Springer). He is a programme committee co-chair of FASE 2013 and ICMT 2014 conferences. He delivered a keynote talk at IEEE CSMR 2012 conference and at various international workshops (recently, VOLT 2013, GT-VMT 2014). He is a founder of the VIATRA2 model transformation tool and the EMF-IncQuery framework, and the principal investigator at his university of the SENSORIA, DIANA, SecureChange and MONDO European Projects. He is a three time recipient of the IBM Faculty Award. Previously, he was a visiting researcher at SRI International, at the University of Paderborn and twice at TU Berlin. In 2014, he was a visiting professor at McGill University and Université de Montréal. He is a co-founder of IncQuery Labs Ltd. Prof. Andrzej Wąsowski
Visit Dr. Wąsowski's Homepage Short BioDr. Wąsowski is an Associate Professor Professor in Process and System Models Group at the IT University of Copenhagen. Earlier, he worked also at Aalborg University in Denmark, and as visiting professor at INRIA Rennes and University of Waterloo, Ontario. His interests are in semantic foundations and tool support for model-driven development, especially for software product lines and component-based systems. Many of these projects involve commercial or open-source partners, primarily in the domain of safety-critical embedded systems. Wąsowski holds a PhD degree from the IT University of Copenhagen, Denmark (2005) and a MSC Eng degree from the Warsaw University of Technology, Poland (2000). He is a recipient of the Sapere Aude research leadership award from The Danish Council for Independent Research (2012). Project supportDavid Lawrence
Institution: Computer Science Department, University of Geneva (Switzerland) Short BioDavid Lawrence is a PhD student and teaching assistant in the department of Computer Science at the University of Geneva. Moreover, he is a member of the Software Modeling and Verification group (SMV) located at the University of Geneva. In his master thesis, he studied an embedded software verification technique. In this approach, dynamic testing is performed on a system by using software instrumentation to improve the observability and the development board as a testing environment. The latter master thesis was performed in collaboration with Honeywell International Sarl. Performing his PhD with Honeywell International Sarl as well, he takes strong interests in tests generation and embedded/cyber-physical systems modeling. Simon Van Mierlo
Visit Simon Van Mierlo's Homepage Short BioSimon Van Mierlo is a PhD student in the department of Mathematics and Computer Science at the University of Antwerp (Belgium). He is a member of the Modelling, Simulation and Design (MSDL) research lab. In his master thesis, he worked on the evolution of modelling languages, developing a co-evolution technique applicable on models and transformations using model transformations, in particular higher-order transformations. He is currently continuing his work on modelling language engineering as the developer of a new metamodelling framework called the Modelverse. The topic of his PhD is the explicit modelling of model debugging and experimentation. The goal of the project is to develop debugging environments for a number of well-known formalisms, and combinations of formalisms, by explicitly modelling the environment as a Statechart. |
| Maintained by Hans Vangheluwe. | Last Modified: 2016/08/26 08:10:38. |
