Publications

Books

2021

1. 

   Composing Model-Based Analysis Tools

   Robert Heinrich, Francisco Durán, Carolyn Talcott, and 1 more author

   2021

   Bib Website

   @book{HeinrichEtAl21Book,
     author = {Heinrich, Robert and Dur{\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},
     title = {Composing Model-Based Analysis Tools},
     publisher = {Springer},
     year = {2021},
   }

Book Chapters

2021

1. Introduction

   Robert Heinrich, Francisco Durán, Carolyn Talcott, and 1 more author

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML

   @incollection{HeinrichEtAl21Intro,
     author = {Heinrich, Robert and Dur{\'a}n, Francisco and Talcott, Carolyn and Zschaler, Steffen},
     title = {Introduction},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

2. Foundations

   Carolyn Talcott, Sofia Ananieva, Kyungmin Bae, and 10 more authors

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML

   @incollection{TalcottEtAl21,
     author = {Talcott, Carolyn and Ananieva, Sofia and Bae, Kyungmin and Combemale, Benoit and Heinrich, Robert and Hills, Mark and Khakpour, Narges and Reussner, Ralf and Rumpe, Bernhard and Scandurra, Patrizia and Vangheluwe, Hans and Dur{\'a}n, Francisco and Zschaler, Steffen},
     title = {Foundations},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

3. Overview of Challenges in Composing Model-Based Analysis Tools

   Francisco Durán, Robert Heinrich, Carolyn Talcott, and 1 more author

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML

   @incollection{DuranEtAl21,
     author = {Dur{\'a}n, Francisco and Heinrich, Robert and Talcott, Carolyn and Zschaler, Steffen},
     title = {Overview of Challenges in Composing Model-Based Analysis Tools},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

4. Exploiting Results of Model-Based Analysis Tools

   Francisco Durán, Martin Gogolla, Esther Guerra, and 3 more authors

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML

   @incollection{DuranEtAl21b,
     author = {Dur{\'a}n, Francisco and Gogolla, Martin and Guerra, Esther and de Lara, Juan and Sahraoui, Houari and Zschaler, Steffen},
     title = {Exploiting Results of Model-Based Analysis Tools},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

5. GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics

   Steffen Zschaler, and Francisco Durán

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML Supp

   @incollection{ZschalerDuran21,
     author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
     title = {{GTSMorpher}: Safely Composing Behavioural Analyses Using Structured Operational Semantics},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

6. Conclusion

   Francisco Durán, Robert Heinrich, Carolyn Talcott, and 1 more author

   In Robert Heinrich, Francisco Durán, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer, 2021

   Bib HTML

   @incollection{DuranEtAl21c,
     author = {Dur{\'a}n, Francisco and Heinrich, Robert and Talcott, Carolyn and Zschaler, Steffen},
     title = {Conclusion},
     booktitle = {Robert Heinrich, Francisco Dur{\'a}n, Carolyn Talcott, and Steffen Zschaler (eds.), Composing Model-Based Analysis Tools, Springer},
     year = {2021},
   }

2013

1. Behaviour Protection in Modular Rule-Based System Specifications

   Francisco Durán, Fernando Orejas, and Steffen Zschaler

   In Recent Trends in Algebraic Development Techniques, 2013

   Bib HTML PDF

   @incollection{DuranEtAl13,
     author = {Dur{\'a}n, Francisco and Orejas, Fernando and Zschaler, Steffen},
     title = {Behaviour Protection in Modular Rule-Based System Specifications},
     doi = {10.1007/978-3-642-37635-1_2},
     url = {http://dx.doi.org/10.1007/978-3-642-37635-1_2},
     pages = {24--49},
     editor = {Mart{\'\i}­Oliet, Narciso and Palomino, Miguel},
     booktitle = {Recent Trends in Algebraic Development Techniques},
     publisher = {Springer Berlin Heidelberg},
     series = {Lecture Notes in Computer Science},
     volume = {7841},
     year = {2013},
     isbn = {978-3-642-37634-4},
   }

2011

1. Variability Management

   Steffen Zschaler, Pablo Sánchez, Jo\~ao Santos, and 5 more authors

   In Aspect-Oriented, Model-Driven Software Product Lines – The AMPLE Way, 2011

   Bib HTML Website

   @incollection{ZschalerEtAl11b,
     author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Santos, Jo{\~}ao and Alf{\'e}rez, Mauricio and Moreira, Ana and Ara{\'u}jo, Jo{\~a}o and Kulesza, Uir{\'a} and Fuentes, Lidia},
     title = {Variability Management},
     pages = {82--124},
     editor = {Rashid, Awais and Royer, Jean-Claude and Rummler, Andreas},
     booktitle = {Aspect-Oriented, Model-Driven Software Product Lines -- The {AMPLE} Way},
     publisher = {Cambridge University Press},
     isbn = {978-0-521-76722-4},
     year = {2011},
   }

2. Product-driven software product line engineering

   Steffen Zschaler, Pablo Sánchez, Carlos Nebrera, and 3 more authors

   In Aspect-Oriented, Model-Driven Software Product Lines – The AMPLE Way, 2011

   Bib HTML Website

   @incollection{ZschalerEtAl11c,
     author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Nebrera, Carlos and Fuentes, Lidia and Gasiunas, Vaidas and Fiege, Ludger},
     title = {Product-driven software product line engineering},
     pages = {287--315},
     editor = {Rashid, Awais and Royer, Jean-Claude and Rummler, Andreas},
     booktitle = {Aspect-Oriented, Model-Driven Software Product Lines -- The {AMPLE} Way},
     publisher = {Cambridge University Press},
     isbn = {978-0-521-76722-4},
     year = {2011},
   }

2008

1. Modellgetriebene Software-Entwicklung

   Achim Baier, Steffen Becker, Martin Jung, and 5 more authors

   In Handbuch der Software-Architektur, Dec 2008

   Bib HTML Website

   @incollection{BaierEtAl2008,
     author = {Baier, Achim and Becker, Steffen and Jung, Martin and Krogmann, Klaus and R\"{o}ttgers, Carsten and Streekmann, Niels and Thoms, Karsten and Zschaler, Steffen},
     title = {{M}odellgetriebene {S}oftware-{E}ntwicklung},
     pages = {93--122},
     editor = {Reussner, Ralf and Hasselbring, Wilhelm},
     booktitle = {{H}andbuch der {S}oftware-{A}rchitektur},
     publisher = {dPunkt.verlag Heidelberg},
     year = {2008},
     edition = {2},
     month = dec,
     isbn = {3898645592},
   }

2007

1. Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report

   Geri Georg, Siv Hilde Houmb, Robert France, and 3 more authors

   In Models in Software Engineering – Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, 2007

   Bib HTML

   @incollection{CSDUMLSummary06,
     author = {Georg, Geri and Houmb, Siv Hilde and France, Robert and Zschaler, Steffen and Petriu, Dorina C. and J{\"u}rjens, Jan},
     title = {Critical Systems Development Using Modeling Languages -- {CSDUML 2006} Workshop Report},
     booktitle = {Models in Software Engineering -- Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
     series = {LNCS},
     number = {4364},
     publisher = {Springer},
     year = {2007},
   }

2006

1. Ontologies, Meta-Models, and the Model-Driven Paradigm

   Uwe Aßmann, Steffen Zschaler, and Gerd Wagner

   In Ontologies for Software Engineering and Technology, 2006

   Bib HTML PDF Website

   @incollection{OntologiesAndMDA,
     author = {A{\ss}mann, Uwe and Zschaler, Steffen and Wagner, Gerd},
     editor = {Calero, Coral and Ruiz, Francisco and Piattini, Mario},
     booktitle = {Ontologies for Software Engineering and Technology},
     title = {Ontologies, Meta-Models, and the Model-Driven Paradigm},
     publisher = {Springer},
     year = {2006},
   }

2004

1. Workshop on Models of Non-functional Aspects of Component-Based Systems (NfC’04)

   Jean-Michel Bruel, Geri Georg, Heinrich Hussmann, and 4 more authors

   In UML Modeling Languages and Applications. UML 2004 Satellite Activities Lisbon, Portugal, Oct 2004

   Bib HTML Website

   @incollection{SummaryNfC04,
     author = {Bruel, Jean-Michel and Georg, Geri and Hussmann, Heinrich and Ober, Ileana and Pohl, Christoph and Whittle, Jon and Zschaler, Steffen},
     title = {Workshop on Models of Non-functional Aspects of Component-Based Systems (NfC'04)},
     editor = {Nunes, N. Jardim and Selic, B. and Silva, A. and Toval, A.},
     booktitle = {UML Modeling Languages and Applications. UML 2004 Satellite Activities Lisbon, Portugal},
     month = oct,
     year = {2004},
     volume = {3297},
     series = {Lecture Notes in Computer Science},
     publisher = {Springer},
   }

Journal Articles

2023

1. TSE

   We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration

   Jose-Miguel Horcas, Daniel Strüber, Alexandru Burdusel, and 2 more authors

   IEEE Transactions on Software Engineering 49(3), 2023

   Bib HTML PDF

   @article{HorcasEtAl22,
     author = {Horcas, Jose-Miguel and Str{\"u}ber, Daniel and Burdusel, Alexandru and Martinez, Jabier and Zschaler, Steffen},
     title = {We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration},
     journal = {IEEE Transactions on Software Engineering},
     pages = {1102--1117},
     volume = {49},
     number = {3},
     year = {2023},
     doi = {10.1109/TSE.2022.3171404},
     url = {https://dx.doi.org/10.1109/TSE.2022.3171404},
   }

2. SoSyM

   Trustworthy agent-based simulation: the case for domain-specific modelling languages

   Steffen Zschaler, and Fiona A. C. Polack

   Software and Systems Modelling 22(2), 2023

   Bib HTML PDF

   @article{ZschalerPolack23,
     author = {Zschaler, Steffen and Polack, Fiona A. C.},
     title = {Trustworthy agent-based simulation: the case for domain-specific modelling languages},
     journal = {Software and Systems Modelling},
     pages = {455--470},
     volume = {22},
     number = {2},
     year = {2023},
     url = {https://doi.org/10.1007/s10270-023-01082-9},
     doi = {10.1007/s10270-023-01082-9},
   }

3. Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)

   Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, and 4 more authors

   Dagstuhl Reports 12(9), 2023

   Bib HTML PDF

   @article{cleophas_et_al:DagRep.12.9.20,
     author = {Cleophas, Loek and Godfrey, Thomas and Khelladi, Djamel Eddine and Lehner, Daniel and Combemale, Benoit and Rumpe, Bernhard and Zschaler, Steffen},
     title = {{Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)}},
     pages = {20--40},
     journal = {Dagstuhl Reports},
     issn = {2192-5283},
     year = {2023},
     volume = {12},
     number = {9},
     editor = {Combemale, Benoit and Rumpe, Bernhard and Zschaler, Steffen},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     address = {Dagstuhl, Germany},
     url = {https://drops.dagstuhl.de/opus/volltexte/2023/17808},
     urn = {urn:nbn:de:0030-drops-178080},
     doi = {10.4230/DagRep.12.9.20},
     annote = {Keywords: Software Engineering, Model-Driven Engineering, Digital Twins, Model Management, Data Management, Models@runtime},
   }

4. SoSyM

   A Generic Framework for Representing and Analysing Model Concurrency

   Steffen Zschaler, Erwan Bousse, Julien Deantoni, and 1 more author

   Software and Systems Modelling 22, 2023

   Bib HTML PDF

   @article{ZschalerEtAl23,
     author = {Zschaler, Steffen and Bousse, Erwan and Deantoni, Julien and Combemale, Benoit},
     title = {A Generic Framework for Representing and Analysing Model Concurrency},
     journal = {Software and Systems Modelling},
     volume = {22},
     pages = {1319--1340},
     year = {2023},
   }

2022

1. JOT

   Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models

   Richard F. Paige, Fiona A.C. Polack, Steffen Zschaler, and 2 more authors

   Journal of Object Technology 21(4), Oct 2022

   Special Issue dedicated to Antonio Vallecillo on his 60th Birthday

   Bib HTML PDF

   @article{PaigeEtAl22,
     author = {Paige, Richard F. and Polack, Fiona A.C. and Zschaler, Steffen and Chiang, Thomas and Annable, Nicholas},
     title = {Interface Contracts for {Workflow+} Models: an Analysis of Uncertainty across Models},
     journal = {Journal of Object Technology},
     volume = {21},
     number = {4},
     issn = {1660-1769},
     year = {2022},
     month = oct,
     editor = {Burgue{\~n}o, Lola and Gogolla, Martin and Paige, Richard},
     note = {Special Issue dedicated to Antonio Vallecillo on his 60th Birthday},
     pages = {4:1--13},
     doi = {10.5381/jot.2022.21.4.a6},
     url = {http://www.jot.fm/contents/issue_2022_04/article6.html},
   }

2021

1. Interprofessional barriers in patient flow management: an interview study of the views of emergency department staff involved in patient admissions

   Olga Boiko, Matthew Edwards, Steffen Zschaler, and 2 more authors

   Journal of Interprofessional Care 35(3), 2021

   Bib HTML

   @article{BoikoEtAl21,
     author = {Boiko, Olga and Edwards, Matthew and Zschaler, Steffen and Miles, Simon and Rafferty, Anne Marie},
     title = {Interprofessional barriers in patient flow management: an interview study of the views of emergency department staff involved in patient admissions},
     pages = {334--342},
     journal = {Journal of Interprofessional Care},
     volume = {35},
     number = {3},
     year = {2021},
     publisher = {Taylor \& Francis},
     doi = {10.1080/13561820.2020.1760223},
     url = {https://doi.org/10.1080/13561820.2020.1760223},
   }

2. SoSyM

   Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering

   Alexandru Burdusel, Steffen Zschaler, and Stefan John

   Software and Systems Modelling, 2021

   Bib HTML PDF

   @article{BurduselEtAl21,
     author = {Burdusel, Alexandru and Zschaler, Steffen and John, Stefan},
     title = {Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering},
     journal = {Software and Systems Modelling},
     year = {2021},
     doi = {10.1007/s10270-021-00914-w},
   }

3. SciCo

   Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations

   Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

   Science of Computer Programming 214, 2021

   Bib HTML PDF

   @article{KosiolEtAl21,
     author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
     title = {Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations},
     journal = {Science of Computer Programming},
     volume = {214},
     year = {2021},
   }

4. TMTDyn: A Matlab Package for Modeling and Control of Hybrid Rigid–Continuum Robots Based on Discretized Lumped System and Reduced Order Models

   S.M.Hadi Sadati, S. Elnaz Naghibi, Ali Shiva, and 10 more authors

   The International Journal of Robotics Research 40(1), 2021

   Abs Bib HTML PDF

   A reliable, accurate, and yet simple dynamic model is important to analyzing, designing, and controlling hybrid rigid-continuum robots. Such models should be fast, as simple as possible, and user-friendly to be widely accepted by the ever-growing robotics research community. In this study, we introduce two new modeling methods for continuum manipulators: a general reduced-order model (ROM) and a discretized model with absolute states and Euler-Bernoulli beam segments (EBA). In addition, a new formulation is presented for a recently introduced discretized model based on Euler-Bernoulli beam segments and relative states (EBR). We implement these models in a Matlab software package, named TMTDyn, to develop a modeling tool for hybrid rigid-continuum systems. The package features a new high-level language (HLL) text-based interface, a CAD-file import module, automatic formation of the system equation of motion (EOM) for different modeling and control tasks, implementing Matlab C-mex functionality for improved performance, and modules for static and linear modal analysis of a hybrid system. The underlying theory and software package are validated for modeling experimental results for (i) dynamics of a continuum appendage, and (ii) general deformation of a fabric sleeve worn by a rigid link pendulum. A comparison shows higher simulation accuracy (8-14% normalized error) and numerical robustness of the ROM model for a system with a small number of states, and computational efficiency of the EBA model with near real-time performances that makes it suitable for large systems. The challenges and necessary modules to further automate the design and analysis of hybrid systems with a large number of states are briefly discussed.

   @article{SadatiEtAl21,
     author = {Sadati, S.M.Hadi and Naghibi, S. Elnaz and Shiva, Ali and Michael, Brendan and Renson, Ludovic and Howard, Matthew and Rucker, Caleb D. and Althoefer, Kaspar and Nanayakkara, Thrishantha and Zschaler, Steffen and Bergeles, Christos and Hauser, Helmut and Walker, Ian D.},
     title = {{TMTDyn}: A {Matlab} Package for Modeling and Control of Hybrid Rigid--Continuum Robots Based on Discretized Lumped System and Reduced Order Models},
     journal = {The International Journal of Robotics Research},
     volume = {40},
     number = {1},
     pages = {296-347},
     year = {2021},
     doi = {10.1177/0278364919881685},
     url = {https://doi.org/10.1177/0278364919881685},
   }

2020

1. Report on Workshop: Planning the Future of Agent Simulation

   Fiona Polack, and Steffen Zschaler

   Artificial Life Journal 26(2), 2020

   Bib HTML

   @article{PolackZschaler20,
     author = {Polack, Fiona and Zschaler, Steffen},
     title = {Report on Workshop: Planning the Future of Agent Simulation},
     journal = {Artificial Life Journal},
     volume = {26},
     number = {2},
     year = {2020},
   }

2019

1. TOCE

   Transformative and Troublesome? Students’ and Professional programmers’ perspectives on difficult concepts in programming

   Lucy Yeomans, Steffen Zschaler, and Kelly Coate

   ACM Transactions on Computing Education (TOCE) 19(3), 2019

   Bib HTML PDF

   @article{YeomansEtAl19,
     author = {Yeomans, Lucy and Zschaler, Steffen and Coate, Kelly},
     title = {Transformative and Troublesome? Students' and Professional programmers' perspectives on difficult concepts in programming},
     journal = {ACM Transactions on Computing Education (TOCE)},
     volume = {19},
     number = {3},
     year = {2019},
   }

2. Composing Model-Based Analysis Tools

   Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, and 2 more authors

   Dagstuhl Reports 9(11), 2019

   Bib HTML

   @article{DuranEtAl19Report,
     author = {Dur{\'a}n, Francisco and Heinrich, Robert and P{\'e}rez-Palac{\'i}n, Diego and Talcott, Carolyn and Zschaler, Steffen},
     title = {Composing Model-Based Analysis Tools},
     journal = {Dagstuhl Reports},
     volume = {9},
     number = {11},
     pages = {97--116},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing},
     year = {2019},
   }

2017

1. JLAMP

   Amalgamation of Domain Specific Languages with Behaviour

   Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, and 1 more author

   Journal of Logical and Algebraic Methods in Programming 86(1), 2017

   Bib HTML PDF

   @article{DuranEtAl15,
     author = {Dur{\'a}n, Francisco and Moreno-Delgado, Antonio and Orejas, Fernando and Zschaler, Steffen},
     title = {Amalgamation of Domain Specific Languages with Behaviour},
     doi = {10.1016/j.jlamp.2015.09.005},
     url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.005},
     journal = {Journal of Logical and Algebraic Methods in Programming},
     year = {2017},
     volume = {86},
     number = {1},
     pages = {208--235},
   }

2016

1. JSS

   AspectJ Code Analysis and Verification with GASR

   Johan Fabry, Coen De Roover, Carlos Noguera, and 3 more authors

   Journal of Systems and Software 117, 2016

   Bib HTML PDF

   @article{FabryEtAl16,
     author = {Fabry, Johan and Roover, Coen De and Noguera, Carlos and Zschaler, Steffen and Rashid, Awais and Jonckers, Viviane},
     title = {{AspectJ} Code Analysis and Verification with {GASR}},
     journal = {Journal of Systems and Software},
     volume = {117},
     pages = {528--544},
     year = {2016},
   }

2014

1. SciCo

   Salespoint: A Java framework for teaching object-oriented software development

   Steffen Zschaler, Birgit Demuth, and Lothar Schmitz

   Science of Computer Programming 79, Jan 2014

   Bib HTML

   @article{ZschalerEtAl12,
     author = {Zschaler, Steffen and Demuth, Birgit and Schmitz, Lothar},
     title = {{Salespoint}: A {Java} framework for teaching object-oriented software development},
     pages = {189--203},
     doi = {10.1016/j.scico.2012.04.005},
     url = {http://www.sciencedirect.com/science/article/pii/S016764231200069X},
     journal = {Science of Computer Programming},
     volume = {79},
     month = jan,
     year = {2014},
     issn = {0167-6423},
   }

2. SoSyM

   Correct-by-construction synthesis of model transformations using transformation patterns

   Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Iman Poernomo, and 2 more authors

   Software and Systems Modelling 13(2), May 2014

   Bib HTML PDF

   @article{LanoEtAl12,
     author = {Lano, Kevin and Kolahdouz-Rahimi, Shekoufeh and Poernomo, Iman and Terrell, Jeffrey and Zschaler, Steffen},
     title = {Correct-by-construction synthesis of model transformations using transformation patterns},
     doi = {10.1007/s10270-012-0291-7},
     pages = {873--907},
     journal = {Software and Systems Modelling},
     volume = {13},
     number = {2},
     month = may,
     year = {2014},
     issn = {1619-1366},
     publisher = {Springer-Verlag},
   }

3. Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

   Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, and 1 more author

   JUCS 20(8), 2014

   Special issue on WAS4FI 2013

   Bib HTML PDF

   @article{EfstathiouEtAl14,
     author = {Efstathiou, Dionysios and McBurney, Peter and Zschaler, Steffen and Bourcier, Johann},
     title = {Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using
                 Lightweight Surrogate Models},
     journal = {JUCS},
     note = {Special issue on WAS4FI 2013},
     volume = {20},
     number = {8},
     pages = {1089--1108},
     year = {2014},
   }

2013

1. Model-driven performance analysis of rule-based domain specific visual models

   Javier Troya, Antonio Vallecillo, Francisco Durán, and 1 more author

   Information and Software Technology 55(1), 2013

   Bib HTML

   @article{TroyaEtAl13,
     author = {Troya, Javier and Vallecillo, Antonio and Dur{\'a}n, Francisco and Zschaler, Steffen},
     title = {Model-driven performance analysis of rule-based domain specific visual models},
     pages = {88--110},
     doi = {10.1016/j.infsof.2012.07.009},
     url = {http://www.sciencedirect.com/science/article/pii/S0950584912001358},
     journal = {Information and Software Technology},
     volume = {55},
     number = {1},
     year = {2013},
   }

2011

1. SoSyM

   Rigorous identification and encoding of trace-links in model-driven engineering

   Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, and 4 more authors

   Software and Systems Modelling 10(4), 2011

   Bib HTML PDF

   @article{PaigeEtAl11,
     author = {Paige, Richard F. and Drivalos, Nikolaos and Kolovos, Dimitrios S. and Fernandes, Kiran J. and Power, Christopher and Olsen, Goran K. and Zschaler, Steffen},
     title = {Rigorous identification and encoding of trace-links in model-driven engineering},
     doi = {10.1007/s10270-010-0158-8},
     url = {http://dx.doi.org/10.1007/s10270-010-0158-8},
     pages = {469--487},
     journal = {Software and Systems Modelling},
     volume = {10},
     number = {4},
     publisher = {Springer-Verlag},
     year = {2011},
     issn = {1619-1366},
   }

2010

1. Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML*

   Florian Heidenreich, Pablo Sanchez, Joao Santos, and 6 more authors

   Transactions on Aspect-Oriented Software Development VII, Special Issue on A Common Case Study for Aspect-Oriented Modeling 6210, 2010

   Bib HTML PDF Supp

   @article{HeidenreichEtAl2010,
     author = {Heidenreich, Florian and Sanchez, Pablo and Santos, Joao and Zschaler, Steffen and Alferez, Mauricio and Araujo, Joao and Fuentes, Lidia and amd Ana Moreira, Uira Kulesza and Rashid, Awais},
     title = {Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML*},
     pages = {69--114},
     editor = {Katz, Shmuel and Kienzle, J{\"o}rg},
     journal = {Transactions on Aspect-Oriented Software Development VII, Special Issue on A Common Case Study for Aspect-Oriented Modeling},
     series = {LNCS},
     volume = {6210},
     publisher = {Springer},
     year = {2010},
   }

2009

1. On Language-Independent Model Modularisation

   Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, and 1 more author

   Transactions on Aspect-Oriented Development, Special Issue on Aspects and MDE 5560, 2009

   Bib HTML PDF

   @article{HeidenreichEtAl09,
     author = {Heidenreich, Florian and Henriksson, Jakob and Johannes, Jendrik and Zschaler, Steffen},
     title = {On Language-Independent Model Modularisation},
     journal = {Transactions on Aspect-Oriented Development, Special Issue on Aspects and MDE},
     year = {2009},
     series = {LNCS},
     volume = {5560},
     publisher = {Springer},
     pages = {39--82},
   }

2. SoSyM

   Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof

   Steffen Zschaler

   Software and Systems Modelling 9, Apr 2009

   Bib HTML PDF Supp

   @article{Zschaler09,
     author = {Zschaler, Steffen},
     title = {Formal Specification of Non-functional Properties of Component-Based Software Systems: A Semantic Framework and Some Applications Thereof},
     year = {2009},
     journal = {Software and Systems Modelling},
     pages = {161--201},
     volume = {9},
     issue = {2},
     month = apr,
     publisher = {Springer},
     doi = {10.1007/s10270-009-0115-6},
   }

2008

1. Extending grammars and metamodels for reuse: the Reuseware approach

   Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, and 2 more authors

   IET Software 2(3), 2008

   Bib HTML PDF

   @article{HenrikssonEtAl08,
     author = {Henriksson, Jakob and Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
     title = {Extending grammars and metamodels for reuse: the Reuseware approach},
     publisher = {IET},
     year = {2008},
     journal = {IET Software},
     volume = {2},
     number = {3},
     pages = {165--184},
     url = {http://link.aip.org/link/?SEN/2/165/1},
     doi = {10.1049/iet-sen:20070060},
   }

2007

1. SoSyM

   Tool Support for Refinement of Non-functional Specifications

   Simone Röttger, and Steffen Zschaler

   Software and Systems Modelling 6(2), Jun 2007

   Bib HTML PDF

   @article{RoettgerZschaler2007,
     author = {R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {Tool Support for Refinement of Non-functional Specifications},
     pages = {185--204},
     journal = {Software and Systems Modelling},
     volume = {6},
     number = {2},
     month = jun,
     year = {2007},
     publisher = {Springer},
   }

2. Enforceable Component-Based Realtime Contracts – Supporting Realtime Properties from Software Development to Execution

   Hermann Härtig, Steffen Zschaler, Martin Pohlack, and 4 more authors

   Springer Real-Time Systems Journal 35(1), Jan 2007

   Bib HTML PDF

   @article{HaertigZschalerEtAl07,
     author = {H{\"a}rtig, Hermann and Zschaler, Steffen and Pohlack, Martin and Aigner, Ronald and G{\"o}bel, Steffen and Pohl, Christoph and R{\"o}ttger, Simone},
     title = {Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution},
     journal = {Springer Real-Time Systems Journal},
     volume = {35},
     number = {1},
     month = jan,
     year = {2007},
     publisher = {Springer},
     doi = {10.1007/s11241-006-9002-1},
   }

3. JOT

   Reuseware – Adding Modularity to Your Language of Choice

   Jakob Henriksson, Jendrik Johannes, Steffen Zschaler, and 1 more author

   Journal of Object Technology 6(9), Oct 2007

   Special issue TOOLS Europe 2007

   Bib HTML PDF

   @article{HenrikssonJohannesZschalerAssmann07,
     author = {Henriksson, Jakob and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
     title = {Reuseware -- Adding Modularity to Your Language of Choice},
     journal = {Journal of Object Technology},
     volume = {6},
     number = {9},
     month = oct,
     year = {2007},
     pages = {127--148},
     note = {Special issue TOOLS Europe 2007},
   }

4. Integrating OCL and Model Transformations in Fujaba

   Mirko Stölzel, Steffen Zschaler, and Leif Geiger

   Electronic Communications of the EASST, Special Issue on Proc. of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006), extended versions of selected papers 5, 2007

   Bib HTML PDF

   @article{StoelzelZschalerGeiger07,
     author = {St{\"o}lzel, Mirko and Zschaler, Steffen and Geiger, Leif},
     title = {Integrating OCL and Model Transformations in Fujaba},
     journal = {Electronic Communications of the EASST, Special Issue on Proc. of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006), extended versions of selected papers},
     volume = {5},
     year = {2007},
   }

5. JOT

   Scheduling Real-Time Components Using Jitter-Constrained Streams

   Claude-Joachim Hamann, and Steffen Zschaler

   Journal of Object Technology, Special Issue on Quality of Service Management 11(6), 2007

   Bib HTML PDF

   @article{HamannZschaler07,
     author = {Hamann, Claude-Joachim and Zschaler, Steffen},
     title = {Scheduling Real-Time Components Using Jitter-Constrained Streams},
     journal = {Journal of Object Technology, Special Issue on Quality of Service Management},
     number = {6},
     volume = {11},
     year = {2007},
     url = {http://www.jot.fm/issues/issue_2007_12/},
   }

2004

1. The Object Constraint Language for UML 2.0 – Overview and Assessment

   Heinrich Hussmann, and Steffen Zschaler

   Upgrade, digital journal of CEPIS (Council of European Professional Informatics Societies), Apr 2004

   Simultaneously published in Novática, journal of the Spanish CEPIS society ATI (Asociación de Técnicos de Informática), issue 168 (March-April 2004), in Spanish, and by the Italian CEPIS society ALSI and the Italian IT portal Tecnoteca, in Italian.

   Bib PDF

   @article{HussmannZschaler04a,
     author = {Hussmann, Heinrich and Zschaler, Steffen},
     title = {The Object Constraint Language for {UML 2.0} -- Overview and Assessment},
     journal = {Upgrade, digital journal of {CEPIS} (Council of European Professional Informatics Societies)},
     month = apr,
     year = {2004},
     note = {Simultaneously published in Nov{\'a}tica, journal of the Spanish CEPIS society ATI (Asociaci{\'o}n de T{\'e}cnicos de Inform{\'a}tica), issue 168 (March-April 2004), in Spanish, and by the Italian CEPIS society ALSI and the Italian IT portal Tecnoteca, in Italian.}
   }

Conference and Workshop Papers

2023

1. Designing Learning Paths with Open Educational Resources: A Case Study in Model-Driven Engineering

   Antonio Bucchiarone, Andrea Vazquez-Ingelmo, Gianluca Schiavo, and 3 more authors

   In 18th Iberian Conference on Information Systems and Technologies, 2023

   Bib PDF

   @inproceedings{BucchiaroneEtAl23a,
     author = {Bucchiarone, Antonio and Vazquez-Ingelmo, Andrea and Schiavo, Gianluca and Garcia-Holgado, Alicia and Garcia-Penalvo, Francisco and Zschaler, Steffen},
     title = {Designing Learning Paths with Open Educational Resources: A Case Study in Model-Driven Engineering},
     year = {2023},
     booktitle = {18th Iberian Conference on Information Systems and Technologies},
   }

2. Supporting Emergency Department Risk Mitigation with a Modular and Reusable Agent-Based Simulation Infrastructure

   Thomas Godfrey, Steffen Zschaler, Rahul Batra, and 4 more authors

   In 2023 Winter Simulation Conference, 2023

   Also presented at ‘Modellierung 2024’

   Bib PDF

   @inproceedings{GodfreyEtAl23,
     author = {Godfrey, Thomas and Zschaler, Steffen and Batra, Rahul and Douthwaite, Sam and Edgeworth, Jonathan and Edwards, Matthew and Miles, Simon},
     title = {Supporting Emergency Department Risk Mitigation with a Modular and Reusable Agent-Based Simulation Infrastructure},
     booktitle = {2023 Winter Simulation Conference},
     year = {2023},
     note = {Also presented at `Modellierung 2024'}
   }

3. Towards Personalized Learning Paths to Empower Competency Development in Model Driven Engineering through the ENCORE platform

   Antonio Bucchiarone, Andrea Vazquez-Ingelmo, Gianluca Schiavo, and 7 more authors

   In Proc. Educators Symposium at MODELS 2023, 2023

   Bib PDF

   @inproceedings{BucchiaroneEtAl23b,
     author = {Bucchiarone, Antonio and Vazquez-Ingelmo, Andrea and Schiavo, Gianluca and Barandoni, Simone and Garcia-Holgado, Alicia and Garcia-Penalvo, Francisco Jose and Mosser, Sebastien and Pierantonio, Alfonso and Zschaler, Steffen and Barnett, William},
     title = {Towards Personalized Learning Paths to Empower Competency Development in Model Driven Engineering through the {ENCORE} platform},
     booktitle = {Proc. Educators Symposium at MODELS 2023},
     year = {2023},
   }

4. An Online Education Platform for Teaching MDE

   Will Barnett, Steffen Zschaler, Artur Boronat, and 2 more authors

   In Proc. Educators Symposium at MODELS 2023, 2023

   Bib PDF

   @inproceedings{BarnettEtAl23,
     author = {Barnett, Will and Zschaler, Steffen and Boronat, Artur and Garcia-Dominguez, Antonio and Kolovos, Dimitris},
     title = {An Online Education Platform for Teaching {MDE}},
     booktitle = {Proc. Educators Symposium at MODELS 2023},
     year = {2023},
   }

5. ICGT

   Finding the Right Way to Rome: Effect-oriented Graph Transformation

   Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

   In 16th International Conference on Graph Transformation (ICGT 2023), 2023

   Bib PDF

   @inproceedings{KosiolEtAl23,
     author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
     title = {Finding the Right Way to {Rome}: Effect-oriented Graph Transformation},
     booktitle = {16th International Conference on Graph Transformation (ICGT 2023)},
     year = {2023},
   }

6. Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets

   Artur Boronat, Adekunle Ademeyo, Mehdi Mehtarizadeh, and 1 more author

   In 3rd International Health Data Workshop (HEDA’23), 2023

   Bib PDF

   @inproceedings{BoronatEtAl23,
     author = {Boronat, Artur and Ademeyo, Adekunle and Mehtarizadeh, Mehdi and Zschaler, Steffen},
     title = {Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets},
     booktitle = {3rd International Health Data Workshop (HEDA'23)},
     year = {2023},
   }

2022

1. A Methodology for DSML-assisted Participatory Agent-Based Enterprise Modelling

   Thomas Godfrey, Rahul Batra, Sam Douthwaite, and 3 more authors

   In 15th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM’22), 2022

   Bib PDF

   @inproceedings{GodfreyEtAl22,
     author = {Godfrey, Thomas and Batra, Rahul and Douthwaite, Sam and Edgeworth, Jonathan and Miles, Simon and Zschaler, Steffen},
     title = {A Methodology for {DSML}-assisted Participatory Agent-Based Enterprise Modelling},
     booktitle = {15th {IFIP} {WG 8.1} Working Conference on the Practice of Enterprise Modelling ({PoEM}'22)},
     year = {2022},
   }

2. SPLC

   Extended Abstract: We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration

   Jose-Miguel Horcas, Daniel Strüber, Alexandru Burdusel, and 2 more authors

   In Journal First track at SPLC’22, 2022

   Bib HTML

   @inproceedings{HorcasEtAl22a,
     author = {Horcas, Jose-Miguel and Str{\"u}ber, Daniel and Burdusel, Alexandru and Martinez, Jabier and Zschaler, Steffen},
     title = {Extended Abstract: We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration},
     booktitle = {Journal First track at SPLC'22},
     year = {2022},
   }

3. SPLC

   Acapulco: An extensible tool for identifying optimal and consistent feature model configurations

   Jabier Martinez, Daniel Strüber, Jose Miguel Horcas, and 2 more authors

   In 26th ACM International Systems and Software Product Line Conference (SPLC’22); Demonstrations Track, 2022

   Bib HTML

   @inproceedings{MartinezEtAl22,
     author = {Martinez, Jabier and Str{\"u}ber, Daniel and Horcas, Jose Miguel and Burdusel, Alexandru and Zschaler, Steffen},
     title = {{Acapulco}: An extensible tool for identifying optimal and consistent feature model configurations},
     booktitle = {26th ACM International Systems and Software Product Line Conference (SPLC'22); Demonstrations Track},
     year = {2022},
   }

4. A Community-Sourced View on Engineering Digital Twins: A Report from the EDT Community

   Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, and 6 more authors

   In 2nd International Workshop on Model-Driven Engineering of Digital Twins – ModDiT’22, 2022

   Bib PDF

   @inproceedings{CloephasEtAl22,
     author = {Cleophas, Loek and Godfrey, Thomas and Khelladi, Djamel Eddine and Lehner, Daniel and Combemale, Benoit and van den Brand, Mark and Vierhauser, Michael and Wimmer, Manuel and Zschaler, Steffen},
     title = {A Community-Sourced View on Engineering Digital Twins: A Report from the {EDT} Community},
     booktitle = {2nd International Workshop on Model-Driven Engineering of Digital Twins -- ModDiT'22},
     year = {2022},
   }

2021

1. Finding Subgraphs With Side Constraints

   Ozgür Akgün, Jessica Enright, Christopher Jefferson, and 3 more authors

   In 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2021), 2021

   Bib PDF

   @inproceedings{AkgunEtAl21,
     author = {Akg{\"u}n, Ozg{\"u}r and Enright, Jessica and Jefferson, Christopher and McCreesh, Ciaran and Prosser, Patrick and Zschaler, Steffen},
     title = {Finding Subgraphs With Side Constraints},
     booktitle = {18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2021)},
     year = {2021},
   }

2020

1. SLE

   A Family of Languages for Trustworthy Agent-Based Simulation

   Steffen Zschaler, and Fiona Polack

   In 13th International Conference on Software Language Engineering (SLE’20), 2020

   Bib HTML PDF Supp

   @inproceedings{ZschalerPolack20,
     author = {Zschaler, Steffen and Polack, Fiona},
     title = {A Family of Languages for Trustworthy Agent-Based Simulation},
     booktitle = {13th International Conference on Software Language Engineering (SLE'20)},
     year = {2020},
   }

2. ICGT

   Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations

   Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

   In Proc. Int’l Conf. on Graph Transformations (ICGT’20), 2020

   Bib PDF

   @inproceedings{KosiolEtAl20,
     author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
     title = {Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations},
     booktitle = {Proc. Int'l Conf. on Graph Transformations (ICGT'20)},
     year = {2020},
   }

2019

1. ICMT

   Searching for Optimal Models: Comparing Two Encoding Approaches

   Stefan John, Alexandru Burdusel, Robert Bill, and 4 more authors

   In Proc. 12th Int’l Conf. Model Transformations (ICMT’19), 2019

   Bib PDF Supp

   @inproceedings{JohnEtAl19,
     author = {John, Stefan and Burdusel, Alexandru and Bill, Robert and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen and Wimmer, Manuel},
     title = {Searching for Optimal Models: Comparing Two Encoding Approaches},
     booktitle = {Proc. 12th Int'l Conf. Model Transformations (ICMT'19)},
     year = {2019},
   }

2. MoDELS

   Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering

   Alexandru Burdusel, Steffen Zschaler, and Stefan John

   In IEEE / ACM 22nd Int’l Conf. Model Driven Engineering Languages and Systems (MODELS’19), 2019

   Bib PDF

   @inproceedings{BurduselEtAl19,
     author = {Burdusel, Alexandru and Zschaler, Steffen and John, Stefan},
     title = {Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering},
     booktitle = {IEEE / ACM 22nd Int'l Conf. Model Driven Engineering Languages and Systems (MODELS'19)},
     year = {2019},
   }

3. A MatLab-Internal DSL for Modelling Hybrid Rigid–Continuum Robots with TMTDyn

   S.M.Hadi Sadati, Steffen Zschaler, and Christos Bergeles

   In 6th International Workshop on Model-driven Robot Software Engineering, co-located with MoDELS’19, 2019

   Bib PDF

   @inproceedings{SadatiEtAl19,
     author = {Sadati, S.M.Hadi and Zschaler, Steffen and Bergeles, Christos},
     title = {A MatLab-Internal DSL for Modelling Hybrid Rigid--Continuum Robots with TMTDyn},
     booktitle = {6th International Workshop on Model-driven Robot Software Engineering, co-located with MoDELS'19},
     year = {2019},
   }

4. Towards Scalable Search-Based Model Engineering

   Alexandru Burdusel, and Steffen Zschaler

   In 1st Workshop on Artificial Intelligence and Model-driven Engineering, co-located with MoDELS’19, 2019

   Bib PDF

   @inproceedings{BurduselZschaler19,
     author = {Burdusel, Alexandru and Zschaler, Steffen},
     title = {Towards Scalable Search-Based Model Engineering},
     booktitle = {1st Workshop on Artificial Intelligence and Model-driven Engineering, co-located with MoDELS'19},
     year = {2019},
   }

2018

1. MDEoptimiser: A Search Based Model Engineering Tool

   Alexandru Burdusel, Steffen Zschaler, and Daniel Strüber

   In Companion Proc. 21st ACM/IEEE Int’l Conf Model Driven Engineering Languages and Systems, 2018

   Bib HTML Supp

   @inproceedings{BurduselEtAl18,
     author = {Burdusel, Alexandru and Zschaler, Steffen and Str\"{u}ber, Daniel},
     title = {{MDEoptimiser}: A Search Based Model Engineering Tool},
     pages = {12--16},
     numpages = {5},
     url = {http://doi.acm.org/10.1145/3270112.3270130},
     doi = {10.1145/3270112.3270130},
     acmid = {3270130},
     keywords = {model driven engineering, search based model engineering, search based optimisation, search based software engineering},
     booktitle = {Companion Proc. 21st ACM/IEEE Int'l Conf Model Driven Engineering Languages and Systems},
     series = {MODELS '18},
     year = {2018},
     isbn = {978-1-4503-5965-8},
     location = {Copenhagen, Denmark},
     publisher = {ACM},
     address = {New York, NY, USA},
   }

2. Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser

   Daniel Strüber, Alexandru Burdusel, Stefan John, and 1 more author

   In Modellierung 2018, Tutorials, 2018

   Bib

   @inproceedings{StrueberEtAl18,
     author = {Str{\"u}ber, Daniel and Burdusel, Alexandru and John, Stefan and Zschaler, Steffen},
     title = {Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in {MDEOptimiser}},
     booktitle = {Modellierung 2018, Tutorials},
     year = {2018},
   }

3. Modularity for Automated Assessment: A Design-Space Exploration

   Steffen Zschaler, Sam White, Kyle Hodgetts, and 1 more author

   In Workshop Software Engineering für E-Learning-Systeme (SEELS), GI-Tagung "Software Engineering 2018", 2018

   Bib HTML PDF

   @inproceedings{ZschalerEtAl18,
     author = {Zschaler, Steffen and White, Sam and Hodgetts, Kyle and Chapman, Martin},
     title = {Modularity for Automated Assessment: A Design-Space Exploration},
     booktitle = {Workshop Software Engineering f{\"u}r E-Learning-Systeme (SEELS), GI-Tagung "Software Engineering 2018"},
     year = {2018},
   }

4. Deriving Persuasion Strategies Using Search-Based Model Engineering

   Josh Murphy, Alexandru Burdusel, Michael Luck, and 2 more authors

   In 7th International Conference on Computational Models of Argument (COMMA’18), 2018

   Bib PDF

   @inproceedings{MurphyEtAl18,
     author = {Murphy, Josh and Burdusel, Alexandru and Luck, Michael and Zschaler, Steffen and Black, Elizabeth},
     title = {Deriving Persuasion Strategies Using Search-Based Model Engineering},
     booktitle = {7th International Conference on Computational Models of Argument (COMMA'18)},
     year = {2018},
   }

5. Adding a HenshinEngine to GEMOC Studio: An experience report

   Steffen Zschaler

   In GEMOC’18, 2018

   Bib PDF Supp Slides

   @inproceedings{Zschaler18,
     author = {Zschaler, Steffen},
     title = {Adding a HenshinEngine to GEMOC Studio: An experience report},
     booktitle = {GEMOC'18},
     year = {2018},
   }

6. AutoTMTDyn: A Matlab Software Package to Drive TMT Lagrange Dynamics of Series Rigid- and Continuum-link Mechanisms

   S.M.Hadi Sadati, S. E. Naghibi, A. Shiva, and 5 more authors

   In IROS 2018 Soft Robotic Modeling and Control: Bringing Together Articulated Soft Robots and Soft-Bodied Robots, Madrid, Spain, 2018

   Bib PDF

   @inproceedings{SadatiEtAl18,
     author = {Sadati, S.M.Hadi and Naghibi, S. E. and Shiva, A. and Zschaler, Steffen and Hauser, H. and Walker, I. and Althoefer, K. and Nanayakkara, T.},
     title = {{AutoTMTDyn}: A {Matlab} Software Package to Drive {TMT} Lagrange Dynamics of Series Rigid- and Continuum-link Mechanisms},
     booktitle = {IROS 2018 Soft Robotic Modeling and Control: Bringing Together Articulated Soft Robots and Soft-Bodied Robots, Madrid, Spain},
     year = {2018},
   }

2017

1. GTS Families for the Flexible Composition of Graph Transformation Systems

   Steffen Zschaler, and Francisco Durán

   In 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17), 2017

   Bib HTML PDF Slides

   @inproceedings{ZschalerDuran17a,
     author = {Zschaler, Steffen and Dur{\'a}n, Francisco},
     title = {{GTS} Families for the Flexible Composition of Graph Transformation Systems},
     pages = {208--225},
     doi = {10.1007/978-3-662-54494-5_12},
     url = {http://dx.doi.org/10.1007/978-3-662-54494-5_12},
     editor = {Huisman, Marieke and Rubin, Julia},
     booktitle = {20th Int'l Conf. Fundamental Approaches to Software Engineering (FASE'17)},
     year = {2017},
     publisher = {Springer Berlin Heidelberg},
     address = {Berlin, Heidelberg},
     isbn = {978-3-662-54494-5},
   }

2. NEXUS: A flexible platform for automated assessment and feedback

   Steffen Zschaler, Martin Chapman, Sam White, and 2 more authors

   In 11th Excellence in Teaching Conference, London, 2017

   Bib

   @inproceedings{ZschalerEtAl17,
     author = {Zschaler, Steffen and Chapman, Martin and White, Sam and Hodgetts, Kyle and Armstrong, John},
     title = {{NEXUS}: A flexible platform for automated assessment and feedback},
     booktitle = {11th Excellence in Teaching Conference, London},
     year = {2017},
   }

3. Automatic generation of evolution rules for model-driven optimisation

   Alexandru Burdusel, and Steffen Zschaler

   In 8th International Workshop on Graph Computation Models (GCM’17), 2017

   Bib Slides

   @inproceedings{BurduselZschaler17,
     author = {Burdusel, Alexandru and Zschaler, Steffen},
     title = {Automatic generation of evolution rules for model-driven optimisation},
     booktitle = {8th International Workshop on Graph Computation Models (GCM'17)},
     year = {2017},
   }

2016

1. ICMT

   Correct Reuse of Transformations is Hard to Guarantee

   Rick Salay, Steffen Zschaler, and Marsha Chechik

   In Proc. 9th Int’l Conf Model Transformations (ICMT’16), 2016

   Bib HTML Slides

   @inproceedings{SalayEtAl16,
     author = {Salay, Rick and Zschaler, Steffen and Chechik, Marsha},
     title = {Correct Reuse of Transformations is Hard to Guarantee},
     pages = {107--122},
     doi = {10.1007/978-3-319-42064-6_8},
     url = {http://dx.doi.org/10.1007/978-3-319-42064-6_8},
     editor = {van Gorp, Pieter and Engels, Gregor},
     booktitle = {Proc. 9th Int'l Conf Model Transformations (ICMT'16)},
     publisher = {Springer International Publishing},
     isbn = {978-3-319-42064-6},
     year = {2016},
   }

2. Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations

   José-Miguel Horcas, Steffen Zschaler, Mónica Pinto, and 1 more author

   In Proc. 1st Modularity in Modelling Workshop (MOMO’16), 2016

   Bib PDF

   @inproceedings{HorcaseEtAl16,
     author = {Horcas, Jos{\'e}-Miguel and Zschaler, Steffen and Pinto, M{\'o}nica and Fuentes, Lidia},
     title = {Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations},
     booktitle = {Proc. 1st Modularity in Modelling Workshop (MOMO'16)},
     year = {2016},
   }

3. ICMT

   Requirements Engineering in Model-Transformation Development: An Interview-Based Study

   Sobhan Yassipour Tehrani, Steffen Zschaler, and Kevin Lano

   In 9th International Conference on Model Transformations (ICMT’16), 2016

   Bib

   @inproceedings{TehraniEtAl16,
     author = {Tehrani, Sobhan Yassipour and Zschaler, Steffen and Lano, Kevin},
     title = {Requirements Engineering in Model-Transformation Development: An Interview-Based Study},
     booktitle = {9th International Conference on Model Transformations (ICMT'16)},
     year = {2016},
   }

4. Mejora de una representación genética genérica para modelos

   Lorenzo Mandow, Jose Antonio Montenegro, and Steffen Zschaler

   In Actas de la XVII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA’16), 2016

   Bib PDF

   @inproceedings{MandowEtAl16,
     author = {Mandow, Lorenzo and Montenegro, Jose Antonio and Zschaler, Steffen},
     title = {Mejora de una representaci{\'o}n gen{\'e}tica gen{\'e}rica para modelos},
     booktitle = {Actas de la XVII Conferencia de la Asociaci{\'o}n Espa{\~n}ola para la Inteligencia Artificial (CAEPIA'16)},
     year = {2016},
   }

5. Towards Model-Based Optimisation: Using domain knowledge explicitly

   Steffen Zschaler, and Lawrence Mandow

   In Proc. Workshop on Model-Driven Engineering, Logic and Optimization (MELO’16), 2016

   Bib PDF Slides

   @inproceedings{ZschalerMandow16,
     author = {Zschaler, Steffen and Mandow, Lawrence},
     title = {Towards Model-Based Optimisation: Using domain knowledge explicitly},
     booktitle = {Proc. Workshop on Model-Driven Engineering, Logic and Optimization (MELO'16)},
     year = {2016},
     pdf_info = {(c) Springer 2017},
   }

6. Model Optimisation for Feature–Class allocation using MDEOptimiser: A TTC 2016 Submission

   Alexandru Burdusel, and Steffen Zschaler

   In Transformation Tool Contest, 2016

   Bib PDF Supp

   @inproceedings{BurduselZschaler16,
     author = {Burdusel, Alexandru and Zschaler, Steffen},
     title = {Model Optimisation for Feature--Class allocation using {MDEOptimiser}: A {TTC} 2016 Submission},
     booktitle = {Transformation Tool Contest},
     year = {2016},
   }

2015

1. Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

   Paraskevi Zerva, Steffen Zschaler, and Simon Miles

   In SOSE’15, 2015

   Bib HTML

   @inproceedings{ZervaEtAl15,
     author = {Zerva, Paraskevi and Zschaler, Steffen and Miles, Simon},
     title = {Modelling and Analysing Provenance Awareness Infrastructure for {SOC} systems},
     booktitle = {SOSE'15},
     year = {2015},
   }

2. Using agile methods to teach programming to 1st-year computer-science undergraduate students

   Steffen Zschaler, Kelly Coate, and Andrew Coles

   In Academic Practice and Technology Conference 2015 (APT’15), Greenwich, 2015

   Bib HTML

   @inproceedings{ZschalerEtAl15,
     author = {Zschaler, Steffen and Coate, Kelly and Coles, Andrew},
     title = {Using agile methods to teach programming to 1st-year computer-science undergraduate students},
     booktitle = {Academic Practice and Technology Conference 2015 (APT'15), Greenwich},
     year = {2015},
   }

3. Transformation reuse: What is the intent?

   Rick Salay, Steffen Zschaler, and Marsha Chechik

   In Proc. 4th Workshop on the Analysis of Model Transformations (AMT’15), 2015

   Bib HTML PDF

   @inproceedings{SalayEtAl15,
     author = {Salay, Rick and Zschaler, Steffen and Chechik, Marsha},
     title = {Transformation reuse: What is the intent?},
     booktitle = {Proc. 4th Workshop on the Analysis of Model Transformations (AMT'15)},
     year = {2015},
   }

2014

1. Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

   Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, and 1 more author

   In Modelling Foundations and Applications - 10th European Conference, ECMFA 2014. Proceedings, 2014

   Bib HTML PDF

   @inproceedings{Moreno-DelgadoEtAl14,
     author = {Moreno{-}Delgado, Antonio and Dur{\'{a}}n, Francisco and Zschaler, Steffen and Troya, Javier},
     title = {Modular DSLs for Flexible Analysis: An e-Motions Reimplementation
                    of Palladio},
     booktitle = {Modelling Foundations and Applications - 10th European Conference,
                    {ECMFA} 2014. Proceedings},
     pages = {132--147},
     year = {2014},
     url = {http://dx.doi.org/10.1007/978-3-319-09195-2_9},
     doi = {10.1007/978-3-319-09195-2_9},
     editor = {Cabot, Jordi and Rubin, Julia},
     series = {Lecture Notes in Computer Science},
     volume = {8569},
     publisher = {Springer},
   }

2. Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity

   Steffen Zschaler

   In Proc. 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO’14), 2014

   Bib PDF Supp Slides

   @inproceedings{Zschaler14,
     author = {Zschaler, Steffen},
     title = {Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity},
     editor = {Atkinson, Colin and Burger, Erik and Goldschmidt, Thomas and Reussner, Ralf},
     booktitle = {Proc. 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'14)},
     year = {2014},
   }

3. Crepe Complete: Multi-objective optimisation for your models

   Dionysios Efstathiou, James R. Williams, and Steffen Zschaler

   In Proc. 1st Int’l Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA’14), 2014

   Bib PDF

   @inproceedings{EfstathiouEtAl14b,
     author = {Efstathiou, Dionysios and Williams, James R. and Zschaler, Steffen},
     title = {Crepe Complete: Multi-objective optimisation for your models},
     booktitle = {Proc. 1st Int'l Workshop on Combining Modelling with Search- and Example-Based Approaches 
                    (CMSEBA'14)},
     year = {2014},
   }

4. Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations

   Kleopatra Chatziprimou, Kevin Lano, and Steffen Zschaler

   In IEEE 6th Int’l Conf. Cloud Computing Technology and Science (CloudCom), 2014

   Bib HTML

   @inproceedings{ChatziprimouEtAl14,
     author = {Chatziprimou, Kleopatra and Lano, Kevin and Zschaler, Steffen},
     title = {Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations},
     pages = {138--145},
     doi = {10.1109/CloudCom.2014.101},
     url = {http://dx.doi.org/10.1109/CloudCom.2014.101},
     booktitle = {IEEE 6th Int'l Conf. Cloud Computing Technology and Science (CloudCom)},
     year = {2014},
   }

5. A Provenance Model of Composite Services in Service-Oriented Environments

   Paraskevi Zerva, Steffen Zschaler, and Simon Miles

   In Proc. 8th IEEE Int’l Symposium on Service-Oriented System Engineering (SOSE 2014), 2014

   Bib PDF

   @inproceedings{ZervaEtAl14,
     author = {Zerva, Paraskevi and Zschaler, Steffen and Miles, Simon},
     title = {A Provenance Model of Composite Services in Service-Oriented Environments},
     booktitle = {Proc. 8th IEEE Int'l Symposium on Service-Oriented System Engineering (SOSE 2014)},
     year = {2014},
   }

6. Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad-hoc Networks

   Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, and 1 more author

   In Proc. GECCO’14, 2014

   Bib PDF

   @inproceedings{EfstathiouEtAl14c,
     author = {Efstathiou, Dionysios and McBurney, Peter and Zschaler, Steffen and Bourcier, Johann},
     title = {Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad-hoc Networks},
     booktitle = {Proc. GECCO'14},
     year = {2014},
   }

7. InCLOUDer: Effective Partial Migration of Pre-Existing Applications to the Appropriate Cloud Environment

   Adrian Juan-Verdejo, Steffen Zschaler, Bholanathsingh Surajbali, and 2 more authors

   In In Proc. 40th Euromicro Conf. Software Engineering and Advanced Applications (SEAA 2014), 2014

   Bib PDF

   @inproceedings{Juan-VerdejoEtAl14,
     author = {Juan-Verdejo, Adrian and Zschaler, Steffen and Surajbali, Bholanathsingh and Baars, Henning and Kemper, Hans-Georg},
     title = {{InCLOUDer}: Effective Partial Migration of Pre-Existing Applications to the Appropriate Cloud Environment },
     booktitle = {In Proc. 40th Euromicro Conf. Software Engineering and Advanced Applications (SEAA 2014)},
     year = {2014},
   }

8. Challenge2Code: Encouraging first-year computer-science students to program

   Steffen Zschaler, Piotr Galar, and Andrew Coles

   In 8th King’s College London Excellence in Teaching Conference, 2014

   Bib Poster

   @inproceedings{ZschalerEtAl14,
     author = {Zschaler, Steffen and Galar, Piotr and Coles, Andrew},
     title = {{Challenge2Code}: Encouraging first-year computer-science students to program},
     booktitle = {8th King's College London Excellence in Teaching Conference},
     year = {2014},
   }

9. Aspectual Code Generators for Easy Generation of FIXML to OO Mappings

   Steffen Zschaler, and Sobhan Yassipour Tehrani

   In TTC 2014 FIXML Case Solution, 2014

   Bib HTML PDF Supp

   @inproceedings{ZschalerTehrani14,
     author = {Zschaler, Steffen and Tehrani, Sobhan Yassipour},
     title = {Aspectual Code Generators for Easy Generation of {FIXML} to {OO} Mappings},
     booktitle = {TTC 2014 FIXML Case Solution},
     year = {2014},
   }

10. An Industrial Case Study on Provenance Awareness of Composite Services

    Paraskevi Zerva, Kahina Hamadache, George Angouras, and 2 more authors

    In Proc. 10th Int’l Conf. Semantics, Knowledge & Grids (SKG’14), 2014

    Bib PDF

    @inproceedings{ZervaEtAl14b,
      author = {Zerva, Paraskevi and Hamadache, Kahina and Angouras, George and Zschaler, Steffen and Miles, Simon},
      title = {An Industrial Case Study on Provenance Awareness of Composite Services},
      booktitle = {Proc. 10th Int'l Conf. Semantics, Knowledge & Grids (SKG'14)},
      year = {2014},
    }

2013

1. SLE

   On the Reusable Specification of Non-functional Properties in DSLs

   Francisco Durán, Steffen Zschaler, and Javier Troya

   In Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12), 2013

   Bib HTML PDF Supp Slides

   @inproceedings{DuranEtAl12,
     author = {Dur{\'a}n, Francisco and Zschaler, Steffen and Troya, Javier},
     title = {On the Reusable Specification of Non-functional Properties in {DSLs}},
     pages = {332--351},
     editor = {Czarnecki, Krzysztof and Hedin, G{\"o}rel},
     booktitle = {Proc. 5th Int'l Conf. on Software Language Engineering (SLE'12)},
     publisher = {Springer},
     series = {LNCS},
     volume = {7745},
     year = {2013},
   }

2. Towards Design Support for Provenance Awareness: A Classification of Provenance Questions

   Paraskevi Zerva, Steffen Zschaler, and Simon Miles

   In Proc. Int’l Workshop on Managing and Querying Provenance Data at Scale (BIGProv’13), 2013

   Bib HTML PDF

   @inproceedings{ZervaEtAl13,
     author = {Zerva, Paraskevi and Zschaler, Steffen and Miles, Simon},
     title = {Towards Design Support for Provenance Awareness: A Classification of Provenance Questions},
     pages = {275--281},
     numpages = {7},
     url = {http://doi.acm.org/10.1145/2457317.2457364},
     doi = {10.1145/2457317.2457364},
     booktitle = {Proc. Int'l Workshop on Managing and Querying Provenance Data at Scale (BIGProv'13)},
     series = {EDBT '13},
     year = {2013},
     isbn = {978-1-4503-1599-9},
     publisher = {ACM},
   }

3. A Meta-Model for Performance Modeling of Dynamic Virtualized Network Infrastructures

   Piotr Rygielski, Steffen Zschaler, and Samuel Kounev

   In Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE’13), Prague, Czech Republic, April 21–24, 2013

   (Work-In-Progress Paper), to appear

   Bib HTML PDF

   @inproceedings{RyZsKo2013-DNI-meta-model,
     author = {Rygielski, Piotr and Zschaler, Steffen and Kounev, Samuel},
     title = {A Meta-Model for Performance Modeling of Dynamic Virtualized Network Infrastructures},
     booktitle = {Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE'13), Prague, Czech Republic, April 21--24},
     address = {New York, NY, USA},
     note = {(Work-In-Progress Paper), to appear},
     publisher = {ACM},
     year = {2013},
   }

4. Towards Agent Dialogue as a Tool for Capturing Software Design Discussions

   Elizabeth Black, Peter McBurney, and Steffen Zschaler

   In 2nd Int’l Workshop on Theory and Applications of Formal Argumentation (TAFA’13), 2013

   Bib PDF

   @inproceedings{BlackEtAl13,
     author = {Black, Elizabeth and McBurney, Peter and Zschaler, Steffen},
     title = {Towards Agent Dialogue as a Tool for Capturing Software Design Discussions},
     booktitle = {2nd Int'l Workshop on Theory and Applications of Formal Argumentation (TAFA'13)},
     year = {2013},
   }

5. Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems

   Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, and 1 more author

   In Search Based Software Engineering, 2013

   Bib HTML

   @inproceedings{EfstathiouEtAl13,
     author = {Efstathiou, Dionysios and McBurney, Peter and Zschaler, Steffen and Bourcier, Johann},
     title = {Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems},
     pages = {312--317},
     doi = {10.1007/978-3-642-39742-4_30},
     url = {http://dx.doi.org/10.1007/978-3-642-39742-4_30},
     editor = {Ruhe, G{\"u}nther and Zhang, Yuanyuan},
     booktitle = {Search Based Software Engineering},
     series = {Lecture Notes in Computer Science},
     volume = {8084},
     isbn = {978-3-642-39741-7},
     publisher = {Springer Berlin Heidelberg},
     year = {2013},
   }

6. Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems

   Dionysios Efstathiou, Peter McBurney, Steffen Zschaler, and 1 more author

   In Proc. 9th IEEE Int’l Conf. on Wireless and Mobile Computing, Networking and Communications (WiMob 2013), 2013

   Bib

   @inproceedings{EfstathiouEtAl13a,
     author = {Efstathiou, Dionysios and McBurney, Peter and Zschaler, Steffen and Bourcier, Johann},
     title = {Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems},
     booktitle = {Proc. 9th IEEE Int'l Conf. on Wireless and Mobile Computing, Networking and Communications (WiMob 2013)},
     year = {2013},
   }

7. Model-Based Throughput Prediction in Data Center Networks

   Piotr Rygielski, Samuel Kounev, and Steffen Zschaler

   In Proceedings of the 2nd IEEE International Workshop on Measurements and Networking (M&N 2013), Oct 2013

   Bib PDF

   @inproceedings{RyKoZs2013-ThroughputPrediction,
     author = {Rygielski, Piotr and Kounev, Samuel and Zschaler, Steffen},
     booktitle = {{Proceedings of the 2nd IEEE International Workshop on Measurements and Networking (M&N 2013)}},
     day = {7--8},
     location = {Naples, Italy},
     month = oct,
     pages = {167--172},
     isbn = {978-1-4673-2873-9},
     tags = {Networking; Simulation; Modeling; Performance; Prediction},
     title = {{Model-Based Throughput Prediction in Data Center Networks}},
     year = {2013},
   }

8. Towards A Meta-Model of the Cloud Computing Resource Landscape

   Kleopatra Chatziprimou, Kevin Lano, and Steffen Zschaler

   In Proc. 1st Int’l Conf. Model-Driven Engineering and Software Development, 2013

   Bib PDF

   @inproceedings{ChatziprimouEtAl13,
     author = {Chatziprimou, Kleopatra and Lano, Kevin and Zschaler, Steffen},
     title = {Towards A Meta-Model of the Cloud Computing Resource Landscape},
     booktitle = {Proc. 1st Int'l Conf. Model-Driven Engineering and Software Development},
     year = {2013},
   }

9. Towards Provenance Aware Design of Service Compositions: A Methodology for Analysing the Provenance Awareness in Service Designs

   Paraskevi Zerva, Steffen Zschaler, and Simon Miles

   In Proc. 10th IEEE Int’l Conf. on Services Computing, Work-in-Progress Track, 2013

   Bib PDF

   @inproceedings{ZervaEtAl13a,
     author = {Zerva, Paraskevi and Zschaler, Steffen and Miles, Simon},
     title = {Towards Provenance Aware Design of Service Compositions: A Methodology for Analysing the Provenance Awareness in Service Designs},
     booktitle = {Proc. 10th IEEE Int'l Conf. on Services Computing, Work-in-Progress Track},
     year = {2013},
     pdf_info = {(c) IEEE}
   }

10. Runtime Infrastructure Optimisation in Cloud IaaS Structures

    Kleopatra Chatziprimou, Kevin Lano, and Steffen Zschaler

    In IEEE CloudCom 2013, 2013

    Bib PDF

    @inproceedings{ChatziprimouEtAl13a,
      author = {Chatziprimou, Kleopatra and Lano, Kevin and Zschaler, Steffen},
      title = {Runtime Infrastructure Optimisation in Cloud {IaaS} Structures},
      booktitle = {IEEE CloudCom 2013},
      year = {2013},
    }

2012

1. On the modularity and reusability of the rule-based specification of QoS properties of systems

   Francisco Duran, and Steffen Zschaler

   In Prelimiary Proc. 21st Int’l Workshop on Algebraic Development Techniques (WADT’2012) – Technical Report Universidad Complutense de Madrid #TR-08/12, 2012

   Bib PDF

   @inproceedings{DuranEtAl12b,
     author = {Duran, Francisco and Zschaler, Steffen},
     title = {On the modularity and reusability of the rule-based specification of {QoS} properties of systems},
     booktitle = {Prelimiary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid \#TR-08/12},
     year = {2012},
   }

2. Improving the Quality of Distributed Composite Service Applications

   Dionysios Efstathiou, Peter McBurney, Noel Plouzeau, and 1 more author

   In Imperial College Computing Student Workshop, 2012

   Bib

   @inproceedings{EfstathiouEtAl12,
     author = {Efstathiou, Dionysios and McBurney, Peter and Plouzeau, Noel and Zschaler, Steffen},
     title = {Improving the Quality of Distributed Composite Service Applications},
     booktitle = {Imperial College Computing Student Workshop},
     year = {2012},
   }

2011

1. Aspect Assumptions: A Retrospective Study of AspectJ Developers’ Assumptions about Aspect Usage

   Steffen Zschaler, and Awais Rashid

   In Proc. 10th Int’l Conference on Aspect-Oriented Software Development, 2011

   Bib HTML PDF Supp Slides

   @inproceedings{ZschalerRashid2011,
     author = {Zschaler, Steffen and Rashid, Awais},
     title = {Aspect Assumptions: A Retrospective Study of AspectJ Developers' Assumptions about Aspect Usage},
     booktitle = {Proc. 10th Int'l Conference on Aspect-Oriented Software Development},
     series = {AOSD '11},
     year = {2011},
     isbn = {978-1-4503-0605-8},
     location = {Porto de Galinhas, Brazil},
     pages = {93--104},
     numpages = {12},
     url = {http://doi.acm.org/10.1145/1960275.1960288},
     doi = {http://doi.acm.org/10.1145/1960275.1960288},
     acmid = {1960288},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {aspectj, developer assumptions},
   }

2. Towards Modular Code Generators Using Symmetric Language-Aware Aspects

   Steffen Zschaler, and Awais Rashid

   In Proceedings of the 1st International Workshop on Free Composition, 2011

   Bib HTML PDF Supp Slides

   @inproceedings{ZschalerRashid2012,
     author = {Zschaler, Steffen and Rashid, Awais},
     title = {Towards Modular Code Generators Using Symmetric Language-Aware Aspects},
     booktitle = {Proceedings of the 1st International Workshop on Free Composition},
     series = {FREECO '11},
     year = {2011},
     isbn = {978-1-4503-0892-2},
     location = {Lancaster, United Kingdom},
     pages = {6:1--6:5},
     articleno = {6},
     numpages = {5},
     url = {http://doi.acm.org/10.1145/2068776.2068782},
     doi = {10.1145/2068776.2068782},
     acmid = {2068782},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {code generation, model-driven engineering, symmetric aspects},
   }

3. Towards Using Constructive Type Theory for Verifiable Modular Transformations

   Steffen Zschaler, Iman Poernomo, and Jeffrey Terrell

   In Proc. 1st Workshop on Free Composition (FREECO’11, short paper), 2011

   Bib PDF Slides

   @inproceedings{ZschalerEtAl11a,
     author = {Zschaler, Steffen and Poernomo, Iman and Terrell, Jeffrey},
     title = {Towards Using Constructive Type Theory for Verifiable Modular Transformations},
     booktitle = {Proc. 1st Workshop on Free Composition (FREECO'11, short paper)},
     year = {2011},
   }

4. A Model-Driven Approach to Interoperability and Integration in Systems of Systems

   Gareth Tyson, Adel Taweel, Steffen Zschaler, and 2 more authors

   In 3rd International Workshop on Model-Based Software and Data Integration (MBSDI’2011), 2011

   Bib PDF Slides

   @inproceedings{TysonEtAl11,
     author = {Tyson, Gareth and Taweel, Adel and Zschaler, Steffen and Staa, Tjeerd Van and Delaney, Brendan},
     title = {A Model-Driven Approach to Interoperability and Integration in Systems of Systems},
     booktitle = {3rd International Workshop on Model-Based Software and Data Integration (MBSDI'2011)},
     year = {2011},
   }

5. Towards Modular Reasoning for Model Transformations

   Steffen Zschaler, Jeffrey Terrell, and Iman Poernomo

   In Workshop on Composition and Evolution of Model Transformations, 2011

   Bib PDF

   @inproceedings{ZschalerEtAl11,
     author = {Zschaler, Steffen and Terrell, Jeffrey and Poernomo, Iman},
     title = {Towards Modular Reasoning for Model Transformations},
     booktitle = {Workshop on Composition and Evolution of Model Transformations},
     year = {2011},
   }

2010

1. SLE

   A Role-based Approach Towards Modular Language Engineering

   Christian Wende, Nils Thieme, and Steffen Zschaler

   In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

   Bib HTML PDF

   @inproceedings{WendeEtAl10,
     author = {Wende, Christian and Thieme, Nils and Zschaler, Steffen},
     title = {A Role-based Approach Towards Modular Language Engineering},
     pages = {254--273},
     editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
     booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
     month = mar,
     year = {2010},
     series = {LNCS},
     volume = {5969},
     publisher = {Springer},
   }

2. SLE

   Domain-Specific Metamodelling Languages for Software Language Engineering

   Steffen Zschaler, Dimitrios Kolovos, Nicholas Drivalos, and 2 more authors

   In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

   Bib HTML PDF

   @inproceedings{ZschalerEtAl10,
     author = {Zschaler, Steffen and Kolovos, Dimitrios and Drivalos, Nicholas and Paige, Richard and Rashid, Awais},
     title = {Domain-Specific Metamodelling Languages for Software Language Engineering},
     pages = {334--353},
     editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
     booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
     month = mar,
     year = {2010},
     series = {LNCS},
     volume = {5969},
     publisher = {Springer},
   }

3. SLE

   VML* – A Family of Languages for Variability Management in Software Product Lines

   Steffen Zschaler, Pablo Sánchez, Joao Santos, and 6 more authors

   In Software Language Engineering, 2nd Int’l Conf. (SLE 2009), Revised Selected Papers, Mar 2010

   Bib HTML PDF Supp Slides

   @inproceedings{ZschalerEtAl10a,
     author = {Zschaler, Steffen and S{\'a}nchez, Pablo and Santos, Joao and Alf{\'e}rez, Mauricio and Rashid, Awais and Fuentes, Lidia and Moreira, Ana and Araujo, Joao and Kulesza, Uir{\'a}},
     title = {VML* -- A Family of Languages for Variability Management in Software Product Lines},
     pages = {82--102},
     editor = {van den Brand, Mark and Gasevic, Dragan and Gray, Jeff},
     booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers},
     month = mar,
     year = {2010},
     series = {LNCS},
     volume = {5969},
     publisher = {Springer},
   }

4. Cross-Document Dependency Analysis for System-of-System Integration

   Syed Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, and 2 more authors

   In Monterey Workshop 2008, 2010

   Bib HTML PDF

   @inproceedings{NaqviEtAl10,
     author = {Naqvi, Syed Asad and Chitchyan, Ruzanna and Zschaler, Steffen and Rashid, Awais and S{\"u}dholt, Mario},
     title = {Cross-Document Dependency Analysis for System-of-System Integration},
     pages = {201--226},
     editor = {Choppy, C. and Sokolsky, O.},
     booktitle = {Monterey Workshop 2008},
     series = {LNCS},
     volume = {6028},
     year = {2010},
     publisher = {Springer},
   }

2009

1. Detecting Architecture Instabilities with Concern Traces: An Exploratory Study

   Eduardo Figueiredo, Ismênia Galvão, Safoora Shakil Khan, and 11 more authors

   In 8th Joint Working IEEE/IFIP Conf. on Software Architecture and European Conf. on Software Architecture (WICSA/ECSA 2009), 2009

   Bib HTML PDF

   @inproceedings{FigueiredoEtAl09,
     author = {Figueiredo, Eduardo and Galv{\~a}o, Ism{\^e}nia and Khan, Safoora Shakil and Garcia, Alessandro and Sant'Anna, Cl{\'a}udio and Pimentel, Afonso and Medeiros, Ana Luisa and da Silva, Lyrene Fernandes and Batista, Tha{\'\i}s Vasconcelos and Ribeiro, Rita Almeida and van den Broek, Pim and Aksit, Mehmet and Zschaler, Steffen and Moreira, Ana},
     title = {Detecting Architecture Instabilities with Concern Traces: An Exploratory Study},
     pages = {261--264},
     doi = {10.1109/WICSA.2009.5290815},
     booktitle = {8th Joint Working IEEE/IFIP Conf. on Software Architecture and European Conf. on Software Architecture 
                    (WICSA/ECSA 2009)},
     publisher = {IEEE},
     year = {2009},
   }

2. MoDELS

   Abstracting Complex Languages through Transformation and Composition

   Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, and 3 more authors

   In Proc. Int’l Conf. on Model Driven Engineering Languages and Systems (MoDELS’09), 2009

   Bib HTML PDF

   @inproceedings{JohannesEtAl09,
     author = {Johannes, Jendrik and Zschaler, Steffen and Fern{\'a}ndez, Miguel A. and Castillo, Antonio and Kolovos, Dimitrios S. and Paige, Richard F.},
     title = {Abstracting Complex Languages through Transformation and Composition},
     pages = {546--550},
     editor = {Sch{\"u}rr, Andy and Selic, Bran},
     booktitle = {Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MoDELS'09)},
     series = {LNCS},
     volume = {5795},
     publisher = {Springer},
     year = {2009},
   }

2008

1. OCL: Modularising the Language

   David Akehurst, Steffen Zschaler, and Gareth Howells

   In Ocl4All: Workshop at MoDELS 2007, Electronic Communications of the EASST, 2008

   Bib HTML PDF

   @inproceedings{AkehurstEtAl08,
     author = {Akehurst, David and Zschaler, Steffen and Howells, Gareth},
     title = {{OCL}: Modularising the Language},
     booktitle = {{Ocl4All}: Workshop at {MoDELS} 2007, Electronic Communications of the {EASST}},
     volume = {9},
     year = {2008},
   }

2. Building Model-Driven Engineering Traceability Classifications

   Richard F. Paige, Gøran K. Olsen, Dimitrios S. Kolovos, and 2 more authors

   In 4th ECMDA Traceability Workshop, 2008

   Bib HTML PDF

   @inproceedings{PaigeOlsenKolovosZschalerPower08,
     author = {Paige, Richard F. and Olsen, G{\o}ran K. and Kolovos, Dimitrios S. and Zschaler, Steffen and Power, Christopher},
     title = {Building Model-Driven Engineering Traceability Classifications},
     booktitle = {4th ECMDA Traceability Workshop},
     year = {2008},
   }

3. Application of Tracing Techniques in Model-Driven Performance Engineering

   Mathias Fritzsche, Jendrik Johannes, Steffen Zschaler, and 2 more authors

   In 4th ECMDA Traceability Workshop, 2008

   Bib PDF

   @inproceedings{FritzscheEtAl08,
     author = {Fritzsche, Mathias and Johannes, Jendrik and Zschaler, Steffen and Zherebtsov, Anatoly and Terekhov, Alexander},
     title = {Application of Tracing Techniques in Model-Driven Performance Engineering},
     booktitle = {4th ECMDA Traceability Workshop},
     year = {2008},
   }

4. Ontology Design and Reuse with Conceptual Roles

   Jakob Henriksson, Michael Pradel, Steffen Zschaler, and 1 more author

   In Proc. 2nd Int’l Conf. on Web Reasoning and Rule Systems (RR’08), Oct 2008

   Bib HTML PDF

   @inproceedings{HenrikssonEtAl09,
     author = {Henriksson, Jakob and Pradel, Michael and Zschaler, Steffen and Pan, Jeff Z.},
     title = {Ontology Design and Reuse with Conceptual Roles},
     booktitle = {Proc. 2nd Int'l Conf. on Web Reasoning and Rule Systems (RR'08)},
     series = {LNCS},
     volume = {5341},
     month = oct,
     year = {2008},
     editor = {Calvanese, Diego and Lausen, Georg},
   }

5. A Close Look at Composition Languages

   Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, and 1 more author

   In Proc. 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.08), 2008

   Bib PDF Slides

   @inproceedings{HeidenreichJohannesZschalerAssmann08,
     author = {Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
     title = {A Close Look at Composition Languages},
     booktitle = {Proc. 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.08)},
     year = {2008},
   }

2007

1. MoDELS

   Finding the Pattern You Need: The Design Pattern Intent Ontology

   Holger Kampffmeyer, and Steffen Zschaler

   In Model Driven Engineering Languages and Systems (Proc. MODELS 2007), 2007

   Bib HTML PDF Supp Slides

   @inproceedings{KampffmeyerZschaler07,
     author = {Kampffmeyer, Holger and Zschaler, Steffen},
     title = {Finding the Pattern You Need: The Design Pattern Intent Ontology},
     booktitle = {Model Driven Engineering Languages and Systems (Proc. MODELS 2007)},
     pages = {211--225},
     series = {Lecture Notes in Computer Science},
     number = {4735},
     publisher = {Springer},
     year = {2007},
   }

2. How dark should a component black-box be? The Reuseware Answer

   Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, and 2 more authors

   In Proc. Workshop on Component-Oriented Programming (WCOP 2007) at ECOOP 2007, 2007

   Bib PDF

   @inproceedings{HenrikssonHeidenreichJohannesZschalerAssmann07,
     author = {Henriksson, Jakob and Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen and A{\ss}mann, Uwe},
     title = {How dark should a component black-box be? The Reuseware Answer},
     booktitle = {Proc. Workshop on Component-Oriented Programming (WCOP 2007) at ECOOP 2007},
     year = {2007},
   }

3. Aspect Orientation for Your Language of Choice

   Florian Heidenreich, Jendrik Johannes, and Steffen Zschaler

   In Proc. Workshop on Aspect-Oriented Modelling at MoDELS 2007, 2007

   Bib PDF Slides

   @inproceedings{HeidenreichJohannesZschaler07,
     author = {Heidenreich, Florian and Johannes, Jendrik and Zschaler, Steffen},
     title = {Aspect Orientation for Your Language of Choice},
     booktitle = {Proc. Workshop on Aspect-Oriented Modelling at MoDELS 2007},
     year = {2007},
   }

2006

1. MoDELS

   Workshop on Models for Non-functional Properties of Component-Based Software – NfC

   Geri Georg, Jan Aagedal, Raffaela Mirandola, and 5 more authors

   In Satellite Events at the MoDELS 2005 Conference, Jan 2006

   Bib HTML Website

   @inproceedings{NfC06,
     author = {Georg, Geri and {\O}yvind Aagedal, Jan and Mirandola, Raffaela and Ober, Ileana and Petriu, Dorina and Theilmann, Wolfgang and Whittle, Jon and Zschaler, Steffen},
     title = {Workshop on Models for Non-functional Properties of Component-Based Software -- NfC},
     pages = {210--216},
     editor = {Bruel, Jean-Michel},
     booktitle = {Satellite Events at the MoDELS 2005 Conference},
     volume = {3844},
     series = {LNCS},
     publisher = {Springer},
     month = jan,
     year = {2006},
   }

2. Scheduling Real-Time Components Using Jitter-Constrained Streams

   Claude-Joachim Hamann, and Steffen Zschaler

   In Proceedings of the Workshop on Advances in Quality of Service Management (AQuSerM’06), co-located with the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), 2006

   Bib HTML PDF

   @inproceedings{HamannZschaler06,
     author = {Hamann, Claude-Joachim and Zschaler, Steffen},
     title = {Scheduling Real-Time Components Using Jitter-Constrained Streams},
     editor = {Poernomo, Iman and Wang, Guijun},
     booktitle = {Proceedings of the Workshop on Advances in Quality of Service Management ({AQuSerM'06}), co-located with the 10th {IEEE} International Enterprise Distributed Object Computing Conference ({EDOC'06})},
     year = {2006},
   }

3. Integrating OCL and Model Transformations in Fujaba

   Mirko Stölzel, Steffen Zschaler, and Leif Geiger

   In Proc. of OCLApps, the Workshop on OCL and Applications at MoDELS’2006, 2006

   Published as a technical report at Technische Universität Dresden, Germany

   Bib PDF Slides

   @inproceedings{StoelzelZschalerGeiger06,
     author = {St{\"o}lzel, Mirko and Zschaler, Steffen and Geiger, Leif},
     title = {Integrating OCL and Model Transformations in Fujaba},
     booktitle = {Proc. of OCLApps, the Workshop on OCL and Applications at MoDELS'2006},
     note = {Published as a technical report at Technische Universit{\"a}t Dresden, Germany},
     year = {2006},
   }

2004

1. Types of Quality of Service Contracts for Component-Based Systems

   Steffen Zschaler, and Simone Röttger

   In Proc. IASTED Int’l Conf. on Software Engineering (IASTED SE 2004), 2004

   Bib PDF Slides

   @inproceedings{ZschalerRoettger04,
     author = {Zschaler, Steffen and R{\"{o}}ttger, Simone},
     title = {Types of Quality of Service Contracts for Component-Based Systems},
     booktitle = {Proc. IASTED Int'l Conf. on Software Engineering (IASTED SE 2004)},
     year = {2004},
     adress = {Innsbruck},
     publisher = {ACTA Press},
     isbn = {0-88986-381-4},
   }

2. A Software Development Process Supporting Non-functional Properties

   Simone Röttger, and Steffen Zschaler

   In Proc. IASTED Int’l Conf. on Software Engineering (IASTED SE 2004), 2004

   Bib PDF Slides

   @inproceedings{RoettgerZschaler04,
     author = {R{\"{o}}ttger, Simone and Zschaler, Steffen},
     title = {A Software Development Process Supporting Non-functional Properties},
     booktitle = {Proc. IASTED Int'l Conf. on Software Engineering (IASTED SE 2004)},
     year = {2004},
     adress = {Innsbruck},
     publisher = {ACTA Press},
     isbn = {0-88986-381-4},
   }

3. The COMQUAD component model: enabling dynamic selection of implementations by weaving non-functional aspects

   Steffen Göbel, Christoph Pohl, Simone Röttger, and 1 more author

   In AOSD ’04: Proceedings of the 3rd international conference on Aspect-oriented software development, 2004

   Bib HTML PDF

   @inproceedings{AOPContainer04,
     author = {G{\"o}bel, Steffen and Pohl, Christoph and R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {The {COMQUAD} component model: enabling dynamic selection of implementations by weaving non-functional aspects},
     booktitle = {AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented software development},
     year = {2004},
     isbn = {1-58113-842-3},
     pages = {74--82},
     location = {Lancaster, UK},
     doi = {http://doi.acm.org/10.1145/976270.976281},
     publisher = {ACM Press},
     address = {New York, NY, USA},
   }

4. Research Abstract: Semantic Concepts for the Specification of Non-functional Properties of Component-Based Software

   Steffen Zschaler

   In Doctoral Symposium of the International Conference on Software Engineering, Edinburgh, UK, 2004

   Bib PDF

   @inproceedings{ICSEDS04,
     author = {Zschaler, Steffen},
     title = {Research Abstract: Semantic Concepts for the Specification of Non-functional Properties of Component-Based Software},
     booktitle = {Doctoral Symposium of the International Conference on Software Engineering, Edinburgh, UK},
     year = {2004},
   }

5. The COMQUAD component container architecture

   Steffen Göbel, Christoph Pohl, Ronald Aigner, and 3 more authors

   In Proc. 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), Jun 2004

   Bib

   @inproceedings{Goebel04,
     author = {G{\"o}bel, Steffen and Pohl, Christoph and Aigner, Ronald and Pohlack, Martin and R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {The {COMQUAD} component container architecture},
     pages = {315--318},
     editor = {Magee, Jeff and Szyperski, Clemens and Bosch, Jan},
     booktitle = {Proc. 4th Working IEEE/IFIP Conference on Software Architecture (WICSA)},
     address = {Oslo, Norway},
     month = jun,
     year = {2004},
     publisher = {IEEE},
   }

6. Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems

   Steffen Zschaler

   In Proc. EUROMICRO Conf. 2004, Sep 2004

   Bib PDF Slides

   @inproceedings{Zschaler04,
     author = {Zschaler, Steffen},
     title = {Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems},
     editor = {Steinmetz, Ralf and Mauthe, Andreas},
     booktitle = {Proc. EUROMICRO Conf. 2004},
     address = {Rennes, France},
     month = sep,
     year = {2004},
     publisher = {IEEE Computer Society},
     isbn = {0-7695-2199-1},
   }

7. Model-Driven Development for Non-functional Properties: Refinement through Model Transformation

   Simone Röttger, and Steffen Zschaler

   In Proceedings of the <<UML>> Conference, Lisbon, Portugal, 2004

   Bib HTML PDF Slides

   @inproceedings{qosmda04,
     author = {R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {Model-Driven Development for Non-functional Properties: Refinement through Model Transformation},
     booktitle = {Proceedings of the <<UML>> Conference, Lisbon, Portugal},
     year = {2004},
     series = {Lecture Notes in Computer Science},
     volume = {3273},
     publisher = {Springer},
   }

8. Formal Specification of Non-functional Properties of Component-Based Software

   Steffen Zschaler

   In Workshop on Models for Non-functional Aspects of Component-Based Software (NfC’04) at UML conference 2004, Sep 2004

   Technical Report TUD-FI04-12 Sept.2004 at Technische Universität Dresden

   Bib PDF Supp Slides

   @inproceedings{FormalNfC04,
     author = {Zschaler, Steffen},
     title = {Formal Specification of Non-functional Properties of Component-Based Software},
     editor = {Bruel, Jean-Michel and Georg, Geri and Hussmann, Heinrich and Ober, Ileana and Pohl, Christoph and Whittle, Jon and Zschaler, Steffen},
     booktitle = {Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004},
     note = {Technical Report TUD-FI04-12 Sept.2004 at Technische Universit{\"a}t Dresden},
     month = sep,
     year = {2004},
   }

9. Tailor-Made Containers: Modeling Non-functional Middleware Service

   Ronald Aigner, Christoph Pohl, Martin Pohlack, and 1 more author

   In Workshop on Models for Non-functional Aspects of Component-Based Software (NfC’04) at UML conference 2004, Sep 2004

   Technical Report TUD-FI04-12 Sept.2004 at Technische Universität Dresden

   Bib PDF

   @inproceedings{TailorMade,
     author = {Aigner, Ronald and Pohl, Christoph and Pohlack, Martin and Zschaler, Steffen},
     title = {Tailor-Made Containers: Modeling Non-functional Middleware Service},
     editor = {Bruel, Jean-Michel and Georg, Geri and Hussmann, Heinrich and Ober, Ileana and Pohl, Christoph and Whittle, Jon and Zschaler, Steffen},
     booktitle = {Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004},
     note = {Technical Report TUD-FI04-12 Sept.2004 at Technische Universit{\"a}t Dresden},
     month = sep,
     year = {2004},
   }

10. Structure of the Dresden OCL Toolkit

    Birgit Demuth, Sten Löcher, and Steffen Zschaler

    In 2nd International Fujaba Days "MDA with UML and Rule-based Object Manipulation", Sep 2004

    Bib PDF

    @inproceedings{OCLFujabaDays04,
      author = {Demuth, Birgit and L{\"o}cher, Sten and Zschaler, Steffen},
      title = {Structure of the Dresden OCL Toolkit},
      booktitle = {2nd International Fujaba Days "MDA with UML and Rule-based Object Manipulation"},
      organization = {Technical University of Darnstadt},
      month = sep,
      year = {2004},
    }

2003

1. Towards Pervasive Treatment of Non-Functional Properties at Design and Run-Time

   Ronald Aigner, Martin Pohlack, Simone Röttger, and 1 more author

   In Proc. Intl. Conf. on Software & Systems Engineering and their Applications (ICSSEA’03), Dec 2003

   Bib PDF

   @inproceedings{Aigner03,
     author = {Aigner, Ronald and Pohlack, Martin and R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {Towards Pervasive Treatment of Non-Functional Properties at Design and Run-Time},
     booktitle = {Proc. Intl. Conf. on Software \& Systems Engineering and their Applications (ICSSEA'03)},
     address = {Paris, France},
     month = dec,
     year = {2003},
   }

2. CQML+: Enhancements to CQML

   Simone Röttger, and Steffen Zschaler

   In Proc. 1st Int’l Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France, Jun 2003

   Bib PDF

   @inproceedings{RoettgerZschaler03,
     author = {R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {{CQML+}: Enhancements to {CQML}},
     pages = {43--56},
     booktitle = {Proc. 1st Int'l Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France},
     editor = {Bruel, J.-M.},
     publisher = {C{\'e}padu{\`e}s-{\'E}ditions},
     month = jun,
     year = {2003},
   }

3. Explicit Modelling of QoS-Dependencies

   Steffen Zschaler, and Marcus Mayerhöfer

   In Proc. 1st Int’l Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France, Jun 2003

   Bib PDF

   @inproceedings{ZschalerMayerhoefer03,
     author = {Zschaler, Steffen and Mayerh{\"o}fer, Marcus},
     title = {Explicit Modelling of QoS-Dependencies},
     pages = {57--66},
     booktitle = {Proc. 1st Int'l Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France},
     editor = {Bruel, J.-M.},
     publisher = {C{\'e}padu{\`e}s-{\'E}ditions},
     month = jun,
     year = {2003},
   }

2001

1. Teaching OOT Using a Framework and Both Direct and Net-based Tutoring

   Birgit Demuth, Heinrich Hussmann, Lothar Schmitz, and 1 more author

   In ED-MEDIA 2001 World Conference on Educational Multimedia, Hypermedia & Telecommunications, Tampere, Finland, June 25-30, 2001, 2001

   Bib PDF

   @inproceedings{Demuth01,
     author = {Demuth, Birgit and Hussmann, Heinrich and Schmitz, Lothar and Zschaler, Steffen},
     title = {Teaching OOT Using a Framework and Both Direct and Net-based Tutoring},
     booktitle = {ED-MEDIA 2001 World Conference on Educational Multimedia, Hypermedia & Telecommunications, Tampere, Finland, June 25-30, 2001},
     year = {2001},
   }

2000

1. A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience

   Birgit Demuth, Heinrich Hussmann, Lothar Schmitz, and 1 more author

   In Proceedings 13th Conference on Software Engineering Education & Training 6-8 March 2000, Austin, Texas, 2000

   Bib PDF

   @inproceedings{Demuth00,
     author = {Demuth, Birgit and Hussmann, Heinrich and Schmitz, Lothar and Zschaler, Steffen},
     title = {A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience},
     editor = {Mengel, Susan A. and Knoke, Peter J.},
     booktitle = {Proceedings 13th Conference on Software Engineering Education & Training 6-8 March 2000, Austin, Texas},
     publisher = {IEEE Computer Society},
     year = {2000},
   }

1999

1. Verkaufsanwendungen auf Basis des Anwendungsframeworks SalesPoint

   Birgit Demuth, Lothar Schmitz, and Steffen Zschaler

   In Erfahrungen mit Java. Projekte aus Industrie und Hochschule, 1999

   Bib PDF

   @inproceedings{Demuth99,
     author = {Demuth, Birgit and Schmitz, Lothar and Zschaler, Steffen},
     title = {Verkaufsanwendungen auf Basis des Anwendungsframeworks SalesPoint},
     editor = {Maffeis, Silvano and Toenniessen, Fridtjof and Zeidler, Christian},
     booktitle = {Erfahrungen mit Java. Projekte aus Industrie und Hochschule},
     publisher = {dpunkt- Verlag},
     year = {1999},
   }

2. Erfahrungen mit einem frameworkbasierten Softwarepraktikum

   Birgit Demuth, Heinrich Hussmann, Lothar Schmitz, and 1 more author

   In Tagungsband des 6. Workshops Software-Engineering im Unterricht der Hochschulen, 1999

   Bib PDF

   @inproceedings{Demuth99a,
     author = {Demuth, Birgit and Hussmann, Heinrich and Schmitz, Lothar and Zschaler, Steffen},
     title = {Erfahrungen mit einem frameworkbasierten Softwarepraktikum},
     booktitle = {Tagungsband des 6. Workshops Software-Engineering im Unterricht der Hochschulen},
     publisher = {Teubner-Verlag},
     year = {1999},
   }

1998

1. Using a Framework to Teach OOT to Beginners

   Birgit Demuth, Heinrich Hussmann, Lothar Schmitz, and 1 more author

   In OOPSLA’98, Educators’ Symposium, Oct 1998

   Bib PDF

   @inproceedings{Demuth98,
     author = {Demuth, Birgit and Hussmann, Heinrich and Schmitz, Lothar and Zschaler, Steffen},
     title = {Using a Framework to Teach OOT to Beginners},
     booktitle = {OOPSLA'98, Educators' Symposium},
     month = oct,
     year = {1998},
   }

Technical Reports

2019

1. Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering.

   Alexandru Burdusel, Steffen Zschaler, and Stefan John

   2019

   Bib HTML PDF

   @techreport{BurduselEtAl19a,
     author = {Burdusel, Alexandru and Zschaler, Steffen and John, Stefan},
     title = {Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering.},
     howpublished = {Technical Report, arXiv:1907.05647 [cs.AI]},
     year = {2019},
   }

2016

1. Identifying the challenges of learning programming at undergraduate level: A Threshold Concept approach

   Lucy Yeomans, Steffen Zschaler, and Kelly Coate

   2016

   Bib PDF

   @techreport{YeomansEtAl16,
     author = {Yeomans, Lucy and Zschaler, Steffen and Coate, Kelly},
     title = {Identifying the challenges of learning programming at undergraduate level: A Threshold Concept approach},
     howpublished = {Executive summary report of project findings},
     year = {2016},
   }

2011

1. Symmetric Language-Aware Aspects for Modular Code Generators

   Steffen Zschaler, and Awais Rashid

   Apr 2011

   Bib HTML PDF Supp

   @techreport{TR-11-01,
     author = {Zschaler, Steffen and Rashid, Awais},
     title = {Symmetric Language-Aware Aspects for Modular Code Generators},
     institution = {Department of  Informatics, King's College London},
     number = {TR-11-01},
     month = apr,
     year = {2011},
   }

2. Proof-Carrying Model-Transformation Components

   Jeffrey Terrell, Steffen Zschaler, and Iman Poernomo

   2011

   Bib HTML PDF

   @techreport{TerrellEtAl11a,
     author = {Terrell, Jeffrey and Zschaler, Steffen and Poernomo, Iman},
     title = {Proof-Carrying Model-Transformation Components},
     institution = {King's College London, Department of Informatics},
     number = {TR-11-02},
     url = {http://www.kcl.ac.uk/nms/depts/informatics/research/techreports/assets/tr-11-02.pdf},
     year = {2011},
   }

2010

1. Providing Mainstream Parser Generators with Modular Language Definition Support

   Sven Karol, and Steffen Zschaler

   2010

   Bib PDF

   @techreport{KarolEtAl01a,
     author = {Karol, Sven and Zschaler, Steffen},
     title = {Providing Mainstream Parser Generators with Modular Language Definition Support},
     institution = {Technische Universit{\"a}t Dresden, Germany},
     number = {TUD-FI10-01 - Januar 2010},
     year = {2010},
   }

2009

1. Abstracting Complex Languages through Transformation and Composition

   Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, and 3 more authors

   2009

   URL: ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf

   Bib PDF

   @techreport{AbstractDSMLTechReport,
     author = {Johannes, Jendrik and Zschaler, Steffen and Fern{\'a}ndez, Miguel A. and Castillo, Antonio and Kolovos, Dimitrios S. and Paige, Richard F.},
     title = {Abstracting Complex Languages through Transformation and Composition},
     year = {2009},
     institution = {Technische Universit{\"a}t Dresden},
     number = {TUD-FI09-08 July 2009},
     url = {ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf},
     note = {URL: ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf},
     issn = {1430-211X},
   }

2008

1. Collaborating Languages and Tools: A Study in Feasibility

   Steffen Zschaler, and Christian Wende

   Jul 2008

   Bib PDF

   @techreport{ZschalerWende08,
     author = {Zschaler, Steffen and Wende, Christian},
     title = {Collaborating Languages and Tools: A Study in Feasibility},
     institute = {Technische Universit{\"a}t Dresden, Germany},
     month = jul,
     year = {2008},
   }

2. Example Specifications of Non-functional Properties of a Simple Counter Application

   Steffen Zschaler

   2008

   Bib PDF

   @techreport{Zschaler08TR,
     author = {Zschaler, Steffen},
     title = {Example Specifications of Non-functional Properties of a Simple Counter Application},
     year = {2008},
     institution = {Computing Department, Lancaster University},
     number = {COMP-006-2008},
   }

2004

1. The COMQUAD component container architecture and contract negotiation

   Steffen Göbel, Christoph Pohl, Ronald Aigner, and 3 more authors

   Apr 2004

   Bib PDF

   @techreport{COMQUADContainerAndNegotiation04,
     author = {G{\"o}bel, Steffen and Pohl, Christoph and Aigner, Ronald and Pohlack, Martin and R{\"o}ttger, Simone and Zschaler, Steffen},
     title = {The {COMQUAD} component container architecture and contract negotiation},
     type = {Technical Report},
     number = {TUD-FI04-04},
     institution = {Technische Universit{\"a}t Dresden},
     month = apr,
     year = {2004},
   }

2003

1. Zwischenbericht der DFG-Forschergruppe 428 “Components with Quantitative Properties and Adaptivity (Comquad)”

   Ronald Aigner, Elke Franz, Steffen Göbel, and 12 more authors

   2003

   Bib PDF

   @techreport{AignerEtAl03a,
     author = {Aigner, Ronald and Franz, Elke and G{\"o}bel, Steffen and H{\"a}rtig, Hermann and Hu{\ss}mann, Heinrich and Mei{\ss}ner, Klaus and Meyer-Wegener, Klaus and Meyerh{\"o}fer, Marcus and Pfitzmann, Andreas and Pohl, Christoph and Pohlack, Martin and R{\"o}ttger, Simone and Schill, Alexander and Wehner, Frank and Zschaler, Steffen},
     title = {{Z}wischenbericht der {DFG}-{F}orschergruppe 428 ``{C}omponents with {Q}uantitative {P}roperties and {A}daptivity
                      ({C}omquad)''},
     number = {TUD-FI03-10-August 2003},
     institution = {Technische Universit{\"a}t Dresden, Fakult{\"a}t Informatik},
     year = {2003},
     issn = {1430-211X},
   }

Theses

2007

1. A Semantic Framework for Non-functional Specifications of Component-Based Systems

   Steffen Zschaler

   Apr 2007

   Published as “Non-functional Specifications of Components and Systems: A Generic Semantic Framework and Its Applications” with VDM Verlag Dr. Müller in July 2008. ISBN: 978-3639054026

   Bib Website

   @phdthesis{Zschaler07,
     author = {Zschaler, Steffen},
     title = {A Semantic Framework for Non-functional Specifications of Component-Based Systems},
     month = apr,
     year = {2007},
     school = {Technische Universit{\"a}t Dresden, Dresden, Germany},
     type = {Dissertation},
     note = {Published as ``Non-functional Specifications of Components and Systems: A Generic Semantic Framework and Its Applications'' with VDM Verlag Dr. M{\"u}ller in July 2008. ISBN: 978-3639054026},
   }

2002

1. Evaluation der Praxistauglichkeit von OCL-Spezifikationen

   Steffen Zschaler

   2002

   In German only.

   Bib PDF

   @mastersthesis{Zschaler02,
     author = {Zschaler, Steffen},
     title = {Evaluation der Praxistauglichkeit von {OCL}-Spezifikationen},
     type = {Diplomarbeit},
     institute = {Technische Universit{\"a}t Dresden},
     year = {2002},
     note = {In German only.},
   }

2000

1. Das Framework “SalesPoint”: Technische Beschreibung der Version 2.0 und weiterer Ausbaumöglichkeiten

   Steffen Zschaler

   2000

   In German only.

   Bib PDF

   @mastersthesis{Zschaler00,
     author = {Zschaler, Steffen},
     title = {Das Framework ``SalesPoint'': Technische Beschreibung der Version 2.0 und weiterer Ausbaum{\"o}glichkeiten},
     type = {Grosser Beleg},
     institute = {Technische Universit{\"a}t Dresden},
     year = {2000},
     note = {In German only.},
   }

Miscellaneous

2013

1. Verifiable Modularisation of DSMLs

   Steffen Zschaler, and Francisco Durán

   2013

   Bib Poster

   @misc{ZschalerDuran13,
     author = {Zschaler, Steffen and Durán, Francisco},
     title = {Verifiable Modularisation of DSMLs},
     howpublished = {Poster at 13th Int'l Conf. on Aspect-Oriented Software Development (Modularity'13)},
     year = {2013},
   }

2012

1. Towards Formal Specification of Non-functional Properties for Provenance Awareness

   Paraskevi Zerva, Steffen Zschaler, and Simon Miles

   2012

   Bib

   @misc{ZervaEtAl12,
     author = {Zerva, Paraskevi and Zschaler, Steffen and Miles, Simon},
     title = {Towards Formal Specification of Non-functional Properties for Provenance Awareness},
     howpublished = {Poster at DSM-TP - 3rd International Summer School on Domain Specific Modeling - Theory and Practice, Lisbon, Portugal},
     year = {2012},
   }

2001

1. Object Constraint Language 2.0

   Jos Warmer, Anneke Kleppe, Tony Clark, and 9 more authors

   2001

   Response to the OMG RfP

   Bib

   @misc{WarmerEtAl01,
     author = {Warmer, Jos and Kleppe, Anneke and Clark, Tony and Ivner, Anders and H{\"o}gstr{\"o}m, Jonas and Gogolla, Martin and Richters, Mark and Hu{\ss}mann, Heinrich and Zschaler, Steffen and Johnston, Simon and Frankel, David S. and Bock, Conrad},
     title = {Object Constraint Language 2.0},
     note = {Response to the OMG RfP},
     year = {2001},
   }

proceedings

2004

1. Workshop on Models for Non-functional Aspects of Component-Based Software (NfC’04) at UML conference 2004

   Sep 2004

   Technical Report TUD-FI04-12 Sept.2004 at Technische Universität Dresden

   Bib PDF

   @proceedings{Proc_NfC04,
     editor = {Bruel, Jean-Michel and Georg, Geri and Hussmann, Heinrich and Ober, Ileana and Pohl, Christoph and Whittle, Jon and Zschaler, Steffen},
     title = {Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004},
     booktitle = {Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004},
     note = {Technical Report TUD-FI04-12 Sept.2004 at Technische Universit{\"a}t Dresden},
     month = sep,
     year = {2004},
   }