Filter your results
- 6
- 2
- 8
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 7
- 7
- 7
- 2
- 7
- 7
- 7
- 7
- 7
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 4
- 4
- 1
- 2
- 1
- 4
|
|
sorted by
|
The Grand Challenge in Metamorphic AnalysisICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. pp.439-444, ⟨10.1007/978-3-642-29166-1_42⟩
Conference papers
hal-00909386v1
|
|||
|
Dynamic Choreographies: Theory And ImplementationLogical Methods in Computer Science, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
Journal articles
hal-01631394v1
|
||
|
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed ApplicationsSLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, ⟨10.1007/978-3-319-11245-9_9⟩
Conference papers
hal-01089187v1
|
||
Service integration via target-transparent mediationSOCA - 5th conference on service-oriented computing and applications - 2012, 2012, Taipei, Taiwan. pp.1 - 5, ⟨10.1109/SOCA.2012.6449432⟩
Conference papers
hal-00909380v1
|
|||
|
Developing correct, distributed, adaptive softwareScience of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩
Journal articles
hal-01227610v1
|
||
Twisting Additivity in Program ObfuscationInformation Systems, Technology and Management - 6th International Conference, ICISTM, 2012, Unknown, pp.336-347
Conference papers
hal-00909387v1
|
|||
Interface-Based Service Composition with AggregationFirst European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, 2012, Bertinoro, Italy. pp.48--63, ⟨10.1007/978-3-642-33427-6_4⟩
Conference papers
hal-00909379v1
|
|||
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|