Rigorous State-Based Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 36)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030480769, 9783030480776

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_3 ◽

2020 ◽

pp. 27-43

Author(s):

Robert Clarisó ◽

Jordi Cabot

Keyword(s):

Download Full-text

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_13 ◽

2020 ◽

pp. 186-202

Author(s):

Fatima Shokri-Manninen ◽

Leonidas Tsiopoulos ◽

Jüri Vain ◽

Marina Waldén

Keyword(s):

Real Time ◽

Timed Automata ◽

Real Time Systems ◽

Concurrent Processes ◽

Download Full-text

Analysing ProB’s Constraint Solving Backends

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_8 ◽

2020 ◽

pp. 107-123

Author(s):

Jannik Dunkelau ◽

Joshua Schmidt ◽

Michael Leuschel

Keyword(s):

Constraint Solving

Download Full-text

Improving Trustworthiness of Self-driving Systems

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_32 ◽

2020 ◽

pp. 405-408

Author(s):

Fahad Alotaibi

Download Full-text

Experiences on Teaching Alloy with an Automated Assessment Platform

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_5 ◽

2020 ◽

pp. 61-77

Author(s):

Nuno Macedo ◽

Alcino Cunha ◽

José Pereira ◽

Renato Carvalho ◽

Ricardo Silva ◽

...

Keyword(s):

Automated Assessment

Download Full-text

Event-B: From Systems to Sub-systems Modeling

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_35 ◽

2020 ◽

pp. 418-422

Author(s):

Kenza Kraibi

Keyword(s):

Systems Modeling

Download Full-text

A Characterization of Distributed ASMs with Partial-Order Runs

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 78-92

Author(s):

Egon Börger ◽

Klaus-Dieter Schewe

Keyword(s):

Download Full-text

Formal Verification of Interoperability Between Future Network Architectures Using Alloy

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 44-60 ◽

Author(s):

Mohammad Jahanian ◽

Jiachen Chen ◽

K. K. Ramakrishnan

Keyword(s):

Formal Verification ◽

Network Architectures

Download Full-text

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_12 ◽

2020 ◽

pp. 169-185

Author(s):

Guillaume Dupont ◽

Yamine Aït-Ameur ◽

Marc Pantel ◽

Neeraj K. Singh

Keyword(s):

Download Full-text

A Framework for Critical Interactive System Formal Modelling and Analysis

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48077-6_36 ◽

2020 ◽

pp. 423-426

Author(s):

Ismaïl Mendil

Keyword(s):

Interactive System ◽

Formal Modelling

Download Full-text