Joris Rehm

According to our database, Joris Rehm authored at least 7 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the 14th International Conference on Software Technologies, 2019

Towards a Method for the Decomposition by Refinement in Event-B.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2014

Fixed-Point Arithmetic Modeled in B Software Using Reals.

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

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2010

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.

Joris Rehm

Int. J. Softw. Tools Technol. Transf., 2010

2009

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

Joris Rehm

PhD thesis, 2009

2007

Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.

Joris Rehm, Dominique Cansell

Proceedings of the ISoLA 2007, 2007

Time Constraint Patterns for Event B Development.

Dominique Cansell, Dominique Méry, Joris Rehm

Proceedings of the B 2007: Formal Specification and Development in B, 2007