dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Laurent Fribourg (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat: IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM 2012: 33-36
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Laurent Fribourg, Romain Soulat: Enhancing the Inverse Method with State Merging. NASA Formal Methods 2012: 100-105
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Laurent Fribourg: Behavioral Cartography of Timed Automata. RP 2010: 76-90
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Fribourg, Étienne André: An Inverse Method for Policy-Iteration Based Algorithms INFINITY 2009: 44-61
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Laurent Fribourg, Jeremy Sproston: An Extension of the Inverse Method to Probabilistic Timed Automata. ECEASST 23: (2009)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20(5): 819-836 (2009)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÉtienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008)

Selection of 7 from 63 records - Laurent Fribourg has 31 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page