Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
2
Runtime Monitoring for Executable DSLs
Dorian Leroy
,
Pierre Jeanjean
,
Erwan Bousse
,
Manuel Wimmer
,
Benoit Combemale
PDF
Cite
DOI
The Software Language Extension Problem
Manuel Leduc
,
Thomas Degueule
,
Eric Van Wyk
,
Benoit Combemale
PDF
Cite
DOI
Toward model-driven sustainability evaluation
Jörg Kienzle
,
Gunter Mussbacher
,
Benoit Combemale
,
Lucy Bastin
,
Nelly Bencomo
,
Jean-Michel Bruel
,
Christoph Becker
,
Stefanie Betz
,
Ruzanna Chitchyan
,
Betty H. C. Cheng
,
Sonja Klingert
,
Richard F. Paige
,
Birgit Penzenstadler
,
Norbert Seyff
,
Eugene Syriani
,
Colin C. Venters
PDF
Cite
DOI
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
Alexandr Naumchev
,
Bertrand Meyer
,
Manuel Mazzara
,
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
PDF
Cite
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
Alexandr Naumchev
,
Bertrand Meyer
,
Manuel Mazzara
,
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
PDF
Cite
DOI
A Unifying Framework for Homogeneous Model Composition
Jörg Kienzle
,
Gunter Mussbacher
,
Benoit Combemale
,
Julien Deantoni
PDF
Cite
DOI
Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges
Benoît Lelandais
,
Marie-Pierre Oudot
,
Benoit Combemale
PDF
Cite
DOI
MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data
Samir Sellami
,
Taoufiq Dkaki
,
Nacer Eddine Zarour
,
Pierre-Jean Charrel
PDF
Cite
DOI
The JOT Journal: Towards a Rising Generation
Alfonso Pierantonio
,
Mark Van Den Brand
,
Benoit Combemale
PDF
Cite
DOI
Using semantic perimeters with ontologies to evaluate the semantic similarity of scientific papers
Samia Iltache
,
Catherine Comparot
,
Malik Si-Mohammed
,
Pierre-Jean Charrel
PDF
Cite
DOI
«
»
Cite
×