Filtrer vos résultats
- 63
- 35
- 64
- 26
- 3
- 2
- 1
- 1
- 1
- 1
- 95
- 2
- 1
- 1
- 4
- 2
- 7
- 3
- 15
- 5
- 7
- 8
- 5
- 1
- 8
- 3
- 2
- 3
- 5
- 3
- 4
- 3
- 6
- 2
- 2
- 94
- 4
- 50
- 41
- 20
- 10
- 9
- 8
- 8
- 8
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 98
- 59
- 18
- 12
- 11
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
98 résultats
Integer Parameter Synthesis for Timed Automata19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Mar 2013, Rome, Italy. pp.401-415
Communication dans un congrès
hal-00941007v1
|
|||
|
|
Robustness of Time Petri Nets under architectural constraintsFormal Modeling and Analysis of Timed Systems, Sep 2013, Warwik, United Kingdom. pp.11-26
Communication dans un congrès
hal-00879818v1
|
||
|
|
Parametric Statistical Model Checking of UAV Flight Plan39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Communication dans un congrès
hal-02313737v1
|
||
|
|
Integrated Model-checking for the Design of Safe and Efficient Distributed Software CommissioningIFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩
Communication dans un congrès
hal-02323641v1
|
||
|
|
Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata15th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2017, Berlin, Germany
Communication dans un congrès
hal-01699301v1
|
||
|
|
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time SystemsInternational Conference on Real-Time Networks and Systems (RTNS’20), Jun 2020, Paris, France
Communication dans un congrès
hal-02566657v1
|
||
|
|
A Turn-Based Approach for Qualitative Time Concurrent GamesPETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.76-92, ⟨10.1007/978-3-030-76983-3_5⟩
Communication dans un congrès
hal-03561748v1
|
||
|
|
Liveness in L/U-Parametric Timed Automatá17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Communication dans un congrès
hal-01724293v1
|
||
|
|
Timed ATL: Forget Memory, Just CountJournal of Artificial Intelligence Research, 2019, 66, pp.197-223. ⟨10.1613/jair.1.11612⟩
Article dans une revue
hal-03544030v1
|
||
|
|
Formal Verification of Real-time Systems with Preemptive SchedulingReal-Time Systems, 2009, 2 (41), pp.118-151. ⟨10.1007/s11241-008-9059-0⟩
Article dans une revue
hal-00453476v1
|
||
|
|
Model checking of Time Petri Nets using the State Class Timed AutomatonDiscrete Event Dynamic Systems, 2006, 16 (2), pp.179-205. ⟨10.1007/s10626-006-8133-9⟩
Article dans une revue
hal-00488957v1
|
||
Channel Synthesis for Finite TransducersAFL 2011 - 13th International Conference on Automata and Formal Languages, Aug 2011, Debrecen, Hungary. pp.79-92
Communication dans un congrès
hal-01223260v1
|
|||
|
|
Synthesis of Non-Interferent Timed SystemsProc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), Apr 2009, Budapest, Hungary, Hungary. pp.28-42
Communication dans un congrès
inria-00493636v1
|
||
|
|
Backward Symbolic Optimal Reachability in Weighted Timed Automata18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. pp.41-57, ⟨10.1007/978-3-030-57628-8_3⟩
Communication dans un congrès
hal-02939596v1
|
||
|
|
Integer Parameter Synthesis for Real-Time SystemsIEEE Transactions on Software Engineering, 2015, 41 (5), pp.445-461. ⟨10.1109/TSE.2014.2357445⟩
Article dans une revue
hal-02939617v1
|
||
|
|
Model checking paramétrique statistique du plan de vol de drone civilMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02432687v1
|
||
|
|
Decision Problems for Parametric Timed Automata18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Communication dans un congrès
hal-02538055v1
|
||
|
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Article dans une revue
hal-03544041v1
|
||
An efficient method for computing exact state space of Petri nets with stopwatchesthird International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77
Communication dans un congrès
hal-00523595v1
|
|||
Symbolic state space of Stopwatch {Petri} nets with discrete-time semanticsThe 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326
Communication dans un congrès
hal-00523612v1
|
|||
|
|
Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Article dans une revue
hal-00940970v1
|
||
|
|
Optimal-Cost Reachability Analysis Based on Time Petri Nets18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Communication dans un congrès
hal-01957173v1
|
||
|
|
Statistical model checking for parameterized models2019
Pré-publication, Document de travail
hal-02021064v1
|
||
|
|
A Lazy Query Scheme for Reachability Analysis in Petri NetsInternational Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.360-378, ⟨10.1007/978-3-030-76983-3_18⟩
Communication dans un congrès
hal-03561703v1
|
||
|
|
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted GraphsLanguage and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Communication dans un congrès
hal-03561972v1
|
||
|
|
When are Timed Automata weakly timed bisimilar to Time Petri Nets ?25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284
Communication dans un congrès
inria-00368578v1
|
||
Covert Channels with TransducersThe LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. pp.ONLINE
Communication dans un congrès
hal-01298270v1
|
|||
|
|
Language Preservation Problems in Parametric Timed AutomataLogical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
Article dans une revue
hal-02498022v1
|
||
|
|
Liveness in L/U-Parametric Timed Automata2016
Pré-publication, Document de travail
hal-01304232v1
|
||
|
|
Comparison of the Expressiveness of Timed Automata and Time Petri NetsFORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2005, Uppsala, Sweden. pp.211-225, ⟨10.1007/11603009_17⟩
Communication dans un congrès
inria-00368577v1
|