Bibliography generated from /lfe/www/pst/bibtex/bib.bib

Manfred Broy, Eva Geisberger, María Victoria Cengarle, Patrick Keil, Jürgen Niehaus, Christian Thiel, and Hans-Jürgen Thönnißen-Fries. Cyber-Physical Systems: Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion. Number 8 in acatech BEZIEHT POSITION. Springer, Berlin, 2012.
Eva Geisberger, Manfred Broy, María Victoria Cengarle, Patrick Keil, Jürgen Niehaus, Christian Thiel, and Hans-Jürgen Thönnißen-Fries. agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems. Springer, Berlin, 2012.
Gefei Zhang and Matthias Hölzl. Weaving Semantic Aspects in HiLA. In Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, and Richard P. Gabriel, editors, Proc. 11th Int. Conf. Aspect-Oriented Software Development (AOSD'12), pages 263-274. ACM, 2012.
Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, and Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction. In Robert B. France, Jochen Malte Küster, Behzad Bordbar, and Richard F. Paige, editors, Proc. 7th Eur. Conf. Modelling Foundations and Applications (ECMFA'11), volume 6698 of Lect. Notes Comp. Sci., pages 361-376. Springer, 2011.
Manfred Broy and María Victoria Cengarle. UML formal semantics: lessons learned. Software and Systems Modeling, Expert's Voice, 10(4):441-446, 2011.
María Victoria Cengarle and Peter Hergersberg. Schwache Passwörter ganz stark. Max-Planck-Gesellschaft, Aktuelles aus der Forschung, April 2011.
Gefei Zhang and Matthias Hölzl. Aspect-Oriented Modeling of Web Applications with HiLA. In Andreas Harth and Nora Koch, editors, Rev. Sel. Papers Wshs. at ICWE'11, volume 7059 of Lect. Notes Comp. Sci., pages 211-222. Springer, 2011.
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, and Rolf Hennicker. On weak modal compatibility, refinement, and the MIO Workbench. In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, Proceedings (TACAS 2010), volume 6015 of Lecture Notes in Computer Science, pages 175-189. Springer, 2010.
Alarico Campetelli, María Victoria Cengarle, Irina Gaponova, Alexander Harhurin, Daniel Ratiu, and Judith Thyssen. Specification techniques. Technical Report TUM-I1013, Institut für Informatik, Technische Universität München, 2010.
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, and Dániel Varró. Non-functional properties in the model-driven development of service-oriented systems. Software and Systems Modeling Journal, DOI 10.1007/s10270-010-0155-y, Springer Verlag, pages 1-25, 2010.
George T. Heineman, Jan Kofron, and Frantisek Plasil, editors. Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings, volume 6093 of Lecture Notes in Computer Science. Springer, 2010.
Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, and Matthias Ludwig. A Generic Framework for Multi-Disciplinary Environmental Modelling. In David A. Swayne, Wanhong Yang, Alexey A. Voinov, Andrea Rizzoli, and Tatiana Filatova, editors, Proceedings of the iEMSs Fifth Biennial Meeting: International Congress on Environmental Modelling and Software (iEMSs 2010), Ottawa, Canada, July 2010. International Environmental Modelling and Software Society.
Rolf Hennicker, Stephan Janisch, and Matthias Ludwig. Agent-Based Social Simulation within a Generic Framework for Environmental Modelling. In Proc. WCSS 2010, 3rd World Congress on Social Simulation, Kassel, Germany, 2010. Center for Environmental Systems Research, University of Kassel.
Matthias Hölzl, Alexander Knapp, and Gefei Zhang. Modeling the Car Crash Crisis Management System with HiLA. Trans. Aspect-Oriented Software Development (TAOSD), 7:234-271, 2010.
Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, and Artur Zawlocki. A heterogeneous approach to service-oriented systems specification. In Shin et al. [Shin et al., 2010], pages 2477-2484.
Philip Mayer, Andreas Schroeder, and Sebastian S. Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations. Electronic Notes in Theoretical Computer Science (ENTCS), 264(1):125-139, 2010.
Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, and Chih-Cheng Hung, editors. Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. ACM, 2010.
Mirco Tribastone, Philip Mayer, and Martin Wirsing. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. In Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010 - Amirandes, Heraclion, Crete, pages 1-16, 2010.
M. Birna van Riemsdijk and Martin Wirsing. Comparing goal-oriented and procedural service orchestration. Multiagent and Grid Systems, 6(2):133-163, 2010.
Martin Wirsing. A component-based approach to adaptive user-centric pervasive applications. In Heineman et al. [Heineman et al., 2010], page 2.
Gefei Zhang. Aspect-Oriented State Machines. PhD thesis, Ludwig-Maximilians-Universität München, 2010.
Gefei Zhang. Aspect-Oriented UI Modeling with State Machines. In Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner, and Andreas Pleuss, editors, Proc. 5th Int. Wsh. Model-Driven Development of Advanced User Interfaces (MDDAUI'10), pages 45--48, 2010.
Gefei Zhang and Matthias Hölzl. HiLA: High-Level Asepcts for UML State Machines. In Sudipto Ghosh, editor, Reports & Rev. Sel. Papers Wshs. at MoDELS'09, volume 6002 of Lect. Notes Comp. Sci., pages 104-118. Springer, Berlin, 2010.
Luciano Baresi, Chi-Hung Chi, and Jun Suzuki, editors. Proceedings of 7th International Joint Conference on Service-Oriented Computing (ICSOC/ServiceWave 2009), Stockholm, Sweden, 24-27 November, 2009, volume 5900 of Lecture Notes in Computer Science, 2009.
Sebastian S. Bauer and Rolf Hennicker. Views on behaviour protocols and their semantic foundation. In Proc. 3rd Conf. on Algebra and Coalgebra in Computer Science (CALCO'09), volume 5728 of Lecture Notes in Computer Science, pages 367-382. Springer, 2009.
Manfred Broy, María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. Considerations and Rationale for a UML System Model. In Kevin Lano, editor, UML 2 Semantics and Applications, pages 43-60. John Wiley & Sons, Hoboken, 2009.
Manfred Broy, María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. Definition of the System Model. In Kevin Lano, editor, UML 2 Semantics and Applications, pages 61-93. John Wiley & Sons, Hoboken, 2009.
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, and Martin Wirsing. A Service-Oriented UML Profile with Formal Support. In Baresi et al. [Baresi et al., 2009], pages 455-469.
María Victoria Cengarle and Hans Grönniger. System Model Semantics of Interactions. Technical Report TUM-I0932, Institut für Informatik, Technische Universität München, 2009.
María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. Variability within Modeling Language Definitions. In Andy Schürr and Bran Selic, editors, Model Driven Engineering Languages and Systems (MODELS 2009, Proceedings), volume 5795 of Lecture Notes in Computer Science, pages 670-684. Springer, 2009.
María Victoria Cengarle, Alexander Knapp, and Heribert Mühlberger. Interactions. In Kevin Lano, editor, UML 2 Semantics and Applications, pages 205-248. John Wiley & Sons, Hoboken, 2009.
Marsha Chechik and Martin Wirsing, editors. Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, volume 5503 of Lecture Notes in Computer Science. Springer, 2009.
Matthias M. Hölzl, Grit Denker, Max Meier, and Martin Wirsing. Constraint-muse: A soft-constraint based system for music therapy. In Kurz et al. [Kurz et al., 2009], pages 423-432.
Matthias M. Hölzl, Max Meier, and Martin Wirsing. Which soft constraints do you prefer? Electr. Notes Theor. Comput. Sci., 238(3):189-205, 2009.
Nora Koch, Matthias Pigerl, Gefei Zhang, and Tatiana Morozova. Patterns for the Model-based Development of RIAs. In Martin Gaedke, Michael Grossniklaus, and Oscar Días, editors, Proc. 9th Int. Conf. Web Engineering (ICWE'09), volume 5648 of Lect. Notes Comp. Sci., pages 283-291. ©Springer, Berlin, 2009.
Alexander Kurz, Marina Lenisa, and Andrzej Tarlecki, editors. Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, volume 5728 of Lecture Notes in Computer Science. Springer, 2009.
Fernando Orejas and Martin Wirsing. On the specification and verification of model transformations. In Palsberg [Palsberg, 2009], pages 140-161.
Jens Palsberg, editor. Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, volume 5700 of Lecture Notes in Computer Science. Springer, 2009.
Partha Sampath and Martin Wirsing. Computing the cost of business processes. In Yang et al. [Yang et al., 2009], pages 178-183.
Martin Wirsing, Laura Bocchi, Allan Clark, José Luiz Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Philip Mayer, Rosario Pugliese, and Andreas Schroeder. Sensoria: Engineering for Service-Oriented Overlay Computers. In Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso, and Arian Zwegers, editors, At your service: Service Engineering in the Information Society Technologies Program, ISBN 978-0-262-04253-6. MIT Press, 2009.
Martin Wirsing, Matthias Hölzl, and Axel Rauschmayer. Road-mapping research in software-intensive systems and new computing paradigms. Coordination Action InterLink, Deliverable Number D4.1, March 2009.
Jianhua Yang, Athula Ginige, Heinrich C. Mayr, and Ralf-Detlef Kutsche, editors. Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, volume 20 of Lecture Notes in Business Information Processing. Springer, 2009.
Gefei Zhang. Aspect-Oriented Modeling of Adaptive Web Applications with HiLA. In Gabriele Kotsis, David Taniar, Eric Pardede, and Ismail Khalil, editors, Proc. 7th Int. Conf. Advances in Mobile Computing & Multimedia (MoMM'09), pages 331-335. ACM, 2009.
Gefei Zhang and Matthias Hölzl. HiLA: High-Level Aspects for UML-State Machines. In Proc. 14th Wsh. Aspect-Oriented Modeling (AOM@MoDELS'09), 2009. Best paper.
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, and Mirco Tribastone. Safety and Response-Time Analysis of an Automotive Accident Assistance Service. In Margaria and Steffen [Margaria and Steffen, 2008], pages 191-205.
Roland Barthel, Stephan Janisch, Nina Schwarz, Aleksandar Trifkovic, Darla Nickel, Carsten Schulz, and Wolfram Mauser. An integrated modelling framework for simulating regional-scale actor responses to global change in the water domain. Environmental Modelling & Software, 23(9):1095-1121, September 2008.
Athman Bouguettaya, Ingolf Krüger, and Tiziana Margaria, editors. Proceedings of the 6th International Conference on Service-Oriented Computing (ICSOC 2008), Sydney, Australia, 1-5 December, 2008, volume 5364 of Lecture Notes in Computer Science, 2008.
Manfred Broy, María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). Technical Report 2008-06, Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig, 2008.
Daniel Calegari García, María Victoria Cengarle, and Nora Szasz. UML 2.0 Interactions with OCL/RT Constraints. In Forum on Specification, Verification and Design Languages (FDL'08, Proceedings), pages 167-172. IEEE, 2008. (DOI 10.1109/FDL.2008.4641440; slides).
María Victoria Cengarle. Approaches to an All-encompassing Formal Semantics for the UML. In Ulrich Ultes-Nitsche, Daniel Moldt, and Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'08, Proceedings), pages 3-4. INSTICC PRESS, 2008. (Invited talk).
María Victoria Cengarle and Alexander Knapp. An Institution for UML 2.0 Interactions. Technical Report TUM-I0808, Institut für Informatik, Technische Universität München, 2008.
María Victoria Cengarle and Alexander Knapp. An Institution for UML 2.0 Static Structures. Technical Report TUM-I0807, Institut für Informatik, Technische Universität München, 2008.
María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. System Model Semantics of Class Diagrams. Technical Report 2008-05, Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig, 2008.
María Victoria Cengarle, Hans Grönniger, and Bernhard Rumpe. System Model Semantics of Statecharts. Technical Report 2008-04, Carl-Friedrich-Gauß-Fakultät, Technische Universität Braunschweig, 2008.
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, and Martin Wirsing. A Heterogeneous Approach to UML Semantics. In Pierpaolo Degano, Rocco De Nicola, and José Meseguer, editors, Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065 of Lect. Notes Comp. Sci., pages 383-402. Springer, Berlin, 2008.
Christian Kroiß and Nora Koch. UWE Metamodel and Profile: User Guide and Reference, 2008.
Howard Foster and Philip Mayer. Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. In ICIW 2008: Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services, pages 72-77, Washington, DC, USA, 2008. IEEE Computer Society.
Moritz Hammer and Alexander Knapp. Correct Execution of Reconfiguration for Stateful Components. In Carlos Canal and Corina Pasareanu, editors, Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08), 2008.
Moritz Hammer, Bernhard Kempter, Florian Mangold, and Harald Roelle. Skalierbare performanzanalyse durch prolongation. In Korbinian Herrmann and Bernd Bruegge, editors, Software Engineering (SE 2008), volume 121 of Lecture Notes in Informatics, pages 127-139. Gesellschaft für Informatik, 2008.
Rolf Hennicker, Stephan Janisch, and Alexander Knapp. On the Observable Behaviour of Composite Components. In Carlos Canal and Corina Pasareanu, editors, Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08), 2008.
Koen Hindriks and M. Birna van Riemsdijk. Satisfying maintenance goals. In Declarative Agent Languages and Technologies V (DALT'07), volume 4897 of LNAI, pages 86-103, 2008.
Koen Hindriks and M. Birna van Riemsdijk. Using temporal logic to integrate goals and qualitative preferences into agent programming. In Declarative Agent Languages and Technologies VI (DALT'08), 2008. To appear in LNAI.
Matthias Hölzl, Max Meier, and Martin Wirsing. Which soft constraints do you prefer?. In Grigore Rosu, editor, Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08), Electronic Notes in Theoretical Computer Science, 2008. To appear.
Matthias Hölzl, Axel Rauschmayer, and Martin Wirsing. Engineering of software-intensive systems: State of the art and research challenges. In Wirsing et al. [Wirsing et al., 2008a].
Matthias Hölzl, Axel Rauschmayer, and Martin Wirsing. Software engineering for ensembles. In Wirsing et al. [Wirsing et al., 2008a].
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, and Martin Wirsing. Modelling the CoCoME with the Java/A Component Model. In Andreas Rausch, Ralf Reussner, Raffaela Mirandola, and Frantisek Plasil, editors, The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of Lect. Notes Comp. Sci., pages 207-237, 2008.
Nora Koch, Geert-Jan Houben, and Antonio Vallecillo, editors. 4th Workshop on Model-Driven Web Engineering (MDWE2008), Toulouse, France, volume 389. CEUR-WS, September 2008.
Nora Koch, Alexander Knapp, Gefei Zhang, and Hubert Baumeister. UML-Based Web Engineering: An Approach Based on Standards. In Luis Olsina, Oscar Pastor, Gustavo Rossi, and Daniel Schwabe, editors, Web Engineering: Modelling and Implementing Web Applications, volume 12 of Human-Computer Interaction Series, chapter 7, pages 157-191. Springer, Berlin, 2008.
Nora Koch, Santiago Meliá, Natahlie Moreno, Vicente Pelechano, Fernando Sanchez, and Juan M. Vara. Model-Driven Web Engineering. Upgrade-Novática Journal (English and Spanish), Council of European Professional Informatics Societies (CEPIS), Vol. IX No 2, 2008.
Tiziana Margaria and Bernhard Steffen, editors. Proceedings of Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Porto Sani, Greece, October 13-15, 2008, 2008.
Philip Mayer, Andreas Schroeder, and Nora Koch. A Model-Driven Approach to Service Orchestration. In Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), volume 2, pages 533-536, Los Alamitos, CA, USA, 2008. IEEE Computer Society.
Philip Mayer, Andreas Schroeder, and Nora Koch. MDD4SOA: Model-Driven Service Orchestration. In The 12th IEEE International EDOC Conference (EDOC 2008), pages 203-212, Munich, Germany, 2008. IEEE Computer Society.
Nathalie Moreno, Santiago Meliá, Nora Koch, and Antonio Vallecillo. Addressing New Concerns in Model-Driven Web Engineering Approaches. In Proc. of 9th Int. Conference on Web Information Systems Engineering (WISE 2008), Auckland, New Zealand, LNCS 5175, pages 426-442. Springer-Verlag, 2008.
Juan Carlos Preciado, Marino Linaje Trigueros, Rober Morales, Fernando Sánchez, Gefei Zhang, Christian Kroiß, and Nora Koch. Designing Rich Internet Applications Combining UWE and RUX-Method. In Proc. 8th Int. Conf. Web Engineering (ICWE'08), pages 148-154. IEEE, 2008.
Axel Rauschmayer. Lightweight data modeling in RDF. In Jörg Rech, Björn Decker, and Eric Ras, editors, Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications. Idea Group Inc., 2008.
Axel Rauschmayer. Next-generation wikis: What users expect; how rdf helps. In Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, and Max Völkel, editors, Proc. 3^ text rd Semantic Wiki Wsh. at ESWC. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, 2008.
Andreas Schroeder and Philip Mayer. Verifying Interaction Protocol Compliance of Service Orchestrations. In Bouguettaya et al. [Bouguettaya et al., 2008], pages 545-550.
Wieland Schwinger, Werner Retschitzegger, Andrea Schauerhuber, Gerti Kappel, Manuel Wimmer, Birgit Pröll, Cristina Cachero Castro, Sven Casteleyn, Olga De Troyer, Piero Fraternali, Irene Garrigos, Franca Garzotto, Athula Ginige, Geert-Jan Houben, Nora Koch, Nathalie Moreno, Oscar Pastor, Paolo Paolini, Vicente Pelechano Ferragud, Gustavo Rossi, Daniel Schwabe, Massimo Tisi, Antonio Vallecillo, Kees van der Sluijs, and Gefei Zhang. A Survey on Web Modeling Approaches for Ubiquitous Web Applications. Int. J. Web Information Systems (IJWIS), 4(3):234-305, 2008.
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, and Franco Mazzanti. Formal Verification of an Automotive Scenario in Service-Oriented Computing, 2008.
M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in agent systems: A unifying framework. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08), pages 713-720, Estoril, 2008.
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, and Andreas Schroeder. Service specification and matchmaking using description logic: An approach based on institutions. In 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of LNCS, pages 392-406. Springer-Verlag, 2008.
Martin Wirsing, Jean-Pierre Ban^atre, Matthias Hölzl, and Axel Rauschmayer, editors. Software-Intensive Systems and New Computing Paradigms, volume 5380 of LNCS. Springer, 2008.
Martin Wirsing, Jean-Pierre Ban^atre, Matthias M. Hölzl, and Axel Rauschmayer, editors. Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, volume 5380 of Lecture Notes in Computer Science. Springer, 2008.
Martin Wirsing, Laura Bocchi, Jose Luiz Fiadeiro, Stephen Gilmore, Matthias Hoelzl, Nora Koch, Philip Mayer, Rosario Pugliese, and Andreas Schroeder. Sensoria: Engineering for Service-Oriented Overlay Computers. MIT Press 2008, 2008.
Martin Wirsing, Matthias Hoelzl, Nora Koch, Philip Mayer, and Andreas Schroeder. Service Engineering: The Sensoria Model Driven Approach. In Proceedings of Software Engineering Research, Management and Applications (SERA 2008), Prague, Czech Republic, 2008. IEEE Computer Society.
Martin Wirsing, Matthias Hölzl, Lucia Acciai, Allan Clark, Federico Banti, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Laszlo Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, and Dániel Varró. A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece, LNCS. Springer-Verlag, 2008.
Michael Barth and Carsten Stolz. Website Performance Analysis - Success Assessment of Information Driven Website on User Traces. International Journal of Information Technology and Web Engineering, Vol.2 No.3, July-September 2007, Special Issue, 2007.
Dominik Berndl and Nora Koch. SENSORIA Automotive Scenario: Illustrating Service Specification, 2007.
Manfred Broy, María Victoria Cengarle, and Bernhard Rumpe. Semantics of UML -- Towards a System Model for UML: The Control Model. Technical Report TUM-I0710, Institut für Informatik, Technische Universität München, February 2007.
Manfred Broy, María Victoria Cengarle, and Bernhard Rumpe. Semantics of UML -- Towards a System Model for UML: The State Machine Model. Technical Report TUM-I0711, Institut für Informatik, Technische Universität München, February 2007.
Pietro Cenciarelli, Alexander Knapp, and Eleonora Sibilio. The Java Memory Model: Operationally, Denotationally, Axiomatically. In Rocco de Nicola, editor, Proc. 16th Europ. Symp. Programming (ESOP'07), volume 4421 of Lect. Notes Comp. Sci., pages 331-346. Springer, Berlin, 2007.
María Victoria Cengarle. System model for UML -- The interactions case. In Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa, editors, Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
María Victoria Cengarle, Juergen Dingel, Hans Grönniger, and Bernhard Rumpe. System-Model-based Simulation of the UML. In Nordic Workshop on Model Driven Engineering (5th NW-MoDE 2007, Proceedings), pages 112-126. Blekinge Tekniska Högskola, Research Report 2007:8, ISSN 978-91-7295-985-9, 2007.
Andreas Ernst, Carsten Schulz, Nina Schwarz, and Stephan Janisch. Modeling of Water Use Decisions in a Large, Spatially Explicit Coupled Simulation System. In B. Edmonds, C.H. Iglesias, and K.G. Troitzsch, editors, Social Simulation: Technologies, Advances and New Discoveries. Idea Group Inc., 2007.
María José Escalona and Nora Koch. Metamodelling the requirements of Web systems. In Joaquim Filipe, José Cordeiro, and Vitor Pedrosa, editors, Web Information Systems and Technologies: International Conferences WEBIST 2005 and WEBIST 2006, Revised Selected Papers, volume 1 of LNBIP, pages 267-280, August 2007.
Andrew Fish, Alexander Knapp, and Harald Störrle, editors. Proc. 1st Int. Wsh. Layout of (Software) Engineering Diagrams (LED'07), volume 7 of Electr. Comm. EASST, 2007.
Rolf Hennicker and Alexander Knapp. Activity-Driven Synthesis of State Machines. In Matt D. Dwyer and Antónia Lopes, editors, Proc. 10th Int. Conf. Fundamental Approaches to Software Engineering (FASE'07), volume 4422 of Lect. Notes Comp. Sci., pages 87-101. Springer, Berlin, 2007.
Alexander Knapp and Jochen Wuttke. Model Checking of UML 2.0 Interactions. In Thomas Kühne, editor, Wsh.s and Symp. MoDELS'06, Reports and Revised Sel. Papers, volume 4364 of Lect. Notes Comp. Sci., pages 42-51. Springer, Berlin, 2007.
Alexander Knapp, Nora Koch, Martin Wirsing, and Gefei Zhang. UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen. i-com, 6(3):5-12, 2007. In German.
Nora Koch. Classification of Model Transformation Techniques used in UML-based Web Engineering. IET Software Journal, 1(3):98-111, June 2007.
Nora Koch. SENSORIA Automotive Case Study: UML Specification of On Road Assistance Scenario, 2007.
Nora Koch, Antonio Vallecillo, and Geert-Jan Houben, editors. 3rd Workshop on Model-Driven Web Engineering (MDWE2007), Como, Italy, volume 261. CEUR-WS, July 2007.
J. Koehler, M. Pistore, A. P. Sheth, P. Traverso, and M. Wirsing, editors. Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061, 2007.
Andreas Kraus, Alexander Knapp, and Nora Koch. Model-Driven Generation of Web Applications in UWE. In Nora Koch, Antonio Vallecillo, and Geert-Jan Houben, editors, Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07), volume 261 of CEUR-WS, 2007.
Philip Mayer and Hubert Baumeister. D7.4b: Report on the sensoria case tool: Description and evaluation. Technical report, Deliverable for the EU project SENSORIA, Reporting Period October 2006-September 2007, September 2007.
Philip Mayer, Andreas Meissner, and Friedrich Steimann. A visual interface for type-related refactorings. In Proceedings of 1st Workshop on Refactoring Tools (WRT 2007), part of ECOOP 2007, Berlin, Germany, 2007. TU Berlin.
Axel Rauschmayer, Anita Andonova, and Patrick Nepper. Increasing the versatility of Java documentation with RDF. In K. Tochtermann, W. Haas, F. Kappe, A. Scharl, T. Pellegrini, and S. Schaffert, editors, I-MEDIA 07, I-SEMANTICS 07, International Conferences on New Media Technology and Semantic Systems, 2007.
Gustavo Rossi, Jocelyne Nanard, Marc Nanard, and Nora Koch. Engineering Web Applications with Roles. Journal of Web Engineering, 6(1):19-48, March 2007.
Friedricht Steimann and Philip Mayer. Type access analysis: Towards informed interface design. Journal of Object Technology, vol 6. no. 9, Special Issue: TOOLS Europe 2007, October 2007, 5:147-164, 2007.
Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigó, Jaime Gómes, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, and Gefei Zhang. MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. In Nora Koch, Antonio Vallecillo, and Geert-Jan Houben, editors, Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07), volume 261 of CEUR-WS, 2007.
M. Birna van Riemsdijk and Martin Wirsing. Goal-oriented and procedural service orchestration: A formal comparison. In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'007); The First International Workshops on Agents, Web Services, and Ontologies: Integrated Methodologies (AWESOME'007), pages 3-18, 2007.
M. Birna van Riemsdijk and Martin Wirsing. Using goals for flexible service orchestration: A first step. In J. Huang, R. Kowalczyk, Z. Maamar, D. Martin, I. Mueller, S. Stoutenburg, and K. Sycara, editors, Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07), volume 4504 of LNCS, pages 31-48, 2007.
M. Birna van Riemsdijk, Mehdi Dastani, and John-Jules Ch Meyer. A grounded specification language for agent programs. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), pages 578-585, Honolulu, Hawaii, 2007. IFAAMAS.
Martin Wirsing, Grit Denker, Carolyn Talcott, Andy Poggio, and Linda Briesemeister. A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci., 176(4):181-197, 2007.
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. Sensoria process calculi for service-oriented computing. In Ugo Montanari, Donald Sannella, and Roberto Bruni, editors, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, volume 4661 of Lecture Notes in Computer Science, pages 30-50. Springer, 2007.
Shiping Yang and Martin Wirsing. A Formal Framework for "Living" Cooperative Information Systems. In Khaled Elleithy, editor, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 399-404. Springer, Netherlands, 2007.
Gefei Zhang, Matthias Hölzl, and Alexander Knapp. Enhancing UML State Machines with Aspects. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, and Frank Weil, editors, Proc. 10th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'07), volume 4735 of Lect. Notes Comp. Sci., pages 529-543. Springer, Berlin, 2007.
Michael Barth, Carsten Stolz, Maximilian Viermetz, and Klaus Wilde. Searchstrings revealing User Intent - A Better Understanding of User Perception. In Proc. Int. Conf. on Web Engineering (ICWE'06), Palo Alto, California, ACM, 2006.
Roland Barthel, Stephan Janisch, Darla Nickel, and Aleksander Trifkovic. Using Actors Models to Identify Critical States of Water Supply Systems on the Regional Scale under Conditions of Global Climate Change. In 3rd International Symposium on Integrated Water Resources Management (IWRM'06). Bochum, September 2006. Accepted for presentation.
Roland Barthel, Stephan Janisch, Aleksander Trifkovic, and Darla Nickel. Identification of Critical States of Water Resources on the Regional Scale under Conditions of Global Climate Change using a Multi-Actor Based Water Supply Model. In Geophysical Research Abstracts (EGU'06), volume 8, 03879 of Abstracts of the European Geosciences Union General Assembly. Vienna, Austria, 2006.
Hubert Baumeister and Didier Bert. Algebraic specification in CASL. In Marc Frappier and Henri Habrias, editors, Software specification Methods: An Overview Using a Case Study, chapter 15. ISTE Publishing Company, April 2006.
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. A Component Model for Architectural Programming. In Luis Barbosa and Zhiming Liu, editors, Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05), volume 160 of Elect. Notes Theo. Comp. Sci., pages 75-96, 2006.
Michel Bidoit and Rolf Hennicker. Constructor-based Observational Logic. Journal of Logic and Algebraic Programming, 67(1-2):3-51, 2006.
Michel Bidoit and Rolf Hennicker. Proving Behavioral Refinements of COL-specifications. In J.P. Jouannaud K. Futatsugi, J. Meseguer, editor, Goguen Festschrift, volume 4060 of Lecture Notes in Computer Science, pages 333-354. Springer, 2006.
Manfred Broy, María Victoria Cengarle, and Bernhard Rumpe. Semantics of UML -- Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, Institut für Informatik, Technische Universität München, June 2006.
Tevfik Bultan, editor. Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, 17 July, 2006. ACM, 2006.
María Victoria Cengarle, Peter Graubmann, and Stefan Wagner. Semantics of UML 2.0 Interactions with Variabilities. Electronic Notes in Theoretical Computer Science, 160:141-155, 2006. International Workshop on Formal Aspects of Component Software (FACS'05, Proceedings). Preliminary version in Report No. 333, UNU-IIST, pages 153-168, 2005.
María José Escalona and Nora Koch. Metamodelling the Requirements of Web Systems. In Proc. 2nd International Conference on Web Information Systems and Technologies (WebIST'06), Setubal, Portugal, pages 310-317. INSTICC, 2006.
Jose Fiadeiro, Ugo Montanari, and Martin Wirsing, editors. Foundations of Global Computing. Number 05081 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
Hisham Haddad, editor. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), Dijon, France, 23-27 April, 2006. ACM, 2006.
Moritz Hammer and Michael Weber. ``To store or not to store reloaded'': Reclaiming memory on demand. In Lubos Brim, Boudewijn Haverkort, Martin Leucker, and Jaco van de Pol, editors, Formal Methods: Application and Technology (FMICS'2006), volume 4346 of Lecture Notes in Computer Science, pages 51-66. Springer-Verlag, 2006.
Rolf Hennicker and Matthias Ludwig. Design and Implementation of a Coordination Model for Distributed Simulations. In Heinrich C. Mayr and Ruth Breu, editors, Proc. Modellierung 2006 (MOD'06), volume P-82 of Lect. Notes Informatics, pages 83-97. Gesellschaft für Informatik, 2006.
Stephan Janisch, Roland Barthel, Carsten Schulz, Aleksander Trifkovic, Nina Schwarz, and Darla Nickel. A Framework for the Simulation of Human Response to Global Change. In Geophysical Research Abstracts (EGU'06), volume 8, 06195 of Abstracts of the European Geosciences Union General Assembly. Vienna, Austria, 2006.
Alexander Knapp and Jochen Wuttke. Model Checking of UML 2.0 Interactions. In Siv Hilde Houmb, Geri Georg, Robert France, Dorian C. Petriu, and Jan Jürjens, editors, Proc. 5th Int. Wsh. Critical Systems Development Using Modeling Languages (CSDUML'06), pages 52-67. telenor, R&I Research Note N 20/2006, 2006.
Alexander Knapp and Gefei Zhang. Model Transformations for Integrating and Validating Web Application Models. In Heinrich C. Mayr and Ruth Breu, editors, Proc. Modellierung 2006 (MOD'06), volume P-82 of Lect. Notes Informatics, pages 115-128. Gesellschaft für Informatik, 2006.
Alexander Knapp, Stephan Merz, Martin Wirsing, and Julia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science, 351(2):184-202, 2006.
Nora Koch. Transformations Techniques in the Model-Driven Development Process of UWE. In Gustavo Rossi, Antonio Vallecillo, and Geert-Jan Houben, editors, Proc. 2nd Model-Driven Web Engineering 2006 Workshop (MDWE'06), Palo Alto, USA. ACM DL, 2006.
Nora Koch and Luis Olsina, editors. Workshops of 6th International Conference on Web Engineering (ICWE 2006), Palo Alto, USA, volume 155. ACM, July 2006.
Nora Koch, Gefei Zhang, and María José Escalona. Model Transformations from Requirements to Web System Design. In Dave Wolber, Neil Calder, Chris Brooks, and Athula Ginige, editors, Proc. 6th Int. Conf. Web Engineering (ICWE'06), pages 281-288. ACM, 2006.
Christian Kroiß and Gefei Zhang. Tool Supported Modeling of Mobile Systems. In Albert Mo Kim Cheng, editor, Proc. 10th IASTED Int. Conf. Software Engineering and Applications (SEA'06), pages 14-19. ACTA Press, 2006.
Philip Mayer and Daniel Lübke. Towards a BPEL unit testing framework. In Bultan [Bultan, 2006], pages 33-42.
Axel Rauschmayer and Walter Christian Kammergruber. A wiki as an extensible RDF presentation engine. In ESWC Wsh. Semantic Wikis--From Wiki to Semantics, June 2006.
Wieland Schwinger and Nora Koch. Modelling of Web Applications. In Gerti Kappel, Birgit Pröll, Siegfried Reich, and Werner Retschitzegger, editors, Web Engineering: Systematic Development of Web Applications. John Wiley, 2006.
Friedrich Steimann, Philip Mayer, and Andreas Meissner. Decoupling classes with inferred interfaces. In Haddad [Haddad, 2006], pages 1404-1408.
Martin Wirsing and Matthias Hölzl. Software Intensive Systems. In Dimitris Plexousakis, editor, Anticipating Future and Emerging Information Society Technologies, ERCIM EEIG, May 2006.
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, and Andreas Schroeder. Semantic-Based Development of Service-Oriented Systems. In E. Najn et al., editor, Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, volume 4229 of Lect. Notes Comp. Sci., pages 24-45. Springer-Verlag, 2006.
Shiping Yang and Martin Wirsing. Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory. In Tarek Sobh and Khaled Elleithy, editors, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 309-316. Springer Verlag, 2006.
Gefei Zhang. Towards Aspect-Oriented State Machines. In Jan Hannemann, Elisa Baniassad, Kung Chen, Shigeru Chiba, Hidehiko Masuhara, Shangping Ren, and Jianjun Zhao, editors, Proc. 2nd Asian Wsh. Aspect-Oriented Software Development (AOASIA'06), pages 60-64. National Institute of Informatics, Tokyo, 2006.
Michael Barth. A Formal Model for Performance Assessment in A Simulative Environment. In G. Eleftherakis and K. Zdravkova, editors, Proc. 2nd South Eastern European Workshop on Formal Methods "Formal Methods: Challenges in the business world"(SEEFM2005). SEERC, 2005.
Michael Barth. A Metamodel for Translating UML Activity Diagrams to 1-safe Petrinets. Technical report, Institut für Informatik, Ludwig-Maximilians-Universität München, 2005.
Michael Barth, Michael Skubacz, and Carsten Stolz. Web Performance Indicator by Implicit User Feedback - Application and Formal Approach. In Jen Yao Chung, editor, Proc. 6th Int. Conf. Web Informations System Engineering (WISE2005), Lect. Notes Comp. Sci. ©Springer, Berlin, 2005.
Hubert Baumeister, Alexander Knapp, Nora Koch, and Gefei Zhang. Modelling Adaptivity with Aspects. In David Lowe and Martin Gaedke, editors, Proc. 5th Int. Conf. Web Engineering (ICWE'05), volume 3579 of Lect. Notes Comp. Sci., pages 406-416. ©Springer, Berlin, 2005.
Hubert Baumeister, Michele Marchesi, and Mike Holcombe, editors. Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, volume 3556 of LNCS. Springer, June 2005.
Michel Bidoit and Rolf Hennicker. Externalized and internalized notions of behavioral refinement. In M. Wirsing Dang Van Hung, editor, 2nd Int. Colloq. on Theoretical Aspects of Computing (ICTAC'05), volume 3722 of Lecture Notes in Computer Science, pages 334-350. Springer, 2005.
María Victoria Cengarle and Alexander Knapp. Operational Semantics of UML 2.0 Interactions. Technical Report TUM-I0505, Institut für Informatik, Technische Universität München, 2005.
Andreas Ernst, Carsten Schulz, Nina Schwarz, and Stephan Janisch. Shallow and Deep Modeling of Water Use in a Large, Spatially Explicit Coupled Simulation System. In Representing Social Reality: Approaches and Results, Proc. 3rd Conf. of the European Social Simulation Association (ESSA'05), 2005.
Moritz Hammer, Alexander Knapp, and Stephan Merz. Truly On-The-Fly Model Checking. In Nicolas Halbwachs and Lenore D. Zuck, editors, Proc. 11th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), volume 3440 of Lect. Notes Comp. Sci., pages 191-205. ©Springer, Berlin, 2005.
Alfred Helmerich, Nora Koch, Luis Mandel, Peter Braun, Peter Dornbusch, Alexander Gruler, Patrick Keil, Roland Leisibach, Jan Romberg, Bernhard Sch�tz, Thomas Wild, and Guido Wimmel. Study of Worldwide Trends and R&D Programmes in Embedded Systems in View of Maximising the Impact of a Technology Platform in the Area. . Technical report, FAST GmbH - TUM, November 2005. Report for the European Commission.
Rolf Hennicker and Matthias Ludwig. Property-Driven Development of a Coordination Model for Distributed Simulations.. In Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, volume 3535 of Lecture Notes in Computer Science, pages 290-305. Springer, 2005.
Rolf Hennicker, Stephan Janisch, Andreas Kraus, Matthias Ludwig, Wolfram Mauser, Ulrich Strasser, and Ralf Ludwig. DANUBIA: Design and Implementation of an Integrative Simulation and Decision Support System for the Upper Danube Basin. In Geophysical Research Abstracts (EGU'05), volume 7, 08908 of Abstracts of the European Geosciences Union General Assembly. Vienna, Austria, 2005.
Matthias Hölzl. A framework for dynamic service-oriented architectures. In JonL White, editor, Proceedings of the 25th International Lisp Conference. Association of Lisp Users, 2005.
Matthias Hölzl. A model-based architecture for entertainment applications. In JonL White, editor, Proceedings of the 25th International Lisp Conference. Association of Lisp Users, 2005.
Matthias M. Hölzl and John N. Crossley. Disjunctive constraint lambda calculi. In Sutcliffe and Voronkov [Sutcliffe and Voronkov, 2005], pages 64-78.
Dang Van Hung and Martin Wirsing. Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, volume 3722 of Lecture Notes in Computer Science. Springer, 2005.
Alexander Knapp and Harald Störrle. UML 2.0. Tutorial, Institut für Informatik, Ludwig-Maximilians-Universität München, 2005. Held at SEFM'05, VL/HCC'05, Ludwig-Maximilians-Universität München, University of Brighton, IASTED SE'07.
Alexander Knapp, Nora Koch, and Gefei Zhang. Modelling the Behaviour of Web Applications with ArgoUWE. In David Lowe and Martin Gaedke, editors, Proc. 5th Int. Conf. Web Engineering (ICWE'05), volume 3579 of Lect. Notes Comp. Sci., pages 624-626. ©Springer, Berlin, 2005.
Nora Koch, Piero Fraternali, and Martin Wirsing, editors. Journal of Web Engineering - Special Issue: Best Paper Award ICWE 2004, volume 4. Rinton Press, March 2005.
Nora Koch, Gustavo Rossi, and Antonio Vallecillo, editors. Model-Driven Web Engineering: Proceedings of 1st International Workshop on Model-Driven Web Engineering (MDWE 2005), Sydney, Australia. University of Wollongong, Sydney, ISBN 1-74128-105-9, July 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.
Santiago Meliá, Jaime Gómez, and Nora Koch. Improving Web Design Methods with Architecture Modeling. In Proc. 6th Int. Conference on Electronic Commerce and Web Technologies (EC-Web 2005), volume 3590 of Lect. Notes Comp. Sci., pages 53-64, Copenhagen, Denmark, 2005. Springer Verlag.
Santiago Meliá, Andreas Kraus, and Nora Koch. MDA Transformations Applied to Web Application Development. In David Lowe and Martin Gaedke, editors, Proc. 5th Int. Conf. Web Engineering (ICWE'05), volume 3579 of Lect. Notes Comp. Sci., pages 465-471, 2005.
Dirk Pattinson and Martin Wirsing. A coordination approach to mobile components. Theor. Comput. Sci., 331(2-3):457-483, 2005.
Iman Poernomo, John Crossley, and Martin Wirsing. Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer Monographs in Computer Science. Springer, 2005.
Axel Rauschmayer. A Short Introduction to RDF for Software Engineers, 2005.
Axel Rauschmayer. An RDF Editing Platform for Software Engineering. Technical Report 0505, Ludwig-Maximilians-Universität München, Institut für Informatik, July 2005.
Axel Rauschmayer. An RDF Editing Platform for Software Engineering. In ISWC Wsh. Semantic Web Enabled Software Engineering (SWESE), November 2005.
Axel Rauschmayer. Semantic-Web-Backed GUI Applications. In ISWC Wsh. End User Semantic Web Interaction, November 2005.
Axel Rauschmayer and Patrick Renner. Tube--Structure-Orientation in a Prototype-Based Programming Environment. In Proc. Int. Conf. Programming Languages and Compilers (PLC, June 2005.
Axel Rauschmayer and Patrick Renner. Tube: a Prototype-Based Programming Environment. Technical Report 0502, Ludwig-Maximilians-Universität München, Institut für Informatik, April 2005.
Friedrich Steimann and Philip Mayer. Patterns of Interface-Based Programming. Journal of Object Technology, 4(5):75-94, 2005.
Geoff Sutcliffe and Andrei Voronkov, editors. Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, volume 3835 of Lecture Notes in Computer Science. Springer, 2005.
Gefei Zhang. Towards Aspect-Oriented Class Diagrams. In Proc. 12th Asia-Pacific Software Engineering Conf. (APSEC'05), pages 763-768. IEEE Computer Society, 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 (WAOM'05), Chicago, 2005.
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.
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.
Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. DANUBIA: An Integrative Simulation System for Global Research in the Upper Danube Basin. Cybernetics and Systems, 35(7-8):639-666, 2004.
Don Batory, Jack Sarvela, and Axel Rauschmayer. Scaling Step-Wise Refinement. ACM Transactions on Software Engineering (TSE), 30(6):355-371, June 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. In Jorge R. Cuellar and Zhimming Liu, editors, Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04), pages 96-102. IEEE Computer Society Press, 2004. Extended abstract.
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. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04), pages 208-217. IEEE Computer Society Press, 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.
María Victoria Cengarle, Stefan Wagner, and Peter Graubmann. From Feature Models to Variation Representation in MSCs. In Jan Bosch, editor, 2nd Groningen Workshop on Software Variability Management (SVM'04, Proceedings), pages 49-60. Technical Report IWI preprint 2004-7-01, Instituut voor Wiskunde en Informatica, Rijksuniversiteit Groningen, 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.
Jens Gößner, Philip Mayer, and Friedrich Steimann. Interface utilization in the Java Development Kit. In Haddad et al. [Haddad et al., 2004], pages 1310-1315.
Florian Hacklinger. Taking Components into Java. In W. Dosch and N. Debnath, editors, Proc. 13th ISCA Conference, Intelligent and Adaptive Systems and Software Engineering, July 2004.
Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock, editors. Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), Nicosia, Cyprus, March 14-17, 2004. ACM, 2004.
Rolf Hennicker, Alexander Knapp, and Hubert Baumeister. Semantics of OCL Operation Specifications. In Peter H. Schmitt, editor, Proc. Wsh. OCL 2.0 - Industry standard or scientific playground?, volume 120 of Electr. Notes Theo. Comp. Sci., pages 111-132. Elsevier, 2004.
Alexander Knapp. Semantics of UML State Machines. Technical Report 0408, Institut für Informatik, Ludwig-Maximilians-Universität München, 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. 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 and María José Escalona. Requeriments Engineering for Web Applications: A Comparative Study. Journal of Web Engineering, 2(3):192-212, 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.
Nora Koch, Andreas Kraus, Cristina Cachero, and Santiago Meliá. Integration of Business Processes in Web Applications Models. Journal of Web Engineering, 3(1):22-49, May 2004.
P. Meier and M. Wirsing. Towards a formal specification for the agentcomponent. volume 2975, pages 175-188, 2004.
Axel Rauschmayer. A Recipe for More Dynamic OOP: Mix a Knowledge Representation and Prototypes. In OOPSLA Wsh. Revival of Dynamic Languages, October 2004.
Axel Rauschmayer and Patrick Renner. Knowledge-Representation-Based Software Engineering. Technical Report 0407, Ludwig-Maximilians-Universität München, Institut für Informatik, May 2004.

[Rauschmayer and Renner, 2004b]
Axel Rauschmayer and Patrick Renner. Tube: Interactive Model-Integrated Object-Oriented Programming. In Proc. IASTED Int. Conf. Software Engineering and Applications (SEA), November 2004.

Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Consistency checking in an infrastructure for large-scale generative programming. In Proc. 19^{text th} IEEE Int. Conf. Automated Software Engineering (ASE), pages 238-247. IEEE, September 2004.

Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Consistency Checking in an Infrastructure for Large-Scale Generative Programming. In Proc. 19th IEEE Int. Conf. Automated Software Engineering (ASE'04), pages 238-247. IEEE Computer Society Press, September 2004.

Stefan Wagner, María Victoria Cengarle, and Peter Graubmann. Modelling System Families with Message Sequence Charts: A Case Study. Technical Report TUM-I0416, Institut für Informatik, Technische Universität München, 2004.

Martin Wirsing and Alexander Knapp. View Consistency in Software Development. In 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., pages 341-357. ©Springer, Berlin, 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.

Christian Zimmer and Axel Rauschmayer. Tuna: Ontology-Based Source Code Navigation and Annotation. In OOPSLA Wsh. Ontologies as Software Engineering Artifacts, October 2004.

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.

Michael Barth. Integration of Simulation Based Performance Assessment In a Software Development Process. In Dosch and Lee, editors, Proc. of The 2003 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. (SNPD 03), pages 98-105. ACIS, 2003.

Michael Barth. Performance Assessment of Software Models In a Configurable Environment Simulator. In Proc. of The 2003 International Conference on Software Engineering Research and Practice (2003). CSREA, 2003.

Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. An Integrated Simulation System for Global Change Research in the Upper Danube Basin. In Proc. of The First World Congress on Information Technology in Environmental Engineering (ITEE 2003). ICSC-NAISO Academic Press, 2003.

Don Batory, Jack Sarvela, and Axel Rauschmayer. Scaling Step-Wise Refinement. In Proc. 25^{text th} IEEE Int. Conf. Software Engineering (ICSE). IEEE, 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.

Gerd Beneken, Ulrike Hammerschall, Manfred Broy, María Victoria Cengarle, Jan Jürjens, Bernhard Rumpe, and Maurice Schoenmakers. Componentware -- State of the Art 2003. In Workshop of the CUE Initiative, Proceedings, 2003.

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, and Robert Sandner. The Automotive CASE. In Bernhard Westfechtel and Manfred Nagl, editors, Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (Proceedings), pages 211-228. John Wiley VCH Verlag, April 2003.

Ron Crocker and Guy L. Steele Jr., editors. Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2003), Anaheim, CA, USA, 26-30 October, 2003. ACM, 2003.

María José Escalona and Nora Koch. Requeriments Engineering for Web Applications: A Comparative Study (in Spanish). In Mario Piattini, Luca Cernuzzi, and Francisco Ruiz, editors, Proc. 6th Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software (IDEAS2003), pages 2-14. WES/CYTED, 2003.

Matthias M. Hölzl. Combining language extensions. In Raymond de Lacaze, editor, Proceedings of the International Lisp Conference 2003. To appear, 2003.

Alexander Knapp, Nora Koch, Flavia Moser, and Gefei Zhang. ArgoUWE: A CASE Tool for Web Applications. In Jolita Ralyté and Colette Roland, editors, Proc. 1st Int. Wsh. Engineering Methods to Support Information Systems Evolution (EMSISE'03), pages 37-50, Genève, 2003.

Nora Koch and Andreas Kraus. Towards a Common Metamodel for the Development of Web Applications. In Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Luis Joyanes Aguilar, José Emilio Labra Gayo, and María del Puerto Paule Ruíz, editors, Proc. 3rd Int. Conf. Web Engineering (ICWE 2003), volume 2722 of LNCS, pages 497-506. Springer Verlag, 2003.

Nora Koch, Andreas Kraus, Cristina Cachero, and Santiago Meliá. Modeling Web Business Processes with OO-H and UWE. In Daniel Schwabe, Oscar Pastor, Gustavo Rossi, and Luis Olsina, editors, Proc. 3rd Int. Workshop on Web-Oriented Software Technology (IWWOST2003), pages 27-50, 2003.

Andreas Kraus and Nora Koch. A Metamodel for UWE. Technical Report 0301, Ludwig-Maximilians-Universität München, January 2003.

[Krieg-Bruckner et al., 2003]
B. Krieg-Bruckner, D. Hutter, A. Lindow, C. Luth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J. G. Smaus, and M. Wirsing. Multimedia instruction in safe and secure systems. Recent Trends In Algebraic Development Techniques, 2755:82-117, 2003.

Richard Krutisch, Philipp Meier, and Martin Wirsing. The AgentComponent Approach, Combining Agents And Components. In Proc. 1st German Conf. Multiagent System Technologies (MATES'03), Lect. Notes Artif. Intell., pages 1-12. Springer, Berlin, 2003.

R. Ludwig, W. Mauser, S. Niemeyer, A. Colgan, R. Stolz, H. Escher-Vetter, M. Kuhn, M. Reichstein, J. Tenhunen, A. Kraus, M. Ludwig, M. Barth, and R. Hennicker. Web-based Modeling of Water, Energy and Matter Fluxes to Support Decision Making in Mesoscale Catchments - the Integrative Perspective of GLOWA-Danube. Physics and Chemistry of the Earth, 28:621-634, 2003.

Philip Mayer. Analyzing the use of interfaces in large OO projects. In Crocker and Jr. [Crocker and Jr., 2003], pages 382-383.

Philipp Meier. Visual Construction of Multi-Agent-Systems according to the AgentComponent Approach and the Run-Design-Time Concept. In Proc. 4th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel Computing (SNPD03), Lect. Notes Artif. Intell. Springer, Berlin, 2003. To Appear.

Philipp Meier and Martin Wirsing. Implementation Patterns for Visual Construction of Multi-Agent-Systems. Technical Report 0302, Ludwig-Maximilians-Universität München, July 2003. "Accepted by the Second International Workshop on Agent-Oriented Methodologies (OOPSLA)".

Stefan Merz, Martin Wirsing, and Julia Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In FASE 2003: Fundamental Approaches to Software Engineering. Warsaw, Poland., volume 2621 of LNCS, pages 87-101. ©Springer, 2003.

Rolf Hennicker Michel Bidoit. Constructor-based Observational Logic. Technical report, Laboratoire Specification et Verification France, Ludwig-Maximilians-Universität München, June 2003.

Axel Rauschmayer, Alexander Knapp, and Martin Wirsing. Type-checking AHEAD. Technical Report 0406, Ludwig-Maximilians-Universität München, Institut für Informatik, 2003.

Wieland Schwinger and Nora Koch. Modellierung von Web-Anwendungen. In Siegfried Reich Gerti Kappel, Birgit Pröll and Werner Retschitzegger, editors, Web Engineering, pages 49-75. dpunkt Verlag, Heidelberg, 2003.

Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. Danubia: A web-based modeling and decision support system for integrative global change research in the upper danube basin. Technical Report German Programme on Globale Change in the Hydrological Cycle (Phase I, 2000 - 2003), Status Report, BMBF, 2002. S.35-38.

Hubert Baumeister. Customer relationship management for SMEs. In Proceedings E2002, Prague, Oct. 2002, October 2002.

Hubert Baumeister. Formal methods and extreme programming. In Dieter Hutter, David Basin, Peter A. Lindsay, and Christoper Lüth, editors, Workshop on Evolutionary Formal Software Development, EFSD, Kopenhagen, July 2002.

Hubert Baumeister. Towards using extreme programming to the formal specication of software; abstract. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, 16th International Workshop on Algebraic Development Techniques, WADT, Frauenchiemsee, October 2002.

Hubert Baumeister. Using XP to develop a CRM framework. In Proceedings XP2002, Alghero, May 2002.

Hubert Baumeister and Martin Wirsing. Applying test-first programming and iterative development in building an E-business application. In Proceedings International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, SSGRR 2002, L'Aquila, Italy, 2002.

S. Bistarelli, T. Frühwirth, M. Marte, and F. Rossi. Soft constraint propagation and solving in chr (short, revised version). In ACM Symposium on Applied Computing (SAC 2002), March 2002.

Cristina Cachero and Nora Koch. Conceptual Navigation Analysis: a Device and Platform Independent Navigation Specification. In D. Schwabe, O. Pastor, G. Rossi, and L. Olsina, editors, Second International Workshop on Web-oriented Software Technology (IWWOST02). CYTED, June 2002.

María Victoria Cengarle. Inspection and testing: Towards combining both approaches. Technical Report IESE-Report 024.02/E, Fraunhofer Institut Experimentelles Software Engineering, 2002. 51 pages.

María Victoria Cengarle and Alexander Knapp. Towards OCL/RT. In Lars-Henrik Eriksson and Peter Alexander Lindsay, editors, Proc. 11th Int. Symp. Formal Methods Europe, volume 2391 of Lect. Notes Comp. Sci., pages 390-409. ©Springer, Berlin, 2002. (Rule for always corrected) .

Nora Koch (Ed.). Software Process Improvement: CMM and SPICE in Practice. FAST Reihe Softwaretechnik, Uni-Druck, 2002.

Thom Frühwirth. As time goes by: Automatic complexity analysis of simplification rules. In 8th Intl Conf on Principles of Knowledge Representation and Reasoning (KR2002), April 2002.

T. Frühwirth and S. Abdennadher. Essentials of Constraint Programming. Springer Verlag, 2002. To appear.

Florian Hacklinger. Java/A. In Young Researchers Workshop at the 7th International Conference on Software Reuse, 2002.

Matthias M. Hölzl. ConS/Lisp--a metaobject-protocol based non-deterministic lisp. In Raymond de Lacaze, editor, Proceedings of the International Lisp Conference 2002. Franz, Inc., 2002.

Matthias M. Hölzl. Constraint-functional programming based on generic functions. In Michael Hanus, Petra Hofstedt, Slim Abdennadher, Thom Frühwirth, and Armin Wolf, editors, Workshop Proceedings: MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages, September 2002.

Matthias M. Hölzl and John Newsome Crossley. Constraint-lambda calculi. In Alessandro Armando, editor, Frontiers of Combining Systems. Third International Workshop, volume 2309 of LNAI, pages 207-221. Springer, 2002. FROCOS 2002.

Alexander Knapp and Stephan Merz. Model Checking and Code Generation for UML State Machines and Collaborations. In Dominik Haneberg, Gerhard Schellhorn, and Wolfgang Reif, editors, Proc. 5th Wsh. Tools for System Design and Verification, pages 59-64. Technical Report 2002-11, Institut für Informatik, Universität Augsburg, 2002.

Alexander Knapp, Stephan Merz, and Christopher Rauh. Model Checking Timed UML State Machines and Collaborations. In Werner Damm and Ernst Rüdiger Olderog, editors, Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems, volume 2469 of Lect. Notes Comp. Sci., pages 395-416. ©Springer, Berlin, 2002.

Nora Koch. An Object-Oriented Hypermedia Reference Model formally specified in UML. In Patrick van Bommel, editor, Information Modeling for Internet Applications, pages 59-79. Idea Group Publishing, 2002.

Nora Koch. Software Engineering for Adaptdive Hypermedia Systems. KI-Journal (Artificial Intelligence), Special Issue on Adaptivity and User Modeling(3), 2002.

Nora Koch and Andreas 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 (IWWOST02). CYTED, June 2002.

Nora Koch and Gustavo Rossi. Patterns for Adaptive Web Applications. In Seventh European Conference on Pattern Languages of Programs, July 2002.

Nora Koch and Martin 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. LNCS 2347, Springer Verlag, May 2002.

Piotr Kosiuczenko. Diagrams for modelling of mobile objects. Technical Report Nr 0203, Ludwig-Maximilians-Universität München, Institut für Informatik, March 2002. 15 pages.

Piotr Kosiuczenko. Sequence Diagrams for Mobility. In J. Krogstie, editor, Proc. of MobIMod workshop, Tampere, Finland, LNCS. Springer, Berlin, 2002. to appear.

Andreas Kraus and Nora Koch. Generation of Web Applications from UML Models using an XML Publishing Framework. In H. Ehrig, B. Krämer, and A. Ertas, editors, 6th World Conference on Integrated Design and Process Technology (IDPT), volume 1, June 2002.

Martin Wirsing and Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci., 285:519-560, 2002.

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

Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. GLOWA-Danube: Integrative Techniken, Szenarien und Strategien zur Zukunft des Wassers im Einzugsebiet der oberen Donau. Technical Report Jahresbericht 2001 des Projektes 07GWK04, Ludwig-Maximilians-Universität München, Institut fr Geographie, 2001. Teilprojekt Informatik (S.23 -S.43).

Hubert Baumeister, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. OCL Component Invariants. In Luqi and Manfred Broy, editors, Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration, pages 208-215. U.S. Naval Postgraduate School, Monterey, 2001.

Dominique Cansell, Dominique Méry, and Stephan Merz. Diagram refinements for the design of reactive systems. Journal of Universal Computer Science, 2001. to appear.

María Victoria Cengarle and Alexander Knapp. A Formal Semantics for OCL 1.4. In Martin Gogolla and Cris Kobryn, editors, Proc. 4th Int. Conf. UML, volume 2185 of Lect. Notes Comp. Sci., pages 118-133. ©Springer, Berlin, 2001. (Errata).

María Victoria Cengarle and Alexander Knapp. On the Expressive Power of Pure OCL. Technical Report 0101, Institut für Informatik, Ludwig-Maximilians-Universität München, 2001.

John N. Crossley, Iman Poernomo, and Martin Wirsing. Programs, proofs and parameterized specifications. In 15th Int. Wsh. Recent Trends in Algebraic Development Techniques (WADT 2001), volume 2267 of Lecture Notes in Computer Science, pages 280-304, Berlin, 2001. Springer-Verlag.

P. S. Eaton, T. Frühwirth, and M. Tambe, editors. Constraint Agents, Special Issue Constraints Journal. Kluwer, 2001.

T. Frühwirth. On the number of rule applications in constraint programs, special issue on the joint conference on declarative programming agp'00. In M. C. Meo A. Dovier and A. Omicini, editors, Electronic Notes on Theoretical Computer Science (ENTCS), volume 48. Elsevier Science Publishers, June 2001.

T. Frühwirth and S. Abdennadher. The munich rent advisor: A success for logic programming on the internet, special issue on logic programming and the internet. Journal on Theory and Practice of Logic Programming (TPLP), Vol 1(3), May 2001.

Rolf Hennicker and Nora Koch. Modeling the User Interface of Web Applications with UML. In Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group at the UML 2001, October 2001. Gessellschaft für Informatik, Köln Druck+Verlag.

Rolf Hennicker and Nora Koch. Systematic Design of Web Applications with UML. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, IDEA Group Publishing, 2001.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, and Martin Wirsing. Specifying Component Invariants with OCL. In Kurt Bauknecht, Wilfried Brauer, and Thomas Mück, editors, Proc. GI/OCG-Jahrestagung, volume 157/I of books@ocg.at, pages 600-607. ÖGI (Austrian Computer Society), 2001.

Matthias M. Hölzl. Constraint-Lambda Calculi--Theory and Applications. PhD thesis, Ludwig-Maximilians Universität München, 2001.

Alexander Knapp. fOOSE - Eine integrierte formale Softwareentwicklungsmethode. In Dorothea Wagner et al., editor, Ausgezeichnete Informatikdissertationen, volume D-1 of Lect. Notes Inform., pages 85-96. Gesellschaft für Informatik, Bonn, 2001. In German.

Nora Koch. Software Engineering for Adaptive Hypermedia Systems: Reference Model, Modeling Techniques and Development Process. UNI-DRUCK Verlag, 2001. PhD. Thesis, Ludwig-Maximilians-Universität München.

Nora Koch. Software-Entwicklungsprozess: 18 Techniken. In Jörg Noack, editor, Techniken der objektorientierten Softwareentwicklung, Springer Verlag, 2001.

Nora Koch and Martin Wirsing. Software Engineering for Adaptive Hypermedia Systems?. In Paul De Bra, editor, Third Workshop on Adaptive Hypertext and Hypermedia, 8th International Conference on User Modeling, July 2001.

Nora Koch, Andreas Kraus, and Rolf Hennicker. The Authoring Process of the UML-based Web Engineering Approach. In Daniel Schwabe, editor, First International Workshop on Web-oriented Software Technology (IWWOST01), June 2001.

Piotr Kosiuczenko. Formal Redesign of UML Class Diagrams. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Proc. of pUML Workshop on Practical UML-Based Rigorous Development Methods, volume P 7 of Lecture Notes in Informatics, pages 174-191. Springer-Verlag, 2001.

Piotr Kosiuczenko. Towards a Formal Notion of Redesign. In Th. Mück K. Bauknecht, W. Brauer, editor, Proc. of Wirtschaft und Wissenschaft in der Network economy, volume 157/II of Tagungsband der GI/OCG-Jahrestagung, pages 655-661. "Osterreichische Computer Gesellschaft, 2001.

P. Kosiuczenko and M. Wirsing. Towards an integration of message sequence charts and timed maude. Transactions of the SDPS, 5:23-44, 2001.

Stephan Merz. Modelling and Verification of Parallel Processes, chapter Model Checking: A Tutorial Introduction. LNCS Tutorial Series. Springer-Verlag, 2001. to appear.

A. Raffaetta and T. Frühwirth. Spatio-temporal annotated constraint logic programming. In Third International Workshop on Practical Aspects of Declarative Languages (PADL'01), Las Vegas, USA, March 2001.

Axel Rauschmayer. Probe: Visualizing Algebraic Transformations in the GenBorg Generative Software Environment. Master's thesis, Ludwig-Maximilians-Universität München, Institut für Informatik, 2001.

Bernhard Reus, Rolf Hennicker, and Martin Wirsing. A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering (FASE 2001), volume 2029 of Lect. Notes Comp. Sci., pages 300-316. Springer, Berlin, 2001.

Timm Schäfer, Alexander Knapp, and Stephan Merz. Model Checking UML State Machines and Collaborations. In Scott D. Stoller and Willem Visser, editors, Proc. Wsh. Software Model Checking, volume 55(3) of Electr. Notes Theo. Comp. Sci., 2001. 13 pages.

Martin Wirsing, Hans Ehrich, Martin Gogolla, Hans-Jürgen Kreowski, Tobias Nipkow, Hans Reichel, and Wolfgang Reif, editors. Integrating Diagrammatic and Formal Specification Methods. ÖGI (Austrian Computer Society), 2001.

Mingsheng Ying and Martin Wirsing. Recursive equations in higher-order process calculi. Theoretical Computer Science, 266:839-852, 2001.

Florian Albrecht, Nora Koch, and Thomas Tiller. SmexWeb: An Adaptive Web-based Hypermedia Teaching System. Journal of Interactive Learning Research, Special Issue on Intelligent Systems/Tools in Training and Life-Long Learning, 11(3/4), 2000.

Hubert Baumeister. Relating abstract datatypes and Z-schemata. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, September 1999; Selected Papers;, volume 1827 of LNCS. Springer, 2000.

Hubert Baumeister and Piotr Kosiuczenko. CARUSO: Customer Care and Relationship Support Office. In Ricardo Goncalves and Adolfo Steiger-Garcao, editors, Product and Process Modelling in Building and Construction, Proceedings of the Third European Conference on Product and Process Modelling in the Building and Related Industries, Lisbon, Portugal, 25-27 September 2000, pages 115-120. A. A. Balkema, Rotterdam, Brookfield, 2000.

Hubert Baumeister and Alexandre Zamulin. State-based extension of CASL. In Wolfgang Grieskamp, Thomas Santen, and Bill Stoddart, editors, Integrated Formal Methods. Second International Conference, IFM 2000, Dagstuhl Casle, Germany, volume 1945 of LNCS, pages 3-24. Springer, December 2000.

Manfred Broy and Martin Wirsing. Algebraic State Machines. In Teodor Rus, editor, Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect. Notes Comp. Sci., pages 89-118. ©Springer, Berlin, 2000.

Dominique Cansell, Dominique Méry, and Stephan Merz. Predicate diagrams for the verification of reactive systems. In 2nd Intl. Conf. on Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Computer Science, Dagstuhl, Germany, November 2000. Springer-Verlag.

María Victoria Cengarle and Armando Martín Haeberer. A formal approach to specification-based black-box testing. In Workshop on Modelling Software System Structures in a fastly moving scenario (7th Monterey Workshop, June 2000, Proceedings), pages 98-118, 2000.

María Victoria Cengarle and Armando Martín Haeberer. Specifications, programs, and confirmation. In Workshop on Requirements, Design, Correct Construction and Verification (February 2000, Proceedings), pages 93-114. Verlag UNI-Druck, 2000.

María Victoria Cengarle and Armando Martín Haeberer. Towards an epistemology-based methodology for verification and validation testing. Technical Report 0001, Ludwig-Maximilians-Universität München, Institut für Informatik, January 2000. 63 pages.

A. E. M. Ciarlini and T. Frühwirth. Automatic derivation of meaningful experiments for hybrid systems. In ACM SIGSIM Conference on AI, Simulation and Planning (AIS'2000), Tucson, Arizona, USA, March 2000.

John N. Crossley, Iman Poernomo, and Martin Wirsing. Extraction of structured programs from specification proofs. In D. Bert and C. Choppy, editors, 13th Int. Worskhop on Recent Trends in Algebraic Development Techniques, volume 1827 of Lecture Notes in Computer Science, pages 419-437, Berlin, 2000. Springer-Verlag.

T. Frühwirth. Constraint solving with constraint handling rules. In Intensional Programming II, Based on the Papers at ISLIP'99, World Scientific Singapore, pages 14-30, March 2000.

T. Frühwirth. Predicting derivation lengths in rule-based constraint programs. In Neuvi�mes Journ�es Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2000), Marseille, France, June 2000.

T. Frühwirth. Proving termination of constraint solver programs. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999. Springer LNAI 1865, May 2000.

T. Frühwirth and P. Brisset. Optimal placement of base stations in wireless indoor communication networks, special issue on practical applications of constraint technology. IEEE Intelligent Systems Magazine, 15(1), January/February 2000.

Rolf Hennicker and Nora Koch. A UML-based Methodology for Hypermedia Design. In A. Evans, S. Stuart, and B. Selic, editors, UML'2000 - The Unified Modeling Language - Advancing the Standard, volume 1939 of Lecture Notes in Computer Science, York, England, October 2000. Springer Verlag. Also as LMU Technical Report 0004.

Rolf Hennicker and Nora Koch. Eine UML-Erweiterung f�r den Entwurf f�r Web-Sites. In Andreas Sch�rr und Andreas Winter, editor, 7ten GROOM Workshop, Koblenz, April 2000.

C. Holzbaur and T. Frühwirth, editors. Constraint Handling Rules, Special Issue Journal of Applied Artificial Intelligence. Taylor & Francis, April 2000.

C. Holzbaur and T. Frühwirth. A prolog constraint handling rules compiler and runtime system. Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules, 14(4), April 2000.

Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. PhD thesis, Ludwig-Maximilians-Universität München, 2000.

Alexander Knapp. Generating Rewrite Theories from UML Collaborations. In Kokichi Futatsugi, Ataru T. Nakagawa, and Tetsuo Tamai, editors, Cafe: An Industrial-Strength Algebraic Formal Method, pages 97-120. Elsevier, Amsterdam-&c., 2000.

Nora Koch. Hypermedia Systems Development based on the Unified Process. Technical Report 0003, Ludwig-Maximilians-Universität München, January 2000.

Nora Koch. UML+ OCL Specification of the Dexter Hypertext Reference Model. Technical Report 0008, Ludwig-Maximilians-Universität München, December 2000.

Nora Koch and Alfred Helmerich. Information Services Procurement Library for Web Engineering. ten Hagen & Stam, July 2000. 115 pages.

Nora Koch, Hubert Baumeister, Rolf Hennicker, and Luis Mandel. Extending UML for Modeling Navigation and Presentation in Web Applications. In Geri Winters and Jason Winters, editors, In Modeling Web Applications in the UML Workshop, UML�2000, York, England, October 2000.

P. Kosiuczenko and M. Wirsing. Formalizing and executing message sequence charts via timed rewriting. Electronic Notes in Theoretical Computer Science, 25:12, 2000.

P. Kosiuczenko and M. Wirsing. On the semantics of message sequence charts: an algebraic approach. to appear in Science of Computer Programming, page 32 pages, 2000.

Stephan Merz. Model checking techniques for the analysis of reactive systems. In Benedikt Löwe and Florian Rudolph, editors, Foundations of the Formal Sciences, Berlin, 2000. to appear.

Stephan Merz. Weak alternating automata in Isabelle/HOL. In J. Harrison and M. Aagaard, editors, Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science, pages 423-440. Springer-Verlag, 2000.

A. Raffaetta and T. Frühwirth. Semantics for temporal annotated constraint logic programming. In D. Basin, M. D'Agostino, D. Gabbay, S. Matthews, and L. Vigan�, editors, Labelled Deduction. Applied Logic Series, Kluwer Academic Publishers, May 2000.

A. Raffaetta and T. Frühwirth. Two semantics for temporal annotated constraint logic programming. In M. Gergatsoulis and P. Rondogiannis, editors, Intensional Programming II, Based on the Papers at ISLIP'99, World Scientific Singapore, pages 78-92, March 2000.

Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa (eds.). Proc. Wsh. Dynamic Behaviour in UML Models: Semantic Questions. Technical report 0006, Institut für Informatik, Ludwig-Maximilians-Universität München, 2000.

Rupert Rockinger and Hubert Baumeister. BABSy: Basic agent framework billing system. In Proceedings MAMA 2000, Wollongong, Australia, December 2000.

J. Steggles and P. Kosiuczenko. A formal model for SDL specification based on timed rewriting logic. Automated Software Engineering, 7(1):59-88, 2000.

M. Wirsing and T. Frühwirth, editors. AMAST'96, Special Issue of Theoretical Computer Science, volume 239/1. Elsevier, May 2000.

Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and Wolfgang Reif (eds.). Proc. Wsh. Rigorose Entwicklung software-intensiver Systeme. Technical report 0005, Ludwig-Maximilians-Universität München, September 2000.

Mingsheng Ying and Martin Wirsing. Approximate Bisimilarity. In Teodor Rus, editor, Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect. Notes Comp. Sci., pages 309-322. ©Springer, Berlin, 2000.

S. Abdennadher and T. Frühwirth. Operational equivalence of chr programs and constraints. In Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandra, Virginia, USA, October 1999.

S. Abdennadher, T. Frühwirth, and H. Meuss. Semantics and confluence of constraint simplification rules. Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming, 4(2), May 1999.

Florian Albrecht, Nora Koch, and Thomas Tiller. Making Web-Based Training More Efficient. In LWA'99: Lernen, Wissensentdeckung und Adaptivität - ABIS'99: 7ter Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, Magdeburg, Germany, September 1999.

Gabriel Baum and María Victoria Cengarle. Software system verification and program derivation. In Fifth Workshop on the German-Brazilian Bilateral Programme for Scientific and Technological Cooperation, Königswinter, Germany, March 1999.

Hubert Baumeister. Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universität des Saarlandes, Saarbrücken, May 1999.

Hubert Baumeister and Didier Bert. Algebraic specification in CASL. In Marc Frappier and Henri Habrias, editors, Software specification Methods: An Overview Using a Case Study, FACIT (Formal Approaches to Computing and Information Technology), chapter 12. Springer, November 1999.

Hubert Baumeister, Nora Koch, and Luis Mandel. Towards a UML extension for hypermedia design. In UML�99 The Unified Modeling Language - Beyond the Standard, LNCS 1723, Fort Collins,USA, October 1999. Springer Verlag. (PDF)

Hubert Baumeister, Christoph Maier, Martin Rappl, and Peter Scholz. Refinement using mu -charts - the Compaq Grand Slam Cup case study revisited, 1999. to appear in the proceedings of the 17th Annual AoM/IAoM International Conference on Computer Science, San Diego, USA.

M. Bidoit and R. Hennicker. Observer complete definitions are behaviourally coherent. Technical report, Ludwig-Maximilians-Universität München, Institut für Informatik, 1999.

M. Bidoit, R. Hennicker, F. Tort, and M. Wirsing. Correct realizations of interface constraints with ocl. In R. B. France and B. Rumpe, editors, UML'99, The Unified Modeling Language - Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 399-415, Berlin, 1999. Springer-Verlag.

Michel Bidoit, María Victoria Cengarle, and Rolf Hennicker. Proof systems for structured specifications and their refinements. In Egidio Astesiano, Hans-Jörg Kreowski, and Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification, pages 385-433. Springer, Berlin, 1999.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 157-200. ©Springer, Berlin, 1999.

A. E. M. Ciarlini and T. Frühwirth. Using constraint logic programming for software validation. In Fifth Workshop on the German-Brazilian Bilateral Programme for Scientific and Technological Cooperation, Koenigswinter, Germany, March 1999.

T. Frühwirth. Symbolic execution for the derivation of meaningful properties of hybrid systems. In Sixteenth International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, December 1999. Poster.

T. Frühwirth. Termination of chr constraint solvers. In ERCIM Working Group on Constraints CompulogNet Area on Constraint Programming Workshop, Paphos, Cyprus, October 1999.

R. Hennicker and M. Bidoit. Observational logic. In Proc. AMAST '98, 7th International Conference on Algebraic Methodology and Software Technology, volume 1548 of Lecture Notes in Computer Science, pages 263-277, Berlin, 1999. Springer.

R. Hennicker and A. Kurz. /omega-/xsi logic: On the algebraic extension of coalgebraic specifications. In Proc. CMCS '99, Coalgabraic Methods in Computer Science, volume 19 of Electronic Notes in Theoretical Computer Science, pages 195-212. Elsevier Science B.V., 1999.

C. Holzbaur and T. Frühwirth. A compiler for constraint handling rules based on partial evaluation. In 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, Italy, September 1999.

C. Holzbaur and T. Frühwirth. Compiling constraint handling rules into prolog with attributed variables. In International Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris, France, September/October 1999.

Alexander Knapp. A Formal Semantics for UML Interactions. In Robert B. France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. UML, volume 1723 of Lect. Notes Comp. Sci., pages 116-130. ©Springer, Berlin, 1999.

Nora Koch. A Comparative Study of Methods for Hypermedia Development. Technical Report 9905, Ludwig-Maximilians-Universität München, November 1999.

Nora Koch and Luis Mandel. Using UML to Design Hypermedia Applications. Technical Report 9901, Ludwig-Maximilians-Universität München, March 1999.

P. Kosiuczenko. Denotational semantics for message sequence charts. Technical Report 9903, Ludwig-Maximilians-Universität München, Institut für Informatik, 1999. 15 pages.

P. Kosiuczenko. Partially commutative monoids and message sequence charts. Technical Report 9904, Ludwig-Maximilians-Universität München, Institut für Informatik, 1999. 15 pages.

P. Kosiuczenko and M. Wirsing. Formalizing and executing message sequence charts via timed rewriting. In Luqi and M. Broy, editors, Proceedings of the 1998 Monterey Workshop on Engineering Automation for Computer Based Systems, Technical Report NPS-CS-99-002, pages 93 --104, Naval Postgraduate School, Monterey, CA, April 1999.

Luis Mandel and María Victoria Cengarle. On the expressive power of OCL. In World Congress on Formal Methods (FM'99, Proceedings), volume 1708 of Lecture Notes in Computer Science. Springer-Verlag, September 1999.

Stephan Merz. A more complete TLA. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM'99 --- Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1226-1244, Toulouse, September 1999. Springer-Verlag.

Stephan Merz. A more complete TLA. Technical report, Institut für Informatik, Universität München, Munich, July 1999.

Bernd Meyer, Hubert Zweckstetter, Luis Mandel, and Zoltan Gassmann. Automatic construction of intelligent diagrammatic environments. In HCI'99: 8th International Conference on Human-Computer Interaction, Munich, Germany, August 1999. Lawrence Erlbaum. in press.

M. Wirsing, N. Koch, G. Rossi, A. Garrido, L. Mandel, A. Helmerich, and L. Olsina. Hyper-UML: Specification and Modeling of Multimedia and Hypermedia Applications in Distributed Systems. In Second Workshop on the German-Argentinian Bilateral Programme for Scientific and Technological Cooperation, Königswinter, Germany, March 1999.

Martin Wirsing, John N. Crossley, and Hannes Peterreins. Proof normalization of structured algebraic specifications is convergent. In José Fiadeiro, editor, 12th Int. Workshop on Recent Trends in Algebraic Development Techniques, volume 1589 of Lecture Notes in Computer Science, pages 326-340, Berlin, 1999. Springer-Verlag.

S. Abdennadher and Th. Frühwirth. On completion of constraint handling rules. In Fourth International Conference on Principles and Practice of Constraint Programming, CP98, LNCS 1520. Springer, 1998.

M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural implementations. Acta Informatica, 35:951-1005, 1998.

María Victoria Cengarle. The rewriting logic institution. Technical Report 9801, Ludwig-Maximilians-Universität München, Institut für Informatik, May 1998. 16 pages.

María Victoria Cengarle. The temporal logic institution. Technical Report 9805, Ludwig-Maximilians-Universität München, Institut für Informatik, November 1998. 15 pages.

H. Ehrig, G. Engels, F. Orejas, and M. Wirsing (eds). Semi-formal and formal specification techniques for software systems. Dagstuhl Seminar Report 218, Dagstuhl, Germany, July 1998.

Th. Frühwirth. A declarative language for constraint systems - Theory and Practice of Constraint Handling Rules. Habilitation, Computer Science Institute, LMU Munich, July 1998.

Th. Frühwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, pages 95-138, October 1998.

Th. Frühwirth and Ch. Holzbaur. Compiling constraint handling rules (chr). In Third ERCIM/Compulog Network Workshop on Constraints, CWI Amsterdam, The Netherlands, September 1998.

Th. Frühwirth and Ch. Holzbaur. Join evaluation schemata for constraint handling rules. In 13th Workshop Logische Programmierung WLP'98, TU Vienna, Austria, September 1998.

Zoltan Gassmann, Luis Mandel, and Roshan Sembacuttiaratchy. Recopla: An Extendible Graphic Meta-Editor. In Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of Lecture Notes Computer Science. Springer Verlag, 1998.

C. Holzbaur and Th. Frühwirth. Constraint Handling Rules Reference Manual for Sicstus Prolog. Vienna, Austria, July 1998.

Alexander Knapp. Case Studies With CafeOBJ. In Proc. CafeOBJ Symp. '98, Numazu, Japan, April 1998. 37 pp.

Nora Koch. Towards a Methodology for Adaptive Hypermedia Systems Development. In Ulf Timm and Marc Rössel, editors, Proceedings ABIS-98: Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, October 1998.

Nora Koch, Bernd Gaede, and Josef Schneeberger. Rapid Development of Electronic Product Catalogues. Technical Report 9803, Ludwig-Maximilians-Universität München, November 1998.

Luis Mandel, Nora Koch, and Christoph Maier. Extending UML to Model Hypermedia and Distributed Systems. Technical Report 9804, Ludwig-Maximilians-Universität München, Institut für Informatik, 1998.

Kim Marriott and Bernd Meyer, editors. Visual Language Theory. Springer-Verlag, New York, 1998.

Bernd Meyer. Competitive learning of network diagram layout. In International IEEE Workshop on Visual Languages (VL'98), Halifax, Nova Scotia, Canada, September 1998.

Bernd Meyer. Self-organizing graphs: A neural network perspective of graph layout. In Graph Drawing (GD'98), Montreal, Canada, August 1998.

Bernd Meyer and Hubert Zweckstetter. Interpretation of visual notations in the recopla editor generator. In FRVDR'98: AAAI Fall Symposium on Formalizing Reasoning with Visual and Diagrammatic Representations, Orlando, October 1998. AAAI TR FS-98-04.

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, and Martin Wirsing. Verifying a Compiler Optimization for Multi-Threaded Java. In Francesco Parisi Presicce, editor, Sel. Papers 12th Int. Wsh. Recent Trends in Algebraic Development Techniques, volume 1376 of Lect. Notes Comp. Sci., pages 402-417. ©Springer, Berlin, 1998.

Martin Wirsing. Beiträge zu 150 stichworten. In M. Broy and O. Spaniol, editors, Lexikon der Informatik und Kommunikationstechnik. Springer-Verlag, Berlin, 1998. mit S. Gastinger, R. Hennicker, U. Lechner, S. Merz, A. Mück, F. Nickl, B. Reus, R. Stabl.

A. Zendler, W. Hesse, S. Gastinger, and P. Kosiuczenko. Advanced concepts, live cycle models and tools for object-oriented software development. Tekton Marburg, 1998. 270 pages.

Ulrich Berger, Karl-Heinz Niggl, and Bernhard Reus. Proc. Wsh. Domains III. Technical Report 9712, Ludwig-Maximilians-Universität München, 1997.

François Bourdoncle and Stephan Merz. Type checking higher-order polymorphic multi-methods. In POPL '97: 24th ACM Symposium on Principles of Programming Languages, pages 302-315, Paris, January 1997. ACM Press.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In Michael Johnson, editor, Proc. 6th Int. Conf. Algebraic Methodology and Software Technology, volume 1349 of Lect. Notes Comp. Sci., pages 75-90. ©Springer, Berlin, 1997.

Th. Frühwirth and S. Abdennadher. Anwendungen Constraintbasierter Programmierung. In GI Informatik 97 Jahrestagung. Springer, September 1997.

Th. Frühwirth and S. Abdennadher. Constraint-Programmierung: Grundlagen und Anwendungen. Springer, September 1997.

Th. Frühwirth and S. Abdennadher. Der Mietspiegel im Internet - Ein Fall für Constraint-Logikprogrammierung. KI - Künstliche Intelligenz 1/97, Special issue on Constraints, pages pp. 33-36, April 1997.

Th. Frühwirth and P. Brisset. Optimal planning of digital cordless telecommunication systems. In Third International Conference on The Practical Application of Constraint Technology (PACT97), London, England, April 1997.

R. Hennicker. Structured specifications with behavioural operators: semantics, proof methods and applications. Habilitation thesis, Computer Science Institute, LMU Munich, 1997.

R. Hennicker and M. Wirsing. Proof systems for structured algebraic specifications: An overview. In Proc. FCT '97, Fundamentals of Computation Theory, volume 1279 of Lecture Notes in Computer Science, pages 19-37, Berlin, 1997. Springer.

Alexander Knapp and Piotr Kosiuczenko. Developing Formal Semantics of EPKML. Technical report 9704, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.

Alexander Knapp and Luis Mandel. An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions. Internal report, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.

Alexander Knapp, Nora Koch, and Martin Wirsing. EPKML: Eine Spezifikationssprache für elektronische Produktkataloge. Technical report 9713, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997. In German.

Alexander Knapp, Nora Koch, Martin Wirsing, Jochen Duckeck, Rainer Lutze, Hartmut Fritzsche, Dietrich Timm, Patrick Closhen, Martin Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, and Andreas Turk. EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. In Ralf Steinmetz and L. C. Wolf, editors, Interactive Distributed Multimedia Systems and Telecommunication Services, volume 1309 of Lect. Notes Comp. Sci., pages 199-209. ©Springer, Berlin, 1997.

Nora Koch and Luis Mandel. State of the Art and Classification of Electronic Product Catalogues on CD-ROM. Int. J. Electronic Markets, 7(3):16-21, 1997.

Nora Koch and Josef Schneeberger. Integrated Assistance for the Development of Electronic Product Catalogues. In Symposium on Software Technology (SoST). SADIO, August 1997.

Nora Koch and Andreas Turk. Towards a Methodical Development of Electronic Catalogues. Int. J. Electronic Markets, 7(3):28-31, 1997.

P. Kosiuczenko. Formalizing time aspects of message sequence charts. Technical Report 9703, Ludwig-Maximilians-Universität München, Institut für Informatik, 1997. 12 pages.

P. Kosiuczenko. Term rewriting from an algebraic point of view. Technical Report 9702, Ludwig-Maximilians-Universität München, Institut für Informatik, 1997. 14 pages.

Piotr Kosiuczenko. Formalizing msc'96: Inline expressions. Technical report 9705, Ludwig-Maximilians-Universität München, Institut für Informatik, January 1997.

Piotr Kosiuczenko. Term Rewriting from an Algebraic Point of View. Technical report 9702, Ludwig-Maximilians-Universität München, Institut für Informatik, January 1997.

Piotr Kosiuczenko. Time in Message Sequence Charts: a formal approach. Technical report 9703, Ludwig-Maximilians-Universität München, Institut für Informatik, April 1997.

P. Kosiuczenko and M. Wirsing. Timed rewriting logic with an application to object-based specification. Science of Computer Programming, 28(2-3):225-246, 1997.

Rainer Lutze and Martin Wirsing. Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge, Veröffentlichungen zum EPKfix-Projekt 1995-1997. Technical Report 9706, Ludwig-Maximilians-Universität München, September 1997.

Christoph Maier. Component Event Diagrams, a Hierarchical Dynamic Technique to Model Distributed Systems. Technical Report 9710, Institut für Informatik der Ludwig-Maximilians-Universität München, 1997.

Christoph Maier and Luis Mandel. An Introduction to MOOD² -- Specification and Design of a Live Scoring System for the Compaq Grand Slam Cup 1997. Technical Report 9711, Institut für Informatik der Ludwig-Maximilians-Universität München, 1997.

Christoph Maier and Luis Mandel. Object--Oriented Development of Distributed Systems -- a Survey. Technical Report 9708, Institut für Informatik der Ludwig-Maximilians-Universität München, 1997.

Christoph Maier and Luis Mandel. YAON -- a Static Diagram Technique for Object Oriented Distributed Systems. Technical Report 9709, Institut für Informatik der Ludwig-Maximilians-Universität München, 1997.

Kim Marriott and Bernd Meyer. On the classification of visual languages by grammar hierarchies. Journal of Visual Languages and Computing, 8(4):374-402, 1997.

Stephan Merz. Rules for abstraction. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science--ASIAN'97, volume 1345 of Lecture Notes in Computer Science, pages 32-45, Kathmandu, Nepal, December 1997. Springer-Verlag.

Bernd Meyer. Formalization of visual mathematical notations. In Michael Anderson, editor, AAAI Symposium on Diagrammatic Reasoning (DR-II), pages 58-68, Boston/MA, November 1997. AAAI Press, AAAI Technical Report FS-97-02.

Bernd Meyer and Kim Marriott. Specifying diagram animation with rewrite systems. In International Workshop on Theory of Visual Languages (TVL'97), pages 85-96, Capri, Italy, September 1997.

Peter Ölveczky, Piotr Kosiuczenko, and Martin Wirsing. An Object-Oriented Algebraic Steam-Boiler Control Specification. Technical report 9701, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.

Bernhard Reus and Thomas Streicher. General Synthetic Domain Theory -- a logical approach (extended abstract). In E. Moggi and P. Rosolini, editors, 7th Conf. Category Theory in Computer Science, volume 1290 of LNCS, pages 293-313, Berlin, 1997. Springer.

Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, and Patrick Closhen. EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. In M. Jarke, K. Pasedach, and K. Pohl, editors, Informatik'97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik, Informatik aktuell. Springer, September 1997.

Martín Abadi and Stephan Merz. On TLA as a logic. In Manfred Broy, editor, Deductive Program Design, NATO ASI series F. Springer-Verlag, Berlin, 1996.

Martín Abadi, Leslie Lamport, and Stephan Merz. A TLA solution to the RPC-Memory specification problem. In Manfred Broy, Stephan Merz, and Katharina Spies, editors, Formal System Specification: The RPC-Memory Specification Case Study, volume 1169 of Lecture Notes in Computer Science, pages 21-66. Springer-Verlag, Berlin, 1996.

S. Abdennadher, Th. Frühwirth, and H. Meuss. Confluent simplification rules. Technical report PMS-FB-1996-7, Institut für Informatik, Ludwig-Maximilians-Universit"at M"unchen, January 1996.

S. Abdennadher, Th. Frühwirth, and H. Meuss. Implementing constraint solvers: Theory and practice. In Forum de la Recherche en Informatique'96 (FRI'96), Tunis, Tunesia, July 1996.

S. Abdennadher, Th. Frühwirth, and H. Meuss. On confluence of constraint handling rules. In Second International Conference on Principles and Practice of Constraint Programming (CP'96), LNCS 1118. Springer, August 1996.

Jean Paul Bahsoun, Stephan Merz, and Corinne Servières. Modular description and verification of concurrent objects. In First Workshop on Distributed and Concurrent Objects, Lecture Notes in Computer Science, Berlin, 1996. Springer-Verlag. to appear.

Michel Bidoit and Rolf Hennicker. Behavioural Theories and The Proof of Behavioural Properties. Theoretical Computer Science, 165 (1):3-55, 1996.

François Bourdoncle and Stephan Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Research Report 26, Centre de Mathématiques Appliquées, Ecole des Mines de Paris, Paris, March 1996.

François Bourdoncle and Stephan Merz. Primitive subtyping land implicit polymorphism models object-orientation. In Kim Bruce, editor, Workshop on Foundations of Object-Oriented Languages (FOOL3), July 1996.

John N. Crossley, Luis Mandel, and Martin Wirsing. First Order Constrained Lambda Calculus. In Franz Baader and Klaus U. Schulz, editors, Frontiers of Combining Systems, number 3 in Applied Logics Series, pages 339-356. Kluwer, Dordrecht-Boston-London, 1996. Also as technical report 96/261 of the Monash University, Australia.

Th. Frühwirth. Temporal annotated constraint logic programming. Journal of Symbolic Computation, Special issue on Executable Temporal Logics, Vol. 22:pp. 555-583, 1996.

Th. Frühwirth and S. Abdennadher. The munich rent advisor. In 1st Workshop on Logic Programming Tools for Internet Applications at Joint International Conference and Symposium on Logic Programming (JICSLP 96), Bonn, Germany, September 1996.

Th. Frühwirth, S. Abdennadher, and P. Blenninger. Rent estimates with constraints over the internet. In Journees Francophones de Programmation en Logique et programmation par Contraintes (JFPLC'96), Clermont Ferrand, France, June 1996.

Th. Frühwirth, J.-R. Molwitz, and P. Brisset. Planning cordless business communication systems. IEEE Expert Magazine, Special Issue on Intelligent Telecommunications, pages pp. 50-55, February 1996.

A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST'96, Proceedings, volume 1101 of LNCS, 1996.

R. Hennicker and C. Schmitz. Object-oriented implementation of abstract data type specifications. In Proc. AMAST '96, volume 1101 of Lecture Notes in Computer Science, pages 163-179, Berlin, 1996. Springer.

Rolf Hennicker, Martin Wirsing, and Michel Bidoit. Proof systems for structured specifications with observability operators. Theoretical Computer Science, 1996. to appear.

Alexander Knapp, Nora Koch, and Luis Mandel. The EPKML Language. Technical report 9605, Institut für Informatik, Ludwig-Maximilians-Universität München, 1996.

Nora Koch and Luis Mandel. Catalogues on CD-ROM: The State of the Art. Technical report 9610, Institut für Informatik, Ludwig-Maximilians-Universität München, 1996.

P. Kosiuczenko. Formal semantics of basic message sequence charts: an algebraic approach. In A. Wolisz, A. Rennoch, and I. Schifdecker, editors, Formale Beschreibungstechniken für verteilte Systeme, GMD-Studien Nr. 315, pages 135-144, Berlin, 1996.

Piotr Kosiuczenko and Karl Meinke. On the Power of Higher-Order Algebraic Specification. Inf. Comp., 124(1):85-101, 1996.

Frank Leßke and Stephan Merz. Steam boiler control specification problem: A TLA solution. In Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 339-359. Springer-Verlag, Berlin, 1996.

Rainer Lutze, Patrick Closhen, Jochen Duckeck, Hartmut Fritzsche, Bernd Gaede, Hans-Jürgen Hoffmann, Alexander Knapp, Nora Koch, Dietrich Timm, and Andreas Turk. EPK-fix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge. In Ursula Grote and Gottfried Wolf, editors, Statusseminar des BMBF --- Softwaretechnologie, pages 299-318. DLR, March 1996.

Luis Mandel and María Victoria Cengarle. The Disjunctive Constrained Lambda Calculus. In D. Bjørner, M. Broy, and I. V. Pottosin, editors, Perspectives of Systems Informatics (2nd. International Andrei Ershov Memorial Conference, Proceedings), volume 1181 of Lecture Notes in Computer Science, pages 297-309. Springer-Verlag, June 1996.

Andy Mück. Eine verifizierte Implementierung funktional-logische Programmiersprachen. PhD thesis, Institut für Informatik, Ludwig-Maximilians-Universität München, Shaker Verlag, 1996.

Peter Ölveczky, Piotr Kosiuczenko, and Martin Wirsing. Steamboiler Specification Problem: An Algebraic Object-Oriented Solution. In Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lect. Notes Comp. Sci. Springer, Berlin, 1996.

Bernhard Reus. Synthetic domain theory in type theory: Another logic of computable functions. In Joakim von Wright, Jim Grundy, and John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, volume 1125 of LNCS, pages 363-381, Berlin, 1996. Springer.

Martin Wirsing and Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In José Meseguer, editor, Proc. 1st Int. Wsh. Rewriting Logic and Its Applications, volume 4 of Electr. Notes Theo. Comp. Sci., pages 321-359. Elsevier, 1996. Revised version.

A. Zendler, W. Hesse, F. Nickl, P. Kosiuczenko, and S. Da Silva. Object-oriented real-time it questionnaire. Technical Report FAST-Bericht Nr. 96-01, Forschungsinstitut für Angewandte Software-Technologie (FAST) e.V., 1996. 7 pages.

Martín Abadi and Stephan Merz. An abstract account of composition. In Jirí Wiedermann and Petr Hajek, editors, Mathematical Foundations of Computer Science, volume 969 of Lecture Notes in Computer Science, pages 499-508, Berlin, 1995. Springer-Verlag.

Michel Bidoit and Rolf Hennicker. Behavioural Theories. In Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 153-169. Springer Verlag, 1995.

Michel Bidoit and Rolf Hennicker. Modular Correctness of Behavioural Implementations. Technical Report 9513, Institut für Informatik, Ludwig-Maximilians-Universität München, 1995.

Michel Bidoit and Rolf Hennicker. Proving the correctness of behavioural implementations. In Proc. AMAST `95 4th International Conference on Algebraic Methodology and Software Technology, volume 936 of Lecture Notes in Computer Science, pages 152-168. Springer Verlag, 1995.

Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2-3):146-186, 1995.

Manfred Broy and Martin Wirsing. Correct software: From experiments to applications. In M. Broy and S. Jähnichen, editors, KORSO - Correct Software by Formal Methods. Springer, LNCS 1009, 1995.

María Victoria Cengarle. Semantic Typing for Parametric Algebraic Specifications. In V. S. Alagar and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST'95, Proceedings), volume 936 of Lecture Notes in Computer Science, pages 261-276, Berlin, July 1995. Springer-Verlag.

María Victoria Cengarle and Luis Mandel. Finite Domains in the Constrained Lambda Calculus. In Proceedings of the Post-Conference Workshop on Constraints, Databases and Logic Programming. International Logic Programming Symposium (ILPS), pages 75-89, December 8 1995.

María Victoria Cengarle and Martin Wirsing. A Calculus of Higher-Order Parameterization for Algebraic Specifications. Bulletin of the Interest Group in Pure and Applied Logics (IGPL), 3(4):615-641, July 1995. Special Issue `Workshop on Logic, Language, Information and Computation 1994'.

John N. Crossley, Luis Mandel, and Martin Wirsing. Cálculo Lambda de Primer Orden y la Propiedad Church--Rosser. In Proceedings of the Congress CACIC'95 Congreso Argentino de Ciencias de la Computación, pages 493-504, October 5-7 1995. (in spanish).

Piotr Kosiuczenko and Martin Wirsing. Timed Rewriting Logic for the Specification of Time-Sensitive Systems. In H. Schwichtenberg, editor, Proceedings of the International Summer School on Proof and Computation, NATO-ASI Series. Springer Verlag, 1995.

Ulrike Lechner, C. Lengauer, and Marting Wirsing. An object-oriented airport. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 351-367. Springer Verlag, 1995.

Luis Mandel. Constrained Lambda Calculus. PhD thesis, Ludwig-Maximilians-Universität München, Leopoldstraße 11b, 80802 München, Germany, December 1995. 213 pages.

Stephan Merz. Efficiently executable temporal logic programs. In Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Computer Science, pages 69-85, Berlin, Heidelberg, 1995. Springer-Verlag.

Stephan Merz. Mechanizing TLA in Isabelle. In Robert Rodosek, editor, Workshop on Verification in New Orientations, pages 54-74, Maribor, July 1995. Univ. of Maribor.

M. Nenninger and F. Nickl. Implementing data structures by composition of reusable components: a formal approach. In M. Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 134-141, 1995.

P. Pepper and Marting Wirsing. A method for the development of correct software. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report, volume 1009 of Lecture Notes in Computer Science. Springer Verlag, 1995.

Bernhard Reus. Program Verification in Synthetic Domain Theory. PhD thesis, Ludwig-Maximilians-Universität München, 1995.

Martin Wirsing. Algebraic specification languages: An overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 351-367. Springer Verlag, 1995.

Martin Wirsing and Piotr Kosiuczenko. Timed rewriting logic. In H. Schwichtenberg, editor, Proceedings of the International Summer School on Proof and Computation, Marktoberdorf, NATO-ASI Series. Springer Verlag, 1995.

Martin Wirsing, Friederike Nickl, and Ulrike Lechner. Concurrent object-oriented specification in spectrum. In Y. Inagaki, editor, Workshop on Algebraic and Object-Oriented Approaches to Software Science, Nagoya/Japan, pages 39-70. Nagoya University, March 1995.

Michel Bidoit and Rolf Hennicker. Proving Behavioural Theorems with Standart First-Order Logic. In Proc. Algebraic and Logic Programming 4th International Conference ALP `94, volume 850 of Lecture Notes in Computer Science, pages 41-58. Springer Verlag, 1994.

Michel Bidoit, Rolf Hennicker, and Marting Wirsing. Characterizing behavioural semantics and abstractor semantics. In Proc. of ESOP'94, pages 105-119. Springer-Verlag L.N.C.S. 788, 1994.

María Victoria Cengarle. Formal Specifications with Higher-Order Parameterization. PhD thesis, Institut für Informatik, Ludwig-Maximilians-Universität München, 1994.

María Victoria Cengarle and Martin Wirsing. A calculus of parameterization for algebraic specifications. Technical Report 94/198, Department of Computer Science, Monash University, May 1994. 20 pages.

María Victoria Cengarle and Martin Wirsing. Semantic Typing for Parametric Algebraic Specifications. Technical Report 94/199, Department of Computer Science, Monash University, May 1994. 12 pages.

P. Chen and R. Hennicker. Retrieval of Reusable Components in Software Object Bases. Technical report, Ludwig-Maximilians-Universität München, 1994.

Stefan Gastinger, Rolf Hennicker, and Robert Stabl. Design of Modular Software Systems with Reuse. Technical report, Ludwig-Maximilians-Universität München, 1994.

R. Hennicker and F. Nickl. A Behavioural algebraic framework for modular system design with reuse. In Hartmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, Proc. 9th Wsh. Specification of Abstract Data Types, 1992, volume 785 of Lect. Notes Comp. Sci. Springer, Berlin, 1994.

Piotr Kosiuczenko. Mal'cev Type Conditions for Partial Algebras. Algebra Universalis, 31:467-474, 1994.

Leslie Lamport and Stephan Merz. Specifying and verifying fault-tolerant systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 41-76. Springer-Verlag, September 1994.

Hendrik C.R. Lock, Andy Mück, and Thomas Streicher. A tiny functional logic constraint language and its continuation semantics. In Proceedings of the 5th European Symposium on Programming '94, Edinburgh, Scotland, volume 788 of Lecture Notes in Computer Science, pages 439-453, Berlin, April 1994. Springer Verlag.

Michael Mehlich and Weichi Zhang. Specifying interactive components for configurating graphic user interfaces. Technical report, Ludwig-Maximilians-Universität München, 1994.

F. Nickl. Ablaufspezifikation durch Datenflußdiagramme und Axiome. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, pages 27-34, 1994.

Hannes Petereins. A natural-deduction-like calculus for structured specifications. Technical report, Ludwig-Maximilians-Universität München, 1994.

K. Renzel. Formale beschreibung von sicherheitsaspekten f�r das fallbeispiel hdms-a. Technical report, Ludwig-Maximilians-Universität München, 1994.

Martin Wirsing. Algebraic Specification Languages: An Overview. Technical report, Ludwig-Maximilians-Universität München, 1994.

B. Bauer. An interactive system for algebraic implementation proofs : The isar system from the user's point of view. Technical report, Ludwig-Maximilians-Universität München, 1993.

B. Bauer and R. Hennicker. Proving the correctness of algebraic implementations by the isar system. Technical report, Ludwig-Maximilians-Universität München, 1993.

Michel Bidoit and Rolf Hennicker. A general framework for modular implementations of modular system specifications. Technical report, Ludwig-Maximilians-Universität München, 1993.

M. Breu, M. Broy, T. Grünler, and F. Nickl. Semantics of pannda-s. In B. Hoffmann and B. Krieg-Brückner, editors, Program development by Specification and Transformation: The PROSPECTRA Methodology, Language Family and System, LNCS 680, pages 171-222. Springer, 1993.

María Victoria Cengarle. Algebraic Specifications with Amalgamated Sums and Parameterization. Institut für Informatik, Bericht 9320, Ludwig-Maximilians-Universität München, October 1993. 45 pages.

John N. Crossley, Luis Mandel, and Martin Wirsing. Una Extensión de Constraints al Cálculo Lambda. In Proceedings of the Segundo Congreso de Programación Declarativa, ProDe '93, Blanes, Girona Spain, September 29-30, October 1 1993. (In Spanish).

John N. Crossley, Luis Mandel, and Martin Wirsing. Untyped Constrained Lambda Calculus. Institut für Informatik, Number 9318, Ludwig-Maximilians-Universität München, Leopoldstraße 11b, 80802 München, Germany, October 1993. 48 pages.

John N. Crossley, Luis Mandel, and Martin Wirsing. Untyped Constrained Lambda Calculus is Weakly Church Rosser. In Brian Mayoh and Een Tyugu, editors, NATO Advanced Study Institute. Constraint Programming, Tallin, Estonia, August 13-24 1993. Institute of Cybernetics, Estonian Academy of Science. Technical Report CS57/93. 5 pages.

Y. Lafont, B. Reus, and T. Streicher. Continuation semantics or expressing implication by negation. Technical report, Ludwig-Maximilians-Universität München, 1993.

Luis Mandel. The Semantics of the Untyped Constrained Lambda Calculus. Institut für Informatik, Number 9319, Ludwig-Maximilians-Universität München, Leopoldstraße 11b, 80802 München, Germany, October 1993. 22 pages.

Michael Mehlich. Developing reusable software components. Technical report, Ludwig-Maximilians-Universität München, 1993.

Andy Mück. Camel: A verified abstract machine for functional logic programming. In Proceedings of the Second International Workshop on Functional Logic Programming, 1993.

F. Nickl. Ablaufspezifikation durch Datenflußmodellierung und stromverarbeitende Funktionen. Technischer bericht tum-i9334, Technische Universtität München, 1993.

Friederike Nickl and Marting Wirsing. A formal approach to requirements engineering. In Dines Bjørner and Manfred Broy, editors, Formal Methods in Programming and Their Applications, LNCS 735, pages 312-334. Springer, 1993.

Bernard Reus and Thomas Streicher. Naive synthetic domain theory - a logical approach. Technical report, Ludwig-Maximilians-Universität München, 1993.

Bernhard Reus and Thomas Streicher. Verifying properties of module construction in type theory. In A.M. Borzyszkowski and S. Sokolowski, editors, MFCS'93, volume 711 of LNCS, pages 660-670. Springer, 1993.

O. Slotosch, S. Merz, F. Nickl, H. Hussmann, and R. Hettler. Die funktionale essenz von hdms-a. Technischer bericht tum-i9335, Technische Universtität München, 1993.

Heiner Brand, María Victoria Cengarle, Klaus Däßler, Luis Mandel, Thekla Schneider, and Martin Wirsing. Answer to Baker's Remarks of July 1991 on Version 1.0. Lisp and Symbolic Computation: An International Journal, 4(4):399-404, April 1992.

Heiner Brand, María Victoria Cengarle, Klaus Däßler, Luis Mandel, Thekla Schneider, and Martin Wirsing. An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation: An International Journal, 4(4):319-369, April 1992.

Stephan Merz. Decidability and incompleteness results for first-order temporal logics of linear time. Journal of Applied Non-Classical Logic, 2(2), 1992.

Stephan Merz. Temporal Logic as a Programming Language. PhD thesis, Ludwig-Maximilians-Universität München, Munich, July 1992.

Andy Mück. An Intermediate Language for the Compilation of Functional Logic Prorams. In Proceedings of the First Workshop of the Implementation of Functional Logic languages, Internal Report Nr.10/92, 1992.

Andy Mück. CAMEL: An extension of the categorical abstract machine to compile functional logic languages. In Proceedings of the 4th. International Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgien, volume 631 of Lecture Notes in Computer Science, pages 341-354, Berlin, 1992. Springer-Verlag.

Kim Marriott and Bernd Meyer. The CCMG visual language hierarchy. In Kim Marriott and Bernd Meyer, editors, Visual Language Theory, pages 129-169. Springer-Verlag, New York, 1988.

Kim Marriott, Bernd Meyer, and Kent Wittenburg. A survey of visual language specification and recognition. In Kim Marriott and Bernd Meyer, editors, Visual Language Theory, pages 5-85. Springer-Verlag, New York, 1988.

Thomas Streicher and Bernhard Reus. Continuation Semantics: Control Operators and Abstract Machines. submitted to JFP.