Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Igor Walukiewicz
Igor Walukiewicz
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Partial order reduction for timed systems
Verification of timed automata : reachability, liveness and modelling
Exploiting model structure in CEGAR verification method
Abstractions pour les automates temporisés
A study on the expressive power of some fragments of the modal µ-calculus
Synthesis for a weak real-time logic
Unfolding based verification of concurrent infinite-state systems
Sur la décidabilité de certains problèmes de synthèse de contrôleurs