Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540729198, 9783540729525

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Mechanized Model of the Theory of Objects

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_12 ◽

2007 ◽

pp. 190-205 ◽

Cited By ~ 3

Author(s):

Ludovic Henrio ◽

Florian Kammüller

Download Full-text

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_18 ◽

2007 ◽

pp. 285-300 ◽

Cited By ~ 14

Author(s):

Minyoung Kim ◽

Mark-Oliver Stehr ◽

Carolyn Talcott ◽

Nikil Dutt ◽

Nalini Venkatasubramanian

Keyword(s):

Embedded Systems ◽

Formal Analysis ◽

Analysis Approach ◽

Cross Layer ◽

Distributed Embedded Systems ◽

Cross Layer Optimization

Download Full-text

Analysis of UML Activities Using Dynamic Meta Modeling

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_5 ◽

2007 ◽

pp. 76-90 ◽

Cited By ~ 19

Author(s):

Gregor Engels ◽

Christian Soltenborn ◽

Heike Wehrheim

Keyword(s):

Meta Modeling

Download Full-text

Pict Correctness Revisited

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_13 ◽

2007 ◽

pp. 206-220 ◽

Cited By ~ 1

Author(s):

Philippe Bidinger ◽

Adriana Compagnoni

Download Full-text

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_7 ◽

2007 ◽

pp. 107-121 ◽

Cited By ~ 1

Author(s):

Mark Hills ◽

Grigore Roşu

Keyword(s):

Formal Analysis ◽

Rewriting Logic

Download Full-text

Model Checking of Extended OCL Constraints on UML Models in SOCLe

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_4 ◽

2007 ◽

pp. 59-75 ◽

Cited By ~ 9

Author(s):

John Mullins ◽

Raveca Oarga

Keyword(s):

Model Checking ◽

Uml Models

Download Full-text

Asynchronous Session Types and Progress for Object Oriented Languages

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_1 ◽

2007 ◽

pp. 1-31 ◽

Cited By ~ 26

Author(s):

Mario Coppo ◽

Mariangiola Dezani-Ciancaglini ◽

Nobuko Yoshida

Keyword(s):

Object Oriented ◽

Session Types ◽

Object Oriented Languages

Download Full-text

On Resource-Sensitive Timed Component Connectors

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_19 ◽

2007 ◽

pp. 301-316 ◽

Cited By ~ 9

Author(s):

Sun Meng ◽

Farhad Arbab

Download Full-text

KeY: A Formal Method for Object-Oriented Systems

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_2 ◽

2007 ◽

pp. 32-43 ◽

Cited By ~ 5

Author(s):

Wolfgang Ahrendt ◽

Bernhard Beckert ◽

Reiner Hähnle ◽

Peter H. Schmitt

Keyword(s):

Formal Method ◽

Object Oriented ◽

Object Oriented Systems

Download Full-text

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_3 ◽

2007 ◽

pp. 44-58 ◽

Cited By ~ 2

Author(s):

L. Ruhai Cai ◽

Jeremy S. Bradbury ◽

Juergen Dingel

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Domain Specific ◽

Software Model ◽

Event Based

Download Full-text

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Mechanized Model of the Theory of Objects

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

Analysis of UML Activities Using Dynamic Meta Modeling

Pict Correctness Revisited

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance

Model Checking of Extended OCL Constraints on UML Models in SOCLe

Asynchronous Session Types and Progress for Object Oriented Languages

On Resource-Sensitive Timed Component Connectors

KeY: A Formal Method for Object-Oriented Systems

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications