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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
    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
    
  
    Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
    
  
    Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017
    
  
    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
    
  
    Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015
    
  
    Proceedings of the 24th Australasian Software Engineering Conference, 2015
    
  
  2014
    Softw. Qual. J., 2014
    
  
    Sci. Comput. Program., 2014
    
  
  2013
    Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013
    
  
  2012
    Int. J. Softw. Eng. Knowl. Eng., 2012
    
  
    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
    
  
    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
    
  
    Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010
    
  
    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
    
  
    Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009
    
  
    Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
    
  
  2008
    Proceedings of the Software Composition - 7th International Symposium, 2008
    
  
    Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
    
  
  2007
    Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
    
  
    Proceedings of the Software Composition - 6th International Symposium, 2007
    
  
  2006
    Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
    
  
    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
    Proceedings of the Software Composition - 4th International Workshop, 2005
    
  
Classboxes: an experiment in modeling compositional abstractions using explicit contexts.
    
  
    Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, 2005
    
  
  2003
    Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003
    
  
  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
The piL-Calculus - A Formal Foundation for Software Composition.
  
    Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
    
  
  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