7 citations · 12 across the 4 of their papers we have counts for
4 papers
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…
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…
Model-Driven Process Enactment for NFV Systems with MAPLE
Sadaf Mustafiz, Omar Hassane, Guillaume Dupont +2
The Network Functions Virtualization (NFV) advent is making way for the rapid deployment of network services (NS) for telecoms. Automation of network service management is one of t…
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…