Laurent FRIBOURG

Cited by

	All	Since 2019
Citations	2808	646
h-index	30	12
i10-index	66	17

140

105

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 39 41 45 51 43 57 63 58 58 58 43 42 58 57 83 62 51 53 49 65 55 80 67 65 77 82 81 114 67 77 79 77 95 122 95 136 99 109 78

Public access

View all

24 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 SoulatInput OutputVerified email at iohk.io
Adrien Le CoëntLACL, Université Paris-Est CréteilVerified email at u-pec.fr
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieVerified email at lip6.fr
Ulrich KühneTélécom ParisTechVerified email at telecom-paristech.fr
Claudine PicaronnyMaître de conférences, ENS CachanVerified email at lsv.ens-cachan.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	280	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	144	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	136	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	126	2012
A strong restriction of the inductive completion procedure L Fribourg Automata, Languages and Programming: 13th International Colloquium Rennes …, 1986	91	1986
Oriented equational clauses as a programming language L Fribourg Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984	81	1984
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	76	2005
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	76	1997
A strong restriction of the inductive completion procedure L Fribourg Journal of Symbolic Computation 8 (3), 253-276, 1989	68	1989
Reachability analysis of (timed) Petri nets using real arithmetic B Bérard, L Fribourg International Conference on Concurrency Theory, 178-193, 1999	66	1999
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. L Fribourg ICLP, 685-699, 1990	61	1990
A decompositional approach for computing least fixed-points of Datalog programs with Z-counters L Fribourg, H Olsén Constraints 2, 305-335, 1997	58	1997
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
Reachability sets of parameterized rings as regular languages L Fribourg, H Olsén Electronic Notes in Theoretical Computer Science 9, 40, 1997	52	1997
Constraint logic programming applied to model checking L Fribourg International Workshop on Logic Programming Synthesis and Transformation, 30-41, 1999	45	1999
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	43	2012
Symbolic verification with gap-order constraints L Fribourg, J Richardson International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996	42	1996
Coupling and self-stabilization L Fribourg, S Messika, laudine Picaronny Distributed Computing 18 (3), 221-232, 2006	41	2006
A closed-form evaluation for extended timed automata L Fribourg Rapport technique LSV-98-2, LSV, ENS Cachan, 1998	41	1998
Timed verification of the generic architecture of a memory circuit using parametric timed automata R Chevallier, E Encrenaz-Tiphene, L Fribourg, W Xu Formal Methods in System Design 34, 59-81, 2009	40	2009

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