Items where Author is "Montanari, Ugo"

2015

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

2014

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

2013

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013)

2012

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia A Game-Theoretic Analysis of Grid Job Scheduling. Journal of Grid Computing, 10 (3). pp. 501-519. ISSN 1570-7873 (2012)

2011

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Technical Report # /2011 Università di Pisa, Dipartimento di Informatica

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical models for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 349-368. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo On structured model-driven transformations. International journal of software and informatics, 5 (1-2). pp. 185-206. ISSN 1673-7288 (2011)

Buscemi, Maria Grazia and Montanari, Ugo QoS Negotiation in Service Composition. Journal of Logic and Algebraic Programming, 80 (1). pp. 13-24. ISSN 1567-8326 (2011)

Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio A formal support to business and architectural design for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 133-152. ISBN 978-3-642-20400-5 (2011)

2010

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo On GS-Monoidal Theories for Graphs with Nesting. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer, pp. 59-86. ISBN 978-3-642-17321-9 (2010)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia Toward a Game-Theoretic Model of Grid Systems. In: Post-proceedings of the 5th Symposium on Trustworthy Global Computing (TGC’10). Lecture Notes in Computer Science, 6084 . Springer, pp. 57-72. ISBN 978-3-642-15639-7 (2010)

2009

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical design rewriting with Maude. Electronic Notes in Theoretical Computer Science, 238 (3). pp. 45-62. ISSN 1571-0661 (2009)

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

2008

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Architectural design rewriting as an architecture description language. In: The Rise and Rise of the Declarative Datacentre - Research Meeting, May 12-13, 2008, Cambridge, UK (Unpublished) (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Style-Based architectural reconfigurations. Bulletin of the European association for theoretical computer science, 94. pp. 161-180. ISSN 0252-9742 (2008)

Buscemi, Maria Grazia and Montanari, Ugo Open Bisimulation for the Concurrent Constraint Pi-Calculus. In: Proceedings of the 17th European Symposium on Programming (ESOP’08). Lecture Notes in Computer Science, 4960 . Springer, pp. 254-268. ISBN 978-3-540-78738-9 (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Service Oriented Architectural Design. In: Trustworthy Global Computing (TGC '07). Lecture Notes in Computer Science, 4912 . Springer, pp. 186-203. ISBN 978-3-540-78662-7 (2008)

Buscemi, Maria Grazia and Montanari, Ugo A Survey of Constraint-based Programming Paradigms. Computer Science Review, 2 (3). pp. 137-141. ISSN 1574-0137 (2008)

2007

Buscemi, Maria Grazia and Montanari, Ugo CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: Proceedings of the 16th European Symposium on Programming (ESOP’07). Lecture Notes in Computer Science, 4421 . Springer, pp. 18-32. ISBN 978-3-540-71314-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Fusion Calculus. Journal of Logic and Algebraic Programming, 72 (1). pp. 78-97. ISSN 1567-8326 (2007)

Buscemi, Maria Grazia and Ferrari, Laura and Moiso, Corrado and Montanari, Ugo Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07). IEEE Computer Society, pp. 463-472. ISBN 0-7695-2856-2 (2007)

2006

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Buscemi, Maria Grazia and Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. Electronic Notes in Theoretical Computer Science, 162. pp. 135-139. ISSN 1571-0661 (2006)

2005

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di Informatica

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo A General Name Binding Mechanism. In: Proceedings of Symposium on Trustworthy Global Computing (TGC ’05). Lecture Notes in Computer Science, 3705 . Springer, pp. 61-74. ISBN 3-540-30007-4 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL Based on Constraint Semirings. Electronic Notes in Theoretical Computer Science, 112. pp. 37-59. ISSN 1571-0661 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL defined over constraint semirings. Theoretical Computer Science, 346 (1). pp. 135-160. ISSN 0304-3975 (2005)

2004

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo D-Fusion: A Distinctive Fusion Calculus. In: Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04). Lecture Notes in Computer Science, 3302 . Springer, pp. 296-310. ISBN 3-540-23724-0 (2004)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

2003

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

2002

Buscemi, Maria Grazia and Montanari, Ugo Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report Università di Pisa, Dipartimento di Informatica

Buscemi, Maria Grazia and Montanari, Ugo A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 449-465. ISBN 3-540-44043-7 (2002)

1993

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993)

1990

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

1988

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988)

1986

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)

1985

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985)

1981

De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)