Ausgabe 2/2019
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2016
Inhalt (6 Artikel)
Original Article
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
Original Article
Hybrid statistical estimation of mutual information and its application to information flow
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Original Article
Automated mutual induction proof in separation logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Original Article
Finding suitable variability abstractions for lifted analysis
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wąsowski
Original Article
Battery-aware scheduling in low orbit: the GomX–3 case
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger