Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Omar Al-Bataineh
A Comparative Study of Decision Diagrams for Real-Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking on Secondary Storage
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking Is Really Simple
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Decompositional Model Checking for Regular Timing Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Temporal Properties of Real-Time HTL Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Real Time Java Using Java PathFinder
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
On Expressiveness and Complexity in Real-Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
