Publications

• A.Lopes and J. Fiadeiro. Design primitives for context-awareness. In Recent Trends in Algebraic Development Techniques 17th International Workshop: Selected Papers, volume 3423 of LNCS, pages 79-93. Springer, 2005.

• L. Andrade and J. Fiadeiro. Composition contracts for service interaction. Journal of Universal Computer Science, 2005.

• P. Baldan, Corradini, A., and U. Montanari. Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. In H. Ehrig, J. Padberg, and G. Rozenberg, editors, Proceedings of the Workshop on Petri Nets and Graph Transformations, ENTCS. Elsevier, 2005. To appear.

• P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional semantics for open Petri nets based on deterministic processes. MSCS, 15(1), 2005.

• P. Baldan, A. Corradini, and F. Gadducci. Specifying and verifying UML activity diagrams via graph transformation. In C. Priami and P. Quaglia, editors, International Workshop on Global Computing 2004 (GC 2004), volume 3267 of Lecture Notes in Computer Science. Springer Verlag, 2005.

• A. Baragatti, R. Bruni, H. Melgratti, U. Montanari, and G. Spagnolo. Prototype platforms for distributed agreements. In A. Brogi, J.-M. Jacquet, and E. Pimentel, editors, 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004), Electronic Notes in Computer Science. Elsevier, 2005. To appear.

• Hubert Baumeister, Alexander Knapp, Nora Koch, and Gefei Zhang. Modeling adaptivity with aspects, 2005. submitted for publication.

• R. Bruni. Community, tiles and connectors (abstract). In B. Koenig, U. Montanari, and P. Gardner, editors, Proceedings of Dagstuhl Seminar n. 04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, pages 14-15, 2005.

• R. Bruni and I. Lanese. On graph(ic) encodings. In B. Koenig, U. Montanari, and P. Gardner, editors, Proceedings of Dagstuhl Seminar n. 04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, pages 1-15, 2005.

• R. Bruni, I. Lanese, and U. Montanari. Normal forms for stateless connectors. Submitted to CALCO 2005, 2005.

• R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2005). ACM, 2005.

• R. Bruni, U. Montanari, and V. Sassone. Observational congruences for dynamically reconfigurable tile systems. Theoretical Computer Science, 2005. to appear.

• A. Corradini and D. Hirsch. An Operational Semantics of Mobile CommUnity based on Graph Transformation Systems. Draft, 2005.

• R. De Nicola, J. Katoen, D. Latella, and M. Massink. Towards a logic for performance and mobility. full version. Technical report, ISTI, 2005.

• Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, and Mieke Massink. Towards a logic for performance and mobility. In A. Cerone and H. Wiklicky, editors, 3rd Workshop of Quantitative Aspects of Programming Languages. Participant Proceedings, pages 132-146, 2005. The final version is expected to appear in Electronic Notes in Theoretical Computer Science. Elsevier.

• Rocco De Nicola, Diego Latella, and Mieke Massink. Formal modeling and quantitative analysis of klaim-based mobile systems. In H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M. Wilds, and H. Clausen, editors, APPLIED COMPUTING 2005. Proceedings of the 20th Annual ACM Symposium on Applied Computing, ACM, pages 428-435, 2005.

• J. Fiadeiro. Software services: Scientific challenge or industrial hype? In International Conference on Theoretical Aspects of Computing, volume 3407 of LNCS, pages 1-13. Springer, 2005.

• F. Gadducci and A. Lluch Lafuente. Graphical verification of a spatial logic for the pi -calculus. 2005.

• F. Gadducci and U. Montanari. Graph processes with fusions: Concurrency by colimits, again. In H.J. Kreowski, U. Montanari, F. Orejas, G. Rozemberg, and G. Taentzer, editors, Formal Methods in Software and System Modelling (Ehrig Festschrift), volume 3393 of Lecture Notes in Computer Science, pages 84-100. Springer, 2005.

• D. Hirsch and E. Tuosto. SHREQ: A Framework for Coordinating Application Level QoS. Submitted to COORDINATION 2005, 2005.

• D. Hirsch and Montanari U. Shaped hierarchical architectural desing (abstract). In B. Koenig, U. Montanari, and P. Gardner, editors, Proceedings of Dagstuhl Seminar n. 04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, pages 28-29, 2005.

• P. Hoffman. Union of equational theories: An algebraic approach. In 16th International Conference on Rewriting Techniques and Applications, RTA 2005, Nara, Japan, volume 3467 of LNCS. Springer, 2005.

• Alexander Knapp, Stephan Merz, Martin Wirsing, and Júlia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theo. Comp. Sci., 2005. To appear.

• P. Kosiuczenko, G. Marczynski, and A. Zawlocki. Property preserving redesign of specifications. submitted for publication, 2005.

• I. Lanese and U. Montanari. Synchronizations with mobility for graph transformations (abstract). In B. Koenig, U. Montanari, and P. Gardner, editors, Proceedings of Dagstuhl Seminar n. 04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, pages 32-33, 2005.

• I. Lanese and E. Tuosto. Synchronized hyperedge replacement for heterogeneous systems. In J.-M. Jacquet and G.P. Picco, editors, Proceedings of COORDINATION 2005, volume 3454 of Lecture Notes in Computer Science, pages 220-235. Springer, 2005.

• Diego Latella, Mieke Massink, Hubert Baumeister, and Martin Wirsing. Mobile UML statecharts with localities. In Corrado Priami and Paola Quaglia, editors, Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004. Revised Selected Papers, volume 3267 of LNCS, pages 34-58, 2005.

• C. Oliveira, M. Wermelinger, J. Fiadeiro, and A. Lopes. Etaps 2005 � european joint conferences in theory and practice of software. Electronic Notes in Theoretical Computer Science, 2005.

• L. Schröder, T. Mossakowski, A. Tarlecki, B. Klin, and P. Hoffman. Amalgamation in the semantics of CASL. Theoretical Computer Science, 331:215-247, 2005.

• A. Zawlocki. An institution for mobile components. In J.L. Fiadeiro, U. Montanari, and M. Wirsing, editors, Proceedings of Dagstuhl Seminar n. 05081, Foundations of Global Computing, 2005.

• Gefei Zhang, Hubert Baumeister, Nora Koch, and Alexander Knapp. Aspect-oriented modeling of access control in Web applications. In Proc. 6th Int. Wsh. Aspect Oriented Modeling (AOM), Chicago, Illinois, USA, March 14-18, 2005, 2005. To appear.

• A.Lopes and J. Fiadeiro. Foclasa 2003, foundations of coordination languages and software architecture. Electronic Notes in Theoretical Computer Science, 97(3):241-258, 2004.

• N. Aoumeur, J. Fiadeiro, and C. Oliveira. Distribution Concerns in Service-Oriented Modelling. In S.Weerawarana, editor, 2nd International Conference on Service Oriented Computing (ICSOC'04), Short papers, New York City, Nov. 15-18, IBM REsearch Divison, IBM Report:RA221 (W0411-084), pages 26-35, 2004.

• N. Aoumeur, J. Fiadeiro, and C. Oliveira. Towards an Architectural Approach for Location-aware Business Processes. In Proc. of the 13th IEEE International Workshops on Enabling, Technologies : Infrastructure for Collaborative Enterprises, June 14-16, pages 147-152. IEEE Computer Society, 2004.

• S. Autexier, P. Hoffman, D. Hutter, and T. Mossakowski. CASL logic. In P. D. Mosses, editor, CASL Reference Manual, volume 2960 of LNCS. Springer, 2004.

• P. Baldan, A. Bracciali, and R. Bruni. Symbolic equivalences for open systems. In C. Priami and P. Quaglia, editors, International Workshop on Global Computing 2004 (GC 2004), volume 3267 of Lecture Notes in Computer Science. Springer, 2004.

• P. Baldan, N. Busi, A. Corradini, and G.M. Pinna. Domain and event structure semantics for petri nets with read and inhibitor arcs. Theoretical Computer Science, 323(1-3):129-189, 2004.

• P. Baldan, A. Corradini, and B. König. Verifying finite-state graph grammars: an unfolding-based approach. In P. Gardner and N. Yoshida, editors, Proceedings of CONCUR 2004, volume 3170 of Lecture Notes in Computer Science, pages 83-98. Springer Verlag, 2004.

• P. Baldan, A. Corradini, B. König, and B. König. Verifying a behavioural logic for graph transformation systems. In F. Honsell, M. Lenisa, and M. Miculan, editors, Proceedings of the Workshop of the COMETA Project on Computational Metamodels, volume 104 of ENTCS, pages 5-24. Elsevier/Forum, 2004.

• P. Baldan, B. König, and I. Sürmer. Generating test cases for code generators by unfolding graph transformation systems. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, Proceedings of ICGT'04, volume 3256 of Lecture Notes in Computer Science, pages 194-209. Springer Verlag, 2004.

• Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, and Andreas Thums. Interactive Verification of UML State Machines. In Jim Davies, Wolfram Schulte, and Mike Barnett, editors, Proc. 6th Int. Conf. Formal Engineering Methods (ICFEM'04), volume 3308 of Lect. Notes Comp. Sci., pages 434-448. Springer, Berlin, 2004.

• A. Baragatti, R. Bruni, H. Melgratti, and U. Montanari. A prototype implementation of distributed agreements. Technical Report TR-04-10, Computer Science Department, University of Pisa, 2004.

• L. Barroca, J. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh. Evolving problem frames: a case for coordination. In Coordination 2004, volume 2949 of LNCS, pages 5-19. Springer, 2004.

• Michael Barth. Development of Performance-Critical Software Using UML Activity Models and Simulation Techniques. International Journal for Computer and Information Science - ACIS - IJCIS, 5(3):200-211, 2004.

• Michael Barth and Alexander Knapp. A Coordination Architecture for Time-Dependent Components. In M. H. Hamza, editor, Proc. 22nd Int. Multi-Conf. Applied Informatics. Software Engineering (IASTED SE'04), pages 6-11. ACTA Press, 2004.

• Hubert Baumeister. Combining formal specifications with test driven development. In Proc. 4th Intl. Conf. on Extreme Programming and Agile Methods (XPAU04), Calgary, Canada, August 15-18, 2004, volume 3134 of LNCS. Springer, 2004.

• H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. Mosses, D. Sannella, and A. Tarlecki. CASL semantics. In P. D. Mosses, editor, CASL Reference Manual, volume 2960 of LNCS. Springer, 2004.

• Hubert Baumeister, Alexander Knapp, and Martin Wirsing. Property-driven development (extended abstract). In Jorge R. Cuellar and Zhimming Liu, editors, Proc. SEFM 2004, 2nd Int. Conf. on Software Engineering and Formal Methods, Beijing. IEEE Computer Society, 2004.

• L. Bettini, V. Bono, and B. Venneri. Subtyping-Inheritance Conflicts: The Mobile Mixin Case. In J-J. Levy, E.W. Mayr, and J.C. Mitchell, editors, Proc. of Third IFIP International Conference on Theoretical Computer Science (TCS 2004), pages 451-464. Kluwer Academic Publishers, 2004.

• L. Bettini, M. Loreti, and R. De Nicola. Formulae meet programs over the Net: a framework for reliable network aware programming. Automated of Software Engeneering, 3(11):245-288, 2004.

• M. Bidoit, D. Sannella, and A. Tarlecki. Toward component-oriented formal software development: An algebraic approach. In M. Wirsing, A. Knapp, and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002, volume 2941 of LNCS, pages 75-90. Springer, 2004.

• Michel Bidoit, Rolf Hennicker, Alexander Knapp, and Hubert Baumeister. Glass-box and black-box views on object-oriented specifications. In Jorge R. Cuellar and Zhimming Liu, editors, Proc. SEFM 2004, 2nd Int. Conf. on Software Engineering and Formal Methods, Beijing. IEEE Computer Society, 2004.

• R. Bruni and U. Montanari. Concurrent models for Linda with transaction. Mathematical Structures in Computer Science, 14(3), 2004.

• R. Bruni, J.L. Fiadeiro, I. Lanese, A. Lopes, and U. Montanari. New insights into the algebraic properties of architectural connectors. In J.-J. Levy, E.W. Mayr, and J.C. Mitchell, editors, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP TCS 2004), IFIP Conference Proceedings. Kluwer, 2004.

• R. Bruni, H. Melgratti, and U. Montanari. Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. In J. Desel, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets: Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science. Springer, 2004.

• R. Bruni, H. Melgratti, and U. Montanari. Flat committed join in join. In F. Honsell, M. Lenisa, and M. Miculan, editors, Proceedings of the Workshop of the COMETA Project on Computational Metamodels, volume 104 of Electronic Notes in Computer Science, pages 39-59. Elsevier, 2004.

• R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending join. In J.-J. Levy, E.W. Mayr, and J.C. Mitchell, editors, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP TCS 2004), IFIP Conference Proceedings. Kluwer, 2004.

• María Victoria Cengarle and Alexander Knapp. OCL 1.4/1.5 vs. OCL 2.0 Expressions: Formal Semantics and Expressiveness. Softw. Syst. Model., 3(1):9-30, 2004.

• María Victoria Cengarle and Alexander Knapp. UML 2.0 Interactions: Semantics and Refinement. In Jan Jürjens, Eduardo B. Fernandez, Robert France, and Bernhard Rumpe, editors, 3rd Int. Wsh. Critical Systems Development with UML (CSDUML'04, Proceedings), pages 85-99. Technical Report TUM-I0415, Institut für Informatik, Technische Universität München, 2004.

• C.Oliveira, M. Wermelinger, J. Fiadeiro, and A. Lopes. An architectural approach to mobility - the handover case study. In Proc. of the 4th Working IEEE/IFIP Conference on Software Architecture, pages 305-308. IEEE Computer Society Press, 2004.

• A. Corradini and D. Hirsch. An Operational Semantics of CommUnity based on Graph Transformation Systems. In R. Heckel and C. Niggemeyer, editors, International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite of ETAPS 2004, volume 109 of ENTCS, pages 111-124. Elsevier, 2004.

• A. Corradini, F.L. Dotti, L. Foss, and L. Ribeiro. Translating java code to graph transformation systems. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, Proceedings of ICGT'04, volume 3256 of Lecture Notes in Computer Science, pages 383-398. Springer Verlag, 2004.

• R. De Nicola, D. Latella, and M. Massink. Formal modeling and quantitative analysis of KLAIM-based mobile systems. FULL VERSION. Technical Report 2004-TR-25, ISTI, 2004.

• Jutta Eckstein and Hubert Baumeister, editors. Extreme Programming and Agile Processes in Software Engineering: 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, volume 3092 of LNCS. Springer, June 2004.

• G. Ferrari, S. Gnesi, U. Montanari, R. Raggi, G. Trentanni, and E. Tuosto. Verification on the web of mobile systems. In Juan Carlos Augusto and Ulrich Ultes-Nitsche, editors, 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004), Porto, Portugal, 14-17 April 2004, pages 72-74. INSTICC Press, 2004.

• J. Fiadeiro. Categories for Software Engineering. Springer, 2004.

• J. Fiadeiro and A. Lopes. Community on the move: Architecture for distribution and mobility. In Second International Symposium on Formal Methods for Components and Objects, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, volume 3188 of LNCS, pages 177-197. Springer, 2004.

• S. Gnesi and F. Mazzanti. mu -uctl: A temporal logic for uml statecharts. Technical report, ISTI, 2004.

• S. Gnesi and F. Mazzanti. On the fly model checking of communicating UML state machines. In SERA 2004 conference proceedings. IEE INSPEC, 2004.

• S. Gnesi, D. Latella, and M. Massink. Formal test-case generation for uml statecharts. In P. Bellini, S. A. Bohner, and B. Steffen, editors, Engineering of Complex Computer Systems. IEEE, 2004.

• D. Hirsch and U. Montanari. Shaped hierarchical architectural design. In R. Heckel and C. Niggemeyer, editors, International Workshop on Graph Transformation and Visual Modeling Techniques. Sattelite of ETAPS 2004, volume 109 of ENTCS, pages 97-109. Elsevier, 2004.

• Alexander Knapp, Nora Koch, and Gefei Zhang. Modeling the Structure of Web Applications with ArgoUWE. In Nora Koch, Piero Fraternali, and Martin Wirsing, editors, Proc. 4th Int. Conf. Web Engineering (ICWE'04), volume 3140 of Lect. Notes Comp. Sci., pages 615-616. Springer, Berlin, 2004.

• Alexander Knapp, Nora Koch, Gefei Zhang, and Hanns-Martin Hassler. Modeling Business Processes in Web Applications with ArgoUWE. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors, Proc. 7th Int. Conf. Unified Modeling Language (UML'04), volume 3273 of Lect. Notes Comp. Sci., pages 69-83. Springer, Berlin, 2004.

• Alexander Knapp, Stephan Merz, and Martin Wirsing. On refinement of mobile UML state machines, 2004. to appear in Proc. AMAST 2004.

• Alexander Knapp, Stephan Merz, and Martin Wirsing. Refining Mobile UML State Machines. In Savi Maharaj, Charles Rattray, and Carron Shankland, editors, Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of Lect. Notes Comp. Sci., pages 274-288. Springer, Berlin, 2004.

• Nora Koch, Piero Fraternali, and Martin Wirsing. Web Engineering: Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), Munich, Germany, volume 3140 of LNCS. Springer Verlag, July 2004.

• P. Kosiuczenko. Partial order semantics of sequence diagrams for mobility. LNCS. Springer, 2004. to appear.

• P. Kosiuczenko. Proof transformation via interpretation functions. Technical Report 2004/27, University of Leicester, 2004.

• P. Kosiuczenko. Proof transformation via interpretation functions: Results, problems and applications, 2004. To appear in ENTCS.

• P. Kosiuczenko. Redesign of uml class diagrams: a formal approach, 2004. Submitted for publication.

• I. Lanese and U. Montanari. A graphical fusion calculus. In M. Lenisa F. Honsell and M. Miculan, editors, Proceedings of the Workshop of the COMETA Project on Computational Metamodels, volume 104 of Electronic Notes in Theoretical Computer Science, pages 199-215. Elsevier, 2004.

• I. Lanese and U. Montanari. Synchronization algebras with mobility for graph transformations. In Proceedings of FGUC 2004, workshop on Foundations of Global Ubiquitous Computing, Electronic Notes in Theoretical Computer Science. Elsevier, 2004. To appear.

• A. Lopes and J. Fiadeiro. Superposition: Composition vs refinement of non-deterministic, action-based systems. Formal Aspects of Computing Journal, 16(1):5-18, 2004.

• M. Loreti and R. De Nicola. A modal logic for mobile agents. ACM Transaction on Computational Logics, 5(1), 2004.

• M. Misiak. Behavioural semantics of algebraic specifications in arbitrary logical systems. In J.L. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, volume 3423 of LNCS, pages 144-161. Springer, 2004.

• T. Mossakowski, D. Sannella, and A. Tarlecki. A simple refinement language for casl. In J.L. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, volume 3423 of LNCS, pages 162-185. Springer, 2004.

• R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A QoS-aware Process Calculus. Technical report, DSIUF, 2004.

• C. Oliveira and M. Wermelinger. The CommUnity workbench. In Proc. of the 26th Intl. Conf. on Software Engineering, pages 709-710. IEEE Computer Society Press, 2004.

• A. Tarlecki. Software specification and development in heterogeneous environments. In W.A. Carnielli, F.M. Dionísio, and P. Mateus, editors, Proc. 1st Intl. Workshop on Combination of Logics: Theory and Applications, CombLog'04, July 28-30, 2004, Lisbon, pages 61-70. CLC, 2004.

• M. Wermelinger, G. Koutsoukos, H. Louren c co, R. Avillez, J. Gouveia, L. Andrade, and J.L. Fiadeiro. Enhancing dependability through flexible adaptation to changing requirements. In Architecting Dependable Systems II, volume 3069 of LNCS, pages 3-24. Springer, 2004.

• Martin Wirsing, Alexander Knapp, and Simonetta Balsamo, editors. Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02). Revised Papers, volume 2941 of Lect. Notes Comp. Sci. Springer, Berlin, 2004. On-site proc. appeared as Technical Report CS-2002-10, Dipartimento die Informatica, Università Cà Foscari di Venezia.

• A. Zawlocki. Architectural specifications for reactive systems. In J.L. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, volume 3423 of LNCS, pages 249-266. Springer, 2004.

• L. Andrade and J. Fiadeiro. Architecture based evolution of software systems. In Formal Methods for Software Architecture, volume 2804 of LNCS, pages 148-181. Springer-Verlag, 2003.

• L. Andrade and J. Fiadeiro. Service-oriented business and system specification: Beyond object-orientation. In Pratical Foundations of Business and System Specifications, pages 1-23. Kluwer Academic Publishers, 2003.

• L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, and A. Zawlocki. AGILE: Software architecture for mobility. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Recent Trends in Algebraic Develeopment Techniques--16th International Workshop, WADT 2002, Frauenchiemsee, Germany, Sept. 24-27, 2002, volume 2755 of LNCS. Springer, November 2003.

• L. Andrade, J. Fiadeiro, A. Lopes, and M. Wermelinger. Architectural techniques for evolving control systems. In Formal Methods for Railway Operation and Control Systems. L'Harmattan Press., 2003.

• L. Andrade, J. Fiadeiro, A. Lopes, and M. Wermelinger. Coordination technologies for distributed business systems. In Information Systems for a Connected Society, pages 27-37. University of Maribor Press, 2003.

• P. Baldan, R. Bruni, and U. Montanari. Pre-nets, read arcs and unfolding: a functorial presentation. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Workshop on Algebraic Development Techniques (WADT02), volume 2755 of Lecture Notes in Computer Science. Springer, 2003.

• P. Baldan, A. Corradini, and B. König. McMillan unfolding for graph transformation systems, 2003. draft.

• P. Baldan, A. Corradini, U. Montanari, and L. Ribeiro. Coreflective concurrent semantics for single-pushout graph grammars. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Workshop on Algebraic Development Techniques (WADT02), volume 2755 of Lecture Notes in Computer Science. Springer, 2003.

• P. Baldan, B. König, and B. König. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, editor, Static Analysis (SAS02), volume 2694 of Lecture Notes in Computer Science. Springer, 2003.

• Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, and Martin Wirsing. UML for global computing. In Corrado Priami, editor, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. IST/FET International Workshop, GC 2003, Rovereto, Italy, Feb. 9-14,2003, Revised Papers, volume 2874 of LNCS, November 2003.

• Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, and Martin Wirsing. Extending activity diagrams to model mobile systems. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World. International Conference NetObjectDays, NODe 2002, Erfurt, Germany, Oct. 7-10, 2002. Revised Papers, volume 2591 of LNCS, pages 278-293. Springer, 2003.

• L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri. The KLAIM project: Theory and practice. In C. Priami, editor, Global Computing: Programming Environments, Languages, Security and Analysis of Systems, number 2874 in LNCS. Springer-Verlag, 2003.

• L. Bettini, V. Bono, and B. Venneri. Subtyping mobile classes and mixins. In Proc. of Int. Workshops on Foundations of Object-Oriented Languages, FOOL 10, 2003.

• L. Bettini, S. Capecchi, and B. Venneri. Extending Java to dynamic object behaviors. In Proc of WOOD 2003, volume 82 of ENTCS. Elsevier, 2003.

• R. Bruni and J. Meseguer. Generalized rewrite theories. In J.C.M. Baeten, J.K. Lenstra, J. Parrow, and G.J. Woeginger, editors, 30th International Colloquium on Automata, Languages and Programming (ICALP 2003), volume 2719 of Lecture Notes in Computer Science. Springer, 2003.

• R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Algebraic theories for contextual pre-nets. In C. Blundo and C. Laneve, editors, 8th Italian Conference on Theoretical Computer Science (ICTCS 2003), volume 2841 of Lecture Notes in Computer Science. Springer, 2003.

• R. De Nicola, G.-L. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A formal basis for reasoning on programmable qos. In N. Dershowitz, editor, Proc. of the International Symposium on Verification (Theory and Practice) -- Celebrating Zohar Manna's 64-th Birthday, number 2772 in Lectures Notes in Computer Science. Springer-Verlag, 2003. to appear.

• A. Fantechi and S. Gnesi. Action-based model checking (and its applications to distributed, mobile, object-oriented systems). Technical Report 2003-TR-58, ISTI, 2003. Tutorial Presentation at FMOODS03.

• G. Ferrari, S. Gnesi, U. Montanari, and M. Pistore. A model checking verification environment for mobile processes. Technical Report 2003-TR-57, ISTI, 2003. to be published on ACM-TOSEM.

• G. Ferrari, E. Moggi, and R. Pugliese. Higher-order types and meta-programming for global computing. Mathematical Structures in Computer Science, 2003. To appear.

• G. Ferrari, U. Montanari, and E. Tuosto. Graph-based models of internetworking systems. In B.K. Aicherning and T. Maibaum, editors, Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science. Springer, 2003.

• J. Fiadeiro. Coordination technologies for just-time integration. In Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2422 of LNCS. Springer-Verlag, 2003.

• J. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. In Generic Programming, volume 2793 of LNCS, pages 190-234. Springer-Verlag, 2003.

• F. Gadducci. Term graph rewriting for the pi-calculus. In A. Ohori, editor, Programming Languages and Systems (APLAS03), volume 2895 of Lecture Notes in Computer Science. Springer, 2003.

• S. Gnesi. Formal specification and verification of complex systems. In T. Arts and W. Fokkink, editors, FMICS workshop, volume 80 of ENTCS. Elsevier, 2003.

• S. Gnesi and F. Mazzanti. mu -ACTL+: A temporal logic for UML statecharts diagrams. Technical Report 2003-TR-64, ISTI, 2003.

• S. Gnesi and F. Mazzanti. On the fly model checking of communicating UML state machines. Technical Report 2003-TR-63, ISTI, 2003.

• A. Haxthausen, T. Mossakowski, D. Sannella, and A. Tarlecki. CASL --- the common algebraic specification language: semantics and proof theory. Computing and Informatics, 22:285-321, 2003.

• Rolf Hennicker, Alexander Knapp, and Hubert Baumeister. Semantics of OCL operation specifications. In Thomas Baar, Tony Clark, Robert France, Reiner Hähnle, Heinrich Hussmann, and Peter H. Schmitt, editors, OCL 2.0--Industry Standard or Scientific Playground--Workshop at UML 2003. Elsevier, 2003. to appear in Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs).

• P. Hoffman. Verifying generative CASL architectural specifications. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques - 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, volume 2755 of LNCS, pages 233-252. Springer, 2003.

• Alexander Knapp, Nora Koch, Flavia Moser, and Gefei Zhang. ArgoUWE: A CASE tool for Web applications. In 1st International Workshop on Engineering Methods to Support Information Systems Evolution (EMSISE03), Geneva, Swizzerland, September 2003.

• Nora Koch and Andreas Kraus. Towards a common metamodel for the development of web applications. In J. M. Cueva Lovelle, B. M. Gonzalez Rodriguez, L. Joyanes Aguilar, J. E. Labra Gayo, and M. P. Paule Ruiz, editors, 3rd International Conference on Web Engineering (ICWE 2003), volume 2722 of Lecture Notes in Computer Science, Oviedo, Spain, July 2003. Springer-Verlag.

• Nora Koch, Andreas Kraus, Cristina Cachero, and Santiago Melia. Modeling business processes with OO-H and UWE. In D. Schwabe, O. Pastor, G. Rossi, and L. Olsina, editors, International Workshop of Web-oriented Software Technology (IWWOST 2003), Oviedo, Spain, July 2003. CYTED.

• S. Lasota. A polynomial-time algorithm for deciding true concurrency equivalences of basic parallel processes. In B. Rovan and P. Vojtas, editors, Proc. Mathematical Foundations of Computer Science'03, volume 2747 of LNCS, pages 521-530. Springer, 2003.

• D. Latella and M. Massink. On mobility extensions of UML statecharts; a pragmatic approach. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-Based Distributed Systems, volume 2884 of LNCS, pages 199-213. Springer, November 2003.

• D. Latella, M. Massink, H. Baumeister, and M. Wirsing. Mobile UML statecharts with localities. Technical Report 2003-TR-37, CNR-ISTI, 2003.

• A. Lopes and J. Fiadeiro. Adding mobility to software architectures. In FOCLASA 2003 Foundations of Coordination Languages and Software Architecture, 2003. to appear in Electronic Notes in Theoretical Computer Science.

• A. Lopes and J. Fiadeiro. On how distribution and mobility interfere with coordination. In Recent Trends in Algebraic Development Techniques -- 16th Internationa Workshop -- Selected papers, volume 2755 of LNCS, pages 343-358, 2003.

• A. Lopes, M. Wermelinger, and J. Fiadeiro. Higher-order architectural connectors. ACM Transactions on Software Engineering Methodology, 12(1):64-104, 2003.

• S. Merz, M. Wirsing, and J. Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In M. Pezzè, editor, Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science, Warsaw, Poland, April 2003. Springer-Verlag.

• A. Moreira, J. Fiadeiro, and L. Andrade. Evolving requirements through coordination contracts. In Advanced Information Systems Engineering, volume 2681 of LNCS, pages 633-646. Springer-Verlag, 2003.

• Dirk Pattinson and Martin Wirsing. Making components move: A separation of concerns approach. In Proc. 1st International Workshop on Formal Methods for Components (FMCO'02), volume 2852 of Lecture Notes in Computer Science. Springer-Verlag, 2003.

• A. Tarlecki. Abstract specification theory: an overview. In M. Broy and M. Pizka, editors, Models, Algebras, and Logics of Engineering Software, volume 191 of NATO Science Series --- Computer and Systems Sciences, pages 43-79. IOS Press, 2003.

• M. Wermelinger, G. Koutsoukos, R. Avillez, J. Gouveia, L. Andrade, and J. Fiadeiro. Using coordination contracts for flexible adaptation to changing business rules. In Proc. of the 6th Intl. Workshop on Principles of Software Evolution, pages 115-129. IEEE Computer Society Press, 2003.

• M. Wermelinger, G. Koutsoukos, H Louren c  co, R. Avillez, J. Gouveia, L. Andrade, and J. Fiadeiro. Flexible adaptation to evolving business rules. In Proc. of 2nd Engineering Conference, 2003.

• Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors. Recent Trends in Algebraic Develeopment Techniques--16th International Workshop, WADT 2002, Frauenchiemsee, Germany, Sept. 24-27, 2002, volume 2755 of LNCS. Springer, November 2003.

• L. Andrade and J. Fiadeiro. An architectural approach to auto-adaptive systems. In Proc. ICDCS 2002 Workshops, pages 439-444. IEEE Computer Society Press, 2002.

• L. Andrade and J. Fiadeiro. Coordination architecture for evolvable event-based systems. In Proc. ICDCS 2002 Workshops, pages 571-572. IEEE Computer Society Press, 2002.

• L. Andrade and J. Fiadeiro. Coordination primitives for evolving event-based systems. In Proc. First Workshop on Evolutionary Formal Software Development, pages 19-30, 2002.

• L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, A. Lopes, and M. Wermelinger. Coordination technologies for component-based systems. In Integrated Design and Process Technology, 2002.

• L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, and M.Wermelinger. Support for business-driven evolution with coordination technologies. In Software Process Evolution, 2002.

• L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, and M. Wermelinger. Coordination for orchestration. In Proc. of the 5th Intl. Conf. on Coordination Languages and Models, volume 2315 of LNCS, pages 5-13. Springer-Verlag, April 2002.

• L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, and M. Wermelinger. A coordination methodology and technology for agile businesses. In OOPSLA Companion, pages 48-49. ACM Press, 2002. Poster description.

• P. Baldan and B. König. Approximating the behaviour of graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation (ICGT02), volume 2505 of Lecture Notes in Computer Science. Springer, 2002.

• P. Baldan, A. Bracciali, and R. Bruni. Bisimulation by unification. In H. Kirchner and C. Ringeissen, editors, Algebraic Methodology and Software Technology (AMAST2002), volume 2422 of Lecture Notes in Computer Science. Springer, 2002.

• P. Baldan, A. Corradini, and B. König. Static analysis of distributed systems with mobility specified by graph grammars -- A case study. In H. Ehrig, B. Krämer, and A. Ertas, editors, Integrated Design and Process Technology. Society for Design and Process Science, 2002.

• L. Barroca and J. Fiadeiro. Coordination contracts as connectors in component-based development. In Integrated Design and Process Technology, 2002.

• L. Bettini, R. De Nicola, and M. Loreti. Formalizing properties of mobile agent systems. In F. Arbab and C. Talcott, editors, Proc. of Coordination Models and Languages, number 2315 in LNCS, pages 72-87. Springer, 2002.

• L. Bettini, M. Loreti, and R. Pugliese. An infrastructure language for open nets. In Proceeding of the 2002 ACM Symposium on Applied Computing, pages 373-377. ACM, 2002.

• Lorenzo Bettini, Rocco De Nicola, and Michele Loreti. A software update via mobile agent based programming. In Proceeding of the 2002 ACM Symposium on Applied Computing, pages 32-36. ACM, 2002.

• M. Bidoit, D. Sannella, and A. Tarlecki. Global development via local observational construction steps. In Proc. 27th Intl. Symp. Mathematical Foundations of Computer Science MFCS'02, volume 2420 of LNCS, pages 1-24. Springer-Verlag, 2002.

• R. Bruni, J. Meseguer, and U. Montanari. Tiling transactions in rewriting logic. In F. Gadducci and U. Montanari, editors, Rewriting Logic and its Applications (WRLA02), volume 71 of ENTCS. Elsevier, 2002.

• R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial models for contextual pre-nets. Technical Report TR-02-09, Computer Science Department, University of Pisa, 2002.

• M. Coccia, F. Gadducci, and U. Montanari. Gs cdot lambda theories: A syntax for higher-order graphs. In R. Blute, editor, Category Theory and Computer Science (CTCS02), volume 69 of ENTCS. Elsevier, 2002.

• A. Corradini and F. Gadducci. Inequational deduction as term graph rewriting. In D. Plump, editor, Term Graph Rewriting, volume 72 of ENTCS. Elsevier, 2002.

• R. de Lemos and J. Fiadeiro. An architectural support for self-adaptive software for treating faults. In Proc. of the Workshop on Self-Healing Systems. ACM Press, 2002.

• G. Ferrari, E. Moggi, and R. Pugliese. Guardians for ambient-based monitoring. In V. Sassone, editor, F-WAN: Foundations of Wide Area Network Computing, number 66 in ENTCS. Elsevier Science, 2002.

• J. Fiadeiro. Algebraic support for service-oriented systems. In Proc. AMAST'02, LNCS. Springer-Verlag, 2002.

• J. Fiadeiro. An architectural approach to fault treatment in critical infrastructures. In Proc. EDCC-4, LNCS. Springer-Verlag, 2002.

• J. Fiadeiro. Coordination technologies for just-in-time integration. In Formal Methods at the Crossroads: from Panacea to Foundational Support, LNCS. Springer-Verlag, 2002.

• J. Gouveia, G. Koutsoukos, M. Wermelinger, L. Andrade, and J. Fiadeiro. Coordination contracts for java applications. In Proc. of the 24th Intl. Conf. on Software Engineering, page 714. ACM Press, 2002. Demo description.

• J. Gouveia, G. Koutsoukos, M. Wermelinger, L. Andrade, and J. Fiadeiro. The coordination development environment. In Proc. of the 5th Intl. Conf. on Fundamental Approaches to Software Engineering, volume 2306 of LNCS, pages 323-326. Springer-Verlag, April 2002. Demo description.

• J. Gouveia, G. Koutsoukos, M. Wermelinger, L. Andrade, and J. Fiadeiro. Developing and evolving java applications using coordination contracts. In OOPSLA Companion, pages 28-29. ACM Press, 2002. Demo description.

• P. Hoffman. Verifying generative CASL architectural specifications. submitted for publication, 2002.

• A. Knapp, S. Merz, and C. Rauh. Model checking timed UML state machines and collaborations. In W. Damm and E.-R. Olderog, editors, 7th Intl. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002), volume 2469 of Lecture Notes in Computer Science, pages 395-414, Oldenburg, Germany, September 2002. Springer-Verlag.

• N. Koch and A. Kraus. The expressive power of UML-based Web engineering. In D. Schwabe, O. Pastor, G. Rossi, and L. Olsina, editors, Second International Workshop on Web-oriented Software Technology (IWWOST 2002). CYTED, June 2002.

• N. Koch and M. Wirsing. The Munich reference model for adaptive hypermedia applications. In P. De Bra, P. Brusilovsky, and R. Conejo, editors, Second International Conference on Adaptive Hypermedia and Adaptive Web-based Systems, volume 2347 of LNCS. Springer Verlag, May 2002.

• P. Kosiuczenko. Sequence diagrams for mobility. In J. Krogstie, editor, Proc. of MobIMod workshop, Tampere, Finland, LNCS. Springer, Berlin, 2002. to appear.

• I. Lanese and U. Montanari. Software architectures, global computing and graph transformation via logic programming. In L. Ribeiro, editor, Proc SBES'2002 - 16th Brazilian Symposium on Software Engineering, pages 11-35. Anais, 2002.

• K. Lano, J. Fiadeiro, and L. Andrade. Software Design Using Java. Palgrave Macmillan, 2002.

• S. Lasota. A polynomial-time algorithm for deciding true concurrency equivalences of Basic Parallel Processes. submitted for publication, 2002.

• D. Latella and M. Massink. On mobility extensions of UML statecharts. a pragmatic approach. TR CNR/ISTI.00, EU-IST-AGILE, 2002.

• A. Lopes and J. Fiadeiro. On how distribution and mobility interfere with coordination. In Proc. of the Wadt Workshop, 2002.

• A. Lopes and J. Fiadeiro. Revisiting the categorical approach to systems. In Proc. of the Intl. Conf. on Algebraic Methodology and Software Technology, volume 2422 of LNCS, pages 426-440. Springer-Verlag, 2002.

• A. Lopes and J. Fiadeiro. Superposition: Composition vs refinement of non-deterministic, action-based systems. Electronic Notes in Theoretical Computer Science, 70(3), 2002.

• A. Lopes, J. Fiadeiro, and M. Wermelinger. Architecural primitives for distribution and mobility. In Proc. 10th Symposium on the Foundations of Software Engineering, pages 41-50. ACM Press, 2002.

• U. Montanari and U. Ribeiro. Linear single-pushout graph transformation systems as tile logic. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation (ICGT), volume 2505 of Lecture Notes in Computer Science. Springer, 2002.

• M. Wermelinger and J. Fiadeiro. A graph transformation approach to run-time software architecture reconfiguration. Science of Computer Programming, 44:133-155, 2002.

• M. Wermelinger, G. Koutsoukos, J. Fiadeiro, L. Andrade, and J. Gouveia. Evolving and using coordinated systems. In Proc. of the 5th Intl. Workshop on Principles of Software Evolution, pages 43-46. ACM, 2002.

• J. Zappe. Towards a mobile TLA. In Malvina Nissim, editor, Proc. of the Seventh ESSLLI Student Session; ESSLLI 2002: 14th European Summer School in Logic, Language and Information, Trento, Italy, 2002., August 2002.