Pierre Michel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1997–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ANT | Agent-Based Modeling of Paris Low-Emission Zone Impacts: Scale Effects and Behavioral Adaptations. | Azise Oumar Diallo, Pierre Michel, Alexandre Chasse, Guoxi Feng |
| 2001 | FM | Using Formal Verification Techniques to Reduce Simulation and Test Effort. | Odile Laurent, Pierre Michel, Virginie Wiels |
| 1997 | FM | A Framework for Modular Formal Specification and Verification. | Pierre Michel, Virginie Wiels |