Markus Lumpe
Title
Cited by
Cited by
Year
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
3492010
Piccola-a small composition language
F Achermann, M Lumpe, JG Schneider, O Nierstrasz
Formal Methods for Distributed Processing—A Survey of Object-Oriented …, 2001
1312001
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
1092009
A [pi]-calculus Based Approach for Software Composition
M Lumpe
Verlag nicht ermittelbar, 1999
891999
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
872015
A formal language for composition
M Lumpe, F Achermann, O Nierstrasz
Foundations of Component Based Systems, 69-90, 2000
762000
Towards a formal composition language
M Lumpe, JG Schneider, O Nierstrasz, F Achermann
Proceedings of ESEC 97, 178-187, 1997
461997
Formalizing composable software systems—a research agenda
O Nierstrasz, JG Schneider, M Lumpe
Formal Methods for Open Object-based Distributed Systems, 271-282, 1997
401997
KBRE: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
Software Quality Journal 22 (1), 87-119, 2014
372014
Komponenten, Komponentenframeworks und Gluing
O Nierstrasz, M Lumpe
HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997
271997
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
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
162017
Patterns of component evolution
R Vasa, M Lumpe, JG Schneider
International Conference on Software Composition, 235-251, 2007
162007
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
142012
Helix-Software Evolution Data Set
R Vasa, M Lumpe, A Jones
Swinburne University of Technology, 2010
142010
On the use of properties in java applications
M Lumpe, S Mahmud, R Vasa
2010 21st Australian Software Engineering Conference, 235-244, 2010
142010
Modelling objects in Pict
JG Schneider, M Lumpe
Universität Bern. Institut für Informatik und Angewandte Mathematik, 1996
121996
The system can't perform the operation now. Try again later.
Articles 1–20