Peter Habermehl
Scholar

Peter Habermehl

Google Scholar ID: ScJoVIIAAAAJ
Professor of Computer Science, IRIF, University Paris Cité
Computer ScienceFormal MethodsVerificationAutomata TheoryRegular model-checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
516
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
16
list available
Contact
EmailPeter.HABERMEHL@irif.fr
Publications
1 items
Data-driven Verification of Procedural Programs with Integer Arrays
2025
Cited
0
Resume (English only)
Co-authors
16 total
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Tomas Vojnar
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Radu Iosif
Radu Iosif
CNRS/VERIMAG
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
Lukas Holik
Lukas Holik
Brno University of Tehcnology
Mohamed Faouzi Atig
Mohamed Faouzi Atig
Uppsala University
Co-author 8
Co-author 8