Filtrer vos résultats
- 33
- 23
- 31
- 13
- 5
- 4
- 2
- 1
- 3
- 54
- 2
- 1
- 2
- 6
- 5
- 4
- 6
- 4
- 7
- 1
- 4
- 5
- 3
- 3
- 1
- 4
- 53
- 3
- 42
- 21
- 16
- 11
- 9
- 8
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 18
- 12
- 11
- 10
- 9
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
56 résultats
|
|
triés par
|
{Compositional Analysis of Discrete Time Petri nets}1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès
hal-01282489v1
|
|||
|
Non-interference in partial order modelsACM Transactions on Embedded Computing Systems (TECS), 2017, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 16 (2), pp.44:1-44:34. ⟨10.1145/2984639⟩
Article dans une revue
hal-01379451v1
|
||
|
Formal verification of Mobile Robot Protocols[Research Report] LIP6. 2013
Rapport
hal-00834061v1
|
||
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open ProblemsInternational Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue
hal-01238784v1
|
|||
|
Parameterized Synthesis for Fragments of First-Order Logic over Data Words23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), Apr 2020, Dublin, Ireland. pp.97-118, ⟨10.1007/978-3-030-45231-5_6⟩
Communication dans un congrès
hal-02490599v1
|
||
Preserving opacity on Interval Markov Chains under simulationWODES 2016 - 13th International Workshop on Discrete Event Systems , May 2016, Xi'an, China. pp.319-324, ⟨10.1109/WODES.2016.7497866⟩
Communication dans un congrès
hal-01347712v1
|
|||
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès
hal-01303699v1
|
||
|
The Complexity of Diagnosability and Opacity Verification for Petri NetsFundamenta Informaticae, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
Article dans une revue
hal-01852119v1
|
||
|
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
|
||
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue
hal-01344903v1
|
||
Petri nets with timeControl of Discrete-Event Systems, 433, Springer, pp.319-342, 2013, Lecture Notes in Control and Information Science
Chapitre d'ouvrage
hal-01254534v1
|
|||
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
|
|||
Model checking temporiséApproches formelles des systèmes embarqués communicants, Hermes/Lavoisier, pp.75-103, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1942-7
Chapitre d'ouvrage
hal-01299143v1
|
|||
|
Opacity for Linear Constraint Markov Chains[Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016
Rapport
hal-01384153v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
Rapport
hal-01725835v1
|
||
|
Polynomial Interrupt Timed AutomataThe 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Communication dans un congrès
hal-01222572v1
|
||
|
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
|
||
|
Non-interference in partial order modelsACSD'15 - 15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. pp.80-89, ⟨10.1109/ACSD.2015.11⟩
Communication dans un congrès
hal-01138787v1
|
||
|
Opacity for linear constraint Markov chainsDiscrete Event Dynamic Systems, 2018, 28 (1), pp.83-108. ⟨10.1007/s10626-017-0259-4⟩
Article dans une revue
hal-02077787v1
|
||
|
Comparison of Different Semantics for Time Petri Nets3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. pp.293--307
Communication dans un congrès
inria-00368580v1
|
||
|
Comparison of Expressiveness for Timed Automata and Time Petri Nets2006
Pré-publication, Document de travail
hal-00115535v1
|
||
An Introduction to Timed AutomataControl of Discrete-Event Systems, 433, Springer, pp.169-187, 2013, Lecture Notes in Control and Information Science, ⟨10.1007/978-1-4471-4276-8_9⟩
Chapitre d'ouvrage
istex
hal-01282430v1
|
|||
|
Hyper Partial Order LogicFSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.20:1--20:21, ⟨10.4230/LIPIcs.FSTTCS.2018.20⟩
Communication dans un congrès
hal-01884390v1
|
||
|
Synthesis in Presence of Dynamic LinksGandALF'20 - 11th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2020, Brussels (online), Belgium
Communication dans un congrès
hal-02917542v1
|
||
Channel Synthesis for Finite TransducersInternational Journal of Foundations of Computer Science, 2012, 23 (6), pp.1241--1260
Article dans une revue
hal-01161869v1
|
|||
The Expressive Power of Time Petri NetsTheoretical Computer Science, 2013, 474, pp.1-20
Article dans une revue
hal-00925765v1
|
|||
|
When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?Theoretical Computer Science, 2008, 403 (2--3), pp.202--220
Article dans une revue
inria-00363024v1
|
||
|
Interrupt Timed Automata with Auxiliary Clocks and ParametersFundamenta Informaticae, 2016, 143 (3-4), pp.235-259. ⟨10.3233/FI-2016-1313⟩
Article dans une revue
hal-01300505v1
|
||
|
The Complexity of Diagnosability and Opacity Verification for Petri NetsPetri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩
Communication dans un congrès
hal-01484476v2
|
||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Communication dans un congrès
hal-01578297v1
|
- 1
- 2