Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642246890, 9783642246906

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Developing Model-Checking Mechanisms for ASSL: An Experience Report

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_3 ◽

2011 ◽

pp. 19-34

Author(s):

Emil Vassev ◽

Mike Hinchey

Keyword(s):

Model Checking ◽

Experience Report

Download Full-text

Models and Communication in the Policy Process

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_4 ◽

2011 ◽

pp. 35-37

Author(s):

Matteo Pedercini

Keyword(s):

Policy Process

Download Full-text

Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_14 ◽

2011 ◽

pp. 188-203 ◽

Cited By ~ 1

Author(s):

Gidon Ernst ◽

Gerhard Schellhorn ◽

Wolfgang Reif

Keyword(s):

Shape Analysis ◽

Theorem Proving ◽

Interactive Theorem Proving ◽

B Trees

Download Full-text

Formal Methods in Energy Informatics

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_1 ◽

2011 ◽

pp. 1-2

Author(s):

Holger Hermanns

Keyword(s):

Formal Methods ◽

Energy Informatics

Download Full-text

A Machine-Checked Framework for Relational Separation Logic

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_10 ◽

2011 ◽

pp. 122-137 ◽

Cited By ~ 1

Author(s):

Juan Manuel Crespo ◽

César Kunz

Keyword(s):

Separation Logic

Download Full-text

Synchronizing Asynchronous Conformance Testing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_23 ◽

2011 ◽

pp. 334-349 ◽

Cited By ~ 6

Author(s):

Neda Noroozi ◽

Ramtin Khosravi ◽

Mohammad Reza Mousavi ◽

Tim A. C. Willemse

Keyword(s):

Conformance Testing

Download Full-text

Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_20 ◽

2011 ◽

pp. 286-301 ◽

Cited By ~ 6

Author(s):

Marco Mori ◽

Fei Li ◽

Christoph Dorn ◽

Paola Inverardi ◽

Schahram Dustdar

Keyword(s):

Adaptive Systems ◽

User Preferences ◽

Context Aware ◽

Self Adaptive

Download Full-text

Verification of PLC Properties Based on Formal Semantics in Coq

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_6 ◽

2011 ◽

pp. 58-73 ◽

Cited By ~ 12

Author(s):

Jan Olaf Blech ◽

Sidi Ould Biha

Keyword(s):

Formal Semantics

Download Full-text

ProMoVer: Modular Verification of Temporal Safety Properties

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_25 ◽

2011 ◽

pp. 366-381 ◽

Cited By ~ 2

Author(s):

Siavash Soleimanifard ◽

Dilian Gurov ◽

Marieke Huisman

Keyword(s):

Safety Properties ◽

Modular Verification

Download Full-text

Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_18 ◽

2011 ◽

pp. 253-268 ◽

Cited By ~ 4

Author(s):

Mélanie Jacquel ◽

Karim Berkani ◽

David Delahaye ◽

Catherine Dubois

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Proof Rules ◽

Deep Embedding

Download Full-text

Software Engineering and Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Developing Model-Checking Mechanisms for ASSL: An Experience Report

Models and Communication in the Policy Process

Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving

Formal Methods in Energy Informatics

A Machine-Checked Framework for Relational Separation Logic

Synchronizing Asynchronous Conformance Testing

Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems

Verification of PLC Properties Based on Formal Semantics in Coq

ProMoVer: Modular Verification of Temporal Safety Properties

Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications