Old Web
English
Sign In
Acemap
>
authorDetail
>
Paolo Herms
Paolo Herms
Programming language
Computer science
Software verification
Proof assistant
Gas meter prover
5
Papers
32
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Certification of a Tool Chain for Deductive Program Verification
2013
Paolo Herms
Show All
Source
Cite
Save
Citations (11)
A certified multi-prover verification condition generator
2012
VSTTE | Verified Software: Theories, Tools, Experiments
Paolo Herms
Claude Marché
Benjamin Monate
Show All
Source
Cite
Save
Citations (20)
Other Grants and Activities - National initiatives
2010
Jean-Christophe Filliâtre
Claude Marché
Guillaume Melquiond
Kalyan Krishnamani
Asma Tafat
Paolo Herms
Sylvain Conchon
Evelyne Contejean
Alain Mebsout
Mohamed Iguernelala
Sylvie Boldo
Marc Pouzet
Louis Mandel
Christine Paulin-Mohring
Xavier Urbain
Stéphane Lescuyer
Show All
Source
Cite
Save
Citations (0)
1