Nombre de documents

12

Cinzia Di Giusto


Article dans une revue4 documents

  • Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems. Formal Aspects of Computing, Springer Verlag, 2016, <10.1007/s00165-016-0377-z>. <hal-01320789>
  • Cinzia Di Giusto, Jorge Andrés Pérez. Disciplined structured communications with disciplined runtime adaptation. Science of Computer Programming, Elsevier, 2015, 97 (P2), pp.235--265. <10.1016/j.scico.2014.04.017>. <hal-01052441>
  • Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo. On the Expressive Power of Multiple Heads in CHR. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (1), <10.1145/2071368.2071374>. <hal-00909390>
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Adaptable Processes. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71. <hal-00909365>

Communication dans un congrès6 documents

  • Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace. Systemic approach for toxicity analysis. 5th International Workshop on Biological Processes and Petri Nets (BioPPN 2014), Jun 2014, Tunis, Tunisia. CEUR Workshop Proceedings, 1159, pp.30--44, 2014. <hal-01078546>
  • Samuel Mimram, Cinzia Di Giusto. A Categorical Theory of Patches. Dexter Kozen and Michael Mislove. MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. Elsevier, 298, pp.283-307, 2013, Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. <http://www.sciencedirect.com/science/article/pii/S1571066113000649>. <10.1016/j.entcs.2013.09.018>. <hal-00904156>
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Towards the Verification of Adaptable Processes. Tiziana Margaria and Bernhard Steffen. 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. Springer, 7609, pp.269--283, 2012, Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. <10.1007/978-3-642-34026-0_20>. <hal-00909368>
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract). Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010. <hal-00881630>
  • Jesus Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. Zhong Shao. 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, 4807, pp.383-398, 2007, Lecture Notes in Computer Science; Proceedings of the 5th Asian Symposium on Programming Languages and Systems. <10.1007/978-3-540-76637-7_26>. <inria-00201547>
  • Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. Frank S. de Boer and Marcello M. Bonsangue. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. Springer, 4709, pp.185-206, 2007, Lecture Notes in Computer Science; Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects. <10.1007/978-3-540-74792-5>. <inria-00239497>

Rapport2 documents

  • Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel. Activity Networks with Delays An application to toxicity analysis. [Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes. 2016. <hal-01152719v2>
  • Cinzia Di Giusto, Jorge A. Perez. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. [Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen. 2014. <hal-01093090>