Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wang Yi
On Memory-Block Traversal Problems in Model Checking Timed Systems
BRICS Report Series
Clock Difference Diagrams
BRICS Report Series
‹
1
2
Related publications
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Transactional Memory With Spin
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
Model Checking Implicit-Invocation Systems
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
Journal of Software Engineering and Applications
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
