Skip to main content

Information Systems Frontiers

Ausgabe 5/2016

Foundations of Reuse

Inhalt (12 Artikel)

Towards common reusable semantics

Thouraya Bouabana-Tebibel, Stuart H. Rubin

Formal modelling and analysis of Bitflips in ARM assembly code

René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Two CEGAR-based approaches for the safety verification of PLC-controlled plants

Johanna Nellen, Kai Driessen, Martin Neuhäußer, Erika Ábrahám, Benedikt Wolters

An algebra of temporal faults

André Didier, Alexandre Mota

On the empirical justification of theoretical heuristic transference and learning

Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmine Hoadjli