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

9783540688624, 9783540688631

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

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

10.1007/978-3-540-68863-1_5 ◽

2008 ◽

pp. 59-77 ◽

Cited By ~ 4

Author(s):

Luís Cruz-Filipe ◽

Ivan Lanese ◽

Francisco Martins ◽

António Ravara ◽

Vasco T. Vasconcelos

Keyword(s):

Program Transformations ◽

Work Program ◽

Behavioural Theory

Download Full-text

Semantic Foundations and Inference of Non-null Annotations

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

10.1007/978-3-540-68863-1_9 ◽

2008 ◽

pp. 132-149 ◽

Cited By ~ 14

Author(s):

Laurent Hubert ◽

Thomas Jensen ◽

David Pichardie

Download Full-text

A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language

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

10.1007/978-3-540-68863-1_15 ◽

2008 ◽

pp. 240-258 ◽

Cited By ~ 11

Author(s):

Dries Vanoverberghe ◽

Frank Piessens

Keyword(s):

Object Oriented ◽

Intermediate Language

Download Full-text

CoBoxes: Unifying Active Objects and Structured Heaps

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

10.1007/978-3-540-68863-1_13 ◽

2008 ◽

pp. 201-219 ◽

Cited By ~ 8

Author(s):

Jan Schäfer ◽

Arnd Poetzsch-Heffter

Keyword(s):

Active Objects

Download Full-text

Termination Analysis of Java Bytecode

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

10.1007/978-3-540-68863-1_2 ◽

2008 ◽

pp. 2-18 ◽

Cited By ~ 30

Author(s):

Elvira Albert ◽

Puri Arenas ◽

Michael Codish ◽

Samir Genaim ◽

Germán Puebla ◽

...

Keyword(s):

Termination Analysis ◽

Java Bytecode

Download Full-text

Sessions and Pipelines for Structured Service Programming

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

10.1007/978-3-540-68863-1_3 ◽

2008 ◽

pp. 19-38 ◽

Cited By ~ 62

Author(s):

Michele Boreale ◽

Roberto Bruni ◽

Rocco De Nicola ◽

Michele Loreti

Download Full-text

Guiding Distributed Systems Synthesis with Language-Based Security Policies

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

10.1007/978-3-540-68863-1_1 ◽

2008 ◽

pp. 1-1

Author(s):

Andrew Myers

Keyword(s):

Distributed Systems ◽

Security Policies ◽

Language Based Security

Download Full-text

Modeling and Model Checking Software Product Lines

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

10.1007/978-3-540-68863-1_8 ◽

2008 ◽

pp. 113-131 ◽

Cited By ~ 65

Author(s):

Alexander Gruler ◽

Martin Leucker ◽

Kathrin Scheidemann

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack

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

10.1007/978-3-540-68863-1_6 ◽

2008 ◽

pp. 78-95 ◽

Cited By ~ 8

Author(s):

John Derrick ◽

Gerhard Schellhorn ◽

Heike Wehrheim

Keyword(s):

Correctness Proof

Download Full-text

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

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

10.1007/978-3-540-68863-1_12 ◽

2008 ◽

pp. 185-200 ◽

Cited By ~ 1

Author(s):

Xavier Renault ◽

Jérôme Hugues ◽

Fabrice Kordon

Keyword(s):

Formal Modeling ◽

Invariant Properties

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

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

Semantic Foundations and Inference of Non-null Annotations

A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language

CoBoxes: Unifying Active Objects and Structured Heaps

Termination Analysis of Java Bytecode

Sessions and Pipelines for Structured Service Programming

Guiding Distributed Systems Synthesis with Language-Based Security Policies

Modeling and Model Checking Software Product Lines

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

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