Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642386121, 9783642386138
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

2013 ◽  
pp. 428-442 ◽  
Author(s):  
Ramiro Demasi ◽  
Pablo F. Castro ◽  
Thomas S. E. Maibaum ◽  
Nazareno Aguirre
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems ◽  
Simulation Relations

Broadcast, Denial-of-Service, and Secure Communication

2013 ◽  
pp. 412-427 ◽  
Author(s):  
Roberto Vigo ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Secure Communication ◽  
Denial Of Service

Quantified Abstractions of Distributed Systems

2013 ◽  
pp. 285-300 ◽  
Author(s):  
Elvira Albert ◽  
Jesús Correas ◽  
Germán Puebla ◽  
Guillermo Román-Díez
Keyword(s):  
Distributed Systems

scholarly journals Solving Games Using Incremental Induction

2013 ◽  
pp. 177-191 ◽  
Author(s):  
Andreas Morgenstern ◽  
Manuel Gesell ◽  
Klaus Schneider

scholarly journals Deadlock Analysis of Concurrent Objects: Theory and Practice

2013 ◽  
pp. 394-411 ◽  
Author(s):  
Elena Giachino ◽  
Carlo A. Grazia ◽  
Cosimo Laneve ◽  
Michael Lienhardt ◽  
Peter Y. H. Wong
Keyword(s):  
Theory And Practice ◽  
Deadlock Analysis ◽  
Concurrent Objects

scholarly journals Automated Anonymity Verification of the ThreeBallot Voting System

2013 ◽  
pp. 94-108
Author(s):  
Murat Moran ◽  
James Heather ◽  
Steve Schneider
Keyword(s):  
Voting System

scholarly journals Verification of EB3 Specifications Using CADP

2013 ◽  
pp. 61-76 ◽  
Author(s):  
Dimitris Vekris ◽  
Frédéric Lang ◽  
Catalin Dima ◽  
Radu Mateescu

scholarly journals Improved Reachability Analysis in DTMC via Divide and Conquer

2013 ◽  
pp. 162-176 ◽  
Author(s):  
Songzheng Song ◽  
Lin Gui ◽  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong
Keyword(s):  
Reachability Analysis ◽  
Divide And Conquer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document