default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. 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
- Krzysztof R. Apt:
Program Verification: To Err is Human. 3-5 - Prakash Panangaden:
Fond (and Frank) Memories of Frank. 6-8 - Willem-Paul de Roever:
Warmest Congratulations, Frank! 9-11
Scientific Contributions
- Bernhard K. Aichernig, Florian Lorber, Martin Tappler:
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. 15-32 - Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Resource Analysis of Distributed Systems. 33-46 - Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. 47-64 - Farhad Arbab:
Proper Protocol. 65-87 - Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. 88-103 - Reiner Hähnle, Nathan Wasser, Richard Bubel:
Array Abstraction with Symbolic Pivots. 104-121 - Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling Role-Based Systems with Exogenous Coordination. 122-139 - Dave Clarke, Tobias Wrigstad:
Vats: A Safe, Reactive Storage Abstraction. 140-154 - 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 - Stijn de Gouw, Jurriaan Rot:
Effectively Eliminating Auxiliaries. 226-241 - L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. 242-260 - 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 - Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
Towards a \mathbb K K ool Future. 325-343 - Jacopo Mauro, Gianluigi Zavattaro:
On the Expressiveness of Synchronization in Component Deployment. 344-359 - Philipp Rümmer, Wang Yi:
Characterization of Simulation by Probabilistic Testing. 360-372 - Marjan Sirjani, Ehsan Khamespanah:
On Time Actors. 373-392 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-18 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
