Markus Lumpe

Affiliations:
  • Iowa State University, Ames, Iowa, USA


According to our database1, Markus Lumpe authored at least 43 papers between 1996 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017).
Sci. Comput. Program., 2022

2018
To Bid or Not to Bid in Streamlined EC2 Spot Markets.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs.
Proceedings of the IEEE International Conference on Edge Computing, 2017

On Estimating Minimum Bids for Amazon EC2 Spot Instances.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Comparing TPC-W and RUBiS via PCA.
Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

On Estimating Bids for Amazon EC2 Spot Instances Using Time Series Forecasting.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2015
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.
IEEE Trans. Software Eng., 2015

Finding the k in K-means Clustering: A Comparative Analysis Approach.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Lexical Parsing Expression Recognition Schemata.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
KBRE: a framework for knowledge-based requirements engineering.
Softw. Qual. J., 2014

Formal Aspects of Component Software (FACS 2010 selected and extended papers).
Sci. Comput. Program., 2014

2013
On the Application of Inequality Indices in Comparative Software Analysis.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Partition refinement of Component Interaction Automata.
Sci. Comput. Program., 2012

Learning Better Inspection Optimization Policies.
Int. J. Softw. Eng. Knowl. Eng., 2012

REInDetector: a framework for knowledge-based requirements engineering.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

jCT: A Java Code Tomograph.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

On the Use of Properties in Java Applications.
Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Comparative analysis of evolving software systems using the Gini coefficient.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Component Coordination in GLoo.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Growing a Language: The GLooPerspective.
Proceedings of the Software Composition - 7th International Symposium, 2008

State Space Reduction Techniques for Component Interfaces.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
Preface.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Patterns of Component Evolution.
Proceedings of the Software Composition - 6th International Symposium, 2007

2006
Classboxes: an experiment in modeling compositional abstractions using explicit contexts.
ACM SIGSOFT Softw. Eng. Notes, 2006

Applications = Components + GLoo.
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

On the Integration of Classboxes into C#.
Proceedings of the Software Composition - 5th International Symposium, 2006

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A form-based meta-model for software composition.
Sci. Comput. Program., 2005

A Lambda Calculus with Forms.
Proceedings of the Software Composition - 4th International Workshop, 2005

2003
Composition Languages.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
Composition Languages.
Proceedings of the Object-Oriented Technology, 2002

2001
Agent Coordination via Scripting Languages.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
A Metamodel for Concurrent, Object-based Programming.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

1999
A π-Calculus Based Approach to Software Composition.
PhD thesis, 1999

The piL-Calculus - A Formal Foundation for Software Composition.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997
Komponenten, Komponentenframeworks und Gluing.
HMD Prax. Wirtsch., 1997

Synchronizing Concurrent Objects in the Pi-Calculus.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1997

1996
Using Metaobjects to Model Concurrent Objects with PICT.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 1996


  Loading...