Laurent FRIBOURG

Cited by

	All	Since 2018
Citations	2667	604
h-index	28	13
i10-index	66	20

140

105

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202328 36 45 46 53 43 58 59 57 57 54 42 41 62 63 83 62 51 53 48 63 55 81 68 62 78 78 80 118 70 76 79 76 86 117 97 134 108 58

Public access

View all

18 articles

1 article

available

not available

Based on funding mandates

Co-authors

Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
Romain SoulatThales Research & TechnologyVerified email at thalesgroup.com
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieVerified email at lip6.fr
Adrien Le CoëntPost Doctoral Researcher at Aalborg UniversityVerified email at cs.aau.dk
Claudine PicaronnyMaître de conférences, ENS CachanVerified email at lsv.ens-cachan.fr
Ulrich KühneTélécom ParisTechVerified email at telecom-paristech.fr
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayVerified email at lri.fr
Luc BougéENS Rennes, IRISA, INRIAVerified email at ens-rennes.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Giuseppe LipariFull professor, University of LilleVerified email at univ-lille.fr
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
Thomas HeraultUniversity of TennesseeVerified email at eecs.utk.edu
Alexandre ChapoutotENSTA Paris - U2ISVerified email at ensta.fr
Bertrand RevolENS Paris-SaclayVerified email at ens-paris-saclay.fr
Christian ReySafran TechVerified email at safrangroup.com
Sylvain PeyronnetBabbar.tech (CEO), ix-labs (CEO), former Full Prof in CSVerified email at ix-labs.org
Lassaigne RichardVerified email at math.univ-paris-diderot.fr
Sylvie PutotLIX, Ecole PolytechniqueVerified email at polytechnique.edu
Eric GoubaultEcole PolytechniqueVerified email at cea.fr

Laurent FRIBOURG

LMF - ENS Paris-Saclay & CNRS

Verified email at lsv.fr - Homepage

Computer Science Formal Methods Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting L Fribourg Proc. Symp. Logic Programming, 172-184, 1985	279	1985
Test sets generation from algebraic specifications using logic programming L Bougé, N Choquet, L Fribourg, MC Gaudel Journal of Systems and Software 6 (4), 343-360, 1986	147	1986
An inverse method for parametric timed automata É André, T Chatain, L Fribourg, E Encrenaz International Journal of Foundations of Computer Science 20 (05), 819-836, 2009	127	2009
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems É André, L Fribourg, U Kühne, R Soulat International Symposium on Formal Methods, 33-36, 2012	117	2012
A strong restriction of the inductive completion procedure L Fribourg Automata, Languages and Programming: 13th International Colloquium Rennes …, 1986	90	1986
Oriented equational clauses as a programming language L Fribourg Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984	85	1984
Proving safety properties of infinite state systems by compilation into Presburger arithmetic L Fribourg, H Olsén International Conference on Concurrency Theory, 213-227, 1997	74	1997
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC M Duflot, L Fribourg, T Herault, R Lassaigne, F Magniette, S Messika, ... Electronic Notes in Theoretical Computer Science 128 (6), 195-214, 2005	72	2005
Reachability analysis of (timed) Petri nets using real arithmetic B Bérard, L Fribourg International Conference on Concurrency Theory, 178-193, 1999	67	1999
A strong restriction of the inductive completion procedure L Fribourg Journal of Symbolic Computation 8 (3), 253-276, 1989	65	1989
Automated verification of a parametric real-time program: the ABR conformance protocol B Béerard, L Fribourg Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	56	1999
A decompositional approach for computing least fixed-points of Datalog programs with Z-counters L Fribourg, H Olsén Constraints 2, 305-335, 1997	56	1997
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. L Fribourg ICLP, 685-699, 1990	56	1990
Reachability sets of parameterized rings as regular languages L Fribourg, H Olsén Electronic Notes in Theoretical Computer Science 9, 40, 1997	51	1997
Constraint logic programming applied to model checking L Fribourg International Workshop on Logic Programming Synthesis and Transformation, 30-41, 1999	46	1999
Coupling and self-stabilization L Fribourg, S Messika, laudine Picaronny Distributed Computing 18, 221-232, 2006	42	2006
A closed-form evaluation for extended timed automata L Fribourg Rapport technique LSV-98-2, LSV, ENS Cachan, 1998	42	1998
Symbolic verification with gap-order constraints L Fribourg, J Richardson International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996	41	1996
Robustness analysis for scheduling problems using the inverse method L Fribourg, R Soulat, D Lesens, P Moro 2012 19th International Symposium on Temporal Representation and Reasoning …, 2012	40	2012
Randomized dining philosophers without fairness assumption M Duflot, L Fribourg, C Picaronny Distributed Computing 17, 65-76, 2004	38	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors