The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre Ganty" ( http://dblp.L3S.de/Authors/Pierre_Ganty )

  Author page on DBLP  Author page in RDF  Community of Pierre Ganty in ASPL-2

Publication years (Num. hits)
2003-2010 (16) 2011-2013 (16) 2014-2016 (16) 2017-2018 (15) 2019 (6)
Publication types (Num. hits)
article(32) inproceedings(36) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(19) CAV(3) FSTTCS(3) SAS(3) ACM Trans. Program. Lang. Syst...(2) ATVA(2) CONCUR(2) FCT(2) Formal Methods in System Desig...(2) LICS(2) POPL(2) TACAS(2) Acta Inf.(1) CAV (1)(1) CIAA(1) DCC(1) More (+10 of total 37)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 70 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pierre Ganty, Pedro Valero 0001 Regular Expression Search on Compressed Text. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 Complete Abstractions for Checking Language Inclusion. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez, Pedro Valero 0001 A Congruence-based Perspective on Automata Minimization Algorithms. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez, Pedro Valero 0001 A Congruence-based Perspective on Automata Minimization Algorithms. Search on Bibsonomy MFCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Pedro Valero 0001 Regular Expression Search on Compressed Text. Search on Bibsonomy DCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 Language Inclusion Algorithms as Complete Abstract Interpretations. Search on Bibsonomy SAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez The Parikh Property for Weighted Context-Free Grammars. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic Sound up-to techniques and Complete abstract domains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy Verification of Immediate Observation Population Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic Sound up-to techniques and Complete abstract domains. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy Verification of Immediate Observation Population Protocols. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez The Parikh Property for Weighted Context-Free Grammars. Search on Bibsonomy FSTTCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Verification of population protocols. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model checking parameterized asynchronous shared-memory systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif, Filip Konecný Underapproximation of procedure summaries for integer programs. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez Parikh Image of Pushdown Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pierre Ganty, Boris Köpf, Pedro Valero 0001 A Language-Theoretic View on Network Protocols. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Pierre Ganty, Peter J. Stuckey Fixing the State Budget: Approximation of Regular Languages with Small DFAs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez Parikh Image of Pushdown Automata. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems. Search on Bibsonomy J. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Boris Köpf, Pedro Valero 0001 A Language-theoretic View on Network Protocols. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pierre Ganty, Damir Valput Bounded-oscillation Pushdown Automata. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Solving non-linear Horn clauses using a linear Horn clause solver. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Michele Loreti (eds.) Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers Search on Bibsonomy TGC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Model Checking Population Protocols. Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Decomposition by tree dimension in Horn clause verification. Search on Bibsonomy VPT@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model Checking Parameterized Asynchronous Shared-Memory Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar From non-zenoness verification to termination. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar Model Checking Parameterized Asynchronous Shared-Memory Systems. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo Analysis of Asynchronous Programs with Event-Based Synchronization. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif Interprocedural Reachability for Flat Integer Programs. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar Verification of Population Protocols. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif Generating Bounded Languages Using Bounded Control Sets. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Tomás Poch Pattern-Based Verification for Multithreaded Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Ahmed Rezine Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. Search on Bibsonomy LATA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pierre Ganty, Samir Genaim Proving Termination Starting from the End Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar Parameterized Verification of Asynchronous Shared-Memory Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Samir Genaim Proving Termination Starting from the End. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif, Filip Konecný Underapproximation of Procedure Summaries for Integer Programs. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar, Benjamin Monmege Bounded underapproximations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar A Perfect Model for Bounded Verification Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pierre Ganty, Radu Iosif, Filip Konecný Underapproximation of Procedure Summaries for Integer Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar Algorithmic verification of asynchronous programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Rupak Majumdar A Perfect Model for Bounded Verification. Search on Bibsonomy LICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Mark Marron Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger Parikhʼs theorem: A simple and direct automaton construction. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Mohamed Faouzi Atig Approximating Petri Net Reachability Along Context-free Traces Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Javier Esparza, Pierre Ganty Complexity of pattern-based verification for multithreaded programs. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Pierre Ganty Complexity Analysis of the Backward Coverability Algorithm for VASS. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohamed Faouzi Atig, Pierre Ganty Approximating Petri Net Reachability Along Context-free Traces. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Nicolas Maquet, Jean-François Raskin Fixed point guided abstraction refinement for alternating automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger Parikh's Theorem: A simple and direct construction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar Algorithmic Verification of Asynchronous Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar, Benjamin Monmege Bounded Underapproximations. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko Verifying liveness for asynchronous programs. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF asynchronous (event-driven) programming, fair termination, petri nets, liveness
1Pierre Ganty, Nicolas Maquet, Jean-François Raskin Fixpoint Guided Abstraction Refinement for Alternating Automata. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar Analyzing Real-Time Event-Driven Programs. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Jean-François Raskin, Laurent Van Begin From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar, Benjamin Monmege Parikh-Equivalent Bounded Underapproximations Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Pierre Ganty, Jean-François Raskin, Laurent Van Begin From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Pierre Ganty, Jean-François Raskin Fixpoint-Guided Abstraction Refinements. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Jean-François Raskin, Laurent Van Begin A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Stefan Schwoon Locality-Based Abstractions. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno, Pierre Ganty Automatic Verification of Time Sensitive Cryptographic Protocols. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Pierre Ganty SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SAT encodings, security protocols, bounded model-checking, SAT-solvers
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license