Kristina Lundqvist
Orcid: 0000-0003-0904-3712
According to our database1,
Kristina Lundqvist
authored at least 79 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
2
1
1
1
1
1
4
3
3
2
2
6
2
1
5
5
6
3
2
5
5
3
3
1
4
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions.
ACM Trans. Softw. Eng. Methodol., September, 2024
2023
Proceedings of the 18th Annual System of Systems Engineering Conference, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems.
Sci. Comput. Program., 2022
Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022
Proceedings of the 6th International Conference on System Reliability and Safety, 2022
Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles.
Proceedings of the Image Analysis and Processing - ICIAP 2022, 2022
Proceedings of the Enterprise Design, Operations, and Computing, 2022
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021
Proceedings of the IEEE Intl Conf on Dependable, 2021
2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
2017
Softw. Test. Verification Reliab., 2017
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
An ontological approach to identify the causes of hazards for safety-critical systems.
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017
Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
An environment-driven ontological approach to requirements elicitation for safety-critical systems.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
2014
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
The observer-based technique for requirements validation in embedded real-time systems.
Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Reliable Software Technologies, 2014
2013
S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes.
Proceedings of the Software Engineering Research, 2013
Proceedings of the SAFECOMP 2013, 2013
Proceedings of the Product-Focused Software Process Improvement, 2013
Can we do useful industrial software engineering research in the shadow of lean and agile?
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, 2013
A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
2012
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Liability for software in safety-critical mechatronic systems: An industrial questionnaire.
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the Software Architecture - 5th European Conference, 2011
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011
2010
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010
2009
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2009
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.
Proceedings of the Architectures for Adaptive Software Systems, 2009
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.
J. Univers. Comput. Sci., 2008
2007
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.
Proceedings of the Third Workshop on Model Based Testing, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.
Proceedings of the Models in Software Engineering, 2006
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006
Proceedings of the 19th Conference on Software Engineering Education and Training (CSEE&T 2006), 2006
2005
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005
Proceedings of the Reliable Software Technology, 2005
2003
Real Time Syst., 2003
2002
Investigating the readability of state-based formal requirements specification languages.
Proceedings of the 24th International Conference on Software Engineering, 2002
1999
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999
Proceedings of the Reliable Software Technologies, 1999
1996
Proceedings of the Reliable Software Technologies, 1996
Proceedings of the Reliable Software Technologies, 1996
1995
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995
1994
Proceedings of the Ada in Europe, First International Eurospace, 1994
1993
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993