Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jana Tumova
Quantitative Model Checking of Systems With Degradation
Related publications
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis
Testing Automation Systems by Means of Model Checking
Verification of Interlocking Systems Using Statistical Model Checking
