default search action

combined dblp search
author search
venue search
publication search

ask others

FoVeOOS 2011: Turin, Italy

> Home > Conferences and Workshops > FoVeOOS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Banerjee11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Banerjee11
Anindya Banerjee:
Modular Verification of Object-Based Programs - Abstract of Invited Talk. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BormerBDEFGHKMMMPSSTTU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11
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
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Hunt11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Hunt11
James J. Hunt:
The Practical Application of Formal Methods: Where Is the Benefit for Industry? 22-32
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Mycroft11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Mycroft11
Alan Mycroft:
Isolation Types and Multi-core Architectures. 33-48
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/WongDS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/WongDS11
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

- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BalakrishnanMSIGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BalakrishnanMSIGP11
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil:
Modeling and Analyzing the Interaction of C and C++ Strings. 67-85
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BeckertBMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BeckertBMS11
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. 86-104
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BenteaO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BenteaO11
Lucian Bentea, Olaf Owe:
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. 105-122
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BrockschmidtSOG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BrockschmidtSOG11
Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl:
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. 123-141
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/HeinenBJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/HeinenBJ11
Jonathan Heinen, Henrik Barthels, Christina Jansen:
Juggrnaut - An Abstract JVM. 142-159
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/Herranz-NievaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/Herranz-NievaM11
Ángel Herranz-Nieva, Julio Mariño:
A Verified Implementation of Priority Monitors in Java. 160-177
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/HuismanN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/HuismanN11
Marieke Huisman, Tri Minh Ngo:
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification. 178-195
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/JohnsenST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/JohnsenST11
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. 196-213
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/RusuL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/RusuL11
Vlad Rusu, Dorel Lucanu:
A K-Based Formal Framework for Domain-Specific Modelling Languages. 214-231
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/SchebenS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/SchebenS11
Christoph Scheben, Peter H. Schmitt:
Verification of Information Flow Properties of Java Programs without Approximations. 232-249

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.