Lecture Notes in Computer Science - FM 2008: Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540682356, 9783540682370

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding Minimal Unsatisfiable Cores of Declarative Specifications

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_23 ◽

2008 ◽

pp. 326-341 ◽

Cited By ~ 38

Author(s):

Emina Torlak ◽

Felix Sheng-Ho Chang ◽

Daniel Jackson

Keyword(s):

Declarative Specifications

Download Full-text

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_14 ◽

2008 ◽

pp. 181-197 ◽

Cited By ~ 20

Author(s):

Hugo Daniel Macedo ◽

Peter Gorm Larsen ◽

John Fitzgerald

Keyword(s):

Real Time ◽

Cardiac Pacing ◽

Time Model ◽

Incremental Development

Download Full-text

Assume-Guarantee Verification for Interface Automata

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_10 ◽

2008 ◽

pp. 116-131 ◽

Cited By ~ 20

Author(s):

Michael Emmi ◽

Dimitra Giannakopoulou ◽

Corina S. Păsăreanu

Keyword(s):

Interface Automata

Download Full-text

Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_28 ◽

2008 ◽

pp. 406-410

Author(s):

Scott Lintelman ◽

Richard Robinson ◽

Mingyan Li ◽

Krishna Sampigethaya

Keyword(s):

Formal Methods

Download Full-text

Aspects and Formal Methods

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_1 ◽

2008 ◽

pp. 1-11

Author(s):

Shmuel Katz

Keyword(s):

Formal Methods

Download Full-text

Constraint Prioritization for Efficient Analysis of Declarative Models

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_22 ◽

2008 ◽

pp. 310-325 ◽

Cited By ~ 14

Author(s):

Engin Uzuncaova ◽

Sarfraz Khurshid

Download Full-text

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_21 ◽

2008 ◽

pp. 294-309 ◽

Cited By ~ 7

Author(s):

Tom Ridge ◽

Michael Norrish ◽

Peter Sewell

Keyword(s):

Rigorous Approach

Download Full-text

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_13 ◽

2008 ◽

pp. 165-180 ◽

Cited By ~ 9

Author(s):

Holger Grandy ◽

Markus Bischof ◽

Kurt Stenzel ◽

Gerhard Schellhorn ◽

Wolfgang Reif

Keyword(s):

Security Protocol

Download Full-text

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_11 ◽

2008 ◽

pp. 132-147 ◽

Cited By ~ 7

Author(s):

Carlo A. Furia ◽

Matteo Pradella ◽

Matteo Rossi

Keyword(s):

Discrete Time ◽

Automated Verification ◽

Time Approximation ◽

Discrete Time Approximation

Download Full-text

Towards Consistent Specifications of Product Families

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_27 ◽

2008 ◽

pp. 390-405 ◽

Cited By ~ 10

Author(s):

Alexander Harhurin ◽

Judith Hartmann

Keyword(s):

Product Families

Download Full-text

Lecture Notes in Computer Science - FM 2008: Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Finding Minimal Unsatisfiable Cores of Declarative Specifications

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

Assume-Guarantee Verification for Interface Automata

Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution

Aspects and Formal Methods

Constraint Prioritization for Efficient Analysis of Declarative Models

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

Towards Consistent Specifications of Product Families

Lecture Notes in Computer Science - FM 2008: Formal Methods
Latest Publications