Grégoire Sutre

Citado por

	Total	Desde 2020
Citas	3509	468
Índice h	18	11
Índice i10	29	13

260

130

195

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 11 44 88 150 216 255 237 238 234 203 158 203 149 157 145 137 134 110 104 111 103 66 95 78 15

Acceso público

Ver todo

2 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jerome LerouxCNRS researcher, LaBRI, FranceDirección de correo verificada de labri.fr
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Frédéric HerbreteauUniv. Bordeaux, CNRS, LaBRI, UMR 5800Dirección de correo verificada de labri.fr
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Dirección de correo verificada de ncsu.edu
Westley WeimerProfessor Computer Science, University of MichiganDirección de correo verificada de umich.edu
George NeculaProfessor, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Tristan Le GallCEA LISTDirección de correo verificada de cea.fr
Lorenzo ClementeUniversity of WarsawDirección de correo verificada de mimuw.edu.pl
Patrick TotzkeUniversity of LiverpoolDirección de correo verificada de liverpool.ac.uk
Franck Cassezmovement LabsDirección de correo verificada de movementlabs.xyz
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Dirección de correo verificada de cs.uni-saarland.de
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenDirección de correo verificada de in.tum.de
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
Amélie StainerUniversité Libre de BruxellesDirección de correo verificada de ulb.ac.be
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéDirección de correo verificada de lip6.fr
Hayssam SoueidanPostdoctoral Fellow, Centre de BioInformatique de Bordeaux / JobijobaDirección de correo verificada de jobijoba.com

Seguir

Grégoire Sutre

Research Fellow, CNRS, University of Bordeaux

Dirección de correo verificada de labri.fr - Página principal

Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Principles of Programming Languages (POPL'02), 58-70, 2002	1572	2002
Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre Model Checking Software (SPIN'03), 235-239, 2003	716	2003
Temporal-safety proofs for systems code T Henzinger, G Necula, R Jhala, G Sutre, R Majumdar, W Weimer Computer Aided Verification (CAV'02), 382-399, 2002	246	2002
Flat counter automata almost everywhere! J Leroux, G Sutre Automated Technology for Verification and Analysis (ATVA'05), 489-503, 2005	136	2005
Reachability analysis of communicating pushdown systems A Heußner, J Leroux, A Muscholl, G Sutre Logical Methods in Computer Science 8 (3:23), 1-20, 2012	82	2012
An optimal automata approach to LTL model checking of probabilistic systems JM Couvreur, N Saheb, G Sutre Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'03), 361-375, 2003	73	2003
On flatness for 2-dimensional vector addition systems with states J Leroux, G Sutre Concurrency Theory (CONCUR'04), 402-416, 2004	72	2004
Decidability of reachability problems for classes of two counters automata A Finkel, G Sutre Theoretical Aspects of Computer Science (STACS'00), 346-357, 2000	63	2000
Well-abstracted transition systems: Application to FIFO automata A Finkel, S Purushothaman Iyer, G Sutre Information and Computation 181 (1), 1-31, 2003	58	2003
Reachability analysis of communicating pushdown systems A Heußner, J Leroux, A Muscholl, G Sutre Foundations of Software Science and Computation Structures (FOSSACS'10), 267-281, 2010	49	2010
On the coverability problem for pushdown vector addition systems in one dimension J Leroux, G Sutre, P Totzke International Colloquium on Automata, Languages, and Programming, 324-336, 2015	44	2015
Polynomial precise interval analysis revisited T Gawlitza, J Leroux, J Reineke, H Seidl, G Sutre, R Wilhelm Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of …, 2009	37	2009
Hyper-Ackermannian bounds for pushdown vector addition systems J Leroux, M Praveen, G Sutre Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	35	2014
Decidable topologies for communicating automata with FIFO and bag channels L Clemente, F Herbreteau, G Sutre International Conference on Concurrency Theory, 281-296, 2014	34	2014
Accelerated data-flow analysis J Leroux, G Sutre Static Analysis (SAS'07), 184-199, 2007	33	2007
An algorithm constructing the semilinear post* for 2-dim Reset/Transfer VASS A Finkel, G Sutre Mathematical Foundations of Computer Science (MFCS'00), 353-362, 2000	29	2000
Parametric analysis and abstraction of genetic regulatory networks M Adélaıde, G Sutre Concurrent Models in Molecular Biology (BioCONCUR'04), 2004	25	2004
Reachability of communicating timed processes L Clemente, F Herbreteau, A Stainer, G Sutre Foundations of Software Science and Computation Structures (FOSSACS'13), 81-96, 2013	21	2013
Well-abstracted transition systems A Finkel, P Iyer, G Sutre Concurrency Theory (CONCUR'00), 566-580, 2000	19	2000
McScM: a general framework for the verification of communicating machines A Heußner, T Le Gall, G Sutre Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12 …, 2012	18	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores