sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000124528211 | 1 hits
Person
ISNI: 
0000 0001 2452 8211
Name: 
Ouaknine, J
Ouaknine, Joel
Creation class: 
Text
txt
Creation role: 
author
Related names: 
University of Oxford
Titles: 
Abstraction and counterexample-guided refinement in model checking of hybrid systems.
abstraction-based decision procedure for bit-vector arithmetic, An
Computational challenges in bounded model checking
Concurrent software verification with states, events, and deadlocks
Discrete analysis of continuous behaviour in real-time concurrent systems
Efficient Verification of Sequential and Concurrent C Programs
Nets with Tokens which Carry Data
On the language inclusion problem for timed automata: Closing a decidability gap.
Universality Analysis for One-Clock Timed Automata
Notes: 
Sources: 
JNAM