Theory and Practice of Formal Methods

Keyphrases

Publications

2016

Stijn de Gouw, Jurriaan Rot
Effectively Eliminating Auxiliaries. Theory and Practice of Formal Methods (2016)
Marjan Sirjani, Ehsan Khamespanah
On Time Actors. Theory and Practice of Formal Methods (2016)
Willem-Paul de Roever
Warmest Congratulations, Frank! Theory and Practice of Formal Methods (2016)
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods (2016)
Farhad Arbab
Proper Protocol. Theory and Practice of Formal Methods (2016)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods (2016)
Björn Engelmann, Ernst-Rüdiger Olderog
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. Theory and Practice of Formal Methods (2016)
Jozef Hooman
Industrial Application of Formal Models Generated from Domain Specific Languages. Theory and Practice of Formal Methods (2016)
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods (2016)
Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse
Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods (2016)
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu
Towards a \mathbb K K ool Future. Theory and Practice of Formal Methods (2016)
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods (2016)
Martin Steffen
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. Theory and Practice of Formal Methods (2016)
Michiel Helvensteijn, Farhad Arbab
Toward a Formal Foundation for Time Travel in Stories and Games. Theory and Practice of Formal Methods (2016)
Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer
Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods (2016)
Reiner Hähnle, Nathan Wasser, Richard Bubel
Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods (2016)
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. Theory and Practice of Formal Methods (2016)
Elvira Albert, Jesús Correas, Guillermo Román-Díez
Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods (2016)
Dave Clarke, Tobias Wrigstad
Vats: A Safe, Reactive Storage Abstraction. Theory and Practice of Formal Methods (2016)
Krzysztof R. Apt
Program Verification: To Err is Human. Theory and Practice of Formal Methods (2016)
L. P. J. Groenewegen, R. Kuiper, Erik P. de Vink
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods (2016)
Bernhard K. Aichernig, Florian Lorber, Martin Tappler
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods (2016)
Philipp Rümmer, Wang Yi
Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods (2016)
Jacopo Mauro, Gianluigi Zavattaro
On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods (2016)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods (2016)
Prakash Panangaden
Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods (2016)
Robbert Krebbers, Louis Parlant, Alexandra Silva
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. Theory and Practice of Formal Methods (2016)

volume 9660, 2016

Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Theory and Practice of Formal Methods 9660 (2016)