Peter Riviere
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem. | Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki |
| 2026 | SAC | Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety. | Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, Toshiaki Aoki |
| 2022 | APSEC | Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. | Ismal Mendil, Peter Riviere, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2022 | ICECCS | EB4EB: A Framework for Reflexive Event-B. | Peter Riviere, Neeraj Kumar Singh, Yamine At Ameur |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |