Obserwuj
Markus Lumpe
Tytuł
Cytowane przez
Cytowane przez
Rok
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
4842010
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
1512015
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
1292009
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
A [pi]-calculus Based Approach for Software Composition
M Lumpe
Verlag nicht ermittelbar, 1999
971999
A formal language for composition
M Lumpe, F Achermann, O Nierstrasz
Foundations of Component Based Systems, 69-90, 2000
802000
KBRE: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
Software Quality Journal 22, 87-119, 2014
542014
Towards a formal composition language
M Lumpe, JG Schneider, O Nierstrasz, F Achermann
Proceedings of ESEC 97, 178-187, 1997
451997
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
Komponenten, Komponentenframeworks und Gluing
O Nierstrasz, M Lumpe
HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997
281997
A form-based meta-model for software composition
M Lumpe, JG Schneider
Science of Computer Programming 56 (1-2), 59-78, 2005
242005
Synchronizing Concurrent Objects in the-Calculus1
JG Schneider, M Lumpe
241997
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
222017
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: Models, Technologies, and Applications, 153-182, 2001
192001
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
182012
Helix-Software Evolution Data Set
R Vasa, M Lumpe, A Jones
Swinburne University of Technology, 2010
182010
Patterns of component evolution
R Vasa, M Lumpe, JG Schneider
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal …, 2007
172007
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
162017
On the use of properties in java applications
M Lumpe, S Mahmud, R Vasa
2010 21st Australian Software Engineering Conference, 235-244, 2010
162010
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20