Följ
Kristina Lundqvist
Kristina Lundqvist
Professor of Dependable Software Engineering, Mälardalen University
Verifierad e-postadress på mdh.se
Titel
Citeras av
Citeras av
År
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, 33-43, 2002
812002
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
772017
Technical debt in test automation
K Wiklund, S Eldh, D Sundmark, K Lundqvist
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
702012
Formal software verification: Model checking and theorem proving
M Ouimet, K Lundqvist
Embedded Systems Laboratory Technical Report ESL-TIK-00214, Cambridge USA, 24, 2007
692007
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
522012
Impediments in agile software development: An empirical investigation
K Wiklund, D Sundmark, S Eldh, K Lundqvist
Product-Focused Software Process Improvement: 14th International Conference …, 2013
502013
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
482012
Using agile methods in software product development: A case study
J Srinivasan, K Lundqvist
2009 Sixth International Conference on Information Technology: New …, 2009
482009
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
471999
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
462001
'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
422009
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
412016
Agile in India: Challenges and lessons learned
J Srinivasan, K Lundqvist
Proceedings of the 3rd India software engineering conference, 125-130, 2010
412010
A ravenscar-compliant run-time kernel for safety-critical systems
K Lundqvist, L Asplund
Real-Time Systems 24, 29-54, 2003
362003
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
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems: (Tool Paper)
M Ouimet, K Lundqvist
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
312007
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
302008
Formal verification of an autonomous wheel loader by model checking
R Gu, R Marinescu, C Seceleanu, K Lundqvist
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
272018
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
262014
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20