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

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.

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, 2012 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).

Isabelle Demeure

Isabelle Demeure is Professor at the Computer Science and Networks Department of Telecom ParisTech and member of the CNRC LTCI Laboratory. She earned a master degree from Telecom ParisTech in 1983. She received her PhD in computer science from the University of Colorado, Boulder in 1989 and her “habilitation à diriger des recherches” from Lille University, France in 2002.

She has hold several research and teaching management positions at Telecom ParisTech such as deputy head, acting head, dean of education of the computer science and networks departments of Telecom ParisTech. She has led the System, Software and Services research team at Telecom ParisTech for 15 years. Isabelle Demeure teaches and does research in the area of distributed systems. She has extensive experience from R&D projects in this domain. Her main research interest is in middleware and software platforms for distributed applications with a focus on adaptability, mobility, cooperation, and ambient intelligence. In the recent years she has participated in the IST-MOBIVAS project on the provision of value added services in a mobile environment, of the IST-ANWIRE academic network for adaptable services and always best connected architectures, of the ITEA-Ambience project on service provision for ad-hoc network, the IST-POPEYE project and the ANR-Transhumance project on collaborative services for mobile ad hoc networks. She currently participates in the ANR-DIAFORUS project on sensor networks for surveillance applications. Isabelle Demeure is member of various conference program committees. She is a consulting expert for the for the French national research agency ANR (Agence National de la Recherche) and the French Ministry of National Education, Research and Technology (MENRT).

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.

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.

Clotilde Marchal

Since May 2011, Clotilde Marchal belongs to EADS Chief Technical Office (CTO) organization, where she is, as head of the “EADS Systems Engineering group capabilities”, EADS CTO Systems Engineering Representative inside and outside EADS. She represents EADS at INCOSE CAB and is in charge of promoting INCOSE certification at AFIS (French INCOSE Chapter) board. She chairs the EADS Systems Engineering Steering Group (SESG), which coordinates all EADS divisions activities in Systems Engineering, including strategy, benchmarking, processes maturity assessment, best practices sharing, training and certification, standardization, R&T, and technical policies. She delivers Systems Engineering expertise at regular technical assessments of EADS Divisions projects. Scope of her activities also includes software engineering (coordination of EADS divisions group as previous SESG group).

She has previously worked 20 years in the field of Software Engineering mainly in Defence Market (at Matra and EADS) at various positions from design to project management and line management of international teams . She moved 5 years ago to Systems Engineering field and created an international Systems Engineering Center of Competence for the EADS Cassidian Security Market. She is graduated from engineering school ENSIMAG (Grenoble) and is INCOSE Certified (CSEP level).

Maximilien Nayaradou

Maximilien Nayaradou has a PhD in economics from the university Paris-Dauphine, and specializes in the economics of intangible investments (advertising, R&D, patents, software and innovation). Well -seasoned in quantitative techniques applied to the economy (econometrics, data analysis, statistics and probability), Maximilien worked as an economist at the Union des Annonceurs, as a professor and research worker at the Lille Institute of Political Studies and in econometrics at the French Cancer Institute.

With a Masters in finance from the university Paris-Dauphine, he acquired an excellent grounding and empirical knowledge in Finance and Accounting, subjects that he taught at Dauphine and the Lille Institute of Political Studies, in the course of his academic and professional career. As a Research Engineer at the Europlace Institute of Finance in charge of monitoring research projects, he expanded his knowledge to embrace market finance and the economics of insurance.

Maximilien acquired management skills as Secretary-General for the Groupama Chair “Les particuliers face aux risques" (Individuals facing risk), which he launched and developed for three years. Maximilien is now Director of R&D Projects at the Finance & Innovation business cluster where he is in charge of sourcing and support for projects involving universities and businesses.

Maximilien taught economics and management in many universities including Dauphine, Paris 13-Villetaneuse, Caen, Lille and Rouen. He was a copy-writer for the international, peer-reviewed journal Mathematics and Financial Economics. He has published a number of articles in peer-reviewed journals and specialised works on the economics of intangible investments and innovation, the economics of insurance and in econometrics.

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.

Srini Ramaswamy

Dr. Srini Ramaswamy is currently leading Industrial Software Systems research at ABB, the Swiss Multinational Fortune 500 company at its India Corporate Research Center (INCRC) in Bangalore, India. His primary responsibility is in research team building and leadership, developing university relationships and engaging in applied research for the creation and execution of projects with transformative value for the company’s power technologies and process automation business units. On the academic front, he also serves as a visiting professor at the University of Arkansas at Little Rock and an honorary adjunct professor at the Indian Institute of Information Technology – Bangalore. His research interests are on systems engineering, intelligent and flexible control, behavior modeling, analysis and simulation, empirical software systems research, software stability and scalability; particularly in the design and development of complex software systems. Specific applications include real-time control issues in automation and manufacturing networks, data mining and distributed real-time applications. His work is motivated by the desire to understand the various requirements to build scalable, intelligent software systems with the inherent ability to successfully respond to observed and reported behavioral changes in their environment.

Earlier in academia for 16 years (1994-2010), his research was funded by government agencies as well as corporate organizations, and he had been a recipient of, or actively participated in, research and development grants totaling over $20M. From 2005-2010 he was a tenured professor and chairperson of the Computer Science Department at University of Arkansas at Little Rock. At UALR, he was associated with several active program building and research initiatives, which include: development of an applied PhD program in Integrated Computing, serving as the statewide program manager for WiNS (Wireless Nano-sensors and Systems) center (2007-2009), the principle investigator for a UALR-wide High Performance Computing initiative, and the research leader and coordinator for collaboration on Engineering Innovative Software Systems for Marine Transportation Logistics with the National Institute of Applied Sciences (INSA) in Rouen, France.

Dr. Ramaswamy has also been a successful software consultant. He built his company Resilient Systems, LLC as a customized software development and managed outsourcing company. From a business perspective, his interests are in the design, development and delivery of large scale software systems, ensuring timely planning, coordination, execution and alignment of a set of sub-services while understanding issues of prioritization, perception and performance in order to deliver value-added services to address a specific business need. He actively consulted on a National Institute of Standards and Technology (NIST) sponsored advanced technology project on intelligent document analysis for aligning timely research with business needs of organizations using technology roadmaps. He also served widely as an expert witness on global software development, outsourcing, database and algorithmic design for arbitrations and litigations. He served on the board of several start-up software companies in the US and India.

Dr. Ramaswamy has over 150 publications with over 30 peer-reviewed journal articles in IEEE, Elsevier, Journal of Systems and Software, etc. Additionally over 45 reviews have appeared in the ACM Computing Surveys, the leading online review service for books and articles across all areas of computer science, providing an up-to-date overview of the computing field. In 2007, he was selected as one of their featured reviewers.

Dr. Ramaswamy has actively participated in over 50 M.S student project and thesis works in Computer Science, Applied Sciences, Electrical and Computer Engineering, Industrial and Manufacturing Engineering and Information Systems. He has additionally participated in over 5 PhD student dissertations in Applied Computing in the USA, served as external co-advisor for 3 PhD students in France and served as evaluator for 2 PhD students in India. He currently serves in about 6 PhD student committees.

Dr. Ramaswamy earned his Ph.D. degree in Computer Science from the Center for Advanced Computer Studies (CACS) at the University of Louisiana at Lafayette in 1994. He is a member of the Society for Computer Simulation International, Computing Professionals for Social Responsibility, a Senior member of the IEEE and a Senior member of the Association of Computing Machinery (ACM). He is an active member of IEEE SMCS Technical Committee on Distributed Intelligent Systems and also serves as an Associate Editor for the IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews.

Fatiha Zaidi

Fatiha Zaïdi 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.