Paris - Cité Universitaire (France)

Organizing committee

Organizing committee chair


Marc Aiguier

Marc Aiguier is a full Professor of Computer Science at the MAS Laboratory in the engineering school Ecole Centrale Paris. He received his PhD in 1995 in Computer Science at the Laboratory of Informatics Research (L.R.I., University of Orsay), and his habilitation in Computer Science in 2003 at the Laboratory of Informatics Methods (La.M.I.., University of Evry). His research activity relates to formal methods and to their extension and application in order to make easier both system design and system validation. Some of his works, more theoretical, deal with the foundations of formal methods (automated reasoning, abstract model theory), while some others deal with the application of formal methods at all design and validation levels (defining new formalisms, making wider specification impact).

Marc Aiguier is active in many activities related to complex system design. Hence, he is a member of the program committee of the Digiteo Labs (a groupment of many research laboratories, all of them located in the vicinity of « Plateau de Saclay » and involved with the design and the development of complex system with strong software implication). He is also a member of the steering committee of an action conducted by the competitiveness clusters SYSTEM@TIC whose the objectives is to study the good skills that every academic curriculum dedicated to complex system design should give to students. He is author or co-author of more than forty scientific research papers. He visited and/or presented lectures in computer science and mathematical logic seminars in foreign universities. He participated in several European and national projects all of them devoted to formal methods in software engineering and bioinformatics.

Other members of the organizing committee


Anas Alfaris

Dr. Alfaris is currently an Assistant Professor at the King Abdulaziz City for Science and Technology (KACST) and visiting Assistant Professor at the Massachusetts Institute of Technology (MIT). He is also the co-director of the Center for Complex Engineering Systems (CCES) at KACST and MIT as well as the Co-director of the Decision Support Center (DSC) of KACST and Boeing. Furthermore, he is the Director of the Joint Centers of Excellence Program (JCEP) at KACST that includes several joint centers with academia such as Stanford, UCLA, Cambridge and Oxford, as well as joint centers with industry such Intel, IBM, Boeing among others. In addition, he serves as a senior advisor to the Saudi Minister of Economy and Planning and is the chairman of the task force handling the strategy development for transforming Saudi Arabia into a knowledge based economy/society. Prior to that he worked for several years as a Research Scientist in the Engineering Systems Division (ESD) at MIT where he led several research projects and initiatives. At MIT, Dr. Alfaris taught several courses focusing on Multidisciplinary System Design Optimization (MSDO) as well as Computer Aided Design (CAD). He has also advised several graduate students. Furthermore, Dr. Alfaris has been part of several multidisciplinary research teams including the Design Lab and the Smart Cities Group at the Media Lab, and the Strategic Engineering Group at the ESD.

Dr. Alfaris’ research experience spans several fields including Strategic Engineering, Systems Architecture & Engineering, Generative Synthesis Systems, Integrated Modeling and Simulation, Multi-Disciplinary Analysis and Optimization as well as Decision Support Systems. His current work focuses on the development of Integrated Simulations for the planning of large scale complex urban and Infrastructure systems. In addition, Dr. Alfaris has extensive professional experience in civil architecture, strategic planning and engineering as well as product design and development.

Dr. Alfaris received his training in several disciplines including civil architecture, engineering and computer science. He started his academic career by earning a bachelor degree in Architecture and Building Engineering from King Saud University. He then received a Master of Building Technology followed by a Master of Science in design studies with a focus on computational design systems, both from the University of Pennsylvania. He subsequently received from MIT a Master of Science in Computation for Design and Optimization from the Center of Computational Engineering at the School of Engineering while completing his Ph.D. in Design Computation.


Emmanuel Arbaretier

Graduated from Ecole Centrale de Paris, Emmanuel ARBARETIER began his carrer in THALES (formerly THOMSON) where he was in charge of the adaptation of RAMS and ILS US Military Standard to the french group; then he participated in the creation of SOFRETEN where he developed two Model Based Workbenches in the field of Dependability and Logistic Support Analysis; he has been CTO of SOFRETEN for 5 years between 1997 and 2003.

Hired in EADS APSYS in 2004, he developed a Simulation Workbench Department, where he redeveloped SIMFIA performance simulation workbench based on Altarica language, SIMLOG workbench for maintenance optimization, and Life Cycle Cost simulation and management, and DIAGSYS supporting real time / embedded model based troubleshooting and diagnosis process. He is now responsible for Innovation and Software Department and especially works on Model Based System Engineering and Safety Analysis, as well as Integrated Information System for Operational Performance follow up and enhancement.


Karim Azoum

Dr. Karim Azoum has a Phd in the mathematical modelling of multiphysic phenomena.

He is currently Head of the Systems Design & Development Tools’ Thematic Group for SYSTEMATIC, a Paris Region based competitiveness cluster.

"The Systems Design and Development Tools Working Group is based on extensive use of High Performance Computing and is positioned on three technological areas: Systems modelling and simulation, Software engineering and Data analytics.


Eric Bonjour

Eric Bonjour is a full professor specialized in systems engineering, at the Université de Lorraine / Graduate School of Innovation and Industrial Systems Engineering (ENSGSI). In summary, his main research interests touch upon the fields of innovation, systems engineering, product architecture, product family, knowledge management, competency management, project organization and team building. He is a Vice-chair of the French chapter of INCOSE (AFIS), responsible for “Research – Training” topics and a co-head of the “Knowledge management and competence management in industrial companies” working group, affiliated to the National Research Council GDR MACS/CNRS. He has published more than 70 papers for conferences, journals and books.


Guy Boy

Guy Boy is University Professor of Human-Centered Design (HCD) and Aerospace Engineering at Florida Institute of Technology (FIT) where he chairs the HCD Ph.D. program, Director of the HCD Institute of FIT, and Chief Scientist for HCD at NASA Kennedy Space Center. HDR in Computer and Cognitive Sciences (Paris VI), and qualified in Computer Science and Psychology, he obtained his Ph.D. and Master from ISAE (SUPAERO). His research activity focuses on cognitive engineering, advanced interaction media, complexity analysis for HCD, life-critical systems, organization design and management, and modeling and simulation. He participated in and coordinated several international and national projects on HCD, human-computer interaction and aerospace engineering.

Guy Boy published more than 200 scientific papers and several textbooks such as Cognitive Function Analysis (Ablex, 1998), Cognitive Engineering (Lavoisier, French Traité de Sciences Cognitives, 2003), Handbook of Human-Machine Interaction (Ashgate, 2011) and Orchestrating Human-Centered Design (Springer, 2013 to appear). He serves in several professional committees. He is the Chair of the FIT/NASA organizing committee of the Space Studies Program of the International Space University (SSP12). He is a member of the Aircraft Working Group of the Joint Planning and Development Office (FAA). He is the Chair of the Technical Committee for Human Factors and Ergonomics of the International Ergonomics Association (IEA). He was the Executive Vice-Chair of ACM-SIGCHI from 1995 to 1999 (Association for Computing Machinery). He is Fellow of the Air and Space Academy (Elected in 2006).


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.


Gilles Fleury

Gilles Fleury is the Head of the Department of Signal Processing and Electronic Systems at SUPELEC. He received the Ph.D. degree in Signal Processing from the Université de Paris-Sud in 1994, and the Habilitation in 2003. He is the Director of the E3S research team (SUPELEC Systems Sciences - EA4454) conducting transdisciplinary research between the five Departments of SUPELEC (namely: Computer Science, Power Energy Systems, Automatic Control, Telecommunications, and Signal Processing and Electronic Systems).

He has published more than 40 scientific papers, two books, and more than a hundred of international conference papers. He holds two patents. He is a member of the Programme Committee of DIGITEO (the first research cluster in science and technology of information in France). He is a member of the Scientific Council of the CEA (DETECS), and a member of the Orientation and Evaluation Council of ONERA (DEMR). He has worked in the areas of inverse problems and optimal design for many years. His current research interests include bioinformatics, optimal nonlinear modeling, uncertainties modeling and propagation, and non-uniformly sampled signal processing.


Pascal Foix

Pascal Foix is VP Systems at Thales. His activities encompass all aspects of Complex Systems Architecting and Engineering, including competencies, processes, methods, tools, simulations and their deployment in actual systems architectures.

Previously, he had Engineering Director positions for Aerospace Systems (Avionics Systems, Flight Management Systems, Mission Systems for Military Aircrafts and UAVs, Surveillance and Combat Radars, Aircrafts and Naval Electronic Warfare Systems), for Air Traffic Control Systems (China, Australia, many Asian, middle east and African countries) and for Training Simulators (Aircrafts, Helicopters, Land vehicles, Synthetic Environments for a worldwide market).


Vassilis Giakoumakis

Vassilis Giakoumakis was born in 1954. He is currently full Professor of Computer Science at the University of Amiens. His research interests include graph theory, combinatorial optimization, algorithms, data structures and discrete mathematical models.


Eric Goubault

Eric Goubault is Ingénieur Général des Mines working as head of the MeASI team at CEA LIST/Ecole Polytechnique. He is also Directeur de Recherche at CEA, Professor at Ecole Polytechnique and INSTN. His research interests encompass validation, static analysis of programs and systems by abstract interpretation, semantic models for concurrent and distributed systems.


Paul Labrogère

Paul Labrogère is Program Director "Technologies and Tools " in the Technological Research Institute IRT SystemX launched on February 2012 by the program "Investing for the Future" sponsored by the French Government.

As a member of the managing staff of IRT SystemX, he defines and implements the strategy of Technologies and Tools program around four pillars: Embedded Systems Design Tools and Simulation , Cloud Computing and Networks and High Performance Computing. He designs the research program and its roadmap in conjunction with academic and industrial partners members of the Institute and implements it in coordinating the efforts of R & D project teams conducting research activities. He seeks to develop the skills of teams and their scientific excellence in conjunction with the Institute’s training activities. It also helps to value research efforts and to optimize the exploitation of results and the impact on the entire ecosystem. With over 15 years’ experience contributing first to a startup (InfoVista) in 1995 and in a large corporation in an international environment (Alcatel -Lucent) from 1998 to 2012, Paul held functions of software R & D team manager and Research Director with a scientific and technological background focused on the design of distributed systems . Paul has completed its initial engineering degree in Computer Science and Engineering Telecoms Esigetel with Eduction Management program at ESSEC and a program of Corporate Intrapreneurship with ESCP Europe.

Former member of the management committee of Bell Labs France and the Board of Directors of the FING ( Fondation Internet Nouvelle Generation ), Paul is passionate about innovation management and helps to bridge the gap between the worlds of research and industry, startups and large groups , systems and their usages.


Isabelle Perseil

Isabelle Perseil is a research engineer at Inserm (the french National Institute of Health and Medical Research) where she works as a method expert. She is both an engineer and a doctor in computer science and networks. She received her PhD in 2009 at Telecom ParisTech (formerly ENST). She is the president of the Software Engineer Technical Committee at SEE. She is teaching UML at Ecole Centrale de Paris for 10 years.

Isabelle Perseil research activity relates to the Formal methods integration in software engineering and the modeling languages composition. She has created 2 series of IEEE international workshops, « UML&AADL » and « UML&FM » (UML and Formal methods) that are sponsored by the ARTIST NoE and the OMG. Actually she is also the PC Chair of the ICECCS 2012 conference on Engineering of Complex Computer Systems.


Garry Roedler

Garry Roedler is a Fellow and the Engineering Outreach Program Manager for Lockheed Martin. His systems engineering experience spans the full life cycle and includes technical leadership roles in both programs and systems engineering business functions. Garry holds degrees in mathematics education and mechanical engineering from Temple University and the Expert Systems Engineering Professional (ESEP) certification from INCOSE. Garry is an INCOSE Fellow, has numerous publications and presentations, and is the recipient of many awards, including the INCOSE Founders Award, Best SE Journal Article, IEEE Golden Core, Lockheed Martin Technical Leadership Award and Lockheed Martin NOVA Award. His leadership roles across many technical organizations include Chair of the INCOSE Corporate Advisory Board and editor of ISO/IEC/IEEE 15288, Systems Life Cycle Processes and several other standards. He maintains leadership roles in the development of standards for both ISO/IEC and IEEE and has been a catalyst for the harmonization of Systems Engineering resources across the industry. Garry was the lead for Part 3 of the BKCASE SEBoK product and a contributor to the GRCSE product.


François Stephan

François Stephan is the « Systems of Systems » Programme Director at SystemX Technology Research Institute (IRT SystemX), launched on February 2012 by the programme "Investing for the Future" sponsored by the French Government.

As a member of the managing staff of IRT SystemX, he defines and executes the « Systems of Systems » research programme on three thematic: Energy Management, Multimodal Transport, Security & Multimedia. He designs the research programme and its roadmap in collaboration with the academic and industrial partners of the Institute, and implements its execution by coordinating R&D efforts within project teams conducting research activities. He seeks to develop the skills of teams and their scientific excellence in conjunction with the Institute’s training activities. He also contributes to guide, lead and value research efforts and to optimize the exploitation of results and their impact on the entire ecosystem.

As a graduate of Ecole Polytechnique and Telecom ParisTech from Paris-Saclay University, François Stephan has over 20 years of experience in Information Technology. He assured functions of project management, product management, consulting and technical direction within technology companies - Schlumberger Smart Cards, Thales - and IT services - Ornis (startup), Unilog Management. Since June 2011, he was the Chief Operating Officer of CRIP (IT Infrastructure and Operations User group).

Between 2011 and 2013 he was a seasonal lecturer on training modules for Telecom ParisTech on various topics of Cloud Computing. He is co-author with Jean-Pierre Briffaut of a book published in 2013 at Hermes – Lavoisier entitled “Cloud Computing: technological evolution, revolution of usages”.


Nicolas Treves

Nicolas Treves, head of the Software and system engineering and architecture team, has been an adjuncted professor at Conservatoire National des Arts et Metiers for more than ten years. He got his PhD in computer science 25 years ago at the Laboratory of Informatics Research (L.R.I., University of Orsay). His main fields of interest are complex system engineering, especially enterprise modelling, system design, verification and validation techniques and processes. He has a high skill in model checking techniques using Petri Nets. He is the leader of the AFNOR working group in modelling languages, evaluator at the European Commission, at AERES and at the french ministry of research and technology. He is also an expert at the Paris court of appeal. Previously he had been a research engineer in different companies.


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.


David Walden

David D. Walden, ESEP, is co-owner and principal consultant for Sysnovation, LLC, a Systems Engineering consulting and education firm based out of Shakopee, Minnesota, USA. He has served as an independent reviewer, major review (e.g., PDR, CDR) coordinator, Systems Engineering Subject Matter Expert (SME), and process consultant. He has created and taught numerous Systems Engineering courses and tutorials, including a distance learning on-line variant of a Systems Engineering Principles course. Previously, Mr. Walden was with General Dynamics Advanced Information Systems for 13 years and McDonnell Aircraft Company for 10 years.

Mr. Walden is currently the Program Manager of the International Council on Systems Engineering’s (INCOSE’s) Certification Program and also serves as the INCOSE liaison to ISO/IEC JTC1/SC7 Working Groups 10, 20, and 22.

He has an M.S. in Management of Technology (MOT) from the University of Minnesota, an M.S. in Electrical Engineering and an M.S. in Computer Science from Washington University in St. Louis, and a B.S. in Electrical Engineering from Valparaiso University in Indiana.


Fatiha Zaidi

Fatiha Zaidi received the Master (Diplome d’Etudes Approfondies) and Ph.D. degrees in Computer Science from the Université d’Evry, France, in 1997 and 2001, respectively. In 2003, she joined the Computer Science Research Laboratory (LRI) of the Université Paris-Sud, France, where she is currently associate professor. She received from the Université Paris-Sud in 2010 the Habilitation.

She has published more than 30 papers in refereed conferences and journals. Her research interests are on communicating software protocols testing, components testing, integration testing, more generally on testing distributed systems. She works on testing generation methods that are called active and passive. She has been involved in several European and French projects. She has leaded the WebMov ANR project related to the test of Web-based systems. She is involved in several international conferences as a committee member, ICWS, ICFEM, ICST, ICTSS, QSIC, etc. She has organized several conferences and has been the PC chairs of the conference ICTSS 2011 in Paris.