6

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Festschrift Maurizio Gabbrielli, 2020
Preprint Cite DOI Artefact
Behavioral Contracts for Cooperative Scheduling
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Preprint Cite DOI
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Preprint Cite DOI Artefact
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
Festschrift Arnd Poetzsch-Heffter
Preprint Cite DOI
Release the Beasts: When Formal Methods Meet Real World Data
Festschrift Farhad Arbab
Preprint Cite DOI
Meeting Deadlines, Elastically.
Festschrift Kaisa Sere
Preprint Cite DOI
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Formal Methods for Multicore Programming (SFM 2015)
Preprint Cite DOI
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Proc. SFM 2011
Preprint Cite DOI
Concurrent Objects a la Carte
Festschrift Willem-Paul de Roever
Preprint Cite DOI
Object-Oriented Specification and Open Distributed Systems
Festschrift Ole-Johan Dahl
Preprint Cite DOI