Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFoVeOOS 2011: Turin, Italy
- Bernhard Beckert
, Ferruccio Damiani, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3
Invited Papers
- Anindya Banerjee:
Modular Verification of Object-Based Programs - Abstract of Invited Talk. 1-2 - 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. 3-21 - James J. Hunt:
The Practical Application of Formal Methods: Where Is the Benefit for Industry? 22-32 - Alan Mycroft:
Isolation Types and Multi-core Architectures. 33-48 - Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer:
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. 49-66
Contributed Papers
- Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil:
Modeling and Analyzing the Interaction of C and C++ Strings. 67-85 - Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. 86-104 - Lucian Bentea, Olaf Owe:
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. 105-122 - Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl:
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. 123-141 - Jonathan Heinen, Henrik Barthels, Christina Jansen:
Juggrnaut - An Abstract JVM. 142-159 - Ángel Herranz-Nieva, Julio Mariño:
A Verified Implementation of Priority Monitors in Java. 160-177 - Marieke Huisman, Tri Minh Ngo:
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification. 178-195 - Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. 196-213 - Vlad Rusu, Dorel Lucanu:
A K-Based Formal Framework for Domain-Specific Modelling Languages. 214-231 - Christoph Scheben, Peter H. Schmitt:
Verification of Information Flow Properties of Java Programs without Approximations. 232-249
a service of 
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 2024-04-19 19:18 CEST 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:
