Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

4 Results
authIdHal_s : cinziadigiusto
Image document

A Categorical Theory of Patches

Samuel Mimram , Cinzia Di Giusto
MFPS - 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 adaptation

C. Di Giusto , J.A. Pérez
SAC '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 Processes

Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
Logical Methods in Computer Science, 2012, 8 (4:13), pp.1--71
Journal articles hal-00909365v1

Towards the Verification of Adaptable Processes

Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
Leveraging 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