Jean‐François Monin
Institut polytechnique de Grenoble(FR)Centre National de la Recherche Scientifique(FR)Verimag(FR)Université Grenoble Alpes(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Development of Veda, a prototyping tool for distributed algorithms(1988)59 cited
- → Verifying Self-stabilizing Population Protocols with Coq(2009)21 cited
- Defending the Bank with a Proof Assistant(2006)
- → Handcrafted Inversions Made Operational on Operational Semantics(2013)9 cited
- → Correctness Proof of the Standardized Algorithm for ABR Conformance(1999)7 cited
- → Proving a real time algorithm for ATM in Coq(1998)7 cited
- → A Generalized Digraph Model for Expressing Dependencies(2018)6 cited