Edit Profile (opens in new tab) Ganty, Pierre Co-Author Distance Author ID: ganty.pierre Published as: Ganty, Pierre Documents Indexed: 43 Publications since 2004 3 Contributions as Editor Co-Authors: 41 Co-Authors with 46 Joint Publications 904 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Esparza, Javier 10 Majumdar, Rupak 6 Raskin, Jean-François 6 Valero, Pedro 5 Gutiérrez, Elena 3 Doveri, Kyveli 3 Leroux, Jérôme 3 Ranzato, Francesco 3 Van Begin, Laurent 2 Durand-Gasselin, Antoine 2 Gallagher, John P. 2 Iosif, Radu 2 Kafle, Bishoksan 2 Maquet, Nicolas 1 Atig, Mohamed Faouzi 1 Bonchi, Filippo 1 Bozzelli, Laura 1 Bresolin, Davide 1 Cousot, Patrick 1 Della Monica, Dario 1 Delzanno, Giorgio 1 Emmi, Michael 1 Gange, Graeme 1 Giacobazzi, Roberto 1 Hadži-Đokić, Luka 1 Kiefer, Stefan 1 Konečný, Filip 1 Köpf, Boris 1 Loreti, Michele 1 Luttenberger, Michael 1 Mazzocchi, Nicolas 1 Monmege, Benjamin 1 Parolini, Francesco 1 Pavlović, Duško 1 Rezine, Ahmed 1 Rosa-Velardo, Fernando 1 Rybalchenko, Andrey 1 Schwoon, Stefan 1 Stuckey, Peter James 1 Valput, Damir 1 Weil-Kennedy, Chana all top 5 Serials 2 Formal Methods in System Design 2 Fundamenta Informaticae 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Acta Informatica 1 Information Processing Letters 1 Theoretical Computer Science 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science Fields 46 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 16 Serials 9 Information and Computation 9 Logical Methods in Computer Science 7 Theoretical Computer Science 5 Formal Methods in System Design 3 Information Processing Letters 3 Mathematical Structures in Computer Science 3 Theory of Computing Systems 3 Theory and Practice of Logic Programming 3 Natural Computing 2 Acta Informatica 2 Distributed Computing 2 Fundamenta Informaticae 1 Artificial Intelligence 1 Computing 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science all top 5 Cited in 14 Fields 168 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year