Cătălin Dima

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Cătălin Dima, Ferucio Laurenţiu Ţiplea · arXiv (Cornell University) · 2011 · 77 citations · Full text

Formal Proof, Engineering, Verification +17

Off-line real-time fault-tolerant scheduling

Cătălin Dima, Alain Girault, C. Lavarenne et al. · 2002 · 45 citations

Cluster Computing, Engineering, Computer Architecture +21

An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking

Dimitar P. Guelev, Cătălin Dima, Constantin Enea · Journal of Applied Non-Classical Logics · 2011 · 39 citations

Applied Logic, Engineering, Verification +17

Real-time automata

Cătălin Dima · Journal of automata, languages and combinatorics · 2001 · 30 citations

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

Cătălin Dima, Constantin Enea, Dimitar P. Guelev · Electronic Proceedings in Theoretical Computer Science · 2010 · 29 citations · Full text

Engineering, Game Theory, Verification +22