Combemale, Benoît
Combemale, Benoît 1981-...
VIAF ID: 211320409 (Personal)
Permalink: http://viaf.org/viaf/211320409
Preferred Forms
-
200 _ | ‡a Combemale ‡b Benoît
-
-
-
100 1 _ ‡a Combemale, Benoit
-
-
100 1 _ ‡a Combemale, Benoît
-
100 1 _ ‡a Combemale, Benoît, ‡d 1981-....
-
-
100 1 _ ‡a Combemale, Benoît ‡d 1981-...
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Agir sur la fiabilité et la flexibilité des logiciels scientifiques en sciences de l’environnement : vers une approche systématique d’aide à la prise de décision. |
![]() |
Challenges in the collaborative evolution of a proof language and its ecosystem |
![]() |
Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques |
![]() |
Contributions sur les techniques de computation approximée et comment les mesurer. |
![]() |
Défis dans l'évolution collaborative d'un langage de preuve et de son écosystème. |
![]() |
DEPOSIT : an approach to model and deploy data collection policies on heterogeneous and shared sensor networks. |
![]() |
DEPOSIT : une approche pour exprimer et déployer des politiques de collecte sur des infrastructures de capteurs hétérogènes et partagées |
![]() |
EMI - An approach to unify analysis and embedded execution with a controllable model interpreter. |
![]() |
EMI - Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués |
![]() |
Engineering modeling languages : turning domain knowledge into tools |
![]() ![]() ![]() |
Un environnement formel pour la sémantique des systèmes hétérogènes. |
![]() |
Environnements de développement programmables : réification des protocoles de langage en objets de première classe. |
![]() |
A formal framework for heterogeneous systems semantics |
![]() |
Globalizing domain-specific languages : International Dagstuhl seminar, Dagstuhl Castle, Germany, October 5-10, 2014, revised papers |
![]() ![]() |
IDE as Code : reifying language protocols as first-class citizens |
![]() |
Ingénierie dirigée par les modèles : des concepts à la pratique |
![]() ![]() ![]() |
Leveraging software product lines engineering in the construction of domain specific languages |
![]() |
Metamodeling approach for model simulation and verification. Application to process engineering. |
![]() |
On modularity and performances of external domain-specific language implementations |
![]() |
On reliability and flexibility of scientific software in environmental science : towards a systematic approach to support decision-making |
![]() |
Reuse of legacy code for DSML tools in the context of MPSoC. |
![]() |
Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC |
![]() |
Software language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : Proceedings |
![]() ![]() ![]() |
Static analyses and model checking of mixed data-flow/control-flow models for critical systems. |
![]() |
Support for the validation and verification of critical systems : ontologies and integration of components. |
![]() |
Usage de l'ingénierie de lignes de produits pour la construction de langages dédiés. |
![]() |
Vers un environnement de développement intégré flexible. |
![]() |