Filtrer vos résultats
- 18
- 6
- 1
- 18
- 2
- 2
- 1
- 1
- 1
- 1
- 25
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 22
- 3
- 22
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 11
- 6
- 5
- 5
- 3
- 3
- 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
25 résultats
|
|
triés par
|
|
Monitoring Distributed Systems Using Knowledge13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.183-197, ⟨10.1007/978-3-642-21461-5_12⟩
Communication dans un congrès
hal-01583313v1
|
||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-9039, 2015, Lecture Notes in Computer Science, 978-3-319-19194-2. ⟨10.1007/978-3-319-19195-9⟩
Ouvrages
hal-01767330v1
|
||
|
SDL for Real-Time: What Is Missing?2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, Jun 2000, Grenoble, France. pp.108-122
Communication dans un congrès
hal-00374117v1
|
||
Qualification d'architectures fonctionnelles: Démarche et formalismes pour la spécification et la qualification d'architectures fonctionnelles répartiesNOTERE'2006 : 6ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Jun 2006, Toulouse, France
Communication dans un congrès
hal-00375706v1
|
|||
|
IF: An intermediate Representation and Validation Environment for Timed Asynchronous SystemsFM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. pp.307-327, ⟨10.1007/3-540-48119-2⟩
Communication dans un congrès
hal-00369430v1
|
||
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Communication dans un congrès
inria-00381639v1
|
||
|
Building Correct Cyber-Physical Systems: Why we need a Multiview Contract TheoryFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩
Communication dans un congrès
hal-01891146v1
|
||
|
RTLib: A Library of Timed Automata for Modeling Real-Time Systems[Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
Rapport
hal-01393888v1
|
||
|
Formal Model Driven Engineering for Space Onboard SoftwareEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02263443v1
|
||
|
Methods for Knowledge Based Controlling of Distributed SystemsAutomated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Sep 2010, Singapour, Singapore. pp.52-66, ⟨10.1007/978-3-642-15643-4_6⟩
Communication dans un congrès
hal-00557799v1
|
||
|
A Framework for Evaluating Schedulability Analysis ToolsModels, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark
Communication dans un congrès
hal-01674731v1
|
||
|
Logique du temps arborescent pour la spécification et la preuve de programmesGénie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1984. Français. ⟨NNT : ⟩
Thèse
tel-00011545v1
|
||
Knowledge-based construction of distributed constrained systemsSoftware and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩
Article dans une revue
hal-01257059v1
|
|||
|
Automated validation of distributed software using the IF environmentIEEE International Symposium on Network Computing and Applications (NCA 2001), Oct 2001, Cambridge, MA, United States. pp.268-275
Communication dans un congrès
hal-00374652v1
|
||
|
Automated validation of distributed software using the IF environmentWorkshop on Software Model Checking (in connection with CAV '01), Jul 2001, Paris, France. pp.370-381
Communication dans un congrès
hal-00369349v1
|
||
|
IF: An Intermediate Representation for SDL and its ApplicationsSDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440
Communication dans un congrès
hal-00374129v1
|
||
|
Time in State MachinesFundamenta Informaticae, 2007, 77 (1-2), pp.143 - 174
Article dans une revue
hal-00232812v1
|
||
|
Timed Extensions for SDLSDL 2001: Meeting UML, 10th International SDL Forum, Jun 2001, Copenhagen, Denmark. pp.223-240
Communication dans un congrès
hal-00374648v1
|
||
Construction of Abstract State Graphs with PVSComputer Aided Verification, Jun 1997, Haifa, Israel. pp.72--83
Communication dans un congrès
hal-01974178v1
|
|||
Model Based Architecting and Construction of Embedded Systems, ACES-MB Workshop ProceedingsOuvrages hal-02943067v1 |
|||
|
Tools and Applications II: The IF ToolsetInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sep 2004, Bertinoro, Italy. pp.237-267, ⟨10.1007/b110123⟩
Communication dans un congrès
hal-00361307v1
|
||
Introduction to ACESMB 2015- Model-based architecting of cyber-physical and embedded systems8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015, Sep 2015, Ottawa, Canada. pp.1-2
Communication dans un congrès
cea-01844050v1
|
|||
|
IF: A Validation Environment for Timed Asynchronous SystemsComputer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. pp.543-547, ⟨10.1007/10722167⟩
Communication dans un congrès
hal-00369415v1
|
||
|
IF-2.0: A Validation Environment for Component-Based Real-Time SystemsComputer Aided Verification (CAV), Jul 2002, Copenhagen, Denmark. pp.343-348
Communication dans un congrès
hal-00357518v1
|
||
ValidationD. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
Chapitre d'ouvrage
hal-01982593v1
|