Concepedia

Laurent Fribourg

LF

27

Publications

983

Citations

19

H-Index

1984

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Laboratoire Spécification et Vérification

Université Paris-Saclay

Laboratoire des signaux et systèmes

Laurent Fribourg is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringFormal VerificationAutomated ReasoningVerificationAutomationProcess ControlLogic Programming

Publications per year

1984–2021

27

Publications

27

SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting.

Laurent Fribourg · SLP · 1985 · 170 citations

Computational Logic, Engineering, Automated Reasoning +8

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

Étienne André, Thomas Chatain, Laurent Fribourg et al. · International Journal of Foundations of Computer Science · 2009 · 100 citations

Logical Automaton, Engineering, Reachability Problem +14

Test sets generation from algebraic specifications using logic programming

Luc Bougé, N. Choquet, Laurent Fribourg et al. · Journal of Systems and Software · 1986 · 93 citations

Engineering, Automated Reasoning, Program Analysis +9

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC

Marie Duflot, Laurent Fribourg, Thomas Hérault et al. · Electronic Notes in Theoretical Computer Science · 2005 · 50 citations · Full text

A strong restriction of the inductive completion procedure

Laurent Fribourg · Journal of Symbolic Computation · 1989 · 46 citations

Strong Restriction, Engineering, Incompleteness +5

Rows per page

1–5 of 27