Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 35)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030349677, 9783030349684

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_34 ◽

2019 ◽

pp. 542-546

Author(s):

Maurice H. ter Beek ◽

Ferruccio Damiani ◽

Stefania Gnesi ◽

Franco Mazzanti ◽

Luca Paolini

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

Summary of: An Evaluation of Interaction Paradigms for Active Objects

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_31 ◽

2019 ◽

pp. 529-533

Author(s):

Farzane Karami ◽

Olaf Owe ◽

Toktam Ramezanifarkhani

Keyword(s):

Download Full-text

Summary of: Dynamic Structural Operational Semantics

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_30 ◽

2019 ◽

pp. 525-528

Author(s):

Christian Johansen ◽

Olaf Owe

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics

Download Full-text

SIGmA: GPU Accelerated Simplification of SAT Formulas

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_29 ◽

2019 ◽

pp. 514-522

Author(s):

Muhammad Osama ◽

Anton Wijs

Download Full-text

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_27 ◽

2019 ◽

pp. 495-503 ◽

Author(s):

Matteo Camilli ◽

Angelo Gargantini ◽

Rosario Madaudo ◽

Patrizia Scandurra

Keyword(s):

Hypothesis Testing ◽

Web Applications

Download Full-text

Sound Probabilistic Numerical Error Analysis

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_18 ◽

2019 ◽

pp. 322-340 ◽

Author(s):

Debasmita Lohar ◽

Milos Prokop ◽

Eva Darulova

Keyword(s):

Error Analysis ◽

Numerical Error

Download Full-text

Fuzzing JavaScript Environment APIs with Interdependent Function Calls

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_12 ◽

2019 ◽

pp. 212-226 ◽

Author(s):

Renáta Hodován ◽

Dániel Vince ◽

Ákos Kiss

Keyword(s):

Download Full-text

Ontology-Mediated Probabilistic Model Checking

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_11 ◽

2019 ◽

pp. 194-211 ◽

Author(s):

Clemens Dubslaff ◽

Patrick Koopmann ◽

Anni-Yasmin Turhan

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Axiomatic Characterization of Trace Reachability for Concurrent Objects

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_9 ◽

2019 ◽

pp. 157-174

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Axiomatic Characterization ◽

Concurrent Objects

Download Full-text

Relating Alternating Relations for Conformance and Refinement

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_14 ◽

2019 ◽

pp. 246-264 ◽

Author(s):

Ramon Janssen ◽

Frits Vaandrager ◽

Jan Tretmans

Download Full-text