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. |