Artikel dengan mandat akses publik - Kristina LundqvistPelajari lebih lanjut
Tersedia di suatu tempat: 18
Automated verification of AADL-specifications using UPPAAL
A Johnsen, K Lundqvist, P Pettersson, O Jaradat
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
Mandat: Swedish Research Council
S-tunexspem: Towards an extension of spem 2.0 to model and exchange tunable safety-oriented processes
B Gallina, KR Pitchai, K Lundqvist
Software Engineering Research, Management and Applications, 215-230, 2014
Mandat: European Commission
Developing dependable software-intensive systems: Aadl vs. east-adl
A Johnsen, K Lundqvist
International Conference on Reliable Software Technologies, 103-117, 2011
Mandat: Swedish Research Council
Abv-a verifier for the architecture analysis and design language (aadl)
S Björnander, C Seceleanu, K Lundqvist, P Pettersson
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
Mandat: Swedish Research Council
A context-based information retrieval technique for recovering use-case-to-source-code trace links in embedded software systems
J Zhou, Y Lu, K Lundqvist
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
Mandat: Swedish Research Council
A method to formally evaluate safety case evidences against a system architecture model
S Björnander, R Land, P Graydon, K Lundqvist, P Conmy
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
Mandat: Swedish Research Council
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist
International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022
Mandat: Knowledge Foundation, Sweden
An architecture-based verification technique for AADL specifications
A Johnsen, P Pettersson, K Lundqvist
European Conference on Software Architecture, 105-113, 2011
Mandat: Swedish Research Council
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems
R Gu, PG Jensen, C Seceleanu, E Enoiu, K Lundqvist
Science of Computer Programming 224, 102894, 2022
Mandat: Knowledge Foundation, Sweden
A combined security ontology based on the unified foundational ontology
M Adach, K Hänninen, K Lundqvist
2022 IEEE 16th International Conference on Semantic Computing (ICSC), 187-194, 2022
Mandat: Knowledge Foundation, Sweden
Formal execution semantics for asynchronous constructs of AADL
J Zhou, A Johnsen, K Lundqvist
Proceedings of the 5th International Workshop on Model Based Architecting …, 2012
Mandat: Swedish Research Council
Synthesis and verification of mission plans for multiple autonomous agents under complex road conditions
R Gu, E Baranov, A Ameri, C Seceleanu, EP Enoiu, B Cürüklü, A Legay, ...
ACM Transactions on Software Engineering and Methodology 33 (7), 1-46, 2024
Mandat: Knowledge Foundation, Sweden
Model checking collision avoidance of nonlinear autonomous vehicles
R Gu, C Seceleanu, E Enoiu, K Lundqvist
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
Mandat: Knowledge Foundation, Sweden
Hazard analysis on a system of systems using the hazard ontology
M Adach, N Ali, K Hänninen, K Lundqvist
2023 18th Annual System of Systems Engineering Conference (SoSe), 1-6, 2023
Mandat: Knowledge Foundation, Sweden
Concepts and relationships in safety and security ontologies: A comparative study
M Adach, K Hänninen, K Lundqvist
2022 6th International Conference on System Reliability and Safety (ICSRS …, 2022
Mandat: Knowledge Foundation, Sweden
Formal verification of collision avoidance for nonlinear autonomous vehicle models
R Gu, C Seceleanu, EP Enoiu, K Lundqvist
Technical report, Mälardalen University, 2021
Mandat: Knowledge Foundation, Sweden
Role-based Approach as Support for Safety Analysis of Collaborative Systems
L Provenzano, K Hänninen, K Lundqvist
2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf …, 2021
Mandat: Knowledge Foundation, Sweden
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach
C Seceleanu, EP Enoiu, J Carlson, K Lundqvist, S Sentilles, M Behnam, ...
7th Conference on the Engineering of Computer Based Systems, 1-2, 2021
Mandat: Knowledge Foundation, Sweden
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer