60. Birthday:
Frank S. de Boer 2016
- Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen:
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6
Personal Notes
Scientific Contributions
- Bernhard K. Aichernig, Florian Lorber, Martin Tappler:
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. 15-32 - Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. 47-64 - Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. 88-103 - Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling Role-Based Systems with Exogenous Coordination. 122-139 - Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 155-172 - Björn Engelmann, Ernst-Rüdiger Olderog:
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. 173-193 - Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Self-Reconfiguring Microservices. 194-210 - Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht:
Statically and Dynamically Verifiable SLA Metrics. 211-225 - Michiel Helvensteijn, Farhad Arbab:
Toward a Formal Foundation for Time Travel in Stories and Games. 261-276 - Jozef Hooman:
Industrial Application of Formal Models Generated from Domain Specific Languages. 277-293 - Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Formal Frameworks for Verifying Normative Multi-agent Systems. 294-308 - Robbert Krebbers, Louis Parlant, Alexandra Silva:
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. 309-324 - Jacopo Mauro, Gianluigi Zavattaro:
On the Expressiveness of Synchronization in Component Deployment. 344-359 - Martin Steffen:
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. 393-406 - Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse:
Quicksort Revisited - Verifying Alternative Versions of Quicksort. 407-426