King's College London

Research portal

Dr Steffen Zschaler

  1. A generic framework for representing and analyzing model concurrency

    Zschaler, S., Bousse, E., Deantoni, J. & Combemale, B., 9 Jan 2023, In: Software and Systems Modeling.

    Research output: Contribution to journalArticlepeer-review

  2. Trustworthy Agent-Based Simulation: The Case for Domain-Specific Modelling Languages

    Zschaler, S. & Polack, F., 2 Dec 2022, (Accepted/In press) In: Journal on Software and Systems Modelling (SoSyM).

    Research output: Contribution to journalArticlepeer-review

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

    Godfrey, T., Batra, R., Douthwaite, S., Edgeworth, J., Miles, S. & Zschaler, S., 14 Sep 2022, (Accepted/In press) Practice of Enterprise Modelling 2022. Springer Nature

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Martinez, J., Strüber, D., Horcas, J. M., Burdusel, A. & Zschaler, S., 2 Jul 2022, (Accepted/In press) SPLC 2022.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  5. Guest editorial to the theme section on AI-enhanced model-driven engineering

    Burgueño, L., Cabot, J., Wimmer, M. & Zschaler, S., Jun 2022, In: Software and Systems Modeling. 21, 3, p. 963-965 3 p.

    Research output: Contribution to journalEditorialpeer-review

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

    Horcas, J. M., Strüber, D., Burdusel, A., Martinez, J. & Zschaler, S., 29 Apr 2022, (E-pub ahead of print) In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 16 p.

    Research output: Contribution to journalArticlepeer-review

  7. Sustaining and improving graduated graph consistency: A static analysis of graph transformations

    Kosiol, J., Strüber, D., Taentzer, G. & Zschaler, S., 1 Feb 2022, In: SCIENCE OF COMPUTER PROGRAMMING. 214, 102729.

    Research output: Contribution to journalArticlepeer-review

  8. Automatic Generation of Atomic Multiplicity Preserving Search Operators for Search-Based Model Engineering

    Burdusel, A., Zschaler, S. & John, S., 13 Jul 2021, (Accepted/In press) Software and Systems Modeling (SoSyM). Springer

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  9. Finding Subgraphs with Side Constraints

    Akgün, Ö., Enright, J., Jefferson, C., McCreesh, C., Prosser, P. & Zschaler, S., 14 Mar 2021, (Accepted/In press) 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  10. 17thEducators Symposium at MODELS 2021

    Dubois, C. & Zschaler, S., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 695 1 p. (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  11. MDE Intelligence 2021: 3rdWorkshop on Artificial Intelligence and Model-Driven Engineering

    Burgueno, L., Kessentini, M., Wimmer, M. & Zschaler, S., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 148-149 2 p. (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  12. A Family of Languages for Trustworthy Agent-Based Simulation

    Zschaler, S. & Polack, F., 9 Sep 2020, (Accepted/In press) 13th International Conference on Software Language Engineering (SLE'2020).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Kosiol, J., Strüber, D., Taentzer, G. & Zschaler, S., 21 Apr 2020, (Accepted/In press) International Conference on Graph Transformations (ICGT'20). 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  14. Report on workshop: Planning the future of agent simulation

    Polack, F. & Zschaler, S., 1 Jan 2020, In: Artificial Life. 26, 2, p. 307-313 7 p.

    Research output: Contribution to journalArticlepeer-review

  15. Searching for Optimal Models: Comparing Two Encoding Approaches (Summary)

    John, S., Burdusel, A., Bill, R., Strüber, D., Taentzer, G., Zschaler, S. & Wimmer, M., 2020, Software Engineering 2020 - Fachtagung des GI-Fachbereichs Softwaretechnik. Felderer, M., Hasselbring, W., Rabiser, R. & Jung, R. (eds.). Gesellschaft fur Informatik (GI), p. 101-103 3 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-300).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  16. MDEOptimiser: A Search Based Model Engineering Tool

    Burdusel, A., Zschaler, S. & Struber, D., 14 Oct 2019, MODELS '18 Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 12-16 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  17. Towards scalable search-based model engineering with MDEOptimiser scale

    Burdusel, A. & Zschaler, S., 15 Sep 2019, (E-pub ahead of print) Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 189-195 7 p. 8904488

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Sadati, S., Naghibi, S. E., Shiva, A., Michael, B., Renson, L., Howard, M. J. W., Rucker, C., Althoefer, K., Nanayakkara, T., Zschaler, S., Bergeles, C., Hauser, H. & Walker, I. D., 6 Sep 2019, (Accepted/In press) In: INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH.

    Research output: Contribution to journalArticlepeer-review

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

    Burdusel, A., Zschaler, S. & John, S., 18 Jun 2019, (Accepted/In press) IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  20. Searching for Optimal Models: Comparing Two Encoding Approaches

    John, S., Burdusel, A., Bill, R., Struber, D., Taentzer, G., Zschaler, S. & Wimmer, M., 14 Jun 2019, (E-pub ahead of print) 12th International Conference on Model Transformations ICMT 2019. 3 ed. Vol. 18. p. 1-22 22 p. (Journal of Object Technology).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  21. A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn

    Sadati, S., Zschaler, S. & Bergeles, C., 2019, (Accepted/In press) 6th Workshop on Model-Driven Robot Software Engineering (MORSE 2016). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  22. Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation

    Burdusel, A. & Zschaler, S., 23 Jan 2018, Pre-Proceedings of the 8th International Workshop on Graph Computation Models (GCM'17). 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  23. Adding a HenshinEngine to GEMOC studio: An experience report

    Zschaler, S., 1 Jan 2018, In: CEUR Workshop Proceedings. 2245, p. 429-431 3 p.

    Research output: Contribution to journalConference paperpeer-review

  24. Henshin: A model transformation language and its use for search-based model optimisation in MDEOptimiser

    Strüber, D., Burdusel, A., John, S. & Zschaler, S., 1 Jan 2018, Modellierung, 2018. Gesellschaft fur Informatik (GI), p. 299-300 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  25. Modularity for automated assessment: A design-space exploration

    Zschaler, S., White, S., Hodgetts, K. & Chapman, M., 1 Jan 2018, CEUR Workshop Proceedings. Vol. 2066. p. 57-61 5 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  26. Deriving Persuasion Strategies Using Search-Based Model Engineering

    Murphy, J., Burdusel, A., Luck, M. M., Zschaler, S. & Black, E., 2018, (Accepted/In press) 7th International Conference on Computational Models of Argument. p. 221-232 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  27. Amalgamation of domain specific languages with behaviour

    Durán, F., Moreno-Delgado, A., Orejas, F. & Zschaler, S., 1 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 208-235 28 p.

    Research output: Contribution to journalArticlepeer-review

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

    Zschaler, S. & Durán, F., 2017, In: Lecture Notes in Computer Science. 10202, p. 208-225

    Research output: Contribution to journalConference paperpeer-review

  29. Towards model-based optimisation: Using domain knowledge explicitly

    Zschaler, S. & Mandow, L., 1 Dec 2016, Software Technologies: Applications and Foundations: STAF 2016. Springer International Publishing AG, Vol. 9946. p. 317-329 13 p. (Lecture Notes in Computer Science; vol. 9946).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Yassipour Tehrani, S., Zschaler, S. & Lano, K. C., 4 Jul 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Theory and Practice of Model Transformations. Springer‐Verlag Berlin Heidelberg, Vol. 9765. p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  31. AspectJ Code Analysis and Verification with GASR

    Fabry, J., De Roover, C., Noguera, C., Zschaler, S., Rashid, A. & Jonckers, V., Jul 2016, In: Journal of Systems and Software. 117, p. 528-544

    Research output: Contribution to journalArticlepeer-review

  32. Correct Reuse of Transformations is Hard to Guarantee

    Salay, R., Zschaler, S. & Chechik, M., Jul 2016, 9th International Conference on Model Transformations (ICMT'16). Springer

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  33. Towards contractual interfaces for reusable functional quality attribute operationalisations

    Horcas, J. M., Pinto, M., Fuentes, L. & Zschaler, S., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Association for Computing Machinery, Inc, p. 201-205 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  34. CEUR Workshop Proceedings: Preface

    Amrani, M., Syriani, E., Ergin, H., Paige, R. & Zschaler, S., 2016, In: CEUR Workshop Proceedings. 1693

    Research output: Contribution to journalEditorialpeer-review

  35. Model optimisation for feature-class allocation using MDEOptimiser: A TTC 2016 submission

    Burdusel, A. & Zschaler, S., 2016, Proceedings of the 9th Transformation Tool Contest (TTC'16): CEUR-WS Volume 1758. Vol. 1758. p. 33-38 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Zschaler, S., Coate, K. & Coles, A., Jul 2015, Academic Practice and Technology Conference 2015 (APT'15): Flipping the Institution: Higher Education in the Post Digital Age. University Of Greenwich

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  37. Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

    Zerva, P., Zschaler, S. & Miles, S., Apr 2015, Service-Oriented System Engineering (SOSE), 2015 IEEE Symposium on. IEEE, Vol. 1. p. 40-49 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Efstathiou, D., R. Williams, J. & Zschaler, S., 11 Mar 2015, 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). Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). p. 25-34 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  39. Transformation reuse: What is the intent?

    Salay, R., Zschaler, S. & Chechik, M., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1500. p. 7-15 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  40. Mapping FIXML to OO with aspectual code generators

    Zschaler, S. & Tehrani, S. Y., 24 Nov 2014, Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences. Rose, L. M., Krause, C. & Horn, T. (eds.). CEUR-WS, Vol. 1305. p. 52-64 13 p. (CEUR Workshop Proceedings; vol. 1305).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. InCLOUDer: A formalised decision support modelling approach to migrate applications to cloud environments

    Juan-Verdejo, A., Zschaler, S., Surajbali, B., Baars, H. & Kemper, H. G., 17 Oct 2014, Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014. Institute of Electrical and Electronics Engineers Inc., p. 467-474 8 p. 6928854

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

    Zerva, P., Hamadache, K., Angouras, G., Zschaler, S. & Miles, S., Aug 2014, Semantics, Knowledge and Grids (SKG), 2014 10th International Conference on. Institute of Electrical and Electronics Engineers Inc., Vol. 1. 14761190

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  43. SALESPOINT: A Java framework for teaching object-oriented software development

    Zschaler, S., Demuth, B. & Schmitz, L., 1 Jan 2014, In: SCIENCE OF COMPUTER PROGRAMMING. 79, N/A, p. 189-203 15 p., N/A.

    Research output: Contribution to journalArticlepeer-review

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

    Zerva, P., Zschaler, S. & Miles, S., 2014, Proc. 8th IEEE Int'l Symposium on Service-Oriented System Engineering (SOSE 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Previous 1 2 3 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Search within the list

Refine results

Language

Language

Publication year

Publication year

Meeting and poster abstracts

Meeting and poster abstracts

Open Access Status

Open Access Status

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454