Skip to main content
SpringerLink
Log in

Track Introduction – Doctoral Symposium 2018

  • Conference paper
  • First Online:
Book cover Leveraging Applications of Formal Methods, Verification and Validation. Verification (ISoLA 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11245))

Included in the following conference series:

  • 817 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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-7

    Book  Google Scholar 

  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. Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, New York (2008)

    Book  Google Scholar 

  4. Fitzgerald, B., Stol, K.J.: Continuous software engineering: a roadmap and agenda. J. Syst. Softw. 123, 176–189 (2017)

    Article  Google Scholar 

  5. Bosch, J.: Continuous Software Engineering. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11283-1

  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. 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 2018

    Google Scholar 

  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_16

    Chapter  Google Scholar 

  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. 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)

    Google Scholar 

  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)

    Google Scholar 

  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. 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 2013

    Google Scholar 

  14. Zweihoff, P.: Cinco products for the web. Master’s thesis, TU Dortmund (2015)

    Google Scholar 

  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)

    Article  Google Scholar 

  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_5

    Chapter  Google Scholar 

  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. 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. Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4), 307 (2009)

    Article  Google Scholar 

  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_8

    Chapter  Google Scholar 

  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_51

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Anna-Lena Lamprecht

Authors
  1. Anna-Lena Lamprecht
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anna-Lena Lamprecht .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Lamprecht, AL. (2018). Track Introduction – Doctoral Symposium 2018. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Verification. ISoLA 2018. Lecture Notes in Computer Science(), vol 11245. Springer, Cham. https://doi.org/10.1007/978-3-030-03421-4_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03421-4_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03420-7

  • Online ISBN: 978-3-030-03421-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation