| The Qualitas Corpus: A curated collection of Java code for empirical studies E Tempero, C Anslow, J Dietrich, T Han, J Li, M Lumpe, H Melton, J Noble 2010 Asia Pacific Software Engineering Conference, 336-345, 2010 | 366 | 2010 |
| Piccola-a small composition language F Achermann, M Lumpe, JG Schneider, O Nierstrasz Formal Methods for Distributed Processing—A Survey of Object-Oriented …, 2001 | 133 | 2001 |
| Comparative analysis of evolving software systems using the Gini coefficient R Vasa, M Lumpe, P Branch, O Nierstrasz 2009 IEEE International Conference on Software Maintenance, 179-188, 2009 | 113 | 2009 |
| Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar M Autili, L Grunske, M Lumpe, P Pelliccione, A Tang IEEE Transactions on Software Engineering 41 (7), 620-638, 2015 | 99 | 2015 |
| A [pi]-calculus Based Approach for Software Composition M Lumpe Verlag nicht ermittelbar, 1999 | 90 | 1999 |
| A formal language for composition M Lumpe, F Achermann, O Nierstrasz Foundations of Component Based Systems, 69-90, 2000 | 76 | 2000 |
| Towards a formal composition language M Lumpe, JG Schneider, O Nierstrasz, F Achermann Proceedings of ESEC 97, 178-187, 1997 | 46 | 1997 |
| Formalizing composable software systems—a research agenda O Nierstrasz, JG Schneider, M Lumpe Formal Methods for Open Object-based Distributed Systems, 271-282, 1997 | 40 | 1997 |
| KBRE: a framework for knowledge-based requirements engineering TH Nguyen, BQ Vo, M Lumpe, J Grundy Software Quality Journal 22 (1), 87-119, 2014 | 39 | 2014 |
| Komponenten, Komponentenframeworks und Gluing O Nierstrasz, M Lumpe HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997 | 28 | 1997 |
| Synchronizing Concurrent Objects in the-Calculus1 JG Schneider, M Lumpe | 24 | 1997 |
| A form-based meta-model for software composition M Lumpe, JG Schneider Science of Computer Programming 56 (1-2), 59-78, 2005 | 21 | 2005 |
| Using Metaobjects to Model Concurrent Objects with PICT. M Lumpe, JG Schneider, O Nierstrasz LMO, 1-12, 1996 | 20 | 1996 |
| Agent coordination via scripting languages JG Schneider, M Lumpe, O Nierstrasz Coordination of Internet agents, 153-182, 2001 | 19 | 2001 |
| On estimating minimum bids for Amazon EC2 spot instances M Lumpe, MB Chhetri, QB Vo, R Kowalcyk 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid …, 2017 | 16 | 2017 |
| Patterns of component evolution R Vasa, M Lumpe, JG Schneider International Conference on Software Composition, 235-251, 2007 | 16 | 2007 |
| On the use of properties in java applications M Lumpe, S Mahmud, R Vasa 2010 21st Australian Software Engineering Conference, 235-244, 2010 | 15 | 2010 |
| REInDetector: a framework for knowledge-based requirements engineering TH Nguyen, BQ Vo, M Lumpe, J Grundy Proceedings of the 27th IEEE/ACM international conference on automated …, 2012 | 14 | 2012 |
| Helix-Software Evolution Data Set R Vasa, M Lumpe, A Jones Swinburne University of Technology, 2010 | 14 | 2010 |
| Modelling objects in Pict JG Schneider, M Lumpe Universität Bern. Institut für Informatik und Angewandte Mathematik, 1996 | 12 | 1996 |
