Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Fribourg, Laurent"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parametric verification and test coverage for hybrid automata using the inverse method
Laurent Fribourg
,
Ulrich Kühne
International Journal of Foundations of Computer Science
24
(2), 2013, pp. 233-249
Stability controllers for sampled switched systems
Laurent Fribourg
,
Romain Soulat
Lecture Notes in Computer Science
8169
, 2013, pp. 135-145
An inverse method for parametric timed automata
Étienne André
,
Thomas Chatain
,
Laurent Fribourg
,
Emmanuelle Encrenaz
International Journal of Foundations of Computer Science
20
(5), 2009, pp. 819-836
Unfolding parametric automata
Marcos Veloso Peixoto
,
Laurent Fribourg
Lecture Notes in Computer Science
1380
, 1998, pp. 88-101