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
Classboxes: an experiment in modeling compositional abstractions using explicit contexts.
ACM SIGSOFT Softw. Eng. Notes, 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
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