FoVeOOS

Keyphrases

Publications

volume 7421, 2012

Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers FoVeOOS 7421 (2012)

2011

Christoph Scheben, Peter H. Schmitt
Verification of Information Flow Properties of Java Programs without Approximations. FoVeOOS (2011)
Anindya Banerjee
Modular Verification of Object-Based Programs - Abstract of Invited Talk. FoVeOOS (2011)
Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS (2011)
Alan Mycroft
Isolation Types and Multi-core Architectures. FoVeOOS (2011)
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS (2011)
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Marieke Huisman, Tri Minh Ngo
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification. FoVeOOS (2011)
Jonathan Heinen, Henrik Barthels, Christina Jansen
Juggrnaut - An Abstract JVM. FoVeOOS (2011)
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS (2011)
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS (2011)
Lucian Bentea, Olaf Owe
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. FoVeOOS (2011)
Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. FoVeOOS (2011)
James J. Hunt
The Practical Application of Formal Methods: Where Is the Benefit for Industry? FoVeOOS (2011)
Vlad Rusu, Dorel Lucanu
A K-Based Formal Framework for Domain-Specific Modelling Languages. FoVeOOS (2011)
Ángel Herranz-Nieva, Julio Mariño
A Verified Implementation of Priority Monitors in Java. FoVeOOS (2011)

volume 6528, 2011

Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers FoVeOOS 6528 (2011)

2010