|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.) |
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers  |
FoVeOOS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Scheben, Peter H. Schmitt |
Verification of Information Flow Properties of Java Programs without Approximations. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anindya Banerjee 0001 |
Modular Verification of Object-Based Programs - Abstract of Invited Talk. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer |
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft |
Isolation Types and Multi-core Architectures. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Tri Minh Ngo |
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Heinen, Henrik Barthels, Christina Jansen |
Juggrnaut - An Abstract JVM. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil |
Modeling and Analyzing the Interaction of C and C++ Strings. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Florian Merz 0001, Carsten Sinz |
Integration of Bounded Model Checking and Deductive Verification. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Bentea, Olaf Owe |
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl |
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Hunt |
The Practical Application of Formal Methods: Where Is the Benefit for Industry? |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu, Dorel Lucanu |
A K-Based Formal Framework for Domain-Specific Modelling Languages. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Claude Marché (eds.) |
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Herranz-Nieva, Julio Mariño |
A Verified Implementation of Priority Monitors in Java. |
FoVeOOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Tafat, Sylvain Boulmé, Claude Marché |
A Refinement Methodology for Object-Oriented Programs. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel |
Specifying Imperative ML-Like Programs Using Dynamic Logic. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick |
From a Proven Correct Microkernel to Trustworthy Large Systems. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani |
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß 0001 |
Dynamic Frames in Java Dynamic Logic. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin |
Sawja: Static Analysis Workshop for Java. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Zimmerman, Rinkesh Nagmoti |
JMLUnit: The Next Generation. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Validating Timed Models of Deployment Components with Parametric Concurrency. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mattias Ulbrich |
A Dynamic Logic for Unstructured Programs with Embedded Assertions. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Dilian Gurov |
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Francesco Logozzo |
Static Contract Checking with Abstract Interpretation. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bruns, Vladimir Klebanov, Ina Schaefer |
Verification of Software Product Lines with Delta-Oriented Slicing. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch |
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license