Pierre Ganty
Orcid: 0000-0002-3625-6003Affiliations:
- Université Libre de Bruxelles, Belgium
According to our database1,
Pierre Ganty
authored at least 59 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
Proceedings of the Reachability Problems - 18th International Conference, 2024
Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024
Proceedings of the Taming the Infinities of Concurrency, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the Data Compression Conference, 2019
2018
Theory Pract. Log. Program., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Formal Methods Syst. Des., 2017
Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016
Proceedings of the Seventh International Symposium on Games, 2016
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016
2015
Proceedings of the Third International Workshop on Verification and Program Transformation, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015
Proceedings of the Programming Languages and Systems, 2015
2014
ACM Trans. Program. Lang. Syst., 2014
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.
Proceedings of the Language and Automata Theory and Applications, 2014
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
ACM Trans. Program. Lang. Syst., 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Inf. Process. Lett., 2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
2010
Theor. Comput. Sci., 2010
2009
Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents.
Tech. Sci. Informatiques, 2009
Proceedings of the Implementation and Application of Automata, 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
2008
Fundam. Informaticae, 2008
2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
2006
Proceedings of the Verification, 2006
2005
Proceedings of the Static Analysis, 12th International Symposium, 2005
2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
2003
Proceedings of the FME 2003: Formal Methods, 2003