Joris Rehm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | 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 |
| 2019 | ICSoft | Event-B Decomposition Analysis for Systems Behavior Modeling. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2007 | ISoLA | Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. | Joris Rehm, Dominique Cansell |