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
|
||
|
Symbolic Model Checking for Simply-Timed SystemsProceedings 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.102-117
Communication dans un congrès
hal-01194620v1
|
||
|
On Model Checking Durational Kripke Structures (Extended Abstract)Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'02), 2002, Grenoble, France. pp.264-279
Communication dans un congrès
hal-01194632v1
|
||
|
Model Checking Timed Automata with One or Two ClocksProceedings of the 15th International Conference on Concurrency Theory (CONCUR'04), 2004, London, UK, Unknown Region. pp.387-401, ⟨10.1007/978-3-540-28644-8_25⟩
Communication dans un congrès
hal-01194617v1
|
||
|
Language Preservation Problems in Parametric Timed AutomataLogical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
Article dans une revue
hal-02498022v1
|
||
|
Non-deterministic Temporal Logics for General Flow SystemsProceedings of the 7th International Conference on Hybrid Systems: Computation and Control (HSCC'04), 2004, Philadelphia, Pennsylvania, USA, Unknown Region. pp.280-295
Communication dans un congrès
hal-01194619v1
|
||
|
Robust Safety of Timed AutomataFormal Methods in System Design, 2008, 33 (1-3), pp.45-84. ⟨10.1007/s10703-008-0056-7⟩
Article dans une revue
hal-01194592v1
|
||
|
Timed-Automata Abstraction of Switched Dynamical Systems Using Control FunnelsFormal Modeling and Analysis of Timed Systems, 9268, Springer International Publishing, pp.60 - 75, 2015, Lecture Notes in Computer Science, 978-3-319-22974-4. ⟨10.1007/978-3-319-22975-1_5⟩
Chapitre d'ouvrage
hal-01395104v1
|
||
|
On the Expressiveness of TPTL and~MTLProceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), 2005, Hyderabad, India. pp.432-443, ⟨10.1007/11590156_35⟩
Communication dans un congrès
hal-01194615v1
|
||
|
Using model checking for analyzing dstributed power control problemsEURASIP Journal on Wireless Communications and Networking, 2010, 2010, pp.Article ID 861472. ⟨10.1155/2010/861472⟩
Article dans une revue
hal-00446986v1
|
||
Method and system for testing the operation of a target computer system by using timed requirementsFrance, Patent n° : EP 3 907 615 B1. 2022
Brevet
hal-04306225v1
|
|||
|
Parameterized verification of synchronization in constrained reconfigurable broadcast networksTACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.38-54, ⟨10.1007/978-3-319-89963-3_3⟩
Communication dans un congrès
hal-01889046v1
|
||
|
Reachability games with relaxed energy constraints2020
Pré-publication, Document de travail
hal-02964729v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|