Advertisement

Track Introduction – Doctoral Symposium 2018

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

Abstract

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.

References

  1. 1.
    Lamprecht, A.-L. (ed.): Leveraging Applications of Formal Methods, Verification, and Validation. CCIS, vol. 683. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-51641-7CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-11283-1Google 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).  https://doi.org/10.1007/978-3-030-00623-5_16CrossRefGoogle 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. CEUR-WS.org (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).  https://doi.org/10.1007/978-3-662-45234-9_5CrossRefGoogle 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).  https://doi.org/10.1007/978-3-642-21455-4_8CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-47169-3_51CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

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

Personalised recommendations