Lecture Notes in Computer Science - Formal Methods – The Next 30 Years
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 46)

H-INDEX

(FIVE YEARS 4)

Published By Springer International Publishing

9783030309411, 9783030309428

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SOA and the Button Problem

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_40 ◽

2019 ◽

pp. 689-706

Author(s):

Sung-Shik Jongmans ◽

Arjan Lamers ◽

Marko van Eekelen

Download Full-text

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_19 ◽

2019 ◽

pp. 298-315 ◽

Cited By ~ 4

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker ◽

Gabriel Santos

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Stochastic Games ◽

Probabilistic Model Checking

Download Full-text

GOSPEL—Providing OCaml with a Formal Specification Language

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_29 ◽

2019 ◽

pp. 484-501

Author(s):

Arthur Charguéraud ◽

Jean-Christophe Filliâtre ◽

Cláudio Lourenço ◽

Mário Pereira

Keyword(s):

Formal Specification ◽

Specification Language ◽

Formal Specification Language

Download Full-text

GR(1)*: GR(1) Specifications Extended with Existential Guarantees

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_7 ◽

2019 ◽

pp. 83-100 ◽

Cited By ~ 2

Author(s):

Gal Amram ◽

Shahar Maoz ◽

Or Pistiner

Download Full-text

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_4 ◽

2019 ◽

pp. 38-44

Author(s):

Joachim Bard ◽

Heiko Becker ◽

Eva Darulova

Keyword(s):

Roundoff Errors

Download Full-text

Value-Dependent Information-Flow Security on Weak Memory Models

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_32 ◽

2019 ◽

pp. 539-555 ◽

Cited By ~ 2

Author(s):

Graeme Smith ◽

Nicholas Coughlin ◽

Toby Murray

Keyword(s):

Information Flow ◽

Memory Models ◽

Information Flow Security

Download Full-text

Quantitative Verification of Numerical Stability for Kalman Filters

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_26 ◽

2019 ◽

pp. 425-441

Author(s):

Alexandros Evangelidis ◽

David Parker

Keyword(s):

Kalman Filters ◽

Numerical Stability ◽

Quantitative Verification

Download Full-text

Local Consistency Check in Synchronous Dataflow Models

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_24 ◽

2019 ◽

pp. 389-405

Author(s):

Dina Irofti ◽

Paul Dubrulle

Keyword(s):

Consistency Check ◽

Local Consistency ◽

Synchronous Dataflow ◽

Dataflow Models

Download Full-text

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_3 ◽

2019 ◽

pp. 21-37 ◽

Cited By ~ 2

Author(s):

Mariano M. Moscato ◽

Laura Titolo ◽

Marco A. Feliú ◽

César A. Muñoz

Keyword(s):

Floating Point ◽

Floating Point Implementation

Download Full-text

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_42 ◽

2019 ◽

pp. 727-737

Author(s):

Daniel Silveira ◽

Andreas Jung ◽

Marcel Verhoef ◽

Tiago Jorge

Keyword(s):

Formal Methods ◽

Space Applications ◽

Specification And Implementation

Download Full-text

Lecture Notes in Computer Science - Formal Methods – The Next 30 YearsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

SOA and the Button Problem

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

GOSPEL—Providing OCaml with a Formal Specification Language

GR(1)*: GR(1) Specifications Extended with Existential Guarantees

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

Value-Dependent Information-Flow Security on Weak Memory Models

Quantitative Verification of Numerical Stability for Kalman Filters

Local Consistency Check in Synchronous Dataflow Models

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years
Latest Publications