default search action
Markus Lumpe
Person information
- affiliation: Iowa State University, Ames, Iowa, USA
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j9]José Proença, Markus Lumpe:
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Sci. Comput. Program. 218: 102803 (2022)
2010 – 2019
- 2018
- [c33]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
To Bid or Not to Bid in Streamlined EC2 Spot Markets. SCC 2018: 129-136 - 2017
- [c32]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
On Estimating Bids for Amazon EC2 Spot Instances Using Time Series Forecasting. SCC 2017: 44-51 - [c31]Markus Lumpe, Quoc Bao Vo:
Comparing TPC-W and RUBiS via PCA. ACIIDS (1) 2017: 355-366 - [c30]Markus Lumpe, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
On Estimating Minimum Bids for Amazon EC2 Spot Instances. CCGrid 2017: 391-400 - [c29]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs. EDGE 2017: 158-165 - [e4]José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0 [contents] - 2015
- [j8]Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang:
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. Software Eng. 41(7): 620-638 (2015) - [c28]Markus Lumpe:
Lexical Parsing Expression Recognition Schemata. ASWEC 2015: 165-174 - [c27]Markus Lumpe, Quoc Bao Vo:
Finding the k in K-means Clustering: A Comparative Analysis Approach. Australasian Conference on Artificial Intelligence 2015: 356-364 - 2014
- [j7]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014) - [j6]Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy:
KBRE: a framework for knowledge-based requirements engineering. Softw. Qual. J. 22(1): 87-119 (2014) - 2013
- [c26]Olga Goloshchapova, Markus Lumpe:
On the Application of Inequality Indices in Comparative Software Analysis. Australian Software Engineering Conference 2013: 117-126 - 2012
- [j5]Markus Lumpe, Rajesh Vasa, Tim Menzies, Rebecca Rush, Burak Turhan:
Learning Better Inspection Optimization Policies. Int. J. Softw. Eng. Knowl. Eng. 22(5): 621-644 (2012) - [j4]Markus Lumpe:
Partition refinement of Component Interaction Automata. Sci. Comput. Program. 78(1): 27-45 (2012) - [c25]Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy:
REInDetector: a framework for knowledge-based requirements engineering. ASE 2012: 386-389 - [e3]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents] - 2011
- [c24]Markus Lumpe, Samiran Mahmud, Olga Goloshchapova:
jCT: A Java Code Tomograph. ASE 2011: 616-619 - [c23]Markus Lumpe, Indika Meedeniya, Lars Grunske:
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns. SIGSOFT FSE 2011: 468-471 - 2010
- [c22]Ewan D. Tempero, Craig Anslow, Jens Dietrich, Ted Han, Jing Li, Markus Lumpe, Hayden Melton, James Noble:
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies. APSEC 2010: 336-345 - [c21]Markus Lumpe, Samiran Mahmud, Rajesh Vasa:
On the Use of Properties in Java Applications. Australian Software Engineering Conference 2010: 235-244 - [c20]Markus Lumpe, Rajesh Vasa:
Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size. WCSI 2010: 12-26
2000 – 2009
- 2009
- [c19]Jean-Guy Schneider, Markus Lumpe:
Component Coordination in GLoo. Australian Software Engineering Conference 2009: 317-326 - [c18]Rajesh Vasa, Markus Lumpe, Philip Branch, Oscar Nierstrasz:
Comparative analysis of evolving software systems using the Gini coefficient. ICSM 2009: 179-188 - [c17]Markus Lumpe:
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. FACS@FMWeek 2009: 179-195 - 2008
- [c16]Markus Lumpe, Lars Grunske, Jean-Guy Schneider:
State Space Reduction Techniques for Component Interfaces. CBSE 2008: 130-145 - [c15]Markus Lumpe:
Growing a Language: The GLooPerspective. SC@ETAPS 2008: 1-19 - [e2]Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 2008 [contents] - 2007
- [c14]Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider:
Patterns of Component Evolution. SC@ETAPS 2007: 235-251 - [c13]Markus Lumpe, Eric Madelaine:
Preface. FACS 2007: 1-3 - [e1]Markus Lumpe, Wim Vanderperren:
Software Composition - 6th International Symposium, SC@ETAPS 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4829, Springer 2007, ISBN 978-3-540-77350-4 [contents] - 2006
- [j3]Markus Lumpe, Jean-Guy Schneider:
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c12]Markus Lumpe:
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. APLAS 2006: 290-306 - [c11]Markus Lumpe:
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions. CBSE 2006: 17-32 - [c10]Markus Lumpe, Jean-Guy Schneider:
On the Integration of Classboxes into C#. SC@ETAPS 2006: 307-322 - [c9]Markus Lumpe:
Applications = Components + GLoo. FACS 2006: 123-138 - 2005
- [j2]Markus Lumpe, Jean-Guy Schneider:
A form-based meta-model for software composition. Sci. Comput. Program. 56(1-2): 59-78 (2005) - [c8]Markus Lumpe, Jean-Guy Schneider:
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. SAVCBS@ESEC/FSE 2005: 6 - [c7]Markus Lumpe:
A Lambda Calculus with Forms. SC@ETAPS 2005: 83-98 - 2003
- [c6]Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Markus Bauer, Thomas Genssler:
Composition Languages. ECOOP Workshops 2003: 107-118 - 2002
- [c5]Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Thomas Genssler:
Composition Languages. ECOOP Workshops 2002: 107-116 - 2001
- [p1]Jean-Guy Schneider, Markus Lumpe, Oscar Nierstrasz:
Agent Coordination via Scripting Languages. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 153-175 - 2000
- [c4]Jean-Guy Schneider, Markus Lumpe:
A Metamodel for Concurrent, Object-based Programming. LMO 2000: 149-166
1990 – 1999
- 1999
- [b1]Markus Lumpe:
A π-Calculus Based Approach to Software Composition. University of Bern, Switzerland, 1999 - [c3]Markus Lumpe:
The piL-Calculus - A Formal Foundation for Software Composition. ECOOP Workshops 1999: 317 - 1997
- [j1]Oscar Nierstrasz, Markus Lumpe:
Komponenten, Komponentenframeworks und Gluing. HMD Prax. Wirtsch. 197 (1997) - [c2]Jean-Guy Schneider, Markus Lumpe:
Synchronizing Concurrent Objects in the Pi-Calculus. LMO 1997: 61-76 - 1996
- [c1]Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz:
Using Metaobjects to Model Concurrent Objects with PICT. LMO 1996: 1-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint