Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642307287, 9783642307294

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_17 ◽

2012 ◽

pp. 237-252 ◽

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

Formal Modelling ◽

Service Oriented

Download Full-text

Mechanized Extraction of Topology Anti-patterns in Wireless Networks

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_12 ◽

2012 ◽

pp. 158-173 ◽

Author(s):

Matthias Woehrle ◽

Rena Bakhshi ◽

Mohammad Reza Mousavi

Keyword(s):

Wireless Networks

Download Full-text

Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_10 ◽

2012 ◽

pp. 128-142 ◽

Author(s):

Herbert Rocha ◽

Raimundo Barreto ◽

Lucas Cordeiro ◽

Arilo Dias Neto

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Specifying UML Protocol State Machines in Alloy

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_22 ◽

2012 ◽

pp. 312-326 ◽

Author(s):

Ana Garis ◽

Ana C. R. Paiva ◽

Alcino Cunha ◽

Daniel Riesco

Keyword(s):

Download Full-text

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_2 ◽

2012 ◽

pp. 21-23 ◽

Author(s):

Muffy Calder ◽

Michele Sevegnani

Keyword(s):

Network Management ◽

Wireless Network ◽

Process Algebra ◽

Runtime Verification ◽

Download Full-text

A UTP Semantics of pGCL as a Homogeneous Relation

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_14 ◽

2012 ◽

pp. 191-205 ◽

Author(s):

Riccardo Bresciani ◽

Andrew Butterfield

Keyword(s):

Homogeneous Relation

Download Full-text

A Proof Framework for Concurrent Programs

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_13 ◽

2012 ◽

pp. 174-190

Author(s):

Leonard Lensink ◽

Sjaak Smetsers ◽

Marko van Eekelen

Keyword(s):

Concurrent Programs

Download Full-text

A Formal Interactive Verification Environment for the Plan Execution Interchange Language

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_24 ◽

2012 ◽

pp. 343-357 ◽

Author(s):

Camilo Rocha ◽

Héctor Cadavid ◽

César Muñoz ◽

Radu Siminiceanu

Keyword(s):

Download Full-text

Translating TLA + to B for Validation with ProB

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_3 ◽

2012 ◽

pp. 24-38 ◽

Author(s):

Dominik Hansen ◽

Michael Leuschel

Download Full-text

Patterns for a Log-Based Strengthening of Declarative Compliance Models

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_23 ◽

2012 ◽

pp. 327-342 ◽

Author(s):

Dennis M. M. Schunselaar ◽

Fabrizio M. Maggi ◽

Natalia Sidorova

Download Full-text