David Servat

According to our database, David Servat authored at least 22 papers between 1998 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Automatic optimisation of system architectures using EAST-ADL.

Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat

J. Syst. Softw., 2013

Automatic Optimisation of System Architectures using EAST-ADL.

De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker

Proceedings of the SAFECOMP 2013, 2013

2011

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

Boutheina Bannour, Christophe Gaston, David Servat

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

The CVM Framework - A Prototype Tool for Compositional Variability Management.

Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Automatic allocation of safety integrity levels.

Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks.

Frédéric Loiret, Lionel Seinturier, Laurence Duchien, David Servat

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2008

Variability Management on Behavioral Models.

Patrick Tessier, David Servat, Sébastien Gérard

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems.

Huáscar Espinoza, David Servat, Sébastien Gérard

Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

2007

Managing Complexity of Automotive Electronics Using the EAST-ADL.

Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML.

Carl-Johan Sjöstedt, De-Jiu Chen, Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, David Servat, Martin Törngren

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

The EAST-ADL Architecture Description Language for Automotive Embedded Software.

Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.

Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Issues in mapping CORBA Component Model to OSEK.

François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Architecture description in related standards.

David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier

Proceedings of the Forum on specification and Design Languages, 2005

CLIPS: experiments on model-driven engineering for production systems.

David Servat, Fabien Chiron, Khalid Kouiss, Thomas Meurisse, Guy Souchet

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

MDA Platform for Complex Embedded Systems Development.

Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2002

Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?.

David Servat, Alexis Drogoul

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Intelligence diffuse : vers un monde fait d'agents ?.

Alexis Drogoul, David Servat

Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

2000

Distribution du contrôle de l'action et de l'espace dans les simulations multi-agents de processus physiques.

David Servat

Proceedings of the Systèmes multi-agents : Méthodologie, technologie et expériences - JFIADSMA 00, 2000

1998

Modélisation et simulation décosystèmes: Des modèles déterministes aux simulations à événements discrets <i>by Patrick Coquillard and David R. C. Hill</i>.

David Servat

J. Artif. Soc. Soc. Simul., 1998

Towards Virtual Experiment Laboratories: How Multi-Agent Simulations Can Cope with Multiple Scales of Analysis and Viewpoints.

David Servat, Edith Perrier, Jean-Pierre Treuil, Alexis Drogoul

Proceedings of the Virtual Worlds, First International Conference, 1998

When Agents Emerge from Agents: Introducing Multi-scale Viewpoints in Multi-agent Simulations.

David Servat, Edith Perrier, Jean-Pierre Treuil, Alexis Drogoul

Proceedings of the Multi-Agent Systems and Agent-Based Simulation, 1998