Towards Verified Faithful Simulation

Vania Joloboff; Jean-François Monin; Xiaomu Shi

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Towards Verified Faithful Simulation

Vania Joloboff ¹ Jean-François Monin ² Xiaomu Shi ³

1 TEA - Tim, Events and Architectures

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

2 UJF - Université Joseph Fourier - Grenoble 1

3 LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées

Vania Joloboff ¹ AuthorId : 1260501

Author Employer institution : Institut National de Recherche en Informatique et en Automatique

Jean-François Monin ² AuthorId : 1260502

Author

Xiaomu Shi ³ AuthorId : 975917

Author

1 TEA - Tim, Events and Architectures (Campus universitaire de Beaulieu 35042 RENNES Cedex - France) StructId : 241905

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

2 UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016

3 LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées (Institut d'Automatique - Académie des Sciences de Chine PO Box 2728 - Beijing 100080 R. P. Chine Tél. : (+ 86 10) 62 64 74 59 Fax : (+ 86 10) 62 64 74 58 - China) StructId : 25361

Cirad - Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Siège 42, rue Scheffer 75116 Paris - France) StructId : 11574
INRA - Institut National de la Recherche Agronomique (France) StructId : 92114
CAS - Chinese Academy of Sciences [Changchun Branch] (Dong Nanhu Road 3888 Changchun Jilin - China) StructId : 239582
Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
Institute of Automation - Chinese Academy of Sciences (No. 95 Zhongguancun East Road, Haidian District, Beijing 100190, China - China) StructId : 300168
CNRS - Centre National de la Recherche Scientifique (France) StructId : 441569

Document type :

Conference papers

Domain :

Computer Science [cs]

Complete list of metadata

https://hal.inria.fr/hal-01242963
Contributor : Jean-Pierre Talpin <>
Submitted on : Monday, December 14, 2015 - 1:21:10 PM
Last modification on : Friday, November 6, 2020 - 4:00:47 AM

Identifiers

HAL Id : hal-01242963, version 1

Collections

Citation

Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful Simulation. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2015, Nanjing, China. ⟨hal-01242963⟩

Towards Verified Faithful Simulation

Identifiers

Collections

Citation

Export

Metrics

445

Contact Legal Notice Personal Data

Towards Verified Faithful Simulation

Identifiers

Collections

Citation

Export

Share

Metrics

445

Contact Legal Notice Personal Data