Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Servat
@article{DBLP:journals/jss/WalkerRPPLM0CS13,
author = {Martin Walker and
Mark{-}Oliver Reiser and
Sara {Tucci Piergiovanni} and
Yiannis Papadopoulos and
Henrik L{\"{o}}nn and
Chokri Mraidha and
David Parker and
De{-}Jiu Chen and
David Servat},
title = {Automatic optimisation of system architectures using {EAST-ADL}},
journal = {J. Syst. Softw.},
volume = {86},
number = {10},
pages = {2467--2487},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2013.04.001},
doi = {10.1016/J.JSS.2013.04.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/WalkerRPPLM0CS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChenLMPRSAPW13,
author = {De{-}Jiu Chen and
Henrik L{\"{o}}nn and
Chokri Mraidha and
Yiannis Papadopoulos and
Mark{-}Oliver Reiser and
David Servat and
Lu{\'{\i}}s Silva Azevedo and
Sara {Tucci Piergiovanni} and
Martin Walker},
editor = {Henrik L{\"{o}}nn and
Elad Michael Schiller},
title = {Automatic Optimisation of System Architectures using {EAST-ADL}},
booktitle = {{SAFECOMP} 2013 - Workshop ASCoMS (Architecting Safety in Collaborative
Mobile Systems) of the 32nd International Conference on Computer Safety,
Reliability and Security, Toulouse, France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-ASCOMS/hal-00846268},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChenLMPRSAPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourGS11,
author = {Boutheina Bannour and
Christophe Gaston and
David Servat},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic
Techniques: Application to Testing},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.40},
doi = {10.1109/APSEC.2011.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/LoiretSDS10,
author = {Fr{\'{e}}d{\'{e}}ric Loiret and
Lionel Seinturier and
Laurence Duchien and
David Servat},
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {A Three-Tier Approach for Composition of Real-Time Embedded Software
Stacks},
booktitle = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
pages = {37--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4\_3},
doi = {10.1007/978-3-642-13238-4\_3},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/cbse/LoiretSDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PapadopoulosWRWCTSASLBJTTS10,
author = {Yiannis Papadopoulos and
Martin Walker and
Mark{-}Oliver Reiser and
Matthias Weber and
De{-}Jiu Chen and
Martin T{\"{o}}rngren and
David Servat and
Andreas Abele and
Friedhelm Stappert and
Henrik L{\"{o}}nn and
L. Berntsson and
Rolf Johansson and
Fulvio Tagliabo and
Sandra Torchiaro and
Anders Sandberg},
editor = {Jean{-}Charles Fabre and
Olivier Guetta and
Mario Trapp},
title = {Automatic allocation of safety integrity levels},
booktitle = {1st Workshop on Critical Automotive Applications: Robustness {\&}
Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {7--10},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772643.1772646},
doi = {10.1145/1772643.1772646},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/PapadopoulosWRWCTSASLBJTTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/AbelePSTW10,
author = {Andreas Abele and
Yiannis Papadopoulos and
David Servat and
Martin T{\"{o}}rngren and
Matthias Weber},
editor = {David Benavides and
Don S. Batory and
Paul Gr{\"{u}}nbacher},
title = {The {CVM} Framework - {A} Prototype Tool for Compositional Variability
Management},
booktitle = {Fourth International Workshop on Variability Modelling of Software-Intensive
Systems, Linz, Austria, January 27-29, 2010. Proceedings},
series = {ICB-Research Report},
volume = {37},
pages = {101--105},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2010},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
timestamp = {Wed, 28 Oct 2020 08:39:42 +0100},
biburl = {https://dblp.org/rec/conf/vamos/AbelePSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EspinozaSG08,
author = {Hu{\'{a}}scar Espinoza and
David Servat and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Paris Avgeriou and
Patricia Lago and
Philippe Kruchten},
title = {Leveraging analysis-aided design decision knowledge in UML-based development
of embedded systems},
booktitle = {Proceedings of the 3rd International Workshop on Sharing and Reusing
Architectural Knowledge, {SHARK} 2008, Leipzig, Germany, May 13, 2008},
pages = {55--62},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370062.1370078},
doi = {10.1145/1370062.1370078},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/EspinozaSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/TessierSG08,
author = {Patrick Tessier and
David Servat and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Patrick Heymans and
Kyo Chul Kang and
Andreas Metzger and
Klaus Pohl},
title = {Variability Management on Behavioral Models},
booktitle = {Second International Workshop on Variability Modelling of Software-Intensive
Systems, Universit{\"{a}}t Duisburg-Essen, Germany, January 16-18,
2008, Proceedings},
series = {{ICB} Research Report},
pages = {121--130},
year = {2008},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2008\_Proceedings.pdf},
timestamp = {Sun, 14 Dec 2008 15:20:07 +0100},
biburl = {https://dblp.org/rec/conf/vamos/TessierSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuenotFJLPRSSKTa07,
author = {Philippe Cuenot and
Patrick Frey and
Rolf Johansson and
Henrik L{\"{o}}nn and
Yiannis Papadopoulos and
Mark{-}Oliver Reiser and
Anders Sandberg and
David Servat and
Ramin Tavakoli Kolagari and
Martin T{\"{o}}rngren and
Matthias Weber},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {The {EAST-ADL} Architecture Description Language for Automotive Embedded
Software},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {297--307},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_11},
doi = {10.1007/978-3-642-16277-0\_11},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuenotFJLPRSSKTa07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/SjostedtCCFJLST07,
author = {Carl{-}Johan Sj{\"{o}}stedt and
De{-}Jiu Chen and
Philippe Cuenot and
Patrick Frey and
Rolf Johansson and
Henrik L{\"{o}}nn and
David Servat and
Martin T{\"{o}}rngren},
editor = {Peter Fritzson and
Fran{\c{c}}ois E. Cellier and
Christoph Nytsch{-}Geusen},
title = {Developing Dependable Automotive Embedded Systems using the EAST-ADL;
representing continuous time systems in SysML},
booktitle = {Proceedings of the 1st International Workshop on Equation-Based Object-Oriented
Languages and Tools, {EOOLT} 2007, Berlin, Germany, July 30, 2007},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {24},
pages = {25--36},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2007},
url = {http://www.ep.liu.se/ecp/article.asp?issue=024\&\#38;article=003\&\#38;volume=},
timestamp = {Sun, 24 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eoolt/SjostedtCCFJLST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CuenotCGLRSSKTW07,
author = {Philippe Cuenot and
De{-}Jiu Chen and
S{\'{e}}bastien G{\'{e}}rard and
Henrik L{\"{o}}nn and
Mark{-}Oliver Reiser and
David Servat and
Carl{-}Johan Sj{\"{o}}stedt and
Ramin Tavakoli Kolagari and
Martin T{\"{o}}rngren and
Matthias Weber},
title = {Managing Complexity of Automotive Electronics Using the {EAST-ADL}},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {353--358},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.28},
doi = {10.1109/ICECCS.2007.28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/CuenotCGLRSSKTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CuenotCGLRSKTW06,
author = {Philippe Cuenot and
De{-}Jiu Chen and
S{\'{e}}bastien G{\'{e}}rard and
Henrik L{\"{o}}nn and
Mark{-}Oliver Reiser and
David Servat and
Ramin Tavakoli Kolagari and
Martin T{\"{o}}rngren and
Matthias Weber},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {Towards Improving Dependability of Automotive Systems by Using the
{EAST-ADL} Architecture Description Language},
booktitle = {Architecting Dependable Systems {IV} [the book is a result of {DSN}
2006 workshops, Philadelphia, PA, {USA]}},
series = {Lecture Notes in Computer Science},
volume = {4615},
pages = {39--65},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74035-3\_3},
doi = {10.1007/978-3-540-74035-3\_3},
timestamp = {Mon, 26 Feb 2024 07:46:57 +0100},
biburl = {https://dblp.org/rec/conf/icse/CuenotCGLRSKTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ServatFKMS05,
author = {David Servat and
Fabien Chiron and
Khalid Kouiss and
Thomas Meurisse and
Guy Souchet},
title = {{CLIPS:} experiments on model-driven engineering for production systems},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612563},
doi = {10.1109/ETFA.2005.1612563},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ServatFKMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ServatLGT05,
author = {David Servat and
Fr{\'{e}}d{\'{e}}ric Loiret and
S{\'{e}}bastien G{\'{e}}rard and
Fran{\c{c}}ois Terrier},
title = {Architecture description in related standards},
booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
27-30, 2005, Lausanne, Switzerland, Proceedings},
pages = {599--609},
publisher = {{ECSI}},
year = {2005},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=536},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ServatLGT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LagardeRRGS05,
author = {Fran{\c{c}}ois Lagarde and
Ansgar Radermacher and
Sylvain Robert and
S{\'{e}}bastien G{\'{e}}rard and
David Servat},
title = {Issues in mapping {CORBA} Component Model to {OSEK}},
booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
pages = {434--437},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISORC.2005.30},
doi = {10.1109/ISORC.2005.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LagardeRRGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/MraidhaRGS04,
author = {Chokri Mraidha and
Sylvain Robert and
S{\'{e}}bastien G{\'{e}}rard and
David Servat},
editor = {Bernd Kleinjohann and
Guang R. Gao and
Hermann Kopetz and
Lisa Kleinjohann and
Achim Rettberg},
title = {{MDA} Platform for Complex Embedded Systems Development},
booktitle = {Design Methods and Applications for Distributed Embedded Systems,
{IFIP} 18th World Computer Congress, {TC10} Working Conference on
Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
2004, Toulouse, France},
series = {{IFIP}},
volume = {150},
pages = {1--10},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8149-9\_1},
doi = {10.1007/1-4020-8149-9\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/MraidhaRGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ServatD02,
author = {David Servat and
Alexis Drogoul},
title = {Combining amorphous computing and reactive agent-based systems: a
paradigm for pervasive intelligence?},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {441--448},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544741.544842},
doi = {10.1145/544741.544842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ServatD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/DrogoulS01,
author = {Alexis Drogoul and
David Servat},
editor = {Amal El Fallah Seghrouchni and
Laurent Magnin},
title = {Intelligence diffuse : vers un monde fait d'agents ?},
booktitle = {Fondements des syst{\`{e}}mes multi-agents : mod{\`{e}}les, sp{\'{e}}cifications
formelles et v{\'{e}}rification - {JFIADSMA} 01 - neuvi{\`{e}}me
journ{\'{e}}es francophones d'Intelligence Artificielle et syst{\`{e}}mes
multi-agents, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, November
12-14, 2001},
pages = {227--238},
publisher = {Herm{\`{e}}s Lavoisier Editions},
year = {2001},
timestamp = {Wed, 12 Aug 2020 21:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jfsma/DrogoulS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/Servat00,
author = {David Servat},
editor = {Sylvie Pesty and
Claudette Sayettat{-}Fau},
title = {Distribution du contr{\^{o}}le de l'action et de l'espace dans les
simulations multi-agents de processus physiques},
booktitle = {Syst{\`{e}}mes multi-agents : M{\'{e}}thodologie, technologie
et exp{\'{e}}riences - {JFIADSMA} 00 - huiti{\`{e}}me journ{\'{e}}es
francophones d'Intelligence Artificielle et syst{\`{e}}mes multi-agents,
Saint-Jean-la-V{\^{e}}tre, Loire, France, October 2-4, 2000},
pages = {343--356},
publisher = {Herm{\`{e}}s Lavoisier Editions},
year = {2000},
timestamp = {Wed, 17 Jul 2013 15:07:11 +0200},
biburl = {https://dblp.org/rec/conf/jfsma/Servat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasss/CoquillardH98,
author = {David Servat},
title = {Mod{\'{e}}lisation et simulation d{\'{e}}cosyst{\`{e}}mes:
Des mod{\`{e}}les d{\'{e}}terministes aux simulations {\`{a}}
{\'{e}}v{\'{e}}nements discrets \emph{by Patrick Coquillard
and David R. C. Hill}},
journal = {J. Artif. Soc. Soc. Simul.},
volume = {1},
number = {2},
year = {1998},
url = {http://jasss.soc.surrey.ac.uk/1/2/review2.html},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jasss/CoquillardH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mabs/ServatPTD98,
author = {David Servat and
Edith Perrier and
Jean{-}Pierre Treuil and
Alexis Drogoul},
editor = {Jaime Sim{\~{a}}o Sichman and
Rosaria Conte and
Nigel Gilbert},
title = {When Agents Emerge from Agents: Introducing Multi-scale Viewpoints
in Multi-agent Simulations},
booktitle = {Multi-Agent Systems and Agent-Based Simulation, First International
Workshop, {MABS} '98, Paris, France, July 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1534},
pages = {183--198},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10692956\_13},
doi = {10.1007/10692956\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/mabs/ServatPTD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vw/ServatPTD98,
author = {David Servat and
Edith Perrier and
Jean{-}Pierre Treuil and
Alexis Drogoul},
editor = {Jean{-}Claude Heudin},
title = {Towards Virtual Experiment Laboratories: How Multi-Agent Simulations
Can Cope with Multiple Scales of Analysis and Viewpoints},
booktitle = {Virtual Worlds, First International Conference, VW'98, Paris, France,
July 1-3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1434},
pages = {205--217},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68686-X\_20},
doi = {10.1007/3-540-68686-X\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vw/ServatPTD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-09 00:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
