According to our database1, Joris Rehm authored at least 7 papers between 2007 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
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
PhD thesis, 2009
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
Proceedings of the B 2007: Formal Specification and Development in B, 2007