Track Introduction – Doctoral Symposium 2018

  • Anna-Lena LamprechtEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11245)


Since 2014 ISoLA has been hosting a Doctoral Symposium as a scientific and networking event specifically targeted at young academics, complementing the different thematically focused research tracks of the main symposium.


  1. 1.
    Lamprecht, A.-L. (ed.): Leveraging Applications of Formal Methods, Verification, and Validation. CCIS, vol. 683. Springer, Cham (2016). Scholar
  2. 2.
    Lamprecht, A.L. (ed.): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016), vol. 74. ECEASST (2017)Google Scholar
  3. 3.
    Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, New York (2008)CrossRefGoogle Scholar
  4. 4.
    Fitzgerald, B., Stol, K.J.: Continuous software engineering: a roadmap and agenda. J. Syst. Softw. 123, 176–189 (2017)CrossRefGoogle Scholar
  5. 5.
    Bosch, J.: Continuous Software Engineering. Springer, Cham (2014). Scholar
  6. 6.
    Ardila, J.P.C., Gallina, B.: Towards efficiently checking compliance against automotive security and safety standards. In: IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, 23–26 October 2017, pp. 317–324. IEEE Computer Society (2017)Google Scholar
  7. 7.
    Ardila, J.P.C., Gallina, B., Muram, F.U.: Enabling compliance checking against safety standards from SPEM 2.0 process models. In: The Euromicro Conference on Software Engineering and Advanced Applications, August 2018Google Scholar
  8. 8.
    Ardila, J.C.P., Gallina, B., Muram, F.U.: Transforming SPEM 2.0-compatible process models into models checkable for compliance. In: Stamelos, I., O’Connor, R., Rout, T., Dorling, A. (eds.) SPICE 2018, vol. 918, pp. 233–247. Springer, Cham (2018). Scholar
  9. 9.
    Ardila, J.P.C., Gallina, B.: Formal contract logic based patterns for facilitating compliance checking against ISO 26262. In: Rodríguez-Doncel, V., Casanovas, P., González-Conejero, J. (eds.) Proceedings of the 1st Workshop on Technologies for Regulatory Compliance Co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), Luxembourg, 13 December 2017. CEUR Workshop Proceedings, vol. 2049, pp. 65–72. (2017)Google Scholar
  10. 10.
    Kunnappilly, A., Marinescu, R., Seceleanu, C.: Assuring intelligent ambient assisted living solutions by statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 457–476. Springer, Cham (2018)CrossRefGoogle Scholar
  11. 11.
    Pitsiladis, G., Stefaneas, P.: Implementation of privacy calculus and its type checking in Maude. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 477–493. Springer, Cham (2018)CrossRefGoogle Scholar
  12. 12.
    Kasalica, V., Lamprecht, A.L.: Automated composition of scientific workflows: a case study on geographic data manipulation (Poster). In: IEEE eScience (2018, to appear)Google Scholar
  13. 13.
    Spönemann, M., Schulze, C.D., Motika, C., Schneider, C., von Hanxleden, R.: KIELER: building on automatic layout for pragmatics-aware modeling. In: 2013 IEEE Symposium on Visual Languages and Human Centric Computing, pp. 195–196, September 2013Google Scholar
  14. 14.
    Zweihoff, P.: Cinco products for the web. Master’s thesis, TU Dortmund (2015)Google Scholar
  15. 15.
    Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. 20(3), 327–354 (2018)CrossRefGoogle Scholar
  16. 16.
    Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 56–72. Springer, Heidelberg (2014). Scholar
  17. 17.
    Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)Google Scholar
  18. 18.
    Kubczak, C., Jörges, S., Margaria, T., Steffen, B.: eXtreme Model-Driven Design with jABC. In: CTIT Proceedings of the Tools and Consultancy Track of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA), vol. WP09-12, pp. 78–99 (2009)Google Scholar
  19. 19.
    Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4), 307 (2009)CrossRefGoogle Scholar
  20. 20.
    Steffen, B., Howar, F., Merten, M.: Introduction to active automata learning from a practical perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256–296. Springer, Heidelberg (2011). Scholar
  21. 21.
    Bainczyk, A., Schieweck, A., Isberner, M., Margaria, T., Neubauer, J., Steffen, B.: ALEX: mixed-mode learning of web applications at ease. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 655–671. Springer, Cham (2016). Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations