IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 11:00:46 +0100Fri, 29 Mar 2024 11:00:46 +0100en Software Engineering for Collective Autonomic Systems: The ASCENS Approach
http://eprints.imtlucca.it/3493/
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) A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase
http://eprints.imtlucca.it/2936/
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) Constraint Design Rewriting
http://eprints.imtlucca.it/2057/
Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013) A Game-Theoretic Analysis of Grid Job Scheduling
http://eprints.imtlucca.it/1341/
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) Style-Based architectural reconfigurations
http://eprints.imtlucca.it/1020/
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) Architectural design rewriting as an architecture description language
http://eprints.imtlucca.it/1019/
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) A formal support to business and architectural design for service-oriented systems
http://eprints.imtlucca.it/863/
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) Hierarchical models for service-oriented systems
http://eprints.imtlucca.it/862/
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) On structured model-driven transformations
http://eprints.imtlucca.it/859/
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) Communication Through Message Passing or Shared Memory: A Formal Comparison
http://eprints.imtlucca.it/396/
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) A Distributed Operational Semantics for CCS Based on Condition/Event Systems
http://eprints.imtlucca.it/384/
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) CCS is an (Augmented) Contact Free C/E System
http://eprints.imtlucca.it/389/
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) Universal Axioms for Bisimulations
http://eprints.imtlucca.it/371/
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) A Partial Ordering Semantics for CCS
http://eprints.imtlucca.it/380/
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) Back and Forth Bisimulations
http://eprints.imtlucca.it/376/
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) A Process Calculus for QoS-Aware Applications
http://eprints.imtlucca.it/302/
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) AGILE: Software Architecture for Mobility
http://eprints.imtlucca.it/323/
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) A Formal Basis for Reasoning on Programmable QoS
http://eprints.imtlucca.it/318/
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) Partial orderings descriptions and observations of nondeterministic concurrent processes
http://eprints.imtlucca.it/383/
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) SCC: A Service Centered Calculus
http://eprints.imtlucca.it/295/
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) Partial ordering derivations for CCS
http://eprints.imtlucca.it/390/
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) A Service-Oriented UML Profile with Formal Support
http://eprints.imtlucca.it/146/
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) Hierarchical design rewriting with Maude
http://eprints.imtlucca.it/151/
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) Service Oriented Architectural Design
http://eprints.imtlucca.it/156/
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) Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
http://eprints.imtlucca.it/141/
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) On GS-Monoidal Theories for Graphs with Nesting
http://eprints.imtlucca.it/142/
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) Quantitative mu-calculus and CTL defined over constraint semirings
http://eprints.imtlucca.it/166/
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) Quantitative mu-calculus and CTL Based on Constraint Semirings
http://eprints.imtlucca.it/165/
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) Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model
http://eprints.imtlucca.it/181/
Buscemi, Maria Grazia and Montanari, Ugo Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report Università di Pisa, Dipartimento di Informatica A Compositional Coalgebraic Model of Monadic Fusion Calculus
http://eprints.imtlucca.it/179/
Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di Informatica Constraints for Service Contracts
http://eprints.imtlucca.it/180/
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 Constraints for Service Contracts
http://eprints.imtlucca.it/137/
Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted) A Survey of Constraint-based Programming Paradigms.
http://eprints.imtlucca.it/121/
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) A compositional coalgebraic model of a fragment of fusion calculus
http://eprints.imtlucca.it/126/
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) A Compositional Coalgebraic Model of Fusion Calculus
http://eprints.imtlucca.it/135/
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) Constraint-Based Policy Negotiation and Enforcement for Telco Services
http://eprints.imtlucca.it/123/
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) CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
http://eprints.imtlucca.it/122/
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) Open Bisimulation for the Concurrent Constraint Pi-Calculus
http://eprints.imtlucca.it/120/
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) Toward a Game-Theoretic Model of Grid Systems
http://eprints.imtlucca.it/117/
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) QoS Negotiation in Service Composition
http://eprints.imtlucca.it/114/
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) A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
http://eprints.imtlucca.it/131/
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) D-Fusion: A Distinctive Fusion Calculus
http://eprints.imtlucca.it/129/
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) A General Name Binding Mechanism
http://eprints.imtlucca.it/127/
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)