David Servat

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw., 2013

Automatic Optimisation of System Architectures using EAST-ADL.
Proceedings of the SAFECOMP 2013, 2013

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

The CVM Framework - A Prototype Tool for Compositional Variability Management.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Automatic allocation of safety integrity levels.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

Variability Management on Behavioral Models.
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.
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

Managing Complexity of Automotive Electronics Using the EAST-ADL.
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.
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.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Issues in mapping CORBA Component Model to OSEK.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Architecture description in related standards.
Proceedings of the Forum on specification and Design Languages, 2005

CLIPS: experiments on model-driven engineering for production systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

MDA Platform for Complex Embedded Systems Development.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Intelligence diffuse : vers un monde fait d'agents ?.
Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

Distribution du contrôle de l'action et de l'espace dans les simulations multi-agents de processus physiques.
Proceedings of the Systèmes multi-agents : Méthodologie, technologie et expériences - JFIADSMA 00, 2000

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>.
J. Artif. Soc. Soc. Simul., 1998

Towards Virtual Experiment Laboratories: How Multi-Agent Simulations Can Cope with Multiple Scales of Analysis and Viewpoints.
Proceedings of the Virtual Worlds, First International Conference, 1998

When Agents Emerge from Agents: Introducing Multi-scale Viewpoints in Multi-agent Simulations.
Proceedings of the Multi-Agent Systems and Agent-Based Simulation, 1998