default search action

combined dblp search
author search
venue search
publication search

ask others

Joris Rehm

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KraibiARDBP19
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: 358-370
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KraibiARDBP19
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT 2019: 278-286
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GueryRR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GueryRR14
Jérôme Guéry, Olivier Rolland, Joris Rehm:
Fixed-Point Arithmetic Modeled in B Software Using Reals. ABZ 2014: 298-302
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Rehm10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Rehm10
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): 39-51 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
- export record
  dblp key:
  - phd/hal/Rehm09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Rehm09
Joris Rehm:
Gestion du temps par le raffinement. (Refinement Patterns for Real-Time Systems). Henri Poincaré University, Nancy, France, 2009
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/b/CansellMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/b/CansellMR07
Dominique Cansell, Dominique Méry, Joris Rehm:
Time Constraint Patterns for Event B Development. B 2007: 140-154
[c1]
- view
  - electronic edition @ editions-rnti.fr
  - details & citations
- export record
  dblp key:
  - conf/isola/RehmC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RehmC07
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: 179-190

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.