4 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.FL2026
Correct-by-Construction Design of Timed Systems in Event-B
Guillaume Dupont, Jun Sun
Real-time systems require the careful handling of timing aspects in their models. For critical applications, this entails the use of time-aware formal methods. Currently, such form…
cs.LO2025
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière +3
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article addresses the extension of the logic of Event-B to a powerful logic, in…
cs.CR2019★ 4 cited
Network intrusion detection systems for in-vehicle network - Technical report
Guillaume Dupont, Jerry den Hartog, Sandro Etalle +1
Modern vehicles are complex safety critical cyber physical systems, that are connected to the outside world, with all security implications that brings. To enhance vehicle security…