Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Khersonsky
Model Checking Implicit-Invocation Systems
Related publications
A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems
Implicit Invocation Meets Safe, Implicit Concurrency
Formalizing Design Spaces: Implicit Invocation Mechanisms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Configuration-Level Programming of Distributed Applications Using Implicit Invocation
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Model Checking of Systems With Degradation
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
