Filtrer vos résultats
- 75
- 18
- 52
- 26
- 5
- 4
- 2
- 2
- 1
- 1
- 2
- 92
- 2
- 1
- 4
- 8
- 1
- 7
- 4
- 9
- 9
- 4
- 3
- 3
- 1
- 2
- 1
- 10
- 5
- 7
- 2
- 8
- 2
- 2
- 90
- 3
- 66
- 48
- 47
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 93
- 41
- 11
- 10
- 10
- 9
- 9
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
93 résultats
|
Temporal Logic with Forgettable PastProceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002, Copenhagen, Denmark. pp.383-392, ⟨10.1109/LICS.2002.1029846⟩
Communication dans un congrès
hal-01194631v1
|
||
|
On Expressiveness and Complexity in Real-time Model CheckingProceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP'08)~― Part~II, 2008, Reykjavik, Iceland. pp.124-135, ⟨10.1007/978-3-540-70583-3_11⟩
Communication dans un congrès
hal-01194597v1
|
||
|
On the Expressiveness and Complexity of ATLProceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), 2007, Braga, Portugal. pp.243-257, ⟨10.1007/978-3-540-71389-0_18⟩
Communication dans un congrès
hal-01194605v1
|
||
|
Model Checking Timed ATL for Durational Concurrent Game StructuresProceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), 2006, Paris, France. pp.245-259, ⟨10.1007/11867340_18⟩
Communication dans un congrès
hal-01194613v1
|
||
|
Infinite Runs in Weighted Timed Automata with Energy ConstraintsProceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), 2008, Saint-Malo, France. pp.33-47, ⟨10.1007/978-3-540-85778-5_4⟩
Communication dans un congrès
hal-01194594v1
|
||
|
Logical forms of chroniclesTIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Virtual, Heard & McDonald Islands. pp.1-15
Communication dans un congrès
hal-03777471v2
|
||
|
Quantitative analysis of real-time systems using priced timed automataCommunications of the ACM, 2011, 54 (9), pp.78-87. ⟨10.1145/1995376.1995396⟩
Article dans une revue
hal-01088030v1
|
||
|
Control strategies for off-line testing of timed systemsSPIN 2018 - International Symposium on Model Checking Software, Jun 2018, Malaga, Spain. pp.171-189, ⟨10.1007/978-3-319-94111-0_10⟩
Communication dans un congrès
hal-01889225v1
|
||
|
Non-blind Strategies in Timed Network Congestion GamesFORMATS 2022 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.183-199, ⟨10.1007/978-3-031-15839-1_11⟩
Communication dans un congrès
hal-03776452v1
|
||
|
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk)FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2023, Antwerp, Belgium. pp.3-12, ⟨10.1007/978-3-031-42626-1_1⟩
Communication dans un congrès
hal-04214722v1
|
||
|
Reasoning about Quality and Fuzziness of Strategic BehaviorsACM Transactions on Computational Logic, 2023, 24 (3), pp.1-38. ⟨10.1145/3582498⟩
Article dans une revue
hal-04219131v1
|
||
|
Past is for Free: On the Complexity of Verifying Linear Temporal Properties with PastActa Informatica, 2004, 40 (6-7), pp.431-458. ⟨10.1007/s00236-003-0136-5⟩
Article dans une revue
hal-01194621v1
|
||
|
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.5th International Conference on the Quantitative Evaluation of Systems (QEST'08), Sep 2008, Saint Malo, France. pp.55-64, ⟨10.1109/QEST.2008.19⟩
Communication dans un congrès
inria-00424518v1
|
||
|
Robust Model-Checking of Linear-Time Properties in Timed AutomataProceedings of the 7th Latin American Symposium on Theoretical Informatics (LATIN'06), 2006, Valdivia, Chile. pp.238-249, ⟨10.1007/11682462_25⟩
Communication dans un congrès
hal-01194610v1
|
||
|
Efficient Timed Model Checking for Discrete-Time SystemsTheoretical Computer Science, 2006, 353 (1-3), pp.249-271. ⟨10.1016/j.tcs.2005.11.020⟩
Article dans une revue
hal-01194608v1
|
||
|
A PTIME-Complete Matching Problem for SLP-Compressed WordsInformation Processing Letters, 2004, 90 (1), pp.3-6. ⟨10.1016/j.ipl.2004.01.002⟩
Article dans une revue
hal-01194622v1
|
||
|
Implémentabilité des automates temporisésActes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), 2005, Autrans, France. pp.395-406
Communication dans un congrès
hal-01194614v1
|
||
|
On the determinization of timed systemsFORMATS'17, Sep 2017, Berlin, Germany. pp.25-41, ⟨10.1007/978-3-319-65765-32⟩
Communication dans un congrès
hal-01566436v1
|
||
|
Active learning of timed automata with unobservable resetsFORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-26
Communication dans un congrès
hal-02896517v1
|
||
|
Incremental methods for checking real-time consistencyFORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Communication dans un congrès
hal-02894772v1
|
||
|
Abstraction Refinement Algorithms for Timed AutomataCAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New York, United States. pp.22-40, ⟨10.1007/978-3-030-25540-4_2⟩
Communication dans un congrès
hal-02265808v1
|
||
|
Dependences in Strategy LogicSTACS 2018 - Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. pp.35 - 36, ⟨10.4230/LIPIcs.STACS.2018.34⟩
Communication dans un congrès
hal-01889224v1
|
||
|
Model-Checking One-Clock Priced Timed AutomataProceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), 2007, Braga, Portugal. pp.108-122, ⟨10.1007/978-3-540-71389-0_9⟩
Communication dans un congrès
hal-01194603v1
|
||
|
Almost Optimal Strategies in One-Clock Priced Timed AutomataProceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), 2006, Kolkata, India. pp.345-356, ⟨10.1007/11944836_32⟩
Communication dans un congrès
hal-01194611v1
|
||
|
Timed Concurrent Game StructuresProceedings of the 18th International Conference on Concurrency Theory (CONCUR'07), 2007, Lisbon, Portugal. pp.445-459, ⟨10.1007/978-3-540-74407-8_30⟩
Communication dans un congrès
hal-01194602v1
|
||
|
Robustness and Implementability of Timed AutomataProceedings of the Joint Conferences Formal Modelling and Analysis of Timed Systems (FORMATS'04) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'04), 2004, Grenoble, France. pp.118-133
Communication dans un congrès
hal-01194618v1
|
||
|
Mu-Calculus Path CheckingInformation Processing Letters, 2006, 97 (6), pp.225-230. ⟨10.1016/j.ipl.2005.11.010⟩
Article dans une revue
hal-01194606v1
|
||
|
Costs are Expensive!Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), 2007, Salzburg, Austria. pp.53-68, ⟨10.1007/978-3-540-75454-1_6⟩
Communication dans un congrès
hal-01194600v1
|
||
|
Bounding Average-energy Games[Research Report] 1610.07858, ArXiv. 2016
Rapport
hal-01410144v1
|
||
|
Parameterized safety verification of round-based shared-memory systemsICALP 2022 - International Colloquium on Automata, Languages and Programming, Jul 2022, Paris, France. pp.1-32, ⟨10.4230/LIPIcs.ICALP.2022.113⟩
Communication dans un congrès
hal-03777440v1
|