Giacoma Valentina Monreale

According to our database, Giacoma Valentina Monreale authored at least 23 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

From Local to Global Knowledge and Back.

Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Modular encoding of synchronous and asynchronous interactions using open Petri nets.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Sci. Comput. Program., 2015

Concurrency cannot be observed, asynchronously.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Math. Struct. Comput. Sci., 2015

Asynchronous Traces and Open Petri Nets.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

A General Theory of Barbs, Contexts, and Labels.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

ACM Trans. Comput. Log., 2014

RPO semantics for mobile ambients.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Math. Struct. Comput. Sci., 2014

Encoding Synchronous Interactions Using Labelled Petri Nets.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Coordination Models and Languages, 2014

2013

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.

Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Soft Constraints for Lexicographic Orders.

Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

2012

Soft Constraint Logic Programming for Electric Vehicle Travel Optimization

Giacoma Valentina Monreale, Ugo Montanari, Nicklas Hoch

CoRR, 2012

Barbed Semantics for Open Reactive Systems.

Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Modular LTS for Open Reactive Systems.

Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari

Proceedings of the Theoretical Computer Science, 2012

2011

Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients.

Giacoma Valentina Monreale

PhD thesis, 2011

A decentralised graphical implementation of mobile ambients.

Fabio Gadducci, Giacoma Valentina Monreale

J. Log. Algebraic Methods Program., 2011

Towards a General Theory of Barbs, Contexts and Labels.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

LTS Semantics for Process Calculi from Their Graphical Encodings.

Giacoma Valentina Monreale

Proceedings of the Graph Transformations - 5th International Conference, 2010

Saturated LTSs for Adhesive Rewriting Systems.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari

Proceedings of the Graph Transformations - 5th International Conference, 2010

Concurrency Can't Be Observed, Asynchronously.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

On Barbs and Labels in Reactive Systems

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Reactive Systems, Barbed Semantics, and the Mobile Ambients.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

A Decentralized Implementation of Mobile Ambients.

Fabio Gadducci, Giacoma Valentina Monreale

Proceedings of the Graph Transformations, 4th International Conference, 2008