Kristina Lundqvist
Kristina Lundqvist
Professor of Dependable Software Engineering, Mälardalen University
Dirección de correo verificada de mdh.se
Título
Citado por
Citado por
Año
Investigating the readability of state-based formal requirements specification languages
MK Zimmerman, K Lundqvist, N Leveson
Proceedings of the 24th International Conference on Software Engineering …, 2002
792002
Technical debt in test automation
K Wiklund, S Eldh, D Sundmark, K Lundqvist
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
562012
Formal software verification: Model checking and theorem proving
M Ouimet, K Lundqvist
Embedded Systems Laboratory Technical Report ESL-TIK-00214, 2007
552007
An analysis of causation in aerospace accidents
KA Weiss, N Leveson, K Lundqvist, N Farid, M Stringfellow
20th DASC. 20th Digital Avionics Systems Conference (Cat. No. 01CH37219) 1 …, 2001
452001
Using agile methods in software product development: A case study
J Srinivasan, K Lundqvist
2009 Sixth International Conference on Information Technology: New …, 2009
442009
LePUS–symbolic logic modeling of object oriented architectures: A case study
AH Eden, Y Hirshfeld, K Lundqvist
Second Nordic Workshop on Software Architecture-NOSA’99, 1-14, 1999
441999
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
392012
Industrial experiences of building a safety case in compliance with iso 26262
R Dardar, B Gallina, A Johnsen, K Lundqvist, M Nyberg
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
382012
A ravenscar-compliant run-time kernel for safety-critical systems
K Lundqvist, L Asplund
Real-Time Systems 24 (1), 29-54, 2003
372003
Impediments for automated testing--an empirical analysis of a user support discussion board
K Wiklund, D Sundmark, S Eldh, K Lundvist
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
342014
'State of the Art'in Using Agile Methods for Embedded Systems Development
J Srinivasan, R Dobrin, K Lundqvist
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
332009
The TASM toolset: Specification, simulation, and formal verification of real-time systems
M Ouimet, K Lundqvist
International Conference on Computer Aided Verification, 126-130, 2007
322007
Agile in India: Challenges and lessons learned
J Srinivasan, K Lundqvist
Proceedings of the 3rd India software engineering conference, 125-130, 2010
312010
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.
M Ouimet, K Lundqvist
J. Univers. Comput. Sci. 14 (12), 2007-2033, 2008
292008
Impediments for software test automation: A systematic literature review
K Wiklund, S Eldh, D Sundmark, K Lundqvist
Software Testing, Verification and Reliability 27 (8), e1639, 2017
282017
Impediments in agile software development: An empirical investigation
K Wiklund, D Sundmark, S Eldh, K Lundqvist
International Conference on Product Focused Software Process Improvement, 35-49, 2013
282013
The timed abstract state machine language: An executable specification language for reactive real-time systems
M Ouimet, K Lundqvist, M Nolin
RTNS’07, 15, 2007
262007
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
252014
A formal model of the Ada Ravenscar tasking profile; protected objects
K Lundqvist, L Asplund, S Michell
International Conference on Reliable Software Technologies, 12-25, 1999
231999
Communication and Security in Health Monitoring Systems--A Review
H Fotouhi, A Causevic, K Lundqvist, M Björkman
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
222016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20