Edit Profile Ganty, Pierre Compute Distance To: Compute Author ID: ganty.pierre Published as: Ganty, Pierre Documents Indexed: 30 Publications since 2004, including 1 Book all top 5 Co-Authors 0 single-authored 11 Majumdar, Rupak 10 Esparza, Javier 6 Raskin, Jean-François 3 Leroux, Jérôme 3 Van Begin, Laurent 2 Durand-Gasselin, Antoine 2 Iosif, Radu 2 Maquet, Nicolas 1 Atig, Mohamed Faouzi 1 Bonchi, Filippo 1 Bozzelli, Laura 1 Cousot, Patrick 1 Delzanno, Giorgio 1 Emmi, Michael 1 Gallagher, John P. 1 Giacobazzi, Roberto 1 Gutiérrez, Elena 1 Kafle, Bishoksan 1 Kiefer, Stefan 1 Konečný, Filip 1 Loreti, Michele 1 Luttenberger, Michael 1 Monmege, Benjamin 1 Pavlović, Duško 1 Rezine, Ahmed 1 Rosa-Velardo, Fernando 1 Rybalchenko, Andrey 1 Schwoon, Stefan all top 5 Serials 2 Formal Methods in System Design 1 Acta Informatica 1 Information Processing Letters 1 Theoretical Computer Science 1 Journal of the ACM 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Lecture Notes in Computer Science Fields 29 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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.68203Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael 7 2011 A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 7 2006 Fixpoint-guided abstraction refinements. Zbl 1211.68083Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François 5 2007 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 4 2017 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 4 2017 A perfect model for bounded verification. Zbl 1362.68168Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 4 2012 Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182Esparza, Javier; Ganty, Pierre 4 2011 Approximating Petri net reachability along context-free traces. Zbl 1246.68161Atig, Mohamed Faouzi; Ganty, Pierre 4 2011 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 3 2015 Bounded underapproximations. Zbl 1247.68140Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin 3 2012 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 3 2009 From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 3 2008 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2016 Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2015 Automatic verification of time sensitive cryptographic protocols. Zbl 1126.68392Delzanno, Giorgio; Ganty, Pierre 2 2004 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 1 2016 Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando 1 2015 Interprocedural reachability for flat integer programs. Zbl 1434.68107Ganty, Pierre; Iosif, Radu 1 2015 Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159Bozzelli, Laura; Ganty, Pierre 1 2011 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 1 2009 From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 1 2007 Locality-based abstractions. Zbl 1141.68367Esparza, Javier; Ganty, Pierre; Schwoon, Stefan 1 2005 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 4 2017 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 4 2017 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2016 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 1 2016 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 3 2015 Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2015 Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando 1 2015 Interprocedural reachability for flat integer programs. Zbl 1434.68107Ganty, Pierre; Iosif, Radu 1 2015 A perfect model for bounded verification. Zbl 1362.68168Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 4 2012 Bounded underapproximations. Zbl 1247.68140Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin 3 2012 Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael 7 2011 Complexity of pattern-based verification for multithreaded programs. Zbl 1284.68182Esparza, Javier; Ganty, Pierre 4 2011 Approximating Petri net reachability along context-free traces. Zbl 1246.68161Atig, Mohamed Faouzi; Ganty, Pierre 4 2011 Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159Bozzelli, Laura; Ganty, Pierre 1 2011 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 3 2009 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 1 2009 From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 3 2008 Fixpoint-guided abstraction refinements. Zbl 1211.68083Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François 5 2007 From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 1 2007 A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent 7 2006 Locality-based abstractions. Zbl 1141.68367Esparza, Javier; Ganty, Pierre; Schwoon, Stefan 1 2005 Automatic verification of time sensitive cryptographic protocols. Zbl 1126.68392Delzanno, Giorgio; Ganty, Pierre 2 2004 all cited Publications top 5 cited Publications 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 all top 5 Cited in 10 Serials 7 Information and Computation 6 Theoretical Computer Science 4 Formal Methods in System Design 3 Information Processing Letters 3 Logical Methods in Computer Science 2 Acta Informatica 2 MSCS. Mathematical Structures in Computer Science 1 Journal of Automated Reasoning 1 Distributed Computing 1 Natural Computing all top 5 Cited in 7 Fields 54 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year