Filtrer vos résultats
- 16
- 10
- 14
- 8
- 2
- 2
- 2
- 26
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 3
- 2
- 1
- 3
- 2
- 2
- 1
- 25
- 1
- 14
- 9
- 6
- 5
- 5
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 26
- 9
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 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
26 résultats
|
|
|
triés par
|
|
|
Real-time Synthesis is Hard!14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), Aug 2016, Québec City, Canada. pp.105-120, ⟨10.1007/978-3-319-44878-7_7⟩
Communication dans un congrès
hal-01344684v1
|
||
|
|
Concurrent Games on VASS with Inhibition23rd International Conference on Concurrency Theory (CONCUR'12), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.39-52, ⟨10.1007/978-3-642-32940-1_5⟩
Communication dans un congrès
hal-00776589v1
|
||
|
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in System Design, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩
Article dans une revue
hal-02290400v1
|
||
|
|
Probabilistic Opacity for Markov Decision ProcessesInformation Processing Letters, 2015, 115 (1), pp.52-59. ⟨10.1016/j.ipl.2014.09.001⟩
Article dans une revue
hal-01176435v1
|
||
|
|
Distributed synthesis for well-connected architecturesFSTTCS06, 2006, Kolkata, India. pp.321-332, ⟨10.1007/11944836_30⟩
Communication dans un congrès
hal-00306316v1
|
||
Fair Synthesis of Asynchronous Distributed SystemsSoftware Synthesis (Dagstuhl Seminar 12152), 2012, Dagstuhl, Germany. pp.33, ⟨10.4230/DagRep.2.4.21⟩
Communication dans un congrès
hal-01273263v1
|
|||
|
|
Distributed synthesis for well-connected architecturesFormal Methods in System Design, 2009, 34 (3), pp.215-237. ⟨10.1007/s10703-008-0064-7⟩
Article dans une revue
hal-00408878v1
|
||
On regions and zones for event-clock automataFormal Methods in System Design, 2014, 45 (3), pp.330-380. ⟨10.1007/s10703-014-0212-1⟩
Article dans une revue
hal-01176434v1
|
|||
|
|
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneauALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01154517v1
|
||
|
|
Synthesis in presence of dynamic linksInformation and Computation, 2022, 289 (Part B), pp.104856. ⟨10.1016/j.ic.2021.104856⟩
Article dans une revue
hal-03518879v1
|
||
|
|
Decidability of well-connectedness for distributed synthesisInformation Processing Letters, 2012, 112 (24), pp.963-968. ⟨10.1016/j.ipl.2012.08.018⟩
Article dans une revue
hal-01176415v1
|
||
|
|
On the Synthesis of Mobile Robots Algorithms: the Case of Ring GatheringSSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Communication dans un congrès
hal-01016832v2
|
||
|
|
Event Clock Automata : From Theory to PracticeFORMATS 2011 - 9th International Conference on Formal Modelling and Analysis of Timed Systems, Sep 2011, Aalborg, Denmark. pp.209-224, ⟨10.1007/978-3-642-24310-3_15⟩
Communication dans un congrès
hal-01223301v1
|
||
Fair Synthesis for Asynchronous Distributed SystemsACM Transactions on Computational Logic, 2013, 14 (2), pp.9. ⟨10.1145/2480759.2480761⟩
Article dans une revue
hal-00925735v1
|
|||
|
|
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
|
||
|
|
On the encoding and solving partial information games[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
Rapport
hal-01790508v1
|
||
Distributed ControlModels and Analysis in Distributed Systems, Wiley, pp.307-351, 2011, 9781848213142
Chapitre d'ouvrage
hal-01288080v1
|
|||
|
|
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
|
||
|
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Communication dans un congrès
hal-01664894v1
|
||
[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
|
|||
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous34th International Conference on Concurrency Theory, CONCUR 2023, Sep 2023, Antwerp, Belgium. pp.7:1-7:17, ⟨10.4230/LIPICS.CONCUR.2023.7⟩
Communication dans un congrès
hal-04286027v1
|
|||
On the Encoding and Solving of Partial Information Games8th International Conference on Networked Systems - NETYS 2020, Jun 2020, Marrakech, Morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩
Communication dans un congrès
hal-02979574v1
|
|||
Formal Methods for Mobile RobotsPaola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Chapitre d'ouvrage
hal-01981634v1
|
|||
|
|
Round-Bounded Control of Parameterized Systems16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Oct 2018, Los Angeles, California, United States. pp.370-386, ⟨10.1007/978-3-030-01090-4_22⟩
Communication dans un congrès
hal-01849206v1
|
||
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous SystemsProceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Mlýn, Czech Republic. pp.141-152, ⟨10.1007/978-3-540-95891-8_16⟩
Communication dans un congrès
istex
hal-00772667v1
|
|||
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017
Rapport
hal-01540339v1
|