Bart Postma

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Ambient Intelligence

Reactive Systems

Safety Critical

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE (2012)