You are here: » Lecturers
Denis Aulagnier received an Engineer degree from l’Ecole Nationale Supérieure des Arts & Métiers (1985) and a Master of Science in Electrical Engineering from North Carolina State University (1988). He joined Radar/Electronic Warfare division of Thomson-CSF, now Thales, in 1988. Since then, he has been in charge or participated to the hardware and software front-end processing developments for numerous airborne and naval Radar and EW equipments. Besides that, since 1996, he has participated in different French and European research studies related to design environment, rapid prototyping and digital technology. He was Program Technical Manager of ESPADON European research program (www.espadon.org). He is currently the Program Manager of the MOPCOM SoC/SoPC French research program (www.mopcom.fr).
Benoit Baudry received his PhD in computer science from the University of Rennes, France in 2003. He first worked at CEA (French government nuclear agency) before joining INRIA in 2004. In 2008, he spent a year at Colorado State University. He is now a researcher in software engineering in the Triskell team of the IRISA lab. His research interests focus on software testing, fault localization, and software modeling in the context of model-driven software development. He is a member of the IEEE and the IEEE Computer Society.
Y. Bernard is responsible for Airbus’ research works in the domain of avionics engineering. He trained initially as halieutic engineer and it is first on the management of biological populations that he applies modelling & simulation technologies. He switched to computer science in 1991 and participated to the development of numerous software applications in miscellaneous domains. He was interested in UML since its normalization by the OMG (1997) and start to apply this modelling language very early to industrial design of software (cf. “Use of CS-SI UML Development Process on the GEDYS Project “ A.Canals, Y.Bernard, JOOP Vol.12, n°6 October 1999). This had leaded him to build and give training sessions for his own development teams then, later, for external customers. Working for Airbus Avionics Department since 2005, he has the mission to lead the definition of a full model-based and seamless development methodology, from the product level to its software and hardware components.
Huascar Espinoza is a researcher of the Model Driven Engineering Labs at CEA (French Atomic Energy Commission). He holds a Ph.D. in Computer Science from the University of Evry and CEA. His research interests center on model-driven development of real-time embedded systems, architecture evaluation, and verification techniques. He is co-author of the OMG standard for Modeling and Analyzing Real-Time and Embedded systems (MARTE) with UML. His duties in MARTE included the leading of the non-functional properties and the schedulability analysis modeling frameworks. He currently participates in a number of European and French research projects for large automotive, avionics, and transport industries. He is member of the OMG’s finalization and revision task forces for MARTE and SysML standardization.
Peter Feiler has been with the Software Engineering Institute (SEI) for 23 years. He is the technical lead and author of the Society of Automotive Engineers (SAE) Architecture Analysis & Design Language (AADL) standard. His research interests include dependable real-time systems, architecture languages for embedded systems, and predictable system engineering.
Christophe Gaston is a researcher at CEA-LIST. He obtained a Phd in 2002, at the University of Evry in France. His research interest concerns formal treatment of complex systems, using algebraic or symbolic approaches. In particular he works on the subject of conformance model based testing and simulation for reactive communicating systems. In this field of research, he mainly works on symbolic based approach whose central motivation is to reduce state explosion problems when analysing models.
Sébastien Gérard is a CEA LIST senior researcher in software engineering and computer science. He graduated in 1995 from ENSMA (the Superior School of Mechanics and Aeronautics in Poitiers, France) as a mechanical and aeronautics engineer, after which he obtained a doctorate in computer science in 2000. He is currently leading a research team of about 20 engineers at CEA LIST (an arm of the French Atomic Energy Agency, http://www-list.cea.fr/gb/index_gb.htm) within the LISE (Laboratory for Model-based Engineering of real-time and embedded (RT/E) systems). The principal objective of this research of this team is to achieve “correct-by-construction” design of RT/E systems from requirements to implementation”. Through his involvement in a numerous national and international research projects, Dr. Sébastien Gérard has worked with many industrial partners such as Peugeot Citroen, Airbus, ST Microelectronics, EADS, gaining extensive experience and insight into industrial problems and requirements. Dr. Sébastien Gérard is also deeply involved in various standardization activities, and is currently co-chairing both the UML 2 and MARTE (the UML extension for RT/E) standardization task forces. He is also core member of the European network of excellence, ArtistDesign (http://www.artist-embedded.org), where he is a prime on issues related to modeling and standardization. In addition, Dr. Sébastien Gérard is a member of the editorial board of the SoSyM journal, co-founder of the International School on Model-Driven Development for DRES (http://www.mdd4dres.info) and a frequent member of program committees of major technical and scientific conferences (MODELS, ECRTS, ISORC, etc.).
Stefan Kuntz is a member of the Powertrain Division's Innovation Center at Continental Automotive GmbH in Regensburg, Germany. He received a Dipl. Eng. degree in Electrical Engineering and Computer Engineering from the University of Applied Science in Flensburg. He worked at Siemens, ST Microelectronics, Force Computers, Micron Electronic Devices and Continental Automotive GmbH. Mr. Kuntz played different roles in the hardware- and software development of software intensive embedded systems for various segments in industries like command/control, medical, telecommunications and automotive. During his professional life he worked in Italy and the United States of America. In theses times he contributed to different standardizations activities. Since 2004 he is doing research on model driven engineering applied in the development of engine management system products at Continental Automotive GmbH in Regensburg, Germany. He is an active member of the AUTOSAR Timing Subgroup and also supports the definition of other AUTOSAR topics. His primary focus is on the integration of different models and modeling methodologies which are used and applied during the development of embedded real time systems.
Tom Mens obtained a PhD in Science in 1999 at the Vrije Universiteit Brussel in Belgium. Since 2003 he lectures at the University of Mons in Beglium, where he is full professor and directs a research lab on software engineering. His main research interests are software evolution and model-driven software engineering. In particular, he studies the underlying foundations of, and tool support for, improving and evolving software. He published numerous international peer-reviewed articles on these research topics, and has co-organised many international workshops. He is involved in several research projects and networks, and is founder and director of the ERCIM Working Group on Software Evolution. In 2008 he co-edited the Springer book “Software Evolution” with S. Demeyer.
Pierre-Alain Müller is Executive Vice-President at the University of Haute-Alsace (France), Vice-President of the online marketing research center Cogifactory, and full professor of computer science, he is associated with the INRIA project Triskell at IRISA in Rennes. His research interests include software engineering and model-driven engineering; he has been coordinating the Kermeta meta-language development, and the RNTL OpenEmbeDD project. Before joining academia, he has been CEO of ObjeXion Software from 1999 to 2002 and consultant with Rational Software from 1988 to 1993. He has authored several books about object modeling, founded the ACM/IEEE «MODELS/UML» series of conferences (with J. Bezivin) in 1998, and recently the IDM series of conferences (with J.-M Favre, S. Gérard and X. Blanc).
Dorina C. Petriu is a full Professor in the Department of Systems and Computer Engineering at Carleton University, Ottawa, Canada. She received a Dipl. Eng. degree in computer engineering from the Polytechnic University of Timisoara, Romania, and a Ph.D. degree in electrical engineering from Carleton University. Her main research interests are in the areas of performance modeling and software engineering, with emphasis on integrating performance engineering into the software development process. She was a contributor to the “UML Profile for Schedulability, Performance and Time” (SPT) standardized by OMG, and its replacement, the “UML Profile for Modeling and Analyzing Real-Time and Embedded systems (MARTE)”. Dr. Petriu is a Fellow of the Engineering Institute of Canada, a Senior Member of I.E.E.E. and a member of A.C.M.
Chris Raistrick joined Kennedy Carter in 1989. He is the lead author of the book “Model Driven Architecture with Executable UML”. For the past eighteen years, Chris has been applying state of the art methods, most recently MDA and UML, on a wide variety of large-scale projects. Chris has previously spoken at various conferences including several Embedded Systems Conferences, UML <200x> and OOP <200x>.
Nicolas Rouquette is a principal member of the technical staff at the Jet Propulsion Laboratory of the California Institute of Technology in Pasadena, California. He holds an engineering diploma from ESIEE in Paris and a Ph.D. in Computer Science from the University of Southern California. He is a member of NASA’s Engineering Safety Center’s Technical Discipline Team in software where he represents NASA’s interests at the OMG on the development and definition of the UML specification. He is key a contributor to the “Executable UML” specification for the OMG. Dr. Rouquette is a member of the IEEE, ACM and the Association for Symbolic Logic.
Joseph Sifakis is CNRS researcher and the Founder of Verimag laboratory (http://www-verimag.imag.fr/), in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble. Joseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques (http://www-verimag.imag.fr/~sifakis/). Joseph Sifakis has broad experience with industry, notably though joint projects with partners such as Astrium, the European Space Agency, France Telecom, ST Microelectronics and he has also been active for many years in consulting. Joseph Sifakis is the Scientific Coordinator of the European Network of Excellence ARTIST2 on Embedded Systems Design. (http://www.artist-embedded.org/). This network gathers 35 of the best European teams in the area, and aims to produce innovative results for cost-effective design of dependable embedded systems. It will also promote innovative methods safe and secure systems, notably through cooperation with key European industrial partners such as Thalès, Airbus, Ericsson, Philips, and ST Microelectronics. Joseph Sifakis is the chair of “Chamber B” (Public Research Organisations) of ARTEMISIA, which is the Industrial Association within the ARTEMIS European Technology Platform on Embedded Systems (http://www.cordis.lu/ist/artemis/). Joseph Sifakis is the director of the CARNOT Institute “Intelligent Software and Systems” in Grenoble. Joseph Sifakis is a member of the editorial board of several journals, co-founder of the International Conference on Computer Aided Verification (CAV) and a member of the Steering Committee of the EMSOFT (Embedded Software) conference. Joseph Sifakis has received with Ed Clark and Allen Emerson for their contribution to Model Checking, the Turing Award 2007. He is also the recipient of the CNRS Silver Medal in 2001
Lothar Thiele received his Diplom-Ingenieur and Dr.-Ing. degrees in Electrical Engineering from the Technical University of Munich in 1981 and 1985 respectively. After completing his Habilitation thesis from the Institute of Network Theory and Circuit Design of the Technical University Munich, he joined the Information Systems Laboratory at Stanford University in 1987.
In 1988, he took up the chair of microelectronics at the Faculty of Engineering, University of Saarland, Saarbrucken, Germany. He joined ETH Zurich, Switzerland, as a full Professor of Computer Engineering, in 1994. He is leading the Computer Engineering and Networks Laboratory of ETH Zurich.
His research interests include models, methods and software tools for the design of embedded systems, embedded software and bioinspired optimization techniques.
In 1986 he received the “Dissertation Award” of the Technical University of Munich, in 1987, the “Outstanding Young Author Award” of the IEEE Circuits and Systems Society, in 1988, the Browder J. Thompson Memorial Award of the IEEE, and in 2000-2001, the “IBM Faculty Partnership Award”. In 2004, he joined the German Academy of Natural Scientists Leopoldina. In 2005, he was the recipient of the Honorary Blaise Pascal Chair of University Leiden, The Netherlands.
