Abstract is missing.
- Program Verification: To Err is HumanKrzysztof R. Apt. 3-5 [doi]
- Fond (and Frank) Memories of FrankPrakash Panangaden. 6-8 [doi]
- Warmest Congratulations, Frank!Willem-Paul de Roever. 9-11 [doi]
- Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model CheckingBernhard K. Aichernig, Florian Lorber, Martin Tappler. 15-32 [doi]
- Resource Analysis of Distributed SystemsElvira Albert, Jesús Correas, Guillermo Román-Díez. 33-46 [doi]
- Comparing Trace Expressions and Linear Temporal Logic for Runtime VerificationDavide Ancona, Angelo Ferrando, Viviana Mascardi. 47-64 [doi]
- Proper ProtocolFarhad Arbab. 65-87 [doi]
- A Compositional Approach to the Verification of Hybrid SystemsLacramioara Astefanoaei, Saddek Bensalem, Marius Bozga. 88-103 [doi]
- Array Abstraction with Symbolic PivotsReiner Hähnle, Nathan Wasser, Richard Bubel. 104-121 [doi]
- Modeling Role-Based Systems with Exogenous CoordinationPhilipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz. 122-139 [doi]
- Vats: A Safe, Reactive Storage AbstractionDave Clarke, Tobias Wrigstad. 140-154 [doi]
- Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th BirthdayMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida. 155-172 [doi]
- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented ProgramsBjörn Engelmann, Ernst-Rüdiger Olderog. 173-193 [doi]
- Self-Reconfiguring MicroservicesMaurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi. 194-210 [doi]
- Statically and Dynamically Verifiable SLA MetricsElena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht. 211-225 [doi]
- Effectively Eliminating AuxiliariesStijn de Gouw, Jurriaan Rot. 226-241 [doi]
- Towards a Proof Method for ParadigmL. P. J. Groenewegen, R. Kuiper, Erik P. de Vink. 242-260 [doi]
- Toward a Formal Foundation for Time Travel in Stories and GamesMichiel Helvensteijn, Farhad Arbab. 261-276 [doi]
- Industrial Application of Formal Models Generated from Domain Specific LanguagesJozef Hooman. 277-293 [doi]
- Formal Frameworks for Verifying Normative Multi-agent SystemsMax Knobbout, Mehdi Dastani, John-Jules Ch. Meyer. 294-308 [doi]
- Moessner's Theorem: An Exercise in Coinductive Reasoning in CoqRobbert Krebbers, Louis Parlant, Alexandra Silva. 309-324 [doi]
- Towards a \mathbb K K ool FutureDorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu. 325-343 [doi]
- On the Expressiveness of Synchronization in Component DeploymentJacopo Mauro, Gianluigi Zavattaro. 344-359 [doi]
- Characterization of Simulation by Probabilistic TestingPhilipp Rümmer, Wang Yi 0001. 360-372 [doi]
- On Time ActorsMarjan Sirjani, Ehsan Khamespanah. 373-392 [doi]
- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred FunctionsMartin Steffen. 393-406 [doi]
- Quicksort Revisited - Verifying Alternative Versions of QuicksortRazvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Muller, K. Rustan M. Leino, Sinduran Sivarajan, Mark Wheelhouse. 407-426 [doi]