C
Catalin Dima
Researcher at University of Paris
Publications - 62
Citations - 615
Catalin Dima is an academic researcher from University of Paris. The author has contributed to research in topics: Timed automaton & Model checking. The author has an hindex of 14, co-authored 58 publications receiving 586 citations. Previous affiliations of Catalin Dima include French Institute for Research in Computer Science and Automation & Paris 12 Val de Marne University.
Papers
More filters
Proceedings ArticleDOI
Off-line real-time fault-tolerant scheduling
TL;DR: This work addresses the problem of off-line fault tolerant scheduling of an algorithm onto a multiprocessor architecture with distributed memory and provides a generic algorithm which solves this problem.
Journal ArticleDOI
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
TL;DR: A variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall is presented, and an axiomatic system is proposed and its completeness for a rather expressive subset is proved.
Journal ArticleDOI
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
TL;DR: A variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics is presented, and it is shown that model-checking is decidable for this logic.
Proceedings ArticleDOI
Computing reachability relations in timed automata
TL;DR: An algorithmic calculus of the reachability relations on clock values defined by timed automata is given, by computing unions, compositions and reflexive-transitive closure (star) of "atomic" relations.