Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

  • Walden, Marina (PI)
  • Olszewska, Marta (CoI)
  • Edmunds, Andrew (CoI)
  • Ostroumov, Sergey (CoI)
  • Petre, Luigia (CoI)
  • Boström, Pontus (CoI)
  • Neovius, Mats (CoI)
Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2017

    Anomaly Detection in Cloud Based Application using System Calls

    Aranitasi, M. & Neovius, M., 2017, CLOUD COMPUTING 2017 The Eighth International Conference on Cloud Computing, GRIDs, and Virtualization. Carlos Becker, W., Yong Woo, L., Bob, D., Aspen, O., Michael, V., Costas, L., K., K. S. & Raimund, E. (toim.). Iaria xps press, s. 44–48

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Specification and Automated Verification of Dynamic Dataflow Networks

    Wiik, J. & Boström, P., 2017, Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings. Cimatti, A. & Sirjani, M. (toim.). Springer, s. 136–151

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
  • To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course

    Olszewska, M., Ostroumov, S. & Olszewski, M., 2017, Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on. Felderer, M. & Holmström-Olsson, H. (toim.). IEEE, s. 83–87

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
  • Visual Component-Based Development of Formal Models

    Ostroumov, S. & Walden, M., 2017, Third International Conference on Advances and Trends in Software Engineering (SOFTENG 2017). Kajko-Mattsson, M., Ellingsen, P. & Maresca, P. (toim.). Iaria xps press, s. 43–50

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2016

    Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

    Edmunds, A. & Walden, M., 2016, Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Ribeiro, L. & Lecomte, T. (toim.). Springer, s. 97–111

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • On Component-Based Reuse for Event-B

    Edmunds, A., Snook, C. & Walden, M., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K., Mashkoor, A. & Biro, M. (toim.). Springer, s. 151–166

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    2 Sitaatiot (Scopus)
  • Tailoring Complexity Metrics for Simulink Models

    Olszewska, M., Dajsuren, Y., Altinger, H., Serebrenik, A., Walden, M. & J. van den Brand, M. G., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Bahsoon, R. & Weinreich, R. (toim.). ACM, s. 1–7

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Towards Component-based Reuse for Event-B

    Edmunds, A., Walden, M. & Snook, C., 2016, Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Aceto, L., Fabregas, I., Garcia-Perez, A. & Ingolfsdottir, A. (toim.). Reykjavik University, Iceland, s. 10–12

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

  • Using Scrum to Develop a Formal Model – An Experience Report

    Olszewska, M., Ostroumov, S. & Walden, M., 2016, Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016. Abrahamsson, P., Jedlitschka, A., Duc A, N., Felderer, M., Amasaki, S. & Mikkonen, T. (toim.). Springer, s. 621–626

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
  • Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

    Edmunds, A., Olszewska, M. & Walden, M., 2016, Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). Kaindl, H. & Meli, R. (toim.). Iaria xps press, s. 1–9

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2015

    Derivation of Parallel and Resilient Programs from Simulink Models

    Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (toim.). IEEE, s. 416–420

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • DevOps Meets Formal Modelling in High-Criticality Complex Systems

    Olszewska, M. & Walden, M., 2015, QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps. Ardagna, D., Brunnert, A., Casale, G. & Hoorn, A. (toim.). ACM, s. 7–12

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    9 Sitaatiot (Scopus)
  • 2014

    Parallel Development of Event-B Systems with Agile Methods

    Parsa, M., Snook, C., Olszewska, M. & Walden, M., 2014, N/A. Halmstad University, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu