Filtrer vos résultats
- 59
- 8
- 30
- 24
- 8
- 2
- 1
- 1
- 1
- 20
- 67
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 5
- 8
- 7
- 4
- 3
- 3
- 2
- 1
- 4
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 59
- 8
- 65
- 58
- 6
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 67
- 29
- 14
- 9
- 5
- 5
- 5
- 4
- 4
- 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
67 résultats
|
|
Timed-pNets: A Communication Behavioural Semantic Model for Distributed Systems (extended version)[Research Report] RR-8526, INRIA. 2014, pp.35
Rapport
hal-00988010v1
|
||
|
|
Timed-pNets: a communication behavioural semantic model for distributed systemsFrontiers of Computer Science, 2014, 8, pp.24. ⟨10.1007/s11704-014-4096-4⟩
Article dans une revue
hal-01086091v1
|
||
|
|
Specification, Model Generation, and Verification of Distributed ApplicationsNetworking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2011
HDR
tel-00625248v1
|
||
|
|
Timed-pNets: A formal communication behavior model for real-time CPS systemTrustworthy Cyber-Physical Systems, Sep 2012, Newcastle, United Kingdom
Communication dans un congrès
hal-00725328v1
|
||
Verifying Safety of Fault-Tolerant Distributed ComponentsFormal Aspects of Component Software - 8th International Symposium, FACS 2011, Sep 2011, Oslo, Norway. pp.278--295, ⟨10.1007/978-3-642-35743-5_17⟩
Communication dans un congrès
hal-02989105v1
|
|||
|
|
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version[Research Report] RR-7717, INRIA. 2011, pp.31
Rapport
inria-00621264v1
|
||
|
|
Parameterized Models for Distributed Java ObjectsForte'04 conference, Sep 2004, Madrid
Communication dans un congrès
inria-00087222v1
|
||
|
|
Preuve de propriétés de comportement deprogrammes ProActiveRR-4460, INRIA. 2002
Rapport
inria-00072128v1
|
||
|
|
Transparent First-class Futures and Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain
Communication dans un congrès
inria-00311515v1
|
||
|
|
pNets: an Expressive Model for Parameterised Networks of ProcessesFormal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP), 2015, Turku, Finland
Communication dans un congrès
hal-01139432v1
|
||
|
|
Integrated environment for verifying and running distributed components -Extended version[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
Rapport
hal-01252323v1
|
||
|
|
Livrable D1.2.2 - Modèle avancé QoS-aware[Research Report] Conservatoire national des arts et métiers - CNAM. 2015
Rapport
hal-02470650v1
|
||
|
|
Verifying the correct composition of distributed components: Formalisation and ToolFOCLASA, Sep 2014, Rome, Italy
Communication dans un congrès
hal-01055370v1
|
||
|
|
Unifying Architectural and Behavioural Specifications of Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain
Communication dans un congrès
inria-00311516v1
|
||
|
|
Behavioural Models for Hierarchical ComponentsSPIN'05, 2005, San Francisco, USA
Communication dans un congrès
inria-00122933v1
|
||
|
|
A Denotational Semantics for Parameterised Networks of Synchronised AutomataThe 6th International Symposium on Unifying Theories of Programming, Universite de reykjavik, Jun 2016, Reykjavik, Iceland. pp.20
Communication dans un congrès
hal-01417662v1
|
||
|
|
Ordonnancement contrôlé de migrations à chaudCompas'15, Jul 2015, Lille, France. ⟨10.13140/RG.2.1.5100.2649⟩
Communication dans un congrès
hal-01271676v1
|
||
|
|
Investigation on Time Properties of Timed-pNetsNational Software Application Conference, Nov 2014, Guilin, China
Communication dans un congrès
hal-01097783v1
|
||
|
|
Integrated Environment for Verifying and Running Distributed ComponentsFundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩
Communication dans un congrès
hal-01303557v1
|
||
|
|
Une traduction de PLOTOS en MEIJE[Rapport de recherche] RR-0938, INRIA. 1988
Rapport
inria-00075620v1
|
||
|
|
Behavioural semantics for asynchronous componentsJournal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Article dans une revue
hal-01526055v1
|
||
|
|
Behavioural Models for Hierarchical Components[Research Report] RR-5591, INRIA. 2006, pp.33
Rapport
inria-00070416v1
|
||
|
|
Bringing Coq Into the World of GCM Distributed ApplicationsInternational Symposium on High-level Parallel Programming and Applications&, HLPP, Jul 2013, Paris, France
Communication dans un congrès
hal-00880533v1
|
||
|
|
Fractal à la CoqConférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
Communication dans un congrès
hal-00725291v2
|
||
|
|
Using SMT engine to generate Symbolic Automata -Extended version[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Rapport
hal-01823507v1
|
||
|
|
Towards a bisimulation theory for open synchronized networks of automataScience in China Series F: Information Sciences, 2016, Special Focus on Advanced Technology of Software, 59 (5), pp.3. ⟨10.1007/s11432-016-5557-1⟩
Article dans une revue
hal-01417652v1
|
||
|
|
Planning Live-Migrations to Prepare Servers for MaintenanceEuro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.498 - 507, ⟨10.1007/978-3-319-14313-2_42⟩
Communication dans un congrès
hal-01096040v1
|
||
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Communication dans un congrès
hal-01168757v2
|
||
|
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Communication dans un congrès
hal-02143782v1
|
||
|
|
Symbolic Bisimulation for Open and Parameterized Systems - Extended version[Research Report] RR-9304, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; East China Normal University (Shanghai). 2019, pp.47
Rapport
hal-02376147v2
|