Search - Archive ouverte HAL Access content directly

Filter your results

214 Results
Deposit type : Fulltext
Image document

A framework for the definition of a system model MoC-based semantics in the context of tool integration

Papa Issa Diallo
Embedded Systems. Université de Bretagne occidentale - Brest, 2014. English. ⟨NNT : 2014BRES0067⟩
Theses tel-03258224v1
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale et al.
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Conference papers hal-01087442v1
Image document

Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , Ciprian Teodorov et al.
[Research Report] RR-8584, INRIA. 2014, pp.23
Reports hal-01060601v2
Image document

Trust in MDE Components: the DOMINO Experiment

Benoit Baudry , Pierre Bazex , Jean-Charles Dalbin , Philippe Dhaussy , Hubert Dubois et al.
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
Conference papers inria-00555044v1