Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shahid Jabbar
Real-Time Model Checking on Secondary Storage
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On Expressiveness and Complexity in Real-Time Model Checking
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
Model Checking Real Time Java Using Java PathFinder
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 for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparative Study of Decision Diagrams for Real-Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
