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 | 564 | 2010 |
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 | 193 | 2015 |
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 | 133 | 2009 |
Piccola-a small composition language F Achermann, M Lumpe, JG Schneider, O Nierstrasz Formal Methods for Distributed Processing—A Survey of Object-Oriented …, 2001 | 131 | 2001 |
A [pi]-calculus Based Approach for Software Composition M Lumpe Verlag nicht ermittelbar, 1999 | 100 | 1999 |
A formal language for composition M Lumpe, F Achermann, O Nierstrasz Foundations of Component Based Systems, 69-90, 2000 | 77 | 2000 |
KBRE: a framework for knowledge-based requirements engineering TH Nguyen, BQ Vo, M Lumpe, J Grundy Software Quality Journal 22, 87-119, 2014 | 55 | 2014 |
Towards a formal composition language M Lumpe, JG Schneider, O Nierstrasz, F Achermann Proceedings of ESEC 97, 178-187, 1997 | 44 | 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 | 41 | 1997 |
Komponenten, Komponentenframeworks und Gluing O Nierstrasz, M Lumpe HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997 | 27 | 1997 |
A form-based meta-model for software composition M Lumpe, JG Schneider Science of Computer Programming 56 (1-2), 59-78, 2005 | 26 | 2005 |
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 | 24 | 2017 |
Synchronizing Concurrent Objects in the-Calculus1 JG Schneider, M Lumpe | 24 | 1997 |
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 | 21 | 2012 |
Agent coordination via scripting languages JG Schneider, M Lumpe, O Nierstrasz Coordination of Internet Agents: Models, Technologies, and Applications, 153-182, 2001 | 20 | 2001 |
Helix-Software Evolution Data Set R Vasa, M Lumpe, A Jones Swinburne University of Technology, 2010 | 19 | 2010 |
Using Metaobjects to Model Concurrent Objects with PICT. M Lumpe, JG Schneider, O Nierstrasz LMO, 1-12, 1996 | 19 | 1996 |
On estimating bids for amazon EC2 spot instances using time series forecasting MB Chhetri, M Lumpe, QB Vo, R Kowalczyk 2017 IEEE International Conference on Services Computing (SCC), 44-51, 2017 | 17 | 2017 |
On forecasting amazon EC2 spot prices using time-series decomposition with hybrid look-backs MB Chhetri, M Lumpe, QB Vo, R Kowalczyk 2017 IEEE International Conference on Edge Computing (EDGE), 158-165, 2017 | 17 | 2017 |
Patterns of component evolution R Vasa, M Lumpe, JG Schneider Software Composition: 6th International Symposium, SC 2007, Braga, Portugal …, 2007 | 17 | 2007 |