Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319631202, 9783319631219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synchronous Interfaces and Assume/Guarantee Contracts

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_12 ◽

2017 ◽

pp. 233-248 ◽

Cited By ~ 2

Author(s):

Albert Benveniste ◽

Benoît Caillaud

Download Full-text

30 Years of Modal Transition Systems: Survey of Extensions and Analysis

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_3 ◽

2017 ◽

pp. 36-74 ◽

Cited By ~ 4

Author(s):

Jan Křetínský

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

Property-Preserving Parallel Decomposition

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_7 ◽

2017 ◽

pp. 125-145 ◽

Cited By ~ 7

Author(s):

Bernhard Steffen ◽

Marc Jasper

Keyword(s):

Parallel Decomposition

Download Full-text

Derivatives of Quantitative Regular Expressions

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_4 ◽

2017 ◽

pp. 75-95 ◽

Cited By ~ 4

Author(s):

Rajeev Alur ◽

Konstantinos Mamouras ◽

Dogan Ulus

Keyword(s):

Regular Expressions ◽

Derivatives Of

Download Full-text

Assertion-Based Reasoning Method for Calculus of Wireless System

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_24 ◽

2017 ◽

pp. 484-502

Author(s):

Luyao Wang ◽

Wanling Xie ◽

Huibiao Zhu

Keyword(s):

Wireless System

Download Full-text

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_15 ◽

2017 ◽

pp. 289-309 ◽

Cited By ~ 1

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Timed Automata ◽

Probabilistic Timed Automata ◽

Symbolic Verification

Download Full-text

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_29 ◽

2017 ◽

pp. 578-599 ◽

Cited By ~ 3

Author(s):

Leif-Nissen Lundbæk ◽

Andrea Callia D’Iddio ◽

Michael Huth

Download Full-text

Syntactic Markovian Bisimulation for Chemical Reaction Networks

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_23 ◽

2017 ◽

pp. 466-483 ◽

Cited By ~ 4

Author(s):

Luca Cardelli ◽

Mirco Tribastone ◽

Max Tschaikowski ◽

Andrea Vandin

Keyword(s):

Chemical Reaction ◽

Chemical Reaction Networks ◽

Reaction Networks

Download Full-text

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_13 ◽

2017 ◽

pp. 249-268 ◽

Cited By ~ 4

Author(s):

Aleksandar S. Dimovski ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Transition Systems

Download Full-text

Testing Divergent Transition Systems

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools ◽

10.1007/978-3-319-63121-9_17 ◽

2017 ◽

pp. 339-366

Author(s):

Ed Brinksma ◽

Mariëlle I. A. Stoelinga ◽

Mark Timmer

Keyword(s):

Transition Systems

Download Full-text

Lecture Notes in Computer Science - Models, Algorithms, Logics and ToolsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Synchronous Interfaces and Assume/Guarantee Contracts

30 Years of Modal Transition Systems: Survey of Extensions and Analysis

Property-Preserving Parallel Decomposition

Derivatives of Quantitative Regular Expressions

Assertion-Based Reasoning Method for Calculus of Wireless System

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

Syntactic Markovian Bisimulation for Chemical Reaction Networks

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

Testing Divergent Transition Systems

Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools
Latest Publications