×

zbMATH — the first resource for mathematics

Ganty, Pierre

Compute Distance To:
Author ID: ganty.pierre Recent zbMATH articles by "Ganty, Pierre"
Published as: Ganty, Pierre
Documents Indexed: 30 Publications since 2004, including 1 Book

Publications by Year

Citations contained in zbMATH

22 Publications have been cited 64 times in 54 Documents Cited by Year
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
7
2011
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
7
2006
Fixpoint-guided abstraction refinements. Zbl 1211.68083
Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François
5
2007
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
4
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2017
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
4
2012
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
4
2011
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
4
2011
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2015
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
3
2012
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
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
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2016
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2015
Automatic verification of time sensitive cryptographic protocols. Zbl 1126.68392
Delzanno, Giorgio; Ganty, Pierre
2
2004
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
1
2016
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
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
1
2011
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
1
2009
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
1
2007
Locality-based abstractions. Zbl 1141.68367
Esparza, Javier; Ganty, Pierre; Schwoon, Stefan
1
2005
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
4
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
4
2017
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
1
2016
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
3
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
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
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
4
2012
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
3
2012
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
7
2011
Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182
Esparza, Javier; Ganty, Pierre
4
2011
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
4
2011
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
1
2011
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
3
2009
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
1
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
5
2007
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
1
2007
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
7
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
2
2004
all top 5

Cited by 126 Authors

6 Ganty, Pierre
5 Finkel, Alain
4 Esparza, Javier
4 Majumdar, Rupak
3 Atig, Mohamed Faouzi
3 Rosa-Velardo, Fernando
3 Saivasan, Prakash
2 Bertrand, Nathalie
2 Bouajjani, Ahmed
2 Chambart, Pierre
2 Chini, Peter
2 Dewaskar, Miheer
2 Genest, Blaise
2 Giacobazzi, Roberto
2 Gimbert, Hugo
2 Habermehl, Peter
2 Lavado, Giovanna Janet
2 Leroux, Jérôme
2 Luttenberger, Michael
2 Maquet, Nicolas
2 Meyer, Roland
2 Pighizzini, Giovanni
2 Praveen, M.
2 Raskin, Jean-François
2 Schmitz, Sylvain
2 Sutre, Grégoire
2 Veith, Helmut
1 Abdulla, Parosh Aziz
1 Akshay, S.
1 Aminof, Benjamin
1 Athanasiou, Konstantinos
1 Baldan, Paolo
1 Basin, David A.
1 Best, Eike
1 Bhave, Devendra
1 Blondin, Michael
1 Brázdil, Tomáš
1 Brijder, Robert
1 Capkun, Srdjan
1 Chakraborty, Supratik
1 Chatterjee, Krishnendu
1 Chen, Huowang
1 Chen, Zhe
1 Chistikov, Dmitry V.
1 Cocco, Nicoletta
1 Cousot, Patrick
1 Cousot, Radhia
1 Das, Ankush
1 Dave, Vrunda
1 Dimitrova, Rayna
1 Doty, David
1 Durand-Gasselin, Antoine
1 Enea, Constantin
1 Feret, Jérôme
1 Fernau, Henning
1 Fortin, Marie-Josée
1 Gange, Graeme
1 Gastin, Paul
1 Godbole, Adwait Amit
1 Goubault-Larrecq, Jean
1 Hague, Matthew
1 Haziza, Frédéric
1 Henzinger, Thomas A.
1 Holík, Luká
1 Inverso, Omar
1 Jagannath, Vishal
1 Kiefer, Stefan
1 Kolberg, Jonathan
1 Konnov, Igor V.
1 Kotek, Tomer
1 Krebs, Andreas
1 Krishna, Shankara Narayanan
1 Kucera, Antonin
1 Lazić, Marijana
1 Li, Mengjun
1 Li, Zhoujun
1 Lin, Anthony Widjaja
1 Liu, Peizun
1 Majster-Cederbaum, Mila E.
1 Marin, Andrea
1 Martos-Salgado, María
1 Martyugin, Pavel V.
1 Mastroeni, Isabella
1 Mauborgne, Laurent
1 McKenzie, Pierre
1 Miné, Antoine
1 Minnameier, Christoph
1 Monmege, Benjamin
1 Muscholl, Anca
1 Narayan, Kumar K.
1 Navas, Jorge A.
1 Novotný, Petr
1 Okhotin, Alexander
1 Paramasivan, Meenakshi
1 Parlato, Gennaro
1 Phawade, Ramchandra
1 Qadeer, Shaz
1 Ranzato, Francesco
1 Rival, Xavier
1 Rubin, Sasha
...and 26 more Authors

Citations by Year