Abstract is missing.
- Modular Verification of Object-Based Programs - Abstract of Invited TalkAnindya Banerjee. 1-2 [doi]
- The COST IC0701 Verification Competition 2011Thorsten 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. 3-21 [doi]
- The Practical Application of Formal Methods: Where Is the Benefit for Industry?James J. Hunt. 22-32 [doi]
- Isolation Types and Multi-core ArchitecturesAlan Mycroft. 33-48 [doi]
- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case StudyPeter Y. H. Wong, Nikolay Diakov, Ina Schaefer. 49-66 [doi]
- Modeling and Analyzing the Interaction of C and C++ StringsGogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil. 67-85 [doi]
- Integration of Bounded Model Checking and Deductive VerificationBernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz. 86-104 [doi]
- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed SystemsLucian Bentea, Olaf Owe. 105-122 [doi]
- Automated Detection of Non-termination and NullPointerExceptions for Java BytecodeMarc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl. 123-141 [doi]
- Juggrnaut - An Abstract JVMJonathan Heinen, Henrik Barthels, Christina Jansen. 142-159 [doi]
- A Verified Implementation of Priority Monitors in JavaÁngel Herranz-Nieva, Julio Mariño. 160-177 [doi]
- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based VerificationMarieke Huisman, Tri Minh Ngo. 178-195 [doi]
- A Formal Model of User-Defined Resources in Resource-Restricted Deployment ScenariosEinar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. 196-213 [doi]
- A K-Based Formal Framework for Domain-Specific Modelling LanguagesVlad Rusu, Dorel Lucanu. 214-231 [doi]
- Verification of Information Flow Properties of Java Programs without ApproximationsChristoph Scheben, Peter H. Schmitt. 232-249 [doi]