( en | de | ru )

 

Disambiguation of "Fribourg, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Parametric schedulability analysis of a launcher flight control system under reactivity constraints.

, , , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Sarah Laurent

 

Other publications of authors with the same name

Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata., , , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 113-127. Springer, (2006)Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic., and . CONCUR, volume 1243 of Lecture Notes in Computer Science, page 213-227. Springer, (1997)SLOG: A Logic Interpreter for Equational Clauses.. STACS, volume 247 of Lecture Notes in Computer Science, page 479-480. Springer, (1987)Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.. ICLP, page 685-699. MIT Press, (1990)Automatic Generation of Simplification Lemmas for Inductive Proofs.. ISLP, page 103-116. MIT Press, (1991)Controlled Recurrence of a Biped with Torso., and . CoRR, (2019)Reductions of Petri Nets and Unfolding of Propositional Logic Programs., and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 187-203. Springer, (1996)Symbolic Verification with Gap-Order Constraints., and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 20-37. Springer, (1996)Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method., , , and . SNR@ETAPS, volume 247 of EPTCS, page 18-33. (2017)Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic., and . Proceedings of CONCUR'97, volume 1243 of LNCS, page 213--227. Germany, Berlin, (1997)