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

TOTAL DOCUMENTS

(FIVE YEARS 31)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030614690, 9783030614706

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations

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

10.1007/978-3-030-61470-6_6 ◽

2020 ◽

pp. 72-92

Author(s):

Marie-Christine Jakobs ◽

Heiko Mantel

Keyword(s):

Dynamic Monitoring

Download Full-text

Finding Idioms in Source Code Using Subtree Counting Techniques

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

10.1007/978-3-030-61470-6_4 ◽

2020 ◽

pp. 44-54

Author(s):

Dmitry Orlov

Keyword(s):

Source Code

Download Full-text

A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes

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

10.1007/978-3-030-61470-6_28 ◽

2020 ◽

pp. 473-490

Author(s):

Thomas Gabor ◽

Claudia Linnhoff-Popien

Keyword(s):

Formal Model ◽

Evolutionary Processes ◽

The Ideal

Download Full-text

Measuring Adaptability and Reliability of Large Scale Systems

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

10.1007/978-3-030-61470-6_23 ◽

2020 ◽

pp. 380-396

Author(s):

Valentina Castiglioni ◽

Michele Loreti ◽

Simone Tini

Keyword(s):

Large Scale ◽

Large Scale Systems

Download Full-text

Epistemic Logic in Ensemble Specification

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

10.1007/978-3-030-61470-6_20 ◽

2020 ◽

pp. 329-343

Author(s):

Jan Sürmeli

Keyword(s):

Epistemic Logic

Download Full-text

Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing

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

10.1007/978-3-030-61470-6_2 ◽

2020 ◽

pp. 9-24

Author(s):

Serge Demeyer ◽

Ali Parsai ◽

Sten Vercammen ◽

Brent van Bladel ◽

Mehrdad Abdi

Keyword(s):

Formal Verification ◽

Research Agenda ◽

Mutation Testing

Download Full-text

Composition of Component Models - A Key to Construct Big Systems

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

10.1007/978-3-030-61470-6_11 ◽

2020 ◽

pp. 171-188

Author(s):

Wolfgang Reisig

Keyword(s):

Component Models

Download Full-text

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition

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

10.1007/978-3-030-61470-6_10 ◽

2020 ◽

pp. 161-170

Author(s):

Martin Wirsing ◽

Rocco De Nicola ◽

Stefan Jähnichen

Keyword(s):

Adaptive Systems

Download Full-text

Automating Software Re-engineering

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

10.1007/978-3-030-61470-6_1 ◽

2020 ◽

pp. 3-8

Author(s):

Serge Demeyer ◽

Reiner Hähnle ◽

Heiko Mantel

Download Full-text

A Case Study of Policy Synthesis for Swarm Robotics

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

10.1007/978-3-030-61470-6_29 ◽

2020 ◽

pp. 491-506

Author(s):

Paul Piho ◽

Jane Hillston

Keyword(s):

Swarm Robotics

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations

Finding Idioms in Source Code Using Subtree Counting Techniques

A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes

Measuring Adaptability and Reliability of Large Scale Systems

Epistemic Logic in Ensemble Specification

Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing

Composition of Component Models - A Key to Construct Big Systems

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition

Automating Software Re-engineering

A Case Study of Policy Synthesis for Swarm Robotics

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