Filtrer vos résultats
- 59
- 37
- 56
- 14
- 14
- 6
- 5
- 1
- 14
- 95
- 3
- 1
- 1
- 7
- 4
- 9
- 4
- 1
- 4
- 9
- 6
- 8
- 4
- 14
- 4
- 6
- 5
- 2
- 1
- 4
- 3
- 1
- 92
- 4
- 96
- 40
- 39
- 25
- 19
- 17
- 12
- 9
- 8
- 7
- 6
- 6
- 6
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 18
- 17
- 15
- 15
- 14
- 11
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
96 résultats
|
|
Use of A Network Enabled Server System for a Sparse Linear Algebra Grid Application[Research Report] RR-5595, LIP RR-2005-30, INRIA, LIP. 2005, pp.23
Rapport
inria-00070412v1
|
||
From AADL to timed abstract state machine: a certified model transformationJournal of Systems and Software, 2014, Journal of Systems and Software, pp.20
Article dans une revue
hal-01095002v1
|
|||
|
|
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Communication dans un congrès
hal-03740259v1
|
||
|
|
Vérification automatique de propriétés d'ordonnanceurs BossaAFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109
Communication dans un congrès
hal-00457181v1
|
||
|
|
Coq Community Survey 2022: Summary of ResultsDocument associé à des manifestations scientifiques hal-03914602v1 |
||
|
|
Correct-by-construction model composition: Application to the Invasive Software Composition methodInternational Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès
hal-03252267v1
|
||
|
|
A Design Pattern for Executable DSML[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
Rapport
inria-00540648v3
|
||
|
|
Modal event-clock specifications for timed component-based designScience of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Article dans une revue
hal-00752449v1
|
||
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767v1
|
||
|
|
Bug ou ban ? Une Perspective Topologique sur le Shadow BanningALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Communication dans un congrès
hal-02875595v1
|
||
Causality Analysis in Contract ViolationRuntime Verification, Nov 2010, St Julians, Malta. pp.270-284
Communication dans un congrès
inria-00548815v1
|
|||
|
|
Comparator: A Tool for Quantifying Behavioural CompatibilityFASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.306-309, ⟨10.1007/978-3-642-54804-8_21⟩
Communication dans un congrès
hal-00934057v1
|
||
|
|
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8
Communication dans un congrès
inria-00262442v1
|
||
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès
hal-01258358v1
|
||
Formal Simulation and Verification of Solidity contracts in Event-B45th IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2021), IEEE, Jul 2021, Madrid, Spain. pp.1309-1314, ⟨10.1109/COMPSAC51774.2021.00183⟩
Communication dans un congrès
hal-03411229v1
|
|||
|
|
From AADL to Timed Abstract State Machines: A Verified Model TransformationJournal of Systems and Software, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩
Article dans une revue
hal-01123837v1
|
||
|
|
Synoptic: a DSML for On-Board Real-Time Software Design5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
Communication dans un congrès
hal-02267722v1
|
||
Handling Heterogeneity in Formal Developments of Hardware and Software SystemsISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Tiziana Margaria and Bernhard Steffen, Oct 2012, Amirandes, Heraklion, Greece. pp.327-328, ⟨10.1007/978-3-642-34032-1_33⟩
Communication dans un congrès
hal-00743810v1
|
|||
|
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Communication dans un congrès
hal-01097624v1
|
||
An Overview of the GRID-TLSE ProjectVECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
Communication dans un congrès
hal-00688814v1
|
|||
|
|
Formal Ontology Driven Model Refactoring2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Communication dans un congrès
hal-02353400v1
|
||
|
|
System-level Co-simulation of Integrated Avionics Using PolychronyACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
Communication dans un congrès
inria-00536907v1
|
||
Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)2016
Ouvrages
hal-01937245v1
|
|||
|
|
Mixed Nondeterministic-Probabilistic AutomataDiscrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
Article dans une revue
hal-04276789v1
|
||
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Communication dans un congrès
hal-03857803v2
|
||
|
|
Contracts for System Design[Research Report] RR-8147, INRIA. 2012, pp.65
Rapport
hal-00757488v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
Modal Contracts for Component-based DesignSEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303
Communication dans un congrès
hal-00665205v1
|
|||
|
|
Ensuring Correctness of Model Transformations While Remaining DecidableTheoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Communication dans un congrès
hal-01403585v1
|
||
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUIDJournal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Article dans une revue
hal-03617603v1
|