Joris Rehm

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Event-B Decomposition Analysis for Systems Behavior Modeling.
Proceedings of the 14th International Conference on Software Technologies, 2019

Towards a Method for the Decomposition by Refinement in Event-B.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2014
Fixed-Point Arithmetic Modeled in B Software Using Reals.
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.
Int. J. Softw. Tools Technol. Transf., 2010

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

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

Time Constraint Patterns for Event B Development.
Proceedings of the B 2007: Formal Specification and Development in B, 2007


  Loading...