Inna Vistbakka
Orcid: 0000-0001-8783-6879Affiliations:
- Åbo Akademi University, Turku, Finland
According to our database1,
Inna Vistbakka
authored at least 32 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
2020
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the Risks and Security of Internet and Systems, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
Proceedings of the Software Engineering for Resilient Systems, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
2018
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the 2018 IEEE International Conference on Web Services, 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Sci. Comput. Program., 2017
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017
2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
Int. J. Crit. Comput. Based Syst., 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
CoRR, 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012