Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O. Cherkaoui
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
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
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
On Expressiveness and Complexity in Real-Time Model Checking
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
A Comparative Study of Decision Diagrams for Real-Time Model Checking
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
Branching-Time Model Checking Gap-Order Constraint Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
