Bart J. van Rijnsoever

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Provably Correct

Temporal Properties

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
Experience Report on Designing and Developing Control Components Using Formal Methods. FM (2012)
Bart J. van Rijnsoever, Peter Lenoir, Jean-Paul M. G. Linnartz
Interoperable Protection for Digital Multimedia Content. J. VLSI Signal Process. 34 (1-2) (2003)
Frank Kamperman, Bart J. van Rijnsoever
Conditional access system interoperability through software downloading. IEEE Trans. Consumer Electron. 47 (1) (2001)
Bart J. van Rijnsoever, Jean-Paul M. G. Linnartz
Interoperable Content Protection for Digital TV. IEEE International Conference on Multimedia and Expo (III) (2000)