Bounded-oscillation Pushdown Automata
Ganty, Pierre, Valput, Damir
Published in Electronic proceedings in theoretical computer science (13.09.2016)
Published in Electronic proceedings in theoretical computer science (13.09.2016)
Get full text
Journal Article
Solving non-linear Horn clauses using a linear Horn clause solver
Kafle, Bishoksan, Gallagher, John P., Ganty, Pierre
Published in Electronic proceedings in theoretical computer science (14.07.2016)
Published in Electronic proceedings in theoretical computer science (14.07.2016)
Get full text
Journal Article
Decomposition by tree dimension in Horn clause verification
Kafle, Bishoksan, Gallagher, John P., Ganty, Pierre
Published in Electronic proceedings in theoretical computer science (07.12.2015)
Published in Electronic proceedings in theoretical computer science (07.12.2015)
Get full text
Journal Article
Algorithmic Verification of Asynchronous Programs
GANTY, Pierre, MAJUMDAR, Rupak
Published in ACM transactions on programming languages and systems (01.04.2012)
Published in ACM transactions on programming languages and systems (01.04.2012)
Get full text
Journal Article
Verification of population protocols
Esparza, Javier, Ganty, Pierre, Leroux, Jérôme, Majumdar, Rupak
Published in Acta informatica (01.03.2017)
Published in Acta informatica (01.03.2017)
Get full text
Journal Article
Model checking parameterized asynchronous shared-memory systems
Durand-Gasselin, Antoine, Esparza, Javier, Ganty, Pierre, Majumdar, Rupak
Published in Formal methods in system design (01.06.2017)
Published in Formal methods in system design (01.06.2017)
Get full text
Journal Article
Underapproximation of procedure summaries for integer programs
Ganty, Pierre, Iosif, Radu, Konečný, Filip
Published in International journal on software tools for technology transfer (01.10.2017)
Published in International journal on software tools for technology transfer (01.10.2017)
Get full text
Journal Article
Pattern-Based Verification for Multithreaded Programs
Esparza, Javier, Ganty, Pierre, Poch, Tomáš
Published in ACM transactions on programming languages and systems (01.09.2014)
Published in ACM transactions on programming languages and systems (01.09.2014)
Get full text
Journal Article
Tree dimension in verification of constrained Horn clauses
KAFLE, BISHOKSAN, GALLAGHER, JOHN P., GANTY, PIERRE
Published in Theory and practice of logic programming (01.03.2018)
Published in Theory and practice of logic programming (01.03.2018)
Get full text
Journal Article
Parikhʼs theorem: A simple and direct automaton construction
Esparza, Javier, Ganty, Pierre, Kiefer, Stefan, Luttenberger, Michael
Published in Information processing letters (15.06.2011)
Published in Information processing letters (15.06.2011)
Get full text
Journal Article
Underapproximation of Procedure Summaries for Integer Programs
Ganty, Pierre, Iosif, Radu, Konečný, Filip
Published in International journal on software tools for technology transfer (20.04.2016)
Get full text
Published in International journal on software tools for technology transfer (20.04.2016)
Journal Article
Bounded underapproximations
Ganty, Pierre, Majumdar, Rupak, Monmege, Benjamin
Published in Formal methods in system design (01.04.2012)
Published in Formal methods in system design (01.04.2012)
Get full text
Journal Article
Ordered Counter-Abstraction: Refinable Subword Relations for Parameterized Verification
Ganty, Pierre, Rezine, Ahmed
Published in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014) (2014)
Published in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014) (2014)
Get full text
Book Chapter
Conference Proceeding