Laurent FRIBOURG

Citée par

	Toutes	Depuis 2018
Citations	2667	604
indice h	28	13
indice i10	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

Accès public

Tout afficher

18 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceAdresse e-mail validée de univ-paris13.fr
Romain SoulatThales Research & TechnologyAdresse e-mail validée de thalesgroup.com
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieAdresse e-mail validée de lip6.fr
Adrien Le CoëntPost Doctoral Researcher at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Claudine PicaronnyMaître de conférences, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
Ulrich KühneTélécom ParisTechAdresse e-mail validée de telecom-paristech.fr
Marie DuflotLORIA - Université de Lorraine & INRIAAdresse e-mail validée de inria.fr
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayAdresse e-mail validée de lri.fr
Luc BougéENS Rennes, IRISA, INRIAAdresse e-mail validée de ens-rennes.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceAdresse e-mail validée de irisa.fr
Giuseppe LipariFull professor, University of LilleAdresse e-mail validée de univ-lille.fr
Youcheng SunLecturer, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Thomas HeraultUniversity of TennesseeAdresse e-mail validée de eecs.utk.edu
Alexandre ChapoutotENSTA Paris - U2ISAdresse e-mail validée de ensta.fr
Bertrand RevolENS Paris-SaclayAdresse e-mail validée de ens-paris-saclay.fr
Christian ReySafran TechAdresse e-mail validée de safrangroup.com
Sylvain PeyronnetBabbar.tech (CEO), ix-labs (CEO), former Full Prof in CSAdresse e-mail validée de ix-labs.org
Lassaigne RichardAdresse e-mail validée de math.univ-paris-diderot.fr
Sylvie PutotLIX, Ecole PolytechniqueAdresse e-mail validée de polytechnique.edu
Eric GoubaultEcole PolytechniqueAdresse e-mail validée de cea.fr

Suivre

Laurent FRIBOURG

LMF - ENS Paris-Saclay & CNRS

Adresse e-mail validée de lsv.fr - Page d'accueil

Computer Science Formal Methods Model Checking


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs