Joris Rehm

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Belief Propagation

Fixed Point Theorem

Variational Inequalities

Top Venues

FM Workshops (2)

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT (2019)
Jérôme Guéry, Olivier Rolland, Joris Rehm
Fixed-Point Arithmetic Modeled in B Software Using Reals. ABZ (2014)
Joris Rehm
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Joris Rehm, Dominique Cansell
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. ISoLA (2007)
Dominique Cansell, Dominique Méry, Joris Rehm
Time Constraint Patterns for Event B Development. B (2007)