Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Victoria M. Catterson
On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications
Related publications
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Counterexamples in Probabilistic Model Checking
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Advances and Challenges of Probabilistic Model Checking
Byte Code Verification for Java Smart Cards Based on Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification, Model Checking and Abstract Interpretation
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
The Use of Model Checking in ATPG for Sequential Circuits
