Formal Methods in Outer Space

Publications

2021

Xiaohong Chen, Grigore Rosu
The K Vision for the Future of Programming Language Design and Analysis. Formal Methods in Outer Space (2021)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space (2021)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space (2021)
Patrick Cousot
Dynamic interval analysis by abstract interpretation. Formal Methods in Outer Space (2021)
Manfred Broy
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. Formal Methods in Outer Space (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space (2021)
Doron Peled
Reverse Engineering Through Automata Learning. Formal Methods in Outer Space (2021)
Gerard J. Holzmann
Comparing Two Methods for Checking Runtime Properties. Formal Methods in Outer Space (2021)
Dines Bjørner
Domain Analysis and Description - Sorts, Types, Intents. Formal Methods in Outer Space (2021)
Markus Frohme, Bernhard Steffen
A Context-Free Symbiosis of Runtime Verification and Automata Learning. Formal Methods in Outer Space (2021)
Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space (2021)

volume 13065, 2021

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Formal Methods in Outer Space 13065 (2021)