Steffen Zschaler

Orcid: 0000-0001-9062-6637

Affiliations:
  • King's College London, UK


According to our database1, Steffen Zschaler authored at least 126 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Requirements for modelling tools for teaching.
Softw. Syst. Model., October, 2024

Preface to the special issue on success stories in model driven engineering.
Sci. Comput. Program., 2024

Abstraction Engineering.
CoRR, 2024

Move your MDE teaching online: The MDENet Education Platform.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
A generic framework for representing and analyzing model concurrency.
Softw. Syst. Model., August, 2023

Trustworthy agent-based simulation: the case for domain-specific modelling languages.
Softw. Syst. Model., April, 2023

We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration.
IEEE Trans. Software Eng., March, 2023

Preface to the JOT issue on the 19th EuropeanConference on Modelling Foundations and Applications(ECMFA 2023).
J. Object Technol., 2023

Supporting Emergency Department Risk Mitigation with a Modular and Reusable Agent-Based Simulation Infrastructure.
Proceedings of the Winter Simulation Conference, 2023

Towards Personalized Learning Paths to Empower Competence Development in Model Driven Engineering Through the ENCORE Platform.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

An Online Education Platform for Teaching MDE.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets.
Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), 2023

Finding the Right Way to Rome: Effect-Oriented Graph Transformation.
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362).
Dagstuhl Reports, September, 2022

Guest editorial to the theme section on AI-enhanced model-driven engineering.
Softw. Syst. Model., 2022

Sustaining and improving graduated graph consistency: A static analysis of graph transformations.
Sci. Comput. Program., 2022

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.
J. Object Technol., 2022

Acapulco: an extensible tool for identifying optimal and consistent feature model configurations.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A community-sourced view on engineering digital twins: a report from the EDT.Community.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

A Methodology for DSML-Assisted Participatory Agent-Based Enterprise Modelling.
Proceedings of the Practice of Enterprise Modeling, 2022

2021
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering.
Softw. Syst. Model., 2021

<i>TMTDyn</i>: A Matlab package for modeling and control of hybrid rigid-continuum robots based on discretized lumped systems and reduced-order models.
Int. J. Robotics Res., 2021

17<sup>th</sup> Educators Symposium at MODELS 2021.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

MDE Intelligence 2021: 3<sup>rd</sup> Workshop on Artificial Intelligence and Model-Driven Engineering.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Finding Subgraphs with Side Constraints.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics.
Proceedings of the Composing Model-Based Analysis Tools, 2021


Introduction.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Conclusion.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Overview of Challenges in Composing Model-Based Analysis Tools.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Exploiting Results of Model-Based Analysis Tools.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Report on Workshop: Planning the Future of Agent Simulation.
Artif. Life, 2020

A family of languages for trustworthy agent-based simulation.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations.
Proceedings of the Graph Transformation - 13th International Conference, 2020

2019
Searching for Optimal Models: Comparing Two Encoding Approaches.
J. Object Technol., 2019

Transformative and Troublesome? Students' and Professional Programmers' Perspectives on Difficult Concepts in Programming.
ACM Trans. Comput. Educ., 2019

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).
Dagstuhl Reports, 2019

A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Scalable Search-Based Model Engineering with MDEOptimiser Scale.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018
Modularity for Automated Assessment: A Design-Space Exploration.
Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

Adding a HenshinEngine to GEMOC Studio: An experience report.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

MDEoptimiser: a search based model engineering tool.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Deriving Persuasion Strategies Using Search-Based Model Engineering.
Proceedings of the Computational Models of Argument, 2018

2017
Amalgamation of domain specific languages with behaviour.
J. Log. Algebraic Methods Program., 2017

Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation.
Proceedings of the Software Technologies: Applications and Foundations, 2017

GTS Families for the Flexible Composition of Graph Transformation Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
AspectJ code analysis and verification with GASR.
J. Syst. Softw., 2016

Towards Model-Based Optimisation: Using Domain Knowledge Explicitly.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Model Optimisation for Feature Class Allocation Using MDEOptimiser: A TTC 2016 Submission.
Proceedings of the 9th Transformation Tool Contest, 2016

Requirements Engineering in Model-Transformation Development: An Interview-Based Study.
Proceedings of the Theory and Practice of Model Transformations, 2016

Correct Reuse of Transformations is Hard to Guarantee.
Proceedings of the Theory and Practice of Model Transformations, 2016

Towards contractual interfaces for reusable functional quality attribute operationalisations.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
Patterns in Model Engineering 2015 - a Workshop Summary.
Proceedings of the First Workshop on Patterns in Model Engineering, 2015

Modelling and Analysing Provenance Awareness Infrastructure for SOC systems.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Transformation Reuse: What is the Intent?
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014
Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model., 2014

Salespoint: A Java framework for teaching object-oriented software development.
Sci. Comput. Program., 2014

Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models.
J. Univers. Comput. Sci., 2014

Aspectual Code Generators for Easy Generation of FIXML to OO Mappings.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity.
Proceedings of the 2nd Workshop on View-Based, 2014

A Provenance Model of Composite Services in Service-Oriented Environments.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

An Industrial Case Study on Provenance Awareness of Composite Services.
Proceedings of the 2014 10th International Conference on Semantics, 2014

Crepe Complete: Multi-objective Optimization for Your Models.
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Surrogate-assisted optimisation of composite applications in mobile ad hoc networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

InCLOUDer: A Formalised Decision Support Modelling Approach to Migrate Applications to Cloud Environments.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013
Model-driven performance analysis of rule-based domain specific visual models.
Inf. Softw. Technol., 2013

A meta-model for performance modeling of dynamic virtualized network infrastructures.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

RELATE: a research training network on engineering and provisioning of service-based cloud applications.
Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Flexible QoS-aware service composition in highly heterogeneous and dynamic service-based systems.
Proceedings of the 9th IEEE International Conference on Wireless and Mobile Computing, 2013

Towards Agent Dialogue as a Tool for Capturing Software Design Discussions.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Towards a Meta-model of the Cloud Computing Resource Landscape.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Model-based throughput prediction in data center networks.
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013

Towards a quality modelling language for component-based systems (QML/CS).
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

Towards design support for provenance awareness: a classification of provenance questions.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Runtime Infrastructure Optimisation in Cloud IaaS Structures.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Towards Provenance Aware Design of Service Compositions: A Methodology for Analysing the Provenance Awareness in Service Designs.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
European Research Project Symposium at ECOOP 2011.
J. Object Technol., 2012

Behaviour Protection in Modular Rule-Based System Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

On the Reusable Specification of Non-functional Properties in DSLs.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Improving the Quality of Distributed Composite Service Applications.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

2011
Rigorous identification and encoding of trace-links in model-driven engineering.
Softw. Syst. Model., 2011

Aspect assumptions: a retrospective study of AspectJ developers' assumptions about aspect usage.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Relating Feature Models to Other Models of a Software Product Line - A Comparative Study of FeatureMapper and VML*.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Formal specification of non-functional properties of component-based software systems.
Softw. Syst. Model., 2010

Second International Workshop on Software Research and Climate Change.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
On Language-Independent Model Modularisation.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

Workshop on modeling in software engineering at ICSE 2009.
ACM SIGSOFT Softw. Eng. Notes, 2009

Detecting architecture instabilities with concern traces: An exploratory study.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

VML* - A Family of Languages for Variability Management in Software Product Lines.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Domain-Specific Metamodelling Languages for Software Language Engineering.
Proceedings of the Software Language Engineering, Second International Conference, 2009

A Role-Based Approach towards Modular Language Engineering.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Abstracting Complex Languages through Transformation and Composition.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Modeling in Software Engineering (MiSE 09).
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Extending grammars and metamodels for reuse: the Reuseware approach.
IET Softw., 2008

OCL: Modularising the Language.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Ontology Design and Reuse with Conceptual Roles.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Cross-Document Dependency Analysis for System-of-System Integration.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Modeling in software engineering.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Non-functional specifications of components and systems - a generic semantic framework and its applications.
VDM, ISBN: 978-3-639-05402-6, 2008

2007
A semantic framework for non-functional specifications of component based systems.
PhD thesis, 2007

Tool Support for Refinement of Non-functional Specifications.
Softw. Syst. Model., 2007

Enforceable component-based realtime contracts.
Real Time Syst., 2007

Reuseware - Adding Modularity to Your Language of Choice.
J. Object Technol., 2007

Scheduling Real-Time Components Using Jitter-Constrained Streams.
J. Object Technol., 2007

Finding the Pattern You Need: The Design Pattern Intent Ontology.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

7th International Workshop on Ocl4All: Modelling Systems with OCL.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Modeling in Software Engineering.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Integrating OCL and Model Transformations in Fujaba.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.
Proceedings of the Models in Software Engineering, 2006

Ontologies, Meta-models, and the Model-Driven Paradigm.
Proceedings of the Ontologies for Software Engineering and Software Technology, 2006

2005
Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004
The COMQUAD Component Container Architecture.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation.
Proceedings of the «UML» 2004, 2004

Models for Non-functional Aspects of Component-Based Software (NfC'04).
Proceedings of the UML Modeling Languages and Applications, 2004

Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Types of quality of service contracts for component-based systems.
Proceedings of the IASTED International Conference on Software Engineering, 2004

A software development process supporting non-functional properties.
Proceedings of the IASTED International Conference on Software Engineering, 2004

Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

The <i>COMQUAD</i> component model: enabling dynamic selection of implementations by weaving non-functional aspects.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2000
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000


  Loading...