Search

Your search keyword '"Boutin, Samuel"' showing total 7 results
Start Over Author "Boutin, Samuel" Publisher hal ccsd
7 results on '"Boutin, Samuel"'

1. Robust micro-magnet geometries for Majorana modes in low g-factor materials

Author

Turcotte, Sara, Boutin, Samuel, Lemyre, Julien Camirand, Garate, Ion, Pioro-Ladriere, Michel, Université de Sherbrooke (UdeS), Laboratoire Nanotechnologies Nanosystèmes (LN2 ), Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), and Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Sherbrooke (UdeS)-École supérieure de Chimie Physique Electronique de Lyon (CPE)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[SPI]Engineering Sciences [physics], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2019

2. Handling scenario complexity in model-based design

Author

Aboutaleb, Hycham, Boutin, Samuel, Monsuez, Bruno, Aboutaleb, Hycham, Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), and École Nationale Supérieure de Techniques Avancées (ENSTA Paris)

Subjects
[INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2012

4. System architecture, tools and modelling for safety critical automotive applications - the R&D project SASHA

Author

Langheim, J., Guegan, Bruno, Maillet-Contoz, Laurent, Maaziz, Kamel, Zeppa, Gilles, Phillipot, Frank, Boutin, Samuel, Aboutaleb, I., David, Pierre, STMicroelectronics, STMicroelectronics [Crolles] (ST-CROLLES), Heuristique et Diagnostic des Systèmes Complexes [Compiègne] (Heudiasyc), Université de Technologie de Compiègne (UTC)-Centre National de la Recherche Scientifique (CNRS), SASHA, and David, Pierre

Subjects
[SPI.OTHER]Engineering Sciences [physics]/Other, [SPI.OTHER] Engineering Sciences [physics]/Other, ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2010

5. Rapport intermédiaire - contrat AEE

Author

Simonot-Lion, Françoise, Migge, Jörn, Boucheron, Jean-Louis, Lemaire, Philippe, Boutin, Samuel, Mondher, Attia, Palmieri, Patrick, Trinquet, Yvon, Gautier, Thierry, Elloy, Jean-Pierre, Gasnier, Franck, Real time and interoperability (TRIO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

Subjects
architecture électronique embarquée, sûreté de fonctionnement, réutilisation, safety working, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], reusability, distributed applications, conception, electronic embedded system, applications distribuées
Abstract

Rapport interne.; L'objectif du langage AIL est de décrire une architecture véhicule depuis les prestations demandées jusqu'à l'implémentation, concrétisée par une ou plusieurs architectures opérationnelles résultantes. Ce document présente la spécification des classes d'objets ainsi que leurs relations pour la conception des architectures électroniques embarquées dans un véhicule automobile. La manipulation des objets est faite à l'aide du langage AIL (Architecture Implementation Language).

Published
1999

6. The Coq Proof Assistant Reference Manual : Version 6.1

Author

Barras, Bruno, Boutin, Samuel, Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Giménez, Eduardo, Herbelin, Hugo, Huet, Gérard, Muñoz, César, Murthy, Chetan, Parent, Catherine, Paulin-Mohring, Christine, Saïbi, Amokrane, Werner, Benjamin, Formal Specifications and Program Validation (COQ), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and INRIA

Subjects
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], COQ, CALCULUS OF INDUCTIVES CONSTRUCTIONS, PROOF ASSISTANT, FORMAL PROOFS
Abstract

Projet COQ; Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1

Published
1997

7. Proving Correctness of the Translation from Mini-ML to the CAM with the Coq Proof Development System

Author

Boutin, Samuel, Formal Specifications and Program Validation (COQ), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and INRIA

Subjects
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract

Projet COQ; In this report we show how we proved correctness of the translation from a small applicative language with recursive definitions (Mini-ML) to the Categorical abstract machine (CAM) using the Coq system. Our aim was to mechanize the proof of J. Despeyroux \cite{Des}. Like her, we use natural semantics to axiomatise the semantics of our languages. We have only partially mecanised the proof. The semantics of the source and target languages use rational trees in their definition and at this stage the Coq system is inefficient in axiomatising such structures. We propose a presentation of the correctness proof to isolate this difficulty.

Published
1995

Catalog

Books, media, physical & digital resources
See catalog results