Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319471655, 9783319471662

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_7 ◽

2016 ◽

pp. 94-113 ◽

Cited By ~ 4

Author(s):

Waheed Ahmad ◽

Jaco van de Pol

Keyword(s):

Optimal Controllers

Download Full-text

Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_60 ◽

2016 ◽

pp. 874-880 ◽

Cited By ~ 1

Author(s):

Dirk Beyer

Keyword(s):

Intermediate Results ◽

Verification Techniques

Download Full-text

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_52 ◽

2016 ◽

pp. 730-748 ◽

Cited By ~ 6

Author(s):

Bruce W. Watson ◽

Derrick G. Kourie ◽

Ina Schaefer ◽

Loek Cleophas

Keyword(s):

Post Hoc

Download Full-text

A Long and Winding Road Towards Modular Synthesis

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_21 ◽

2016 ◽

pp. 303-317 ◽

Cited By ~ 4

Author(s):

George T. Heineman ◽

Jan Bessai ◽

Boris Düdder ◽

Jakob Rehof

Keyword(s):

Modular Synthesis

Download Full-text

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_13 ◽

2016 ◽

pp. 191-194

Author(s):

Markus Schordan ◽

Dirk Beyer ◽

Jonas Lundberg

Keyword(s):

Program Analysis

Download Full-text

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_11 ◽

2016 ◽

pp. 166-181 ◽

Cited By ~ 2

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Timed Automata ◽

Statistical Model Checking ◽

Reliability Models

Download Full-text

Deductive Verification of Legacy Code

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_53 ◽

2016 ◽

pp. 749-765 ◽

Cited By ~ 5

Author(s):

Bernhard Beckert ◽

Thorsten Bormer ◽

Daniel Grahl

Keyword(s):

Deductive Verification ◽

Legacy Code

Download Full-text

Information Flow Analysis for Go

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_30 ◽

2016 ◽

pp. 431-445 ◽

Cited By ~ 2

Author(s):

Eric Bodden ◽

Ka I. Pun ◽

Martin Steffen ◽

Volker Stolz ◽

Anna-Katharina Wickert

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Information Flow Analysis

Download Full-text

Integrated Modeling Workflow for Security Assurance

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_64 ◽

2016 ◽

pp. 926-941 ◽

Cited By ~ 2

Author(s):

Min-Young Nam ◽

Julien Delange ◽

Peter Feiler

Keyword(s):

Integrated Modeling ◽

Security Assurance

Download Full-text

Heterogeneous Semantics and Unifying Theories

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_26 ◽

2016 ◽

pp. 374-394 ◽

Cited By ~ 3

Author(s):

Jim Woodcock ◽

Simon Foster ◽

Andrew Butterfield

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego

Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

A Long and Winding Road Towards Modular Synthesis

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

Deductive Verification of Legacy Code

Information Flow Analysis for Go

Integrated Modeling Workflow for Security Assurance

Heterogeneous Semantics and Unifying Theories

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science
Latest Publications