Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

8 Results
authFullName_s : Mila Dalla Preda

The Grand Challenge in Metamorphic Analysis

Mila Dalla Preda
ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. pp.439-444, ⟨10.1007/978-3-642-29166-1_42⟩
Conference papers hal-00909386v1
Image document

Dynamic Choreographies: Theory And Implementation

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
Logical Methods in Computer Science, 2017, 13, pp.1 - 57. ⟨10.23638/LMCS-13(2:1)2017⟩
Journal articles hal-01631394v1
Image document

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Mila Dalla Preda , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro , Maurizio Gabbrielli et al.
SLE 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 mediation

Mila Dalla Preda , Maurizio Gabbrielli , Claudio Guidi , Jacopo Mauro , Fabrizio Montesi et al.
SOCA - 5th conference on service-oriented computing and applications - 2012, 2012, Taipei, Taiwan. pp.1 - 5, ⟨10.1109/SOCA.2012.6449432⟩
Conference papers hal-00909380v1
Image document

Developing correct, distributed, adaptive software

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
Science of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩
Journal articles hal-01227610v1

Twisting Additivity in Program Obfuscation

Mila Dalla Preda , Wu Feng , Roberto Giacobazzi , Richard Greechie , Arun Lakhotia et al.
Information Systems, Technology and Management - 6th International Conference, ICISTM, 2012, Unknown, pp.336-347
Conference papers hal-00909387v1

Interface-Based Service Composition with Aggregation

Mila Dalla Preda , Maurizio Gabbrielli , Claudio Guidi , Jacopo Mauro , Fabrizio Montesi et al.
First 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
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro et al.
17th 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