Markus Luckey, M.Sc.

Wissenschaftlicher Mitarbeiter

Universität Paderborn
Fakultät für Elektrotechnik, Informatik und Mathematik
Institut für Informatik
Zukunftsmeile 1
33102 Paderborn

GPG Key: 73AD00B2

 XING profile vcard    XING profile     LinkedIn profile  

 

Büro: ZM1.03-08
Telefon: +49 5251 - 60 - 3844
Fax: +49 5251 - 60 - 3431
Email: luckey[at]upb.de

 

Academic Courses & Projects

Academic Courses

  • Summer 2012: Grundlagen von Datenbanken
  • Winter 2011 / 2012: Project Group MEPASO / Softwareentwurf
  • Summer 2011: Project Group MEPASO
  • Winter 2010 / 2011: Softwareentwurf
  • Winter 2009 / 2010: Softwareentwurf
  • Summer 2009: Seminar "Neue Ansätze in der Softwarequalitätssicherung"
 

Current Projects

  • Software Engineering 2010 (Conference Organization)
  • Software Specification (with HJP Consulting)
  • Requirements Specification Method (with Wincor Nixdorf)
  • Systems Engineering Method (with Fujitsu Technology Solutions)
  • Organization Models for Distributed Platform Development (with PHOENIX Contact)

 

Research

Research Interests

The focus of my research within our group is the specification and analysis of Self-Adaptive Software Systems. This specific class of systems observes itself and its environment and adapts itself in reaction to specific events.

In detail we identified a lack of specification methods and techniques in the early design of self-adaptive systems, especially in connection with UML-based modeling approaches. Therefore, we employ a UML use case based language, coined Adapt Case Modeling Language (ACML), that enables the explicit and separated specification of adaptation relevant aspects including the adaptation rules within a dedicated modeling view. Further, we define formal semantics for the ACML to enable the early quality assurance, i.e. the detection of self-adaptation related properties such as stability or deadlock freedom. The most important goal of this quality assurance approach is the complete transparency of formal assurance approaches (i.e. model checking) to the user.

In the context of this research activity, I am particularly interested in concern-specific modeling languages in general. Therefore, we presented and discussed the ACML approach at the Modeling (2012, 2013) and CMA (2012) Community, in particular concerning the composition and reuse of models.

For further information, please see our description on the research field Self-Adaptive Software Systems.

Besides, I am interested in End-User Development for Spreadsheets, where we developed a UML-based approach to model and execute type safe spreadsheet applications. Further, I am working on Model Change Management for Business Processes.

Auszeichnungen

Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10). IEEE Computer Society, pp. 57-64 (2010). Best Student Paper of SCC 2010.

[Show Abstract] [PDF] [Show BibTeX] [DOI]
Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels: Precise Detection of Conflicting Change Operations using Process Model Terms. In D.C. Petriu, N. Rouquette, and Ø. Haugen (eds.): Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). Springer (Berlin/Heidelberg), LNCS, vol. 6395, no. Part II, pp. 93-107 (2010). ACM Distinguished Paper Award MODELS 2010.

[Show Abstract] [PDF] [Show BibTeX] [DOI]

Review Activities

  • International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2011, 2012, 2013)
  • International Conference on Objects, Models, Components and Patterns (TOOLS) (2011)
  • International Conference on Fundamental Approaches to Software Engineering (FASE) (2011)
  • European Conference on Modelling Foundations and Applications (ECMFA) (2011)
  • European Conference on Software Maintenance and Reengineering (CSMR) (2011)
  • International Conference on Software Language Engineering (SLE) (2009, 2010)
  • ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (2009, 2010, 2012)
  • International Conference on Business Process Management (BPM) (2010)
  • IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2010, 2011, 2012)
  • International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) (2010)
  • Software Engineering Conference (SE) (2010)
  • International Conference on Complex, Intelligent and Software-Intensive Systems (CISIS) (2010)
  • International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) (2010)

Memberships

GI, ACM

 

Curriculum Vitae

Education
since May 2009 Ph.D. student at the University of Paderborn, Chair of Information Systems
2007 - 2009 Software Engineering - Elite Graduate Program, Universities of Munich (TUM, LMU), University of Augsburg
2007 Oregon State University, Corvallis, Oregon, USA
2004 - 2007 Computer Science, B.Sc., University of Paderborn
Professional Activities
2008 - 2009 Capgemini sd&m Research, Munich, Germany
2004 - 2009 Capgemini sd&m AG, Düsseldorf, Germany
2005 - 2007 Student Assistant, Chair for Software Techniques and Chair for Operations Research, University of Paderborn

Impressum | Webmaster | Letzte Änderungen am : 15.05.2013