ask others

60. Birthday: Frank S. de Boer 2016

> Home > Conferences and Workshops

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/2016deboer
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/2016deboer
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Apt16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Apt16
Krzysztof R. Apt:
Program Verification: To Err is Human. 3-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Panangaden16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Panangaden16
Prakash Panangaden:
Fond (and Frank) Memories of Frank. 6-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Roever16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Roever16
Willem-Paul de Roever:
Warmest Congratulations, Frank! 9-11

Scientific Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AichernigLT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AichernigLT16
Bernhard K. Aichernig, Florian Lorber, Martin Tappler:
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. 15-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AlbertCR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AlbertCR16
Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Resource Analysis of Distributed Systems. 33-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AnconaFM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AnconaFM16
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. 47-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Arbab16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Arbab16
Farhad Arbab:
Proper Protocol. 65-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AstefanoaeiBB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AstefanoaeiBB16
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga:
A Compositional Approach to the Verification of Hybrid Systems. 88-103
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HahnleWB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HahnleWB16
Reiner Hähnle, Nathan Wasser, Richard Bubel:
Array Abstraction with Symbolic Pivots. 104-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ChrszonDB0K16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ChrszonDB0K16
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling Role-Based Systems with Exogenous Coordination. 122-139
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ClarkeW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ClarkeW16
Dave Clarke, Tobias Wrigstad:
Vats: A Safe, Reactive Storage Abstraction. 140-154
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Dezani-Ciancaglini16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Dezani-Ciancaglini16
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/EngelmannO16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/EngelmannO16
Björn Engelmann, Ernst-Rüdiger Olderog:
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. 173-193
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GabbrielliGGMM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GabbrielliGGMM16
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Self-Reconfiguring Microservices. 194-210
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GiachinoGLN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GiachinoGLN16
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht:
Statically and Dynamically Verifiable SLA Metrics. 211-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GouwR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GouwR16
Stijn de Gouw, Jurriaan Rot:
Effectively Eliminating Auxiliaries. 226-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GroenewegenKV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GroenewegenKV16
L. P. J. Groenewegen, R. Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. 242-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HelvensteijnA16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HelvensteijnA16
Michiel Helvensteijn, Farhad Arbab:
Toward a Formal Foundation for Time Travel in Stories and Games. 261-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Hooman16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Hooman16
Jozef Hooman:
Industrial Application of Formal Models Generated from Domain Specific Languages. 277-293
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/KnobboutDM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/KnobboutDM16
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Formal Frameworks for Verifying Normative Multi-agent Systems. 294-308
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/KrebbersPS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/KrebbersPS16
Robbert Krebbers, Louis Parlant, Alexandra Silva:
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. 309-324
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/LucanuSR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/LucanuSR16
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
Towards a \mathbb K K ool Future. 325-343
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MauroZ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MauroZ16
Jacopo Mauro, Gianluigi Zavattaro:
On the Expressiveness of Synchronization in Component Deployment. 344-359
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Rummer016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Rummer016
Philipp Rümmer, Wang Yi:
Characterization of Simulation by Probabilistic Testing. 360-372
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SirjaniK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SirjaniK16
Marjan Sirjani, Ehsan Khamespanah:
On Time Actors. 373-392
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Steffen16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Steffen16
Martin Steffen:
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. 393-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/CertezeanuDELSW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/CertezeanuDELSW16
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

maintained by

at