Filter your results
- 3
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
A Categorical Theory of PatchesMFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩
Conference papers
hal-00904156v1
|
||
Disciplined structured communications with consistent runtime adaptationSAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1913-1918, ⟨10.1145/2480362.2480716⟩
Conference papers
cea-01836268v1
|
|||
Adaptable ProcessesLogical Methods in Computer Science, 2012, 8 (4:13), pp.1--71
Journal articles
hal-00909365v1
|
|||
Towards the Verification of Adaptable ProcessesLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, 2012, Heraklion, Crète, Greece. pp.269--283, ⟨10.1007/978-3-642-34026-0_20⟩
Conference papers
hal-00909368v1
|