Markus Lumpe's Publications

Books

• Software Composition Markus Lumpe and Wim Vanderperren (Eds.), LNCS 4829, Springer, December 2007.

Journals

• Markus Lumpe. Partition refinement of Component Interaction Automata, in Journal of Computer Programming (Elsevier), accepted manuscript, November 2011.
• Markus Lumpe and Rajesh Vasa. Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size, Electronic Proceedings in Theoretical Computer Science, Volume 37, pp. 12-26, October 2010.
• Markus Lumpe. Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata, Electronic Notes in Theoretical Computer Science, Volume 283, pp. 179-1, June 2010.
• Markus Lumpe. Applications = Components + GLoo, Electronic Notes in Theoretical Computer Science, Volume 182, pp. 123-138, June 2007 (also published in Proceedings of International Workshop on Formal Aspects of Component Software (FACS 2006), UNU-IIST Report No. 344, Prague, Czech Republic, pp. 147-161, September 2006).
• Markus Lumpe and Jean-Guy Schneider, Classboxes - An Experiment in Modeling Compositional Abstractions using Explicit Contexts, ACM SIGSOFT Software Engineering Notes, Volume 31, Issue 2 (March 2006), SESSION: Specification and Verification of Component Based Systems, Article No. 6, (also published in Proceedings of Workshop on Specification and Verification of Component Based Systems, Lisbon, Portugal, September 2005, pp. 47-54).
• Markus Lumpe and Jean-Guy Schneider, A Form-based Metamodel for Software Composition, in Journal of Computer Programming (Elsevier), 56:59-78, April 2005.
• Oscar Nierstrasz and Markus Lumpe, Komponenten, Komponentenframeworks und Gluing, HMD - Theorie und Praxis der Wirtschaftsinformatik, no. 197, September 1997, pp. 8-23, (in German).

Book Chapters

• Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Markus Bauer, and Thomas Genssler, Composition Languages, ECOOP 2003 Workshop Reader, Frank Buschmann, Alejandro Buchmann, Mariano A. Cilia (Eds.), LNCS 3013, Springer, October 2003, pp. 107-118.
• Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, and Thomas Genssler, Composition Languages, ECOOP 2002 Workshop Reader, Juan Hernández and Ana Moreira (Eds.), LNCS 2548, Springer, December 2002, pp. 107-116.
• Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, Piccola - a Small Composition Language, In Formal Methods for Distributed Processing: An Object-Oriented Approach, Howard Bowman and John Derrick (Eds.), Cambridge University Press, November 2001, pp. 403-426.
• Jean-Guy Schneider, Markus Lumpe and Oscar Nierstrasz, Agent Coordination via Scripting Languages, In Coordination of Internet Agents: Models, Technologies and Applications, Andrea Omicini, Fanco Zambonelli, Matthias Klusch and Robert Tolksdorf (Eds.), Springer, April 2001, pp. 153-175.
• Markus Lumpe, Franz Achermann and Oscar Nierstrasz, A Formal Language for Composition, Foundations of Component Based System, Gary Leavens and Murali Sitaraman (Eds.), Cambridge University Press, 2000, pp. 69-90.

Refereed Conferences & Workshops

• Markus Lumpe, Samiran Mahmud, and Olga Goloshchapova. jCT: A Java Code Tomograph, Proceedings of 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KA, USA, pp. 616-619, November 2011
• Markus Lumpe, Indika Meedeniya, and Lars Grunske. PSPWizard: Machine-assisted definition of temporal logical properties with specification patterns, Proceedings of 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and 13rd European Software Engineering Conference (ESEC/FSE'11), Szeged, Hungary, pp. 468-471, September 2011.
• Ewan Tempero, Craig Anslow, Jens Dietrich, Ted Han, Jing Li, Markus Lumpe, Hayden Melton, and James Noble. The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies, Proceedings of 17th Asia Pacific Software Engineering Conference (APSEC 2010), Sydney, Australia, December 2010, pp. 336-345. (Best Paper)
• Markus Lumpe, Samiran Mahmud, and Rajesh Vasa. On the Use of Properties in Java Applications, Proceedings of 21st Australian Software Engineering Conference (ASWEC 2010), Auckland, New Zealand, April 2010, pp. 235-244.
• Rajesh Vasa, Markus Lumpe, Philip Branch, and Oscar Nierstrasz Comparative Analysis of Evolving Software Systems Using the Gini Coefficient, Proceedings of 25th IEEE International Conference on Software Maintenance (ICSM 2009), Edmonton, Alberta, Canada, September 2009, pp. 179-188.
• Jean-Guy Schneider and Markus Lumpe Component Coordination in GLoo, Proceedings of 20th Australian Software Engineering Conference (ASWEC 2009), Colin Fidge (Ed.), Gold Coast, Australia, April 2009, pp. 317-326.
• Markus Lumpe, Lars Grunske, and Jean-Guy Schneider. State Space Reduction Techniques for Component Interfaces, Proceedings of 11th Conference on Component-Based Software Engineering (CBSE 2008), Michel R.V. Chaudron and Clements Czyperski (Eds.), LNCS 5282, Karlsruhe, Germany, October 2008, pp. 130-145.
• Markus Lumpe. Growing a Language: The GLoo Perspective, Proceedings of 7th Symposium on Software Composition (SC 2008), Cesare Pautasso and Éric Tanter (Eds.), Budapest, Hungary, March 2008, pp. 1-19.
• Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider. Patterns of Component Evolution, Proceedings of Sixth Symposium on Software Composition (SC 2007), Markus Lumpe and Wim Vanderperren (Eds.), Braga, Portugal, March 2007, pp. 244-260.
• Markus Lumpe. Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy, Proceedings of Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Naoki Kobayashi (Ed.), LNCS 4279, Springer, Sydney, Australia, November 2006, pp. 290-306.
• Markus Lumpe. GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions, Proceedings of 9th International Symposium on Component-Based Software Engineering (CBSE 2006), Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens A. Szyperski, Kurt Wallnau (Eds.), LNCS 4063, Springer, Västerås, Sweden, June 2006, pp. 17-32.
• Markus Lumpe and Jean-Guy Schneider, On the Integration of Classboxes into C#, Proceedings of 5th International Symposium on Software Composition (SC 2006), Welf Löwe and Mario Südholt (Eds.), LNCS 4089, Springer, Vienna, Austria, March 2006, pp. 307-322.
• Markus Lumpe, A Lambda Calculus With Forms, Proceedings of the Workshop on Software Composition, Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz (Eds.), LNCS 3628, Springer, Edinburgh, Scotland, April 2005, pp. 83-98.
• Markus Lumpe and Jean-Guy Schneider, Form-based Software Composition, Proceedings of the Workshop on Specification and Verification of Component Based Systems, Helsinki, Finland, September 2003, pp. 58-65.
• Markus Lumpe, On the Representation and Use of Metadata, Proceedings of the Second Workshop on Composition Languages, Màlaga, June 2002.
• Markus Lumpe and Jean-Guy Schneider, Forms - A Flexible Notion for Software Composition, Proceedings of the Third Australasian Workshop on Software and System Architectures (AWSA '00), John Grundy and Jun Han (Eds.), Sydney, Australia, November 2000, pp. 24-36.
• Jean-Guy Schneider and Markus Lumpe, A Metamodel for Concurrent, Object-based Programming, Proceedings of Langages et Modèles à Objets 2000, Christophe Dony and Houari A. Sahraoui (Eds.), Hermes, Mont Saint-Hilaire, Québec, January 2000, pp. 149-165.
• Jean-Guy Schneider and Markus Lumpe, Synchronizing Concurrent Objects in the Pi-Calculus, Proceedings of Langages et Modèles à Objets '97, Roland Ducournau and Serge Garlatti (Eds.), Hermes, Roscoff, October 1997, pp. 61-76.
• Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, Using Metaobjects to Model Concurrent Objects with PICT, Proceedings of Languages et Modèles à Objects, Leysin, October 1996, pp. 1-12.
• Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz and Franz Achermann, Towards a formal composition language, Proceedings of ESEC '97 Workshop on Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (Eds.), Zürich, September 1997, pp. 178-187.
• Oscar Nierstrasz, Jean-Guy Schneider and Markus Lumpe, Formalizing Composable Software Systems - A Research Agenda, Proceedings of 1st IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'96), Chapmann & Hall, 1996, pp. 271-282.
• Markus Lumpe, Objektorientierte Strukturierung von Compilern für Transputersysteme, Tagungsband TOOL91/RISC91, Werner Zorn and Klaus Bender (Eds.), VDE-Verlag, 1991, pp. 845-855, (in German).

Others

• Andre Lokasari, Hua Ming, Markus Lumpe, On the Integration of the Classbox Concept in the .NET Framework, Technical Report, no. 6-15, Department of Computer Science, Iowa State University, June 2006.
• Markus Lumpe, Using Metadata Transformations as a Means to Integrate Class Extensions in an Existing Class Hierarchy, Technical Report, no. 6-02, Department of Computer Science, Iowa State University, March 2006.
• Markus Lumpe, A Form-based Framework for Class Extensions, Technical Report no. 05-08, Department of Computer Science, Iowa State University, March 2005.
• Workshop on Composition Languages, Proceedings of Third Workshop on Composition Languages, Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Markus Bauer, and Thomas Genssler (Eds.), Darmstadt, July 2003.
• Workshop on Composition Languages, Proceedings of Second Workshop on Composition Languages, Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, and Thomas Genssler (Eds.), Málaga, June 2002.
• Workshop on Composition Languages, Proceedings of First Workshop on Composition Languages, Jean-Guy Schneider and Markus Lumpe (Eds.), Vienna, September 2001.
• Markus Lumpe, A Pi-Calculus Based Approach for Software Composition, Ph.D. thesis, University of Berne, Institute of Computer Science and Applied Mathematics, January 1999.
• Jean-Guy Schneider and Markus Lumpe, Modelling Objects in PICT, Technical Report, no. IAM-96-004, University of Berne, Institute of Computer Science and Applied Mathematics, January 1996.

Invited Talks

• Markus Lumpe, On the Integration of the Classbox Concept in the .NET Framework, Lang.NET Symposium 2006, Microsoft Corporation, Redmond, WA, July 31 - August 2 2006.