BibTeX records: Gilles Lasnier

download as .bib file

@inproceedings{DBLP:conf/dsrt/LasnierCSPD13,
  author    = {Gilles Lasnier and
               Janette Cardoso and
               Pierre Siron and
               Claire Pagetti and
               Patricia Derler},
  title     = {Distributed Simulation of Heterogeneous and Real-Time Systems},
  booktitle = {17th {IEEE/ACM} International Symposium on Distributed Simulation
               and Real Time Applications, {DS-RT} 2013, Delft, The Netherlands,
               October 30 - November 1, 2013},
  pages     = {55--62},
  year      = {2013},
  crossref  = {DBLP:conf/dsrt/2013},
  url       = {https://doi.org/10.1109/DS-RT.2013.14},
  doi       = {10.1109/DS-RT.2013.14},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dsrt/LasnierCSPD13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Lasnier12,
  author    = {Gilles Lasnier},
  title     = {Une approche int{\'{e}}gr{\'{e}}e pour la validation et
               la g{\'{e}}n{\'{e}}ration de syst{\`{e}}mes critiques par
               raffinement incr{\'{e}}mental de mod{\`{e}}les architecturaux.
               (An integrated approach to validate and generate high-integrity systems
               by incremental refinement of architectural models)},
  school    = {T{\'{e}}l{\'{e}}com ParisTech, France},
  year      = {2012},
  url       = {https://tel.archives-ouvertes.fr/tel-01136580},
  timestamp = {Thu, 07 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Lasnier12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LasnierPHW11,
  author    = {Gilles Lasnier and
               Laurent Pautet and
               J{\'{e}}r{\^{o}}me Hugues and
               Lutz Wrage},
  title     = {An Implementation of the Behavior Annex in the AADL-Toolset Osate2},
  booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  pages     = {332--337},
  year      = {2011},
  crossref  = {DBLP:conf/iceccs/2011},
  url       = {https://doi.org/10.1109/ICECCS.2011.39},
  doi       = {10.1109/ICECCS.2011.39},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/LasnierPHW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LasnierPH11,
  author    = {Gilles Lasnier and
               Laurent Pautet and
               J{\'{e}}r{\^{o}}me Hugues},
  title     = {A Model-Based Transformation Process to Validate and Implement High-Integrity
               Systems},
  booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
               Real-Time Distributed Computing, {ISORC} 2011, Newport Beach, California,
               USA, 28-31 March 2011},
  pages     = {67--74},
  year      = {2011},
  crossref  = {DBLP:conf/isorc/2011},
  url       = {https://doi.org/10.1109/ISORC.2011.18},
  doi       = {10.1109/ISORC.2011.18},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/LasnierPH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LasnierRPK10,
  author    = {Gilles Lasnier and
               Thomas Robert and
               Laurent Pautet and
               Fabrice Kordon},
  title     = {Architectural and Behavioral Modeling with {AADL} for Fault Tolerant
               Embedded Systems},
  booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
               Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
               5-6 May 2010},
  pages     = {87--91},
  year      = {2010},
  crossref  = {DBLP:conf/isorc/2010},
  url       = {https://doi.org/10.1109/ISORC.2010.32},
  doi       = {10.1109/ISORC.2010.32},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/LasnierRPK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/LasnierRPK10,
  author    = {Gilles Lasnier and
               Thomas Robert and
               Laurent Pautet and
               Fabrice Kordon},
  title     = {Behavioral Modular Description of Fault Tolerant Distributed Systems
               with {AADL} Behavioral Annex},
  booktitle = {{NOTERE} 2010, Annual International Conference on New Technologies
               of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings},
  pages     = {17--24},
  year      = {2010},
  crossref  = {DBLP:conf/notere/2010},
  url       = {https://doi.org/10.1109/NOTERE.2010.5536853},
  doi       = {10.1109/NOTERE.2010.5536853},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/notere/LasnierRPK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LasnierZPH09,
  author    = {Gilles Lasnier and
               Bechir Zalila and
               Laurent Pautet and
               J{\'{e}}r{\^{o}}me Hugues},
  title     = {Ocarina : An Environment for {AADL} Models Analysis and Automatic
               Code Generation for High Integrity Applications},
  booktitle = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
               International Conference, Brest, France, June 8-12, 2009. Proceedings},
  pages     = {237--250},
  year      = {2009},
  crossref  = {DBLP:conf/adaEurope/2009},
  url       = {https://doi.org/10.1007/978-3-642-01924-1\_17},
  doi       = {10.1007/978-3-642-01924-1\_17},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adaEurope/LasnierZPH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsrt/2013,
  title     = {17th {IEEE/ACM} International Symposium on Distributed Simulation
               and Real Time Applications, {DS-RT} 2013, Delft, The Netherlands,
               October 30 - November 1, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6689798},
  isbn      = {978-0-7695-5138-8},
  timestamp = {Wed, 27 May 2015 19:02:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsrt/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2011,
  editor    = {Isabelle Perseil and
               Karin K. Breitman and
               Roy Sterritt},
  title     = {16th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5773346},
  isbn      = {978-0-7695-4381-9},
  timestamp = {Tue, 14 Jun 2016 17:22:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2011,
  title     = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
               Real-Time Distributed Computing, {ISORC} 2011, Newport Beach, California,
               USA, 28-31 March 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5752887},
  isbn      = {978-0-7695-4368-0},
  timestamp = {Mon, 06 Oct 2014 17:41:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2010,
  title     = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
               Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
               5-6 May 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5479085},
  isbn      = {978-0-7695-4037-5},
  timestamp = {Mon, 06 Oct 2014 17:41:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/notere/2010,
  editor    = {Khalil Drira and
               Ahmed Hadj Kacem and
               Mohamed Jmaiel},
  title     = {{NOTERE} 2010, Annual International Conference on New Technologies
               of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings},
  publisher = {{IEEE}},
  year      = {2010},
  isbn      = {978-1-4244-7066-2},
  timestamp = {Fri, 17 Sep 2010 07:55:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/notere/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2009,
  editor    = {Fabrice Kordon and
               Yvon Kermarrec},
  title     = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
               International Conference, Brest, France, June 8-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5570},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01924-1},
  doi       = {10.1007/978-3-642-01924-1},
  isbn      = {978-3-642-01923-4},
  timestamp = {Fri, 26 May 2017 00:48:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adaEurope/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier