![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
David Servat
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
- [j2]Martin Walker
, Mark-Oliver Reiser, Sara Tucci Piergiovanni
, Yiannis Papadopoulos
, Henrik Lönn, Chokri Mraidha
, David Parker, De-Jiu Chen
, David Servat:
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10): 2467-2487 (2013) - [c20]De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker:
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP 2013 - 2011
- [c19]Boutheina Bannour
, Christophe Gaston
, David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC 2011: 219-226 - 2010
- [c18]Frédéric Loiret, Lionel Seinturier, Laurence Duchien, David Servat:
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks. CBSE 2010: 37-54 - [c17]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:
Automatic allocation of safety integrity levels. EDCC-CARS 2010: 7-10 - [c16]Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber:
The CVM Framework - A Prototype Tool for Compositional Variability Management. VaMoS 2010: 101-105
2000 – 2009
- 2008
- [c15]Huáscar Espinoza, David Servat, Sébastien Gérard
:
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems. SHARK 2008: 55-62 - [c14]Patrick Tessier, David Servat, Sébastien Gérard:
Variability Management on Behavioral Models. VaMoS 2008: 121-130 - 2007
- [c13]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:
The EAST-ADL Architecture Description Language for Automotive Embedded Software. Model-Based Engineering of Embedded Real-Time Systems 2007: 297-307 - [c12]Carl-Johan Sjöstedt, De-Jiu Chen, Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, David Servat, Martin Törngren:
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML. EOOLT 2007: 25-36 - [c11]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:
Managing Complexity of Automotive Electronics Using the EAST-ADL. ICECCS 2007: 353-358 - 2006
- [c10]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:
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. WADS 2006: 39-65 - 2005
- [c9]David Servat, Fabien Chiron, Khalid Kouiss, Thomas Meurisse, Guy Souchet:
CLIPS: experiments on model-driven engineering for production systems. ETFA 2005 - [c8]David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier:
Architecture description in related standards. FDL 2005: 599-609 - [c7]François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat:
Issues in mapping CORBA Component Model to OSEK. ISORC 2005: 434-437 - 2004
- [c6]Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat:
MDA Platform for Complex Embedded Systems Development. DIPES 2004: 1-10 - 2002
- [c5]David Servat, Alexis Drogoul:
Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?. AAMAS 2002: 441-448 - 2001
- [c4]Alexis Drogoul, David Servat:
Intelligence diffuse : vers un monde fait d'agents ?. JFIADSMA 2001: 227-238 - 2000
- [c3]David Servat:
Distribution du contrôle de l'action et de l'espace dans les simulations multi-agents de processus physiques. JFIADSMA 2000: 343-356
1990 – 1999
- 1998
- [j1]David Servat:
Modélisation et simulation décosystèmes: Des modèles déterministes aux simulations à événements discrets by Patrick Coquillard and David R. C. Hill. J. Artif. Soc. Soc. Simul. 1(2) (1998) - [c2]David Servat, Edith Perrier, Jean-Pierre Treuil, Alexis Drogoul:
When Agents Emerge from Agents: Introducing Multi-scale Viewpoints in Multi-agent Simulations. MABS 1998: 183-198 - [c1]David Servat, Edith Perrier, Jean-Pierre Treuil, Alexis Drogoul:
Towards Virtual Experiment Laboratories: How Multi-Agent Simulations Can Cope with Multiple Scales of Analysis and Viewpoints. Virtual Worlds 1998: 205-217
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint