Markus Lumpe
TitleCited byYear
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
3272010
Piccola-a small composition language
F Achermann, M Lumpe, JG Schneider, O Nierstrasz
Formal Methods for Distributed Processing—A Survey of Object-Oriented …, 2001
1292001
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
972009
A [pi]-calculus Based Approach for Software Composition
M Lumpe
Verlag nicht ermittelbar, 1999
861999
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
772015
A formal language for composition
M Lumpe, F Achermann, O Nierstrasz
Foundations of Component Based Systems, 69-90, 2000
742000
Towards a formal composition language
M Lumpe, JG Schneider, O Nierstrasz, F Achermann
Proceedings of ESEC 97, 178-187, 1997
431997
Formalizing composable software systems—a research agenda
O Nierstrasz, JG Schneider, M Lumpe
Formal Methods for Open Object-based Distributed Systems, 271-282, 1997
391997
KBRE: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
Software Quality Journal 22 (1), 87-119, 2014
332014
Komponenten, Komponentenframeworks und Gluing
O Nierstrasz, M Lumpe
HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997
261997
Synchronizing Concurrent Objects in the-Calculus1
JG Schneider, M Lumpe
241997
A form-based meta-model for software composition
M Lumpe, JG Schneider
Science of Computer Programming 56 (1-2), 59-78, 2005
202005
Using Metaobjects to Model Concurrent Objects with PICT.
M Lumpe, JG Schneider, O Nierstrasz
LMO, 1-12, 1996
201996
Agent coordination via scripting languages
JG Schneider, M Lumpe, O Nierstrasz
Coordination of Internet agents, 153-182, 2001
192001
Patterns of component evolution
R Vasa, M Lumpe, JG Schneider
International Conference on Software Composition, 235-251, 2007
162007
Helix-Software Evolution Data Set
R Vasa, M Lumpe, A Jones
Swinburne University of Technology, 2010
152010
On estimating minimum bids for Amazon EC2 spot instances
M Lumpe, MB Chhetri, QB Vo, R Kowalczyk
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud …, 2017
142017
REInDetector: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
142012
On the use of properties in java applications
M Lumpe, S Mahmud, R Vasa
2010 21st Australian Software Engineering Conference, 235-244, 2010
132010
A lambda calculus with forms
M Lumpe
International Conference on Software Composition, 83-98, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20