עקוב אחר
Kristina Lundqvist
Kristina Lundqvist
Professor of Dependable Software Engineering, Mälardalen University
כתובת אימייל מאומתת בדומיין mdh.se
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
712012
Formal software verification: Model checking and theorem proving
M Ouimet, K Lundqvist
Embedded Systems Laboratory Technical Report ESL-TIK-00214, Cambridge USA, 24, 2007
712007
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
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
432016
'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
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20