5 citations · 6 across the 7 of their papers we have counts for
7 papers
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Enguerrand Prebet, André Platzer
Cyber-physical systems are inherently complex due to their connection between software and the physical world. Iterative design reduces their complexity, but increases the need to…
Verification of Autonomous Neural Car Control with KeYmaera X
Enguerrand Prebet, Samuel Teuber, André Platzer
This article presents a formal model and formal safety proofs for the ABZ'25 case study in differential dynamic logic (dL). The case study considers an autonomous car driving on a…
Uniform Substitution for Differential Refinement Logic
Enguerrand Prebet, André Platzer
This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneousl…
Using Pi-Calculus Names as Locks
Daniel Hirschkoff, Enguerrand Prebet
Locks are a classic data structure for concurrent programming. We introduce a type system to ensure that names of the asynchronous pi-calculus are used as locks. Our calculus also…
On Up-to Context Techniques in the -calculus
Enguerrand Prebet
We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in…
On sequentiality and well-bracketing in the -calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
The -calculus is used as a model for programming languages. Its contexts exhibit arbitrary concurrency, making them very discriminating. This may prevent validating desirable be…
The Declining Price Anomaly is not Universal in Multi-Buyer Sequential Auctions (but almost is)
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
The declining price anomaly states that the price weakly decreases when multiple copies of an item are sold sequentially over time. The anomaly has been observed in a plethora of p…