Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

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

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

Summary of: An Evaluation of Interaction Paradigms for Active Objects

2019 ◽  
pp. 529-533
Author(s):  
Farzane Karami ◽  
Olaf Owe ◽  
Toktam Ramezanifarkhani
Keyword(s):  
Active Objects

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

2019 ◽  
pp. 495-503 ◽  
Author(s):  
Matteo Camilli ◽  
Angelo Gargantini ◽  
Rosario Madaudo ◽  
Patrizia Scandurra
Keyword(s):  
Hypothesis Testing ◽  
Web Applications

Sound Probabilistic Numerical Error Analysis

2019 ◽  
pp. 322-340 ◽  
Author(s):  
Debasmita Lohar ◽  
Milos Prokop ◽  
Eva Darulova
Keyword(s):  
Error Analysis ◽  
Numerical Error

Fuzzing JavaScript Environment APIs with Interdependent Function Calls

2019 ◽  
pp. 212-226 ◽  
Author(s):  
Renáta Hodován ◽  
Dániel Vince ◽  
Ákos Kiss
Keyword(s):  
Function Calls

Ontology-Mediated Probabilistic Model Checking

2019 ◽  
pp. 194-211 ◽  
Author(s):  
Clemens Dubslaff ◽  
Patrick Koopmann ◽  
Anni-Yasmin Turhan
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking

scholarly journals Relating Alternating Relations for Conformance and Refinement

2019 ◽  
pp. 246-264 ◽  
Author(s):  
Ramon Janssen ◽  
Frits Vaandrager ◽  
Jan Tretmans
Load More ...
Sign in / Sign up

Export Citation Format

Share Document