Skip to Main content Skip to Navigation
New interface


...
tel-01746287v1  Theses
Neeraj Kumar Singh. Reliability and Safety of Critical Device Software Systems
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10129⟩
...
tel-00947636v1  Theses
Jean Quilbeuf. Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework.
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
...
tel-00379410v1  Theses
Cédric Milleret. Convertisseurs d'électronique de puissance et systèmes numériques en aéronautique : application au radar météo
Sciences de l'ingénieur [physics]. Université Joseph-Fourier - Grenoble I, 2009. Français
...
tel-01069671v1  Theses
Lilia Sfaxi. Construction de systèmes répartis sécurisés à base de composants
Ingénierie assistée par ordinateur. Université de Grenoble; Faculté des Sciences de Tunis, 2012. Français
...
tel-02969497v1  Theses
Florian Lemaitre. Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb
Algorithme et structure de données [cs.DS]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS221⟩
...
tel-00968607v1  Theses
Pierre-Nicolas Tollitte. Extraction de code fonctionnel certifié à partir de spécifications inductives
Informatique et langage [cs.CL]. Conservatoire national des arts et metiers - CNAM, 2013. Français. ⟨NNT : 2013CNAM0895⟩
...
tel-00919684v1  Theses
Rouwaida Abdallah. Implementability of distributed systems described with scenarios
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0027⟩
...
tel-00308471v1  Theses
Miguel Santana. Un système de production automatique de générateur de code
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1983. Français
...
tel-00787230v1  Habilitation à diriger des recherches
Yves A. Papegay. De la modélisation littérale à la simulation numérique certifiée
Modélisation et simulation. Université Nice Sophia Antipolis, 2012
...
tel-00484788v2  Theses
Sebastien Pavel. A Hierarchical Component Model with Interaction Protocols
Software Engineering [cs.SE]. Université de Nantes, 2008. English
...
tel-03273235v1  Theses
Imad Berrouyne. A model-driven methodology to unify software engineering in the internet of things
Modeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique; Université du Québec à Chicoutimi, 2021. English. ⟨NNT : 2021IMTA0233⟩
...
tel-01831194v1  Theses
Nelson Lossing. Compilation pour machines à mémoire répartie : une approche multipasse
Génie logiciel [cs.SE]. Université Paris sciences et lettres, 2017. Français. ⟨NNT : 2017PSLEM005⟩