Steffen Zschaler
Orcid: 0000-0001-9062-6637Affiliations:
- King's College London, UK
According to our database1,
Steffen Zschaler
authored at least 125 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
2023
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
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
2022
Dagstuhl Reports, September, 2022
Softw. Syst. Model., 2022
Sustaining and improving graduated graph consistency: A static analysis of graph transformations.
Sci. Comput. Program., 2022
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
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
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
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
Proceedings of the Composing Model-Based Analysis Tools, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
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
J. Object Technol., 2019
Transformative and Troublesome? Students' and Professional Programmers' Perspectives on Difficult Concepts in Programming.
ACM Trans. Comput. Educ., 2019
Dagstuhl Reports, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
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
Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
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
Proceedings of the Computational Models of Argument, 2018
2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
2016
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
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
Proceedings of the First Workshop on Patterns in Model Engineering, 2015
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015
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
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
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
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
Proceedings of the 2014 10th International Conference on Semantics, 2014
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
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
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014
2013
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
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
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013
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
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012
2011
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
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
LNCS Trans. Aspect Oriented Softw. Dev., 2009
ACM SIGSOFT Softw. Eng. Notes, 2009
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
IET Softw., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
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
PhD thesis, 2007
Softw. Syst. Model., 2007
J. Object Technol., 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Models in Software Engineering, 2006
Proceedings of the Ontologies for Software Engineering and Software Technology, 2006
2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
2004
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
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
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000