Bart J. van Rijnsoever

According to our database, Bart J. van Rijnsoever authored at least 5 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Evaluating the effect of a lightweight formal technique in industry.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever

Int. J. Softw. Tools Technol. Transf., 2016

2012

Experience Report on Designing and Developing Control Components Using Formal Methods.

Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever

Proceedings of the FM 2012: Formal Methods, 2012

2003

Interoperable Protection for Digital Multimedia Content.

Bart J. van Rijnsoever, Peter Lenoir, Jean-Paul M. G. Linnartz

J. VLSI Signal Process., 2003

2001

Conditional access system interoperability through software downloading.

Frank Kamperman, Bart J. van Rijnsoever

IEEE Trans. Consumer Electron., 2001

2000

Interoperable Content Protection for Digital TV.

Bart J. van Rijnsoever, Jean-Paul M. G. Linnartz

Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000