( en | de | ru )

 

Disambiguation of "Fribourg, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection.

, , , and . DSD, page 269-276. IEEE, (2019)

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

Laurent Herschke

 

Other publications of authors with the same name

Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic., and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 178-193. Springer, (1999)Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol., and . CAV, volume 1633 of Lecture Notes in Computer Science, page 96-107. Springer, (1999)A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution.. PLILP, volume 456 of Lecture Notes in Computer Science, page 174-188. Springer, (1990)Oriented Equational Clauses as a Programming Language.. ICALP, volume 172 of Lecture Notes in Computer Science, page 162-173. Springer, (1984)On the Use of Conditional Rewrite Rules in Inductive Theorem Proving.. CTRS, volume 308 of Lecture Notes in Computer Science, page 56-61. Springer, (1987)Distributed Synthesis of State-Dependent Switching Control., , , , and . RP, volume 9899 of Lecture Notes in Computer Science, page 119-133. Springer, (2016)Functional Extensions to Prolog: Are they Needed?. ALP, volume 343 of Lecture Notes in Computer Science, page 21-29. Springer, (1988)Timed verification of the generic architecture of a memory circuit using parametric timed automata., , , and . Formal Methods Syst. Des., 34 (1): 59-81 (2009)A symbolic approach to voltage stability and power sharing in time-varying DC microgrids., , , and . ECC, page 903-909. IEEE, (2019)On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance., , and . ECC, page 435-440. IEEE, (2018)