A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic
Boolean Coherence: Does it make sense?
Interval Constraint Propagation as a Tool for Deductions about Mixed Discrete/Continuous Systems
Assume-Guarantee Verification for Probabilistic Systems
Thinking Outside the (Arithmetic) Box: Certifying RAHD Computations
Mathematical Equations as Executable Models of Mechanical Systems
Requirements Validation for Hybrid Systems