- On information leak -> here
- On temporal logics of knowledge -> here
- On models of real-time -> here
- On fault tolerance -> here
- Edited proceedings -> here

**On models of real-time systems:**

**C. Dima and Ruggero Lanotte,**, to appear in Distributed Computing.**A study on shuffle, stopwatches and independently evolving clocks****C. Dima and Ruggero Lanotte,**, in Proceedings of FORMATS 2009. A**Removing all silent transitions from timed automata***technical report*is also available, with some extra proofs.**C. Dima,**, in Proceedings of FORMATS 2007. A**Dynamical properties of timed automata revisited***technical report*is also available, with some extra proofs.**C. Dima and Ruggero Lanotte,**, in Proceedings of ICTAC 2007.**Distributed time-asynchronous automata****C. Dima,**, in Proceedings of CONCUR 2005.**Timed shuffle expressions****C. Dima,**, in Proceedings of VISSAS 2005.**A class of automata for computing reachability relations in timed systems****C. Dima,**, in Proceedings of CAVIS 2004.**On an algebraic definition of timed regular languages****C. Dima,**, in Proceedings of FORMATS 2003.**A nonarchimedian discretization of timed languages****C. Dima,**, in Proceedings of DMTCS 2003.**Regular expressions with timed dominoes****C. Dima,**, in Essays in Honour of Gheorghe Paun, Taylor and Francis, 2003.**Distributed real-time automata****Eugene Asarin****and C. Dima,****Balanced timed regular expressions***,*in Proceedings of MTCS 2002, Electronic Notes in Theoretical Computer Science, vol. 68(5), 2002.**C. Dima,****Computing reachability relations in timed automata***,*in Proceedings of LICS'02.**C. Dima,**, in Journal of Automata, Languages and Combinatorics, 2001.**Real-time automata****C. Dima,**in Proceedings of STACS'2000.**Real-time automata and the Kleene algebra of sets of real numbers****C. Dima,**, in Proceedings of FCT'99.**Kleene theorems for event-clock automata**

, C. Dima and Constantin Enea,**Dimitar Guelev**, in Journal of Applied Non-Classical Logics.**An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking****C. Dima and Raluca Diaconu,**, to appear in Applied Artificial Intelligence.**Model-Checking Alternating-time Temporal Logic with Strategies Based on Common Knowledge Is Undecidable****C. Dima and Ferucio Tiplea,****Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable**Submitted.**,****C. Dima,**, to appear in Journal of Logic and Computation.**Non-axiomatizability for Linear Temporal Logic of Knowledge with Concrete Observability****C. Dima, Constantin Enea and**,**Dimitar Guelev****Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions**Proceedings of GandALF 2010.**,****C. Dima,****Positive and negative results on the decidability of the model-checking problem for an epistemic extension of Timed CTL**Proceedings of TIME 2009 A**,***technical report*is also available, with some extra proofs.**C. Dima,****Revisiting satisfiability and model-checking for CTLK with synchrony and perfect recall**Proceedings of CLIMA 2008**,****Dimitar Guelev****and C. Dima,**, Proceedings of DALT 2008.**Model-checking strategic ability and knowledge of the past of communicating coalitions****Constantin Enea****and****C. Dima,**, in Proceedings of CEEMAS 2007.**Abstractions of multi-agent systems****C. Dima and****Constantin Enea****,**, in Proceedings of WITS 2007.**Nondeduciblity on strategies in the temporal logic of knowledge**

**Eugène Asarin and C. Dima,**, in RAIRO-ITA, 2010.**On the computation of covert channel capacity****C. Dima, Constantin Enea, Radu Gramatovici and Alexandru Sofronia,**, in Proceedings of SYNASC 2007.**Strategy-based and knowledge-based models of information flow: equivalence and decidability**

**C. Dima, Alain Girault****and Yves Sorel,**, in Proceedings of FORMATS/FTRTFT 2004 .**Static fault-tolerant real-time scheduling with "pseudo-topological" orderings****C. Dima, Christophe Lavarenne, Alain Girault****and Yves Sorel,**, in Proceedings of 9th Euromicro Workshop PDP 2001.**Off-line real-time fault-tolerant scheduling**

**C. Dima, Marius Minea****and Ferucio Tiplea****(editors),****Electronic Notes in Theoretical Computer Science vol. 186**Proceedings of the Workshop in Computer and Information Security, affiliated with SYNASC 2006.**:**

Last modified on Nov. 2nd, 2011.