Academic members
Program committee academic chair
|
Frédéric Boulanger |
Frédéric Boulanger is a professor at Supelec, a major French grande école. He got his engineering degree from Supelec in 1989, and a PhD in Computer Science from Paris-Sud University in 1993. His current interest is in modeling and verifying the behavior of heterogeneous systems, and more specifically in the precise definition of the semantic adaptation between heterogeneous parts of a model.
Other academic members of the program committee
|
Erik Aslaksen |
Erik W. Aslaksen has over forty-five years experience, gained in Switzerland, the US, and Australia, in a wide range of fields, including theoretical physics, telecommunications, power electronics, and process control.
He also has extensive experience in both line and project management of research, engineering, and production, and his current focus is on systems engineering and engineering management. Erik has a MSc degree in Electrical Engineering from the Swiss Federal Institute of Technology, Zürich, and a PhD in Physics from Lehigh University, Bethlehem, Pa, USA. He also completed the Communications Technology Course at Bell Telephone Laboratories, is a Certified Professional Logistician from the Society of Logistics Engineers (SOLE), and a Certified Systems Engineering Professional from the International Council on Systems Engineering (INCOSE). He is also a Fellow of the Institution of Engineers, Australia, and of INCOSE, and a Member of the Australian Institute of Physics.
Since 1988, Erik has been with Sinclair Knight Merz, as a Director and Senior Principal, and now as a Senior Consultant, and some of his projects there have been:
Lead engineer for the underground instrumentation and control of a major new gold mine. Independent Verifier on several major transport infrastructure projects. Development of the Business Case for Headquarters Australian Theatre, the permanent operational headquarters for the Australian Defence Force. Interim Design Manager to the Rail Infrastructure Corporation for the Parramatta Rail Link Design of the control and telecommunications systems for the upgrade of an underground ore transport railway in Chile. Project Manager to Adtranz Australia for a new centralised control system for the Rail Infrastructure Corporation. Project Manager to the Public Transport Corporation of Victoria for the introduction of a new train management facility. Project Manager for the Northparkes E26 Mine project, the full EPCM of a $170 million state-of-the-art underground copper mine. Prior to joining Sinclair Knight Merz, his positions included: Technical Manager for the system design phase of Project PARAKEET, the new tactical communications system for the Australian Army Manager of the Systems Division of Brown Boveri (Aust.); engineering and sales of computer-based systems for utilities. Director, ASLAKSEN AG, consulting to Swiss industry on systems engineering and engineering management. Technical Director of GUTOR AG, a Swiss firm manufacturing sheet steel products, transformers, and industrial electronics, with 350 employees. Many years in research and development of electronic components and equipment, in the US and Switzerland. Erik is the author of numerous papers and four textbooks on physics and engineering, and has lectured, as an Adjunct Professor, for more than twelve years in both undergraduate and graduate courses at the University of Technology, Sydney.
|
Christian Attiogbé |
Christian Attiogbe received in 1992 his PhD in Computer Science from the University of Toulouse (France). He joined the University of Nantes (France) in 1994 as an associate Professor. He is currently Professor of Computer Science at the University of Nantes and the leader of the Dependable Components and Software team. His research interests include formal methods for dependable software development. He is engaged in research projects that include formal methods integration, multi-paradigm specifications, correct-by-construction using refinement (the B Method), combination of theorem proving and model checking for multi-facet analysis of concurrent, distributed and reactive systems. More recently he worked on the formal aspects of component-based software engineering by focusing on semantic models, the construction of correct components and their interoperability. He is author of several papers in international conferences and journals in the field of formal software engineering. He is the head of the Computer Science Department of Nantes Institute of Technology at University of Nantes.
|
Julien Bernet |
Julien Bernet is a research engineer at Trusted Labs.
|
Manfred Broy |
Manfred Hans Bertold Broy studied Mathematics and Computer Science at the Technical University of Munich. He graduated in 1976, 1980 he received his Ph. D. and 1982 he completed his Habilitation Thesis at the Faculty of Mathematics at the Technical University of Munich. 1983 t ill 1989 he worked as a full professor for computer science and founding dean at the Faculty of Mathematics and Computer Science at the University of Passau. In October he became a full professor for computer science at the Faculty of Computer Science the Technische Universität München (former chair of Professor F.L. Bauer).His research interests are software and systems engineering comprising both theoretical and applied aspects including system models, specification and refinement of system components, specification techniques, development methods and verification. Professor Broy is a member of the European Academy of Sciences and a Member of the Deutsche Akademie der Naturforscher “Leopoldina”. In 1994 he received the Leibniz Award by the Deutsche Forschungsgemeinschaft and in 2007 the Konrad Zuse Medal by the Gesellschaft für Informatik.
|
Michel-Alexandre Cardin |
Dr. Michel-Alexandre Cardin is Assistant Professor of Industrial and Systems Engineering at the National University of Singapore (NUS). He is a research affiliate at the Massachusetts Institute of Technology (MIT) Engineering Systems Division, the NUS Institute of Real Estate Studies, and co-investigator in the Singapore-MIT Alliance for Research and Technology. He is a member of the INCOSE Singapore Chapter, and Editorial Review Board of the international journal IEEE Transactions on Engineering Management. His research focuses on the development, experimental evaluation, and real-world applications of novel methodologies to design and architect complex engineering systems for uncertainty and flexibility - also known as real options. He has worked with international collaborators in different industries including aerospace, nuclear, real estate, offshore oil exploration, and transportation. He earned a PhD and Master’s degree in Engineering Systems from MIT, a Master’s in Aerospace Engineering from the University of Toronto, and a honors BSc in Physics from McGill University. He is also a graduate from the International Space University.
|
Vincent Chapurlat |
Vincent Chapurlat is currently Professor of Ecole des Mines d’Alès and head of the research team Interoperable Systems and Organization Engineering (ISOE) at the Laboratory of Informatics and Production Systems Engineering (LGI2P). He received a habilitation level for research direction in 2007 and a PhD in control command systems specification and verification in 1994 from the University of Montpellier II. His research aims to develop and to formalize concepts and tools allowing to supply complex systems designer teams to verify by properties proof and to validate design models by using advanced simulation techniques. The concerned application domains are Enterprise Modeling and System Engineering (SE) domains. He is member of the French chapter of INCOSE namely AFIS (Association Française d’Ingénierie Système), of the Technical Committee 5.3 ‘Enterprise Networking’ from IFAC Board, of the Working Group ‘Enterprise interoperability’ from IFIP Board, and from various working groups from French CNRS (Scientific National Research Agency) and from InteropVLab.
|
Robert de Simone |
Robert de Simone holds a PhD from Paris Jussieu University, defended in 1982. He is since 1984 with INRIA Sophia-Antipolis, as Junior then Senior Researcher. He is currently Scientific Leader of the Aoste project-team, which studies Methods and Models for the Analysis and the Optimization of Real-Time Embedded Systems. His interests range from Concurrency Theory and Process Algebras, to Automatic Verification and model-checking tools, to Synchronous Languages and their semantics. Recently he has been working on Latency-Insensitive and GALS extensions to synchronous formalisms, and explicit Time representations for Models of Computations in a UML setting. Dr de Simone has been involved in many academic and industrial contractual collaborations over the years. He leads INRIA’s involvement in the French PACA Integrated Center for Microelectronics (CIM), together with many prominant industrial companies in the field. He is also INRIA coordinator on the forthcoming OMG UML profile for Modeling and Analysis of Real-Time Embedded systems (MARTE).
|
Olivier de Weck |
Prof. de Weck’s research is in advanced Systems Engineering. He focuses on complex man-made systems and how we can design them to maximize lifecycle value. System lifecycle properties (‘Ilities’) such as flexibility, evolvability and interoperability are of great interest to him. Specific research results include methods such as Time-Expanded Decision Networks (TDN), the Delta-Design Structure Matrix (ΔDSM) and the Technology Infusion Analysis (TIA) process that have been demonstrated on systems of real-world complexity in space exploration (NASA), oil and gas exploration (BP) as well as complex electro-mechanical products (e.g. Xerox, United Technologies Corporation).
He is an Associate Fellow of AIAA, and serves as Associate Editor for the Journal of Spacecraft and Rockets and the Journal of Mechanical Design. He won the 2008 and 2010 best paper awards from the journal Systems Engineering and the 2010 Capers and Marion MacDonald Award for Excellence in Mentoring and Advising. He served as Associate Director of the Engineering Systems Division (ESD) at MIT from 2008-2011. ESD is a fast-growing academic unit with 60 faculty members and 420 graduate students (http://esd.mit.edu).
He is the lead author of a new book titled “Engineering Systems: Meeting Human Needs in a Complex Technological World” by MIT Press. He also serves as Secretary and Treasurer for CESUN (Council of Engineering Systems Universities), an organization that connects over 40 universities worldwide with research and teaching programs in Engineering Systems.
|
Holger Giese |
Prof. Dr. Holger Giese heads the Systems Analysis and Modeling research group at Hasso Plattner Institut. The team focuses on model-driven software development for software-intensive systems. This includes the UML-based specification of flexible systems with samples and components, approaches to the formal verification of these models and approaches to the synthesis of models. The group also looks at the transformations of models, code generation concepts for structure and behavior for models and, in general, the problem of the integration of models in model-driven software development.
|
Patrick Godfrey |
Patrick Godfrey is Professor of Systems Engineering at the University of Bristol, and Director of the Systems Centre and the EPSRC Industrial Doctorate Centre in Systems at University of Bristol and University of Bath. The Centre is focused on ‘Leading in the application of Systems Thinking to create value within socio-technical complexity’. His research focuses on systems thinking applied to complex engineering topics such as: infrastructure design, operations and management; capability, uncertainty, risk, value and safety and more recently systems for the built environment, resilience and sustainability.
Patrick has been for most of his career a Director of a large consulting engineering company– Halcrow, where he specialized in the design of offshore oil and gas structures. He was the Visiting Professor of Civil Engineering Systems at University of Bristol for 10 years 1995-2005. During this time he co-authored ‘Doing it differently - Systems for Rethinking Construction’ which was awarded a Chartered Institute of Building (CIOB), Gold Medal and Author of the Year in 2001. From 1996 to 2001 he personally provided strategic risk management consultancy services to BAA for the development of Terminal 5. He retired from Halcrow to take up his Chair in Systems Engineer in 2005. He is a Fellow of the Royal Academy of Engineering, Fellow of Institution of Civil Engineers, Fellow of City and Guilds Institute, Fellow of the Energy Institute, Honorary Fellow of the Institute of Actuaries and was awarded an Honorary Doctorate in Engineering by the University of Bristol in 2004. He is also a National Advocate for Industrial Doctorate Centres for EPSRC.
For more details, see:
- http://www.bristol.ac.uk/eng-systems-centre/
- http://www.bristol.ac.uk/pace/graduation/honorary-degrees/hondeg04/godfrey.html
|
Omar Hammami |
Omar Hammami is a Professor at ENSTA/DGA since 2000. Prior to that he was Assistant Professor from 1991 to 1993 with ENSEEIH, Toulouse, and Associate Professor with the University of Aizu, Japan, from 1993 to 2000. He received his Ph.D. degree in computer science and electrical engineering from Paul Sabatier University, Toulouse and has since worked in the field of circuits, system level design methodologies, embedded parallel architectures, and system on chip (SOC) for multimedia and wireless communications. His current interest is in complex systems design and systems engineering. He has been involved in numerous international and national research and industrial projects in those areas, and has been funded by various government and funding agencies. He is a regular reviewer for various journals (IEEE, EURASIP, etc.) and conferences as Program Committee Member.
|
Paulien Herder |
Paulien Herder is Professor of Engineering Systems Design in Energy & Industry at Delft University of Technology and scientific director of the international research consortium ‘Next Generation Infrastructures’. She currently is the Director of Research for the Faculty of Technology, Policy and Management of the TUDelft. She is an expert in design of large-scale complex systems and strategic asset management, mainly in the area of industrial and energy infrastructures.
|
Mike Hinchey |
Mike Hinchey is Director of Lero—the Irish Software Engineering Research Centre, a national centre based at 6 Irish higher education institutes and funded by Science Foundation Ireland (SFI) under its Centres in Science, Engineering and Technology programme (CSET). He is also Professor of Software Engineering at University of Limerick, Ireland. Prior to joining Lero, Hinchey was Director of the NASA Software Engineering Laboratory based at Goddard Space Flight Centre and has previously been either Full or Visiting Professor in the USA, UK, Sweden, Australia and Japan.
Hinchey received a BSc in Computer Systems from University of Limerick, an MSc in Computation (Mathematics) from University of Oxford, UK, and a PhD in Computer Science from University of Cambridge, UK.
He is a Chartered Engineering, Chartered Mathematician and a Chartered Professional Engineering. He is the Chair of IFIP Technical Committee 1 (Foundations of Computer Science) and is Chair of the IFIP Technical Assembly.
|
Marjan Mernik |
Marjan Mernik is a Professor of Computer Science at the Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia since 1998. He is also a Visiting Professor at the Department of Computer and Information Sciences at the University of Alabama, Birmingham since 2005. Mernik obtained his Ph.D. degree in computer science from the University of Maribor in 1998. His research interests include programming languages, compilers, domain-specific (modeling) languages, grammar-based systems, grammatical inference, and evolutionary computations. He is a Member of the Editorial Boards at Applied Soft Computing, Information Technology and Control, and Journal of Advanced Robotic Systems. Marjan Mernik has been previously involved in the organization of several workshops on attribute grammars (WAGA’99, WAGA’00), workshops on language descriptions, tools and applications (LDTA ’01, LDTA ’02), minitracks on domain-specific languages (HICSS-34, HICSS-35, HICSS-36), programming languages tracks at Symposium on Applied Computing (ACM SAC, 2005-2013), and workshops on Advances of Programming Languages (WAPL’07, WAPL’09, WAPL’11, WAPL’13). Mernik served also as a Guest Editor of journals Informatica, Journal of Computing and Information Technology, Computer Science and Information Systems, Science of Computer Programming, Software Quality Journal, and Programming Languages, Systems and Structures. He is a Member of the IEEE, ACM and EAPLS.
|
Gérard Morel |
|
Pieter J. Mosterman |
Pieter Mosterman is a Senior Research Scientist at MathWorks in Natick, MA and an Adjunct Professor at the School of Computer Science of McGill University. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. Dr. Mosterman designed the Electronics Laboratory Simulator that was nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for his paper on the hybrid bond graph modeling and simulation environment HYBRSIM. In 2009, he received the Distinguished Service Award of The Society for Modeling and Simulation International (SCS) for his services as Editor-in-Chief of SIMULATION: Transactions of SCS.
|
Antoine Rauzy |
Antoine Rauzy is a senior researcher at Ecole Polytechnique (and CNRS) and associate professor at Ecole Polytechnique. He was previously the director of the system engineering R&D department at Dassault Systemes. He was the founder and CEO of ARBoost Technologies. He published more than 100 articles in international journals and conferences. His main scientific contributions stand in mathematical models and algorithmic tools for safety analyses.
|
Arend Rensink |
Arend Rensink received his degree in computer science engineering at the University of Twente in August 1986, and his PhD degree in August 1993, at which time he had already started work as a lecturer at the University of Hildesheim. In 1998 he moved back to the University of Twente, first as as assistant professor and, from 2000, as associate professor. On 1 September 2010 he was appointed Full Professor on Software Modelling, Verification and Transformation. Arend’s current research focus is the application of graph transformation in the twin areas of (1) specification and verification of dynamic behaviour, and (2) verification of design-time models and model transformation. For the purpose of the former, he is studying operational semantics based on graph transformation, as well as abstraction techniques and model checking techniques for graphs. For the purpose of the second, he is interested in automatic model generation and refactoring using a graph-based representation of models.
|
Adam Ross |
Dr. Adam M. Ross is a research scientist in the Engineering Systems Division at the Massachusetts Institute of Technology. He is co-founder and lead research scientist for MIT’s Systems Engineering Advancement Research Initiative (SEAri), a research group focused on advancing the theories, methods, and effective practice of systems engineering applied to complex socio-technical systems through collaborative research with industry and government. Dr. Ross has professional experience working with government, industry, and academia. He holds a dual bachelor degree in Physics and Astrophysics from Harvard University, two masters degrees in Aerospace Engineering and Technology & Policy, as well as a doctoral degree in Engineering Systems from MIT. Dr. Ross has research interests and advises students in ongoing research projects in advanced systems design and selection methods, tradespace exploration, managing unarticulated value, designing for changeability, value-based decision analysis, and systems-of-systems engineering. He has received numerous paper awards, including the Systems Engineering 2008 Outstanding Journal Paper of the Year. Dr. Ross has published over 70 papers in the area of space systems design, systems engineering, and tradespace exploration. He has led ten years of research and development of novel systems engineering methods and techniques for evaluating and valuing system tradespaces and the "ilities" across alternative futures during early phase design. His approach is trans-disciplinary, leveraging techniques from engineering design, operations research, behavioral economics, and data visualization. He serves on technical committees with both AIAA and IEEE, and is recognized as a leading expert in system tradespace exploration and change-related “ilities.”
|
Bernhard Rumpe |
Bernhard Rumpe is chair of the Department for Software Engineering at the RWTH Aachen University, Germany. Before that he chaired the Software Engineering Institute at the TU Braunschweig. He made his Ph.D. and Habilitation an the TU Munich. His main interests are software development methods and techniques that benefit from both rigorous and practical approaches. This includes the impact of new technologies such as model-engineering based on UML-like notations and domain specific languages and evolutionary, test-based methods, software architecture as well as the methodical and technical implications of their use in industry. He has furthermore contributed to the communities of formal methods and UML. Since 2009 he started combining modelling techniques and Cloud Computing. He is author and editor of eight books and Editor-in-Chief of the Springer International Journal on Software and Systems Modeling (www.sosym.org). He is co-Founder and Steering-Committee-member of the GI expert committee on "Modelling" in Germany, Program Committee Chair, PC member, workshop organizer etc. at various opportunities.
|
Pierre-Yves Schobbens |
Pierre-Yves Schobbens is full professor at University of Namur, Belgium. Before, he was a permanent researcher for the CNRS in Nancy, France. He graduated in Philosophy in 1982, in Applied Mathematics and Economics in 1983, in Computer Science in 1984, magna cum laude, and received his PhD in 1992 all from the University of Louvain, Belgium. He was also invited professor at IST Lisbon, Ecole Normale Supérieure (Cachan), Ecole Centrale (Nantes), universities of Birmingham, Brussels, Toulouse, Grenoble. His current research interests include software engineering, requirements engineering, formal methods, software product lines, software evolution, agent-oriented software engineering.
|
Stavros Tripakis |
Stavros Tripakis is an Associate Researcher at UC Berkeley. He obtained a PhD degree in Computer Science at the Verimag Laboratory in Grenoble, France, in 1998. He was a postdoc at UC Berkeley from 1999 to 2001, a CNRS Research Scientist at Verimag from 2001 to 2006, and a Research Scientist at Cadence Research Labs in Berkeley from 2006 to 2008. He works in the areas of embedded, real-time and distributed systems, focusing on model-based and component-based design, verification, testing and synthesis. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), Secretary/Treasurer of ACM SIGBED in 2009-2011, and is the current Vice-Chair of ACM SIGBED.
|
Paul Valckenaers |
Paul Valckenaers is a senior researcher at the mechanical engineering department of the KU Leuven (B). He holds a MS in numerical mathematics (1983), a MS in software engineering (1985), a postgraduate in industrial management (1990) and a PhD in mechanical engineering (1993). He is the chair of the IFAC Technical Committee 5.1 on manufacturing plant control and associate editor of Computers in Industry. He is a full-time researcher and has actively participated in 20 international (EU and IMS) and national research projects.
His main research topic is "design for the unexpected" focusing on execution systems - covering manufacturing execution systems, logistic execution systems, intelligent traffic systems, smart grid, fleet robotics. The research emphasizes situational awareness in open systems and unpredictable environments rather than optimized decision making. Laypersons summarized his research on self-organizing execution systems as "predicting the unexpected." The foundation of his research consists of insights in the mechanisms that prevent successful integration of system components into larger systems. His research applies insights from complex-adaptive systems theory, biology (i.e. stigmergy) and bounded rationality.
|
Jon Wade |
Jon Wade is a Professor in the School of Systems and Enterprises at the Stevens Institute of Technology and currently serves as the Associate Dean of Research. Dr. Wade is leading research in the areas of complex systems, complexity management and the use of technology in systems engineering education. He has an extensive background in leading research and development organizations and managing the development of Enterprise quality products.
Previously, Dr. Wade was the Executive Vice President of Engineering at International Game Technology (IGT) where he created corporate vision, led product development, championed the development of a corporate architecture and system development practices, and managed corporate wide research and development. Before joining IGT, Dr. Wade spent 10 years at Sun Microsystems during which time he managed the development of the UltraSPARC V based Enterprise Server family and served as the Product Manager for high-performance interconnects. Prior to this, he led advanced development of supercomputer systems at Thinking Machines Corporation.
Dr. Wade received his SB, SM, EE and PhD degrees in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology. In addition to his publications, he has received 11 patents in the areas of integrated circuits, computer architecture, networked systems and internal combustion engines. Dr. Wade is a member of the Sigma Xi (Scientific Research), Tau Beta Pi (National Engineering), and Eta Kappa Nu (National Electrical Engineering) Honorary Societies.
