Joris Rehm

发表

New Results - Time constraint patterns for event B development

Dominique Cansell, Dominique Méry, Joris Rehm, 2006 .

Time Constraint Patterns for Event B Development

Dominique Cansell, Dominique Méry, Joris Rehm, 2007, B.

Fixed-Point Arithmetic Modeled in B Software Using Reals

Olivier Rolland, Joris Rehm, Jérôme Guéry, 2014, ABZ.

Gestion du temps par le raffinement. (Refinement Patterns for Real-Time Systems)

Joris Rehm, 2009 .

AA4MM coordination model and event-B specification

Dominique Méry, Laurent Ciarletta, Julien Siebert, 2009 .

Time4Sys – Integrating Timing Verification in your Engineering Practices

Liliana Cucu-Grosjean, Rafik Henia, Lionel Havet, 2018, IEEE Real-Time Systems Symposium.

A method to refine time constraints in event B framework

Joris Rehm, Joris Rehm, 2006 .

From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking

Joris Rehm, Joris Rehm, 2008 .

A Duration Pattern for Event-B Method

Joris Rehm, 2008 .