A Narrowing Procedure for Theories with Constructors. - Laurent Fribourg (CADE, 1984)

Oriented Equational Clauses as a Programming Language. - Laurent Fribourg (J. Log. Program., 1984)

Runnable protocol specifications using the logic interpreter SLOG. - N. Choquet; Laurent Fribourg; Anne Mauboussin (PSTV, 1985)

Handling Function Definitions through Innermost Superposition and Rewriting. - Laurent Fribourg (RTA, 1985)

SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. - Laurent Fribourg (SLP, 1985)

Application of Prolog to Test Sets Generation from Algebraic Specifications. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (TAPSOFT, Vol.2, 1985)

A Superposition Oriented Theorem Prover. - Laurent Fribourg (Theor. Comput. Sci., 1985)

Test sets generation from algebraic specifications using logic programming. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (J. Syst. Softw., 1986)

On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. - Laurent Fribourg (CTRS, 1987)

List concatenation via extended unification. - Laurent Fribourg (SPLT, 1987)

SLOG: A Logic Interpreter for Equational Clauses. - Laurent Fribourg (STACS, 1987)

Functional Extensions to Prolog: Are they Needed? - Laurent Fribourg (ALP, 1988)

Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. - Laurent Fribourg (ICLP/SLP, 1988)

A Strong Restriction of the Inductive Completion Procedure. - Laurent Fribourg (J. Symb. Comput., 1989)

A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. - Laurent Fribourg (PLILP, 1990)

Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. - Laurent Fribourg (ICLP Workshop on Construction of Logic Programs, 1991)

A Survey of the Implementations of Narrowing. - P. H. Cheong; Laurent Fribourg (Declarative Programming, 1991)

Efficient Integration of Simplifications into Prolog. - P. H. Cheong; Laurent Fribourg (PLILP, 1991)

Automatic Generation of Simplification Lemmas for Inductive Proofs. - Laurent Fribourg (ISLP, 1991)

Mixing List Recursion and Arithmetic - Laurent Fribourg (LICS, 1992)

A Unifying View of Structural Induction and Computation Induction for Logic Programs. - Laurent Fribourg; Hans Olsén (LOPSTR, 1992)

Concurrent Constraint Automata. - Laurent Fribourg; Marcos Veloso Peixoto (ILPS, 1993)

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. - Laurent Fribourg; Marcos Veloso Peixoto (CADE, 1994)

Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. - Laurent Fribourg; Marcos Veloso Peixoto (ILPS Workshop: Constraints and Databases, 1994)

Reductions of Petri Nets and Unfolding of Propositional Logic Programs. - Laurent Fribourg; Hans Olsén (LOPSTR, 1996)

Symbolic Verification with Gap-Order Constraints. - Laurent Fribourg; Julian Richardson (LOPSTR, 1996)

Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. - Laurent Fribourg; Hans Olsén (CONCUR, 1997)

A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. - Laurent Fribourg; Hans Olsén (Constraints An Int. J., 1997)

Reachability sets of parameterized rings as regular languages. - Laurent Fribourg; Hans Olsén (INFINITY, 1997)

Unfolding Parametric Automata. - Marcos Veloso Peixoto; Laurent Fribourg (LATIN, 1998)

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol. - Béatrice Bérard; Laurent Fribourg (CAV, 1999)

Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. - Béatrice Bérard; Laurent Fribourg (CONCUR, 1999)

Constraint Logic Programming Applied to Model Checking. - Laurent Fribourg (LOPSTR, 1999)

A New Rewrite Method for Convergence of Self-Stabilizing Systems. - Joffroy Beauquier; Béatrice Bérard; Laurent Fribourg (DISC, 1999)

Petri Nets, Flat Languages and Linear Arithmetic. - Laurent Fribourg (WFLP, 2000)

Unavoidable Configurations of Parameterized Rings of Processes. - Marie Duflot; Laurent Fribourg; Ulf Nilsson (CONCUR, 2001)

Randomized Finite-State Distributed Algorithms as Markov Chains. - Marie Duflot; Laurent Fribourg; Claudine Picaronny (DISC, 2001)

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. - Joffroy Beauquier; Béatrice Bérard; Laurent Fribourg; Frédéric Magniette (Distributed Comput., 2001)

Compared Study of Two Correctness Proofs for the Standardized. - Béatrice Bérard; Laurent Fribourg; Francis Klay; Jean-François Monin (Formal Methods Syst. Des., 2003)

Randomized dining philosophers without fairness assumption. - Marie Duflot; Laurent Fribourg; Claudine Picaronny (Distributed Comput., 2004)

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. - Marie Duflot; Laurent Fribourg; Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Stéphane Messika; Sylvain Peyronnet; Claudine Picaronny (AVoCS, 2004)

Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. - Laurent Fribourg; Stéphane Messika (PODC, 2005)

Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. - Remy Chevallier; Emmanuelle Encrenaz-Tiphène; Laurent Fribourg; Weiwen Xu (FORMATS, 2006)

Coupling and self-stabilization. - Laurent Fribourg; Stéphane Messika; Claudine Picaronny (Distributed Comput., 2006)

Time Separation of Events: An Inverse Method. - Emmanuelle Encrenaz; Laurent Fribourg (LIX, 2006)

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. - Najla Chamseddine; Marie Duflot; Laurent Fribourg; Claudine Picaronny; Jeremy Sproston (QEST, 2008)

An Inverse Method for Policy-Iteration Based Algorithms - Laurent Fribourg; Étienne André (INFINITY, 2009)

Timed verification of the generic architecture of a memory circuit using parametric timed automata. - Remy Chevallier; Emmanuelle Encrenaz-Tiphène; Laurent Fribourg; Weiwen Xu (Formal Methods Syst. Des., 2009)

An Inverse Method for Parametric Timed Automata. - Étienne André; Thomas Chatain; Laurent Fribourg; Emmanuelle Encrenaz (Int. J. Found. Comput. Sci., 2009)

Behavioral Cartography of Timed Automata. - Étienne André; Laurent Fribourg (RP, 2010)

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems - Laurent Fribourg; Bertrand Revol; Romain Soulat (INFINITY, 2011)

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. - Étienne André; Laurent Fribourg; Ulrich Kühne; Romain Soulat (FM, 2012)

Enhancing the Inverse Method with State Merging. - Étienne André; Laurent Fribourg; Romain Soulat (NASA Formal Methods, 2012)

Robustness Analysis for Scheduling Problems Using the Inverse Method. - Laurent Fribourg; Romain Soulat; David Lesens; Pierre Moro (TIME, 2012)

Merge and Conquer: State Merging in Parametric Timed Automata. - Étienne André; Laurent Fribourg; Romain Soulat (ATVA, 2013)

Control of Switching Systems by Invariance Analysis (Invited Talk). - Laurent Fribourg (FSFMA, 2013)

Constructing Attractors of Nonlinear Dynamical Systems. - Laurent Fribourg; Ulrich Kühne; Romain Soulat (FSFMA, 2013)

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. - Youcheng Sun; Romain Soulat; Giuseppe Lipari; Étienne André; Laurent Fribourg (FTSCS, 2013)

Stability Controllers for Sampled Switched Systems. - Laurent Fribourg; Romain Soulat (RP, 2013)

An extension of the inverse method to probabilistic timed automata. - Étienne André; Laurent Fribourg; Jeremy Sproston (Formal Methods Syst. Des., 2013)

Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method. - Laurent Fribourg; Ulrich Kühne (Int. J. Found. Comput. Sci., 2013)

Component-based analysis of hierarchical scheduling using linear hybrid automata. - Youcheng Sun; Giuseppe Lipari; Romain Soulat; Laurent Fribourg; Nicolas Markey (RTCSA, 2014)

Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. - Gilles Feld; Laurent Fribourg; Denis Labrousse; Bertrand Revol; Romain Soulat (FSFMA, 2014)

Toward Parametric Timed Interfaces for Real-Time Components. - Youcheng Sun; Giuseppe Lipari; Étienne André; Laurent Fribourg (SynCoP, 2014)

Finite controlled invariants for sampled switched systems. - Laurent Fribourg; Ulrich Kühne; Romain Soulat (Formal Methods Syst. Des., 2014)

Guaranteed control of switched control systems using model order reduction and state-space bisection. - Adrien Le Coënt; Florian De Vuyst; Christian Rey; Ludovic Chamoin; Laurent Fribourg (SynCoP, 2015)

Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. - Laurent Fribourg; Ulrich Kühne; Nicolas Markey (SynCoP, 2015)

A Topological Method for Finding Invariant Sets of Switched Systems. - Laurent Fribourg; Eric Goubault; Sylvie Putot; Sameh Mohamed (HSCC, 2016)

Distributed Synthesis of State-Dependent Switching Control. - Adrien Le Coënt; Laurent Fribourg; Nicolas Markey; Florian De Vuyst; Ludovic Chamoin (RP, 2016)

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. - Adrien Le Coënt; Laurent Fribourg; Romain Soulat (RP, 2016)

Control of nonlinear switched systems based on validated simulation. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg (CoRR, 2016)

Euler's Method Applied to the Control of Switched Systems. - Laurent Fribourg (FORMATS, 2017)

Distributed Control Synthesis Using Euler's Method. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg; Florian De Vuyst; Ludovic Chamoin (RP, 2017)

Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. - Adrien Le Coënt; Florian De Vuyst; Ludovic Chamoin; Laurent Fribourg (SNR@ETAPS, 2017)

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. - Adrien Le Coënt; Laurent Fribourg; Jonathan Vacher (ADHS, 2018)

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (CDC, 2018)

Controlled Recurrence of a Biped with Torso. - Adrien Le Coënt; Laurent Fribourg (CyPhy/WESE, 2018)

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. - Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2018)

Contract based Design of Symbolic Controllers for Vehicle Platooning. - Adnane Saoud; Antoine Girard; Laurent Fribourg (HSCC, 2018)

An improved algorithm for the control synthesis of nonlinear sampled switched systems. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg (Formal Methods Syst. Des., 2018)

Compositional synthesis of state-dependent switching control. - Adrien Le Coënt; Laurent Fribourg; Nicolas Markey; Florian De Vuyst; Ludovic Chamoin (Theor. Comput. Sci., 2018)

Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. - Adrien Le Coënt; Laurent Fribourg (CDC, 2019)

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. - Adrien Le Coënt; Laurent Fribourg (CyPhy/WESE, 2019)

LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. - Jean-Luc Danger; Laurent Fribourg; Ulrich Kühne; Maha Naceur (DSD, 2019)

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. - Daniele Zonetti; Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2019)

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. - Étienne André; Laurent Fribourg; Jean-Marc Mota; Romain Soulat (VMCAI, 2019)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). - Jawher Jerray; Laurent Fribourg; Étienne André (ARCH, 2020)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Robust optimal control using dynamic programming and guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems. - Jawher Jerray; Laurent Fribourg (CoRR, 2020)

Determination of limit cycles using stroboscopic set-valued maps. - Jawher Jerray; Laurent Fribourg (ADHS, 2021)

An Approximation of Minimax Control using Random Sampling and Symbolic Computation. - Jawher Jerray; Laurent Fribourg; Étienne André (ADHS, 2021)

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. - Anas Makdesi; Antoine Girard; Laurent Fribourg (ADHS, 2021)

Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion. - Mohamed Fnadi; Julien Alexandre Dit Sandretto; Gabriel Ballet; Laurent Fribourg (ACC, 2021)

Robust optimal periodic control using guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (ACC, 2021)

Data-Driven Abstraction of Monotone Systems. - Anas Makdesi; Antoine Girard; Laurent Fribourg (L4DC, 2021)

Assume-guarantee contracts for continuous-time systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (Autom., 2021)

Constructing invariant tori using guaranteed Euler method. - Jawher Jerray; Laurent Fribourg (CoRR, 2021)

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Fundam. Informaticae, 2021)

A topological method for finding invariant sets of continuous systems. - Laurent Fribourg; Eric Goubault; Sameh Mohamed; Marian Mrozek; Sylvie Putot (Inf. Comput., 2021)

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (IEEE Trans. Autom. Control., 2021)

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints". - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Zenodo, 2021)

Using Euler's Method to Prove the Convergence of Neural Networks. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (IEEE Control. Syst. Lett., 2022)

Asymptotic error in Euler's method with a constant step size. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (Eur. J. Control, 2022)

Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures. - Jawher Jerray; Laurent Fribourg (CoRR, 2023)

Training and Generalization Errors for Underparameterized Neural Networks. - Daniel M. Xavier; Ludovic Chamoin; Laurent Fribourg (IEEE Control. Syst. Lett., 2023)

Safe learning-based model predictive control using the compatible models approach. - Anas Makdesi; Antoine Girard; Laurent Fribourg (Eur. J. Control, 2023)

Online Learning for Safe Model Predictive Control with the Compatible Models Approach. - Anas Makdesi; Antoine Girard; Laurent Fribourg (ADHS, 2024)

One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity. - Daniel M. Xavier; Ludovic Chamoin; Jawher Jerray; Laurent Fribourg (CoRR, 2024)

Data-Driven Models of Monotone Systems. - Anas Makdesi; Antoine Girard; Laurent Fribourg (IEEE Trans. Autom. Control., 2024)

Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity. - Daniel M. Xavier; Ludovic Chamoin; Laurent Fribourg (ACC, 2025)