Skip to main content
Top

Information Systems Frontiers

Issue 5/2016

Foundations of Reuse

Content (12 Articles)

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

Premium Partner