Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642317613, 9783642317620

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_8 ◽

2012 ◽

pp. 105-122 ◽

Cited By ~ 1

Author(s):

Lucian Bentea ◽

Olaf Owe

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Probabilistic Framework ◽

Modeling And Analysis

Download Full-text

Integration of Bounded Model Checking and Deductive Verification

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_7 ◽

2012 ◽

pp. 86-104 ◽

Cited By ~ 3

Author(s):

Bernhard Beckert ◽

Thorsten Bormer ◽

Florian Merz ◽

Carsten Sinz

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Deductive Verification

Download Full-text

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_5 ◽

2012 ◽

pp. 49-66 ◽

Cited By ~ 7

Author(s):

Peter Y. H. Wong ◽

Nikolay Diakov ◽

Ina Schaefer

Keyword(s):

Object Oriented ◽

Distributed Object ◽

Object Oriented Systems

Download Full-text

A $\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_14 ◽

2012 ◽

pp. 214-231 ◽

Cited By ~ 3

Author(s):

Vlad Rusu ◽

Dorel Lucanu

Keyword(s):

Modelling Languages ◽

Domain Specific ◽

Formal Framework

Download Full-text

Juggrnaut – An Abstract JVM

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_10 ◽

2012 ◽

pp. 142-159 ◽

Cited By ~ 2

Author(s):

Jonathan Heinen ◽

Henrik Barthels ◽

Christina Jansen

Download Full-text

Verification of Information Flow Properties of Java Programs without Approximations

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_15 ◽

2012 ◽

pp. 232-249 ◽

Cited By ~ 12

Author(s):

Christoph Scheben ◽

Peter H. Schmitt

Keyword(s):

Information Flow ◽

Flow Properties ◽

Java Programs

Download Full-text

Modeling and Analyzing the Interaction of C and C++ Strings

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_6 ◽

2012 ◽

pp. 67-85 ◽

Cited By ~ 1

Author(s):

Gogul Balakrishnan ◽

Naoto Maeda ◽

Sriram Sankaranarayanan ◽

Franjo Ivančić ◽

Aarti Gupta ◽

...

Download Full-text

A Verified Implementation of Priority Monitors in Java

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_11 ◽

2012 ◽

pp. 160-177 ◽

Cited By ~ 5

Author(s):

Ángel Herranz ◽

Julio Mariño

Download Full-text

The Practical Application of Formal Methods: Where Is the Benefit for Industry?

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_3 ◽

2012 ◽

pp. 22-32

Author(s):

James J. Hunt

Keyword(s):

Formal Methods ◽

Practical Application

Download Full-text

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_13 ◽

2012 ◽

pp. 196-213 ◽

Cited By ~ 2

Author(s):

Einar Broch Johnsen ◽

Rudolf Schlatte ◽

S. Lizeth Tapia Tarifa

Keyword(s):

Formal Model

Download Full-text

Formal Verification of Object-Oriented Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

Integration of Bounded Model Checking and Deductive Verification

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study

A $\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages

Juggrnaut – An Abstract JVM

Verification of Information Flow Properties of Java Programs without Approximations

Modeling and Analyzing the Interaction of C and C++ Strings

A Verified Implementation of Priority Monitors in Java

The Practical Application of Formal Methods: Where Is the Benefit for Industry?

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science
Latest Publications