Filtrer vos résultats
- 47
- 7
- 31
- 18
- 3
- 1
- 1
- 54
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 54
- 48
- 12
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
54 résultats
|
|
|
triés par
|
Regular Expressions with Timed DominoesDiscrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, 2003, Unknown, Unknown Region. pp.141--154, ⟨10.1007/3-540-45066-1_11⟩
Communication dans un congrès
istex
hal-01699966v1
|
|||
Finite-type-Dyck shift spaces2018
Pré-publication, Document de travail
hal-01699942v1
|
|||
|
|
A Hennessy-Milner Theorem for ATL with Imperfect Information35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarbrücken, Germany. pp.181--194, ⟨10.1145/3373718.3394784⟩
Communication dans un congrès
hal-02867538v1
|
||
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsCoRR, 2013, abs/1310.6434
Article dans une revue
hal-01699943v1
|
|||
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTLTIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, 2009, Unknown, Unknown Region. pp.29--36, ⟨10.1109/TIME.2009.21⟩
Communication dans un congrès
hal-01699954v1
|
|||
A Nonarchimedian Discretization for Timed LanguagesFundam. Inform., 2014, 131 (3-4), pp.389--407. ⟨10.3233/FI-2014-1021⟩
Article dans une revue
hal-01699935v1
|
|||
Relating paths in transition systems: the fall of the modal mu-calculusACM Transactions on Computational Logic, 2018, 19 (3), pp.1-33. ⟨10.1145/3231596⟩
Article dans une revue
hal-02533545v1
|
|||
A study on shuffle, stopwatches and independently evolving clocksDistributed Computing, 2012, 25 (1), pp.5--33. ⟨10.1007/s00446-011-0148-2⟩
Article dans une revue
istex
hal-01699946v1
|
|||
|
|
PrefaceElectronic Notes in Theoretical Computer Science, 2007, 186, pp.1--2. ⟨10.1016/j.entcs.2007.05.035⟩
Article dans une revue
hal-01699959v1
|
||
Removing All Silent Transitions from Timed AutomataFormal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, ⟨10.1007/978-3-642-04368-0_11⟩
Communication dans un congrès
istex
hal-01699953v1
|
|||
|
|
Entropy Games and Matrix Multiplication Games2015
Pré-publication, Document de travail
hal-01164086v3
|
||
Abstractions of Multi-agent SystemsMulti-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--21, ⟨10.1007/978-3-540-75254-7_2⟩
Communication dans un congrès
istex
hal-01699958v1
|
|||
|
|
On the computation of covert channel capacityRAIRO - Theor. Inf. and Applic., 2010, 44 (1), pp.37--58. ⟨10.1051/ita/2010004⟩
Article dans une revue
hal-01699951v1
|
||
Timed Shuffle ExpressionsCONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, 2005, Unknown, Unknown Region. pp.95--109, ⟨10.1007/11539452_11⟩
Communication dans un congrès
istex
hal-01699963v1
|
|||
Distributed Real-Time AutomataGrammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun, 2003, Unknown, Unknown Region. pp.131--140
Communication dans un congrès
hal-01699965v1
|
|||
Sofic-Dyck shifts2018
Pré-publication, Document de travail
hal-01699941v1
|
|||
The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-CalculusCoRR, 2014, abs/1407.5166
Article dans une revue
hal-01699938v1
|
|||
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsProceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region
Communication dans un congrès
hal-01699940v1
|
|||
Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall SemanticsCoRR, 2012, abs/1204.2087
Article dans une revue
hal-01699947v1
|
|||
|
|
Balanced timed regular expressionsElectronic Notes in Theoretical Computer Science, 2002, 68 (5), pp.16--33. ⟨10.1016/S1571-0661(04)80518-8⟩
Article dans une revue
hal-01699969v1
|
||
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and DecidabilityProceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, 2007, Unknown, Unknown Region. pp.33--40, ⟨10.1109/SYNASC.2007.67⟩
Communication dans un congrès
hal-01699961v1
|
|||
Kleene Theorems for Event-Clock AutomataFundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.215--225, ⟨10.1007/3-540-48321-7_17⟩
Communication dans un congrès
istex
hal-01699973v1
|
|||
Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is UndecidableApplied Artificial Intelligence, 2012, 26 (4), pp.331--348. ⟨10.1080/08839514.2012.652905⟩
Article dans une revue
hal-01699945v1
|
|||
|
|
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checkingJournal of Applied Non-Classical Logics, 2011, 21 (1), pp.93--131. ⟨10.3166/jancl.21.93-131⟩
Article dans une revue
hal-01699949v1
|
||
Distributed Time-Asynchronous AutomataTheoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.185--200, ⟨10.1007/978-3-540-75292-9_13⟩
Communication dans un congrès
istex
hal-01699960v1
|
|||
Model-Checking Strategic Ability and Knowledge of the Past of Communicating CoalitionsDeclarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.75--90, ⟨10.1007/978-3-540-93920-7_6⟩
Communication dans un congrès
istex
hal-01699956v1
|
|||
Computing Reachability Relations in Timed Automata17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002, Unknown, Unknown Region. pp.177, ⟨10.1109/LICS.2002.1029827⟩
Communication dans un congrès
hal-01699968v1
|
|||
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" OrdersFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
Communication dans un congrès
istex
hal-01699964v1
|
|||
|
|
Verification of EB3 specifications using CADPFormal Aspects of Computing, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩
Article dans une revue
hal-01290460v1
|
||
|
|
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩
Communication dans un congrès
hal-01514655v1
|
- 1
- 2