×
Author ID: ganty.pierre Recent zbMATH articles by "Ganty, Pierre"
Published as: Ganty, Pierre

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 222 times in 169 Documents Cited by Year
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
26
2017
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
21
2011
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
16
2012
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
15
2011
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
11
2015
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
10
2011
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
10
2006
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
9
2016
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
8
2011
Fixpoint-guided abstraction refinements. Zbl 1211.68083
Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François
8
2007
Sound up-to techniques and complete abstract domains. Zbl 1497.68107
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
8
2018
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
7
2017
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
7
2016
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
5
2012
Underapproximation of procedure summaries for integer programs. Zbl 1381.68052
Ganty, Pierre; Iosif, Radu; Konečný, Filip
5
2013
Verification of immediate observation population protocols. Zbl 1520.68072
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana
5
2018
FORQ-based language inclusion formal testing. Zbl 1514.68098
Doveri, Kyveli; Ganty, Pierre; Mazzocchi, Nicolas
4
2022
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
4
2007
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
4
2009
Inclusion testing of Büchi automata based on well-quasiorders. Zbl 07730605
Doveri, Kyveli; Ganty, Pierre; Parolini, Francesco; Ranzato, Francesco
4
2021
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
3
2009
Automatic verification of time sensitive cryptographic protocols. Zbl 1126.68392
Delzanno, Giorgio; Ganty, Pierre
3
2004
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
3
2008
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2015
Tree dimension in verification of constrained Horn clauses. Zbl 1478.68165
Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre
3
2018
A congruence-based perspective on automata minimization algorithms. Zbl 1541.68195
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
3
2019
Fixing the state budget: approximation of regular languages with small DFAs. Zbl 1495.68120
Gange, Graeme; Ganty, Pierre; Stuckey, Peter J.
3
2017
Complete abstractions for checking language inclusion. Zbl 1508.68190
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
2
2021
Solving non-linear Horn clauses using a linear Horn clause solver. Zbl 1482.68141
Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre
2
2016
Fixed point guided abstraction refinement for alternating automata. Zbl 1207.68186
Ganty, Pierre; Maquet, Nicolas; Raskin, Jean-François
2
2010
Bounded-oscillation pushdown automata. Zbl 1478.68127
Ganty, Pierre; Valput, Damir
2
2016
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
The Parikh property for weighted context-free grammars. Zbl 1528.68162
Ganty, Pierre; Gutiérrez, Elena
1
2018
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
Interprocedural reachability for flat integer programs. Zbl 1434.68107
Ganty, Pierre; Iosif, Radu
1
2015
A quasiorder-based perspective on residual automata. Zbl 07559411
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
1
2020
Language inclusion algorithms as complete abstract interpretations. Zbl 1539.68134
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
1
2019
FORQ-based language inclusion formal testing. Zbl 1514.68098
Doveri, Kyveli; Ganty, Pierre; Mazzocchi, Nicolas
4
2022
Inclusion testing of Büchi automata based on well-quasiorders. Zbl 07730605
Doveri, Kyveli; Ganty, Pierre; Parolini, Francesco; Ranzato, Francesco
4
2021
Complete abstractions for checking language inclusion. Zbl 1508.68190
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
2
2021
A quasiorder-based perspective on residual automata. Zbl 07559411
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
1
2020
A congruence-based perspective on automata minimization algorithms. Zbl 1541.68195
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
3
2019
Language inclusion algorithms as complete abstract interpretations. Zbl 1539.68134
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
1
2019
Sound up-to techniques and complete abstract domains. Zbl 1497.68107
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
8
2018
Verification of immediate observation population protocols. Zbl 1520.68072
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana
5
2018
Tree dimension in verification of constrained Horn clauses. Zbl 1478.68165
Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre
3
2018
The Parikh property for weighted context-free grammars. Zbl 1528.68162
Ganty, Pierre; Gutiérrez, Elena
1
2018
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
26
2017
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
7
2017
Fixing the state budget: approximation of regular languages with small DFAs. Zbl 1495.68120
Gange, Graeme; Ganty, Pierre; Stuckey, Peter J.
3
2017
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
9
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
7
2016
Solving non-linear Horn clauses using a linear Horn clause solver. Zbl 1482.68141
Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre
2
2016
Bounded-oscillation pushdown automata. Zbl 1478.68127
Ganty, Pierre; Valput, Damir
2
2016
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
11
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2015
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
Interprocedural reachability for flat integer programs. Zbl 1434.68107
Ganty, Pierre; Iosif, Radu
1
2015
Underapproximation of procedure summaries for integer programs. Zbl 1381.68052
Ganty, Pierre; Iosif, Radu; Konečný, Filip
5
2013
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
16
2012
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
5
2012
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
21
2011
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
15
2011
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
10
2011
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
8
2011
Fixed point guided abstraction refinement for alternating automata. Zbl 1207.68186
Ganty, Pierre; Maquet, Nicolas; Raskin, Jean-François
2
2010
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
4
2009
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
3
2009
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
3
2008
Fixpoint-guided abstraction refinements. Zbl 1211.68083
Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François
8
2007
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
4
2007
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
10
2006
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Automatic verification of time sensitive cryptographic protocols. Zbl 1126.68392
Delzanno, Giorgio; Ganty, Pierre
3
2004
all top 5

Cited by 302 Authors

19 Ganty, Pierre
17 Esparza, Javier
10 Blondin, Michael
10 Finkel, Alain
8 Leroux, Jérôme
8 Raskin, Mikhail
7 Atig, Mohamed Faouzi
7 Saivasan, Prakash
6 Bonchi, Filippo
6 Jaax, Stefan
5 Bouajjani, Ahmed
5 Czerwiński, Wojciech
5 Majumdar, Rupak
5 Meyer, Roland
5 Zetzsche, Georg
4 Doty, David
4 Gallagher, John P.
4 Kucera, Antonin
4 Lazić, Ranko
4 Mazowiecki, Filip
4 Okhotin, Alexander
4 Schmitz, Sylvain
4 Weil-Kennedy, Chana
3 Abdulla, Parosh Aziz
3 Balasubramanian, A. R.
3 Chini, Peter
3 Chistikov, Dmitry V.
3 Dimitrova, Rayna
3 Giacobazzi, Roberto
3 Gutiérrez, Elena
3 Haddad, Serge
3 Kafle, Bishoksan
3 König, Barbara
3 Lasota, Sławomir
3 Luttenberger, Michael
3 Narayan, Kumar K.
3 Praveen, M.
3 Ranzato, Francesco
3 Rosa-Velardo, Fernando
3 Sutre, Grégoire
3 Valero, Pedro
2 Baldan, Paolo
2 Bertrand, Nathalie
2 Bollig, Benedikt
2 Brázdil, Tomáš
2 Brijder, Robert
2 Chambart, Pierre
2 Chatterjee, Krishnendu
2 Chen, Huowang
2 De Angelis, Emanuele
2 Doveri, Kyveli
2 Fernau, Henning
2 Finkbeiner, Bernd
2 Fioravanti, Fabio
2 Godbole, Adwait Amit
2 Grigorev, Semyon
2 Habermehl, Peter
2 Hague, Matthew
2 Hermenegildo, Manuel V.
2 Hofman, Piotr
2 Holík, Lukáš
2 Khmelnitsky, Igor
2 Konnov, Igor V.
2 Krishna, Shankara Narayanan
2 Kumar, K. Narayan
2 Kupferman, Orna
2 Lavado, Giovanna Janet
2 Li, Mengjun
2 Li, Zhoujun
2 Lin, Anthony Widjaja
2 Majumdar, Rupak
2 Maquet, Nicolas
2 Meyer, Philipp J.
2 Muskalla, Sebastian
2 Novotný, Petr
2 Paramasivan, Meenakshi
2 Petrisan, Daniela Luan
2 Pettorossi, Alberto
2 Pighizzini, Giovanni
2 Proietti, Maurizio
2 Raskin, Jean-François
2 Salomaa, Kai T.
2 Santamaria, Alessio
2 Schlund, Maximilian
2 Schmid, Markus L.
2 Shemetova, Ekaterina
2 Sickert, Salomon
2 Soloveichik, David
2 Suresh, Amrita
2 Vargovčík, Pavol
2 Veith, Helmut
2 Velan, Dominik
2 Widder, Josef
2 Zhou, Ti
1 Akshay, S.
1 Aminof, Benjamin
1 Ascari, Flavio
1 Athaiya, Snigdha
1 Athanasiou, Konstantinos
1 Atig, Mohamad Faouzi
...and 202 more Authors

Citations by Year