| 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 | 82 | 2002 |
| 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 | 80 | 2017 |
| Technical debt in test automation K Wiklund, S Eldh, D Sundmark, K Lundqvist 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 74 | 2012 |
| Formal software verification: Model checking and theorem proving M Ouimet, K Lundqvist Embedded Systems Laboratory Technical Report ESL-TIK-00214, Cambridge USA, 24, 2007 | 72 | 2007 |
| 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 | 52 | 2012 |
| 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 | 50 | 2013 |
| Using agile methods in software product development: A case study J Srinivasan, K Lundqvist 2009 Sixth International Conference on Information Technology: New …, 2009 | 48 | 2009 |
| 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 | 47 | 2016 |
| 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 | 47 | 1999 |
| 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 | 46 | 2012 |
| 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 | 45 | 2001 |
| Agile in India: Challenges and lessons learned J Srinivasan, K Lundqvist Proceedings of the 3rd India software engineering conference, 125-130, 2010 | 41 | 2010 |
| '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 | 41 | 2009 |
| A ravenscar-compliant run-time kernel for safety-critical systems K Lundqvist, L Asplund Real-Time Systems 24, 29-54, 2003 | 36 | 2003 |
| 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 | 34 | 2014 |
| 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 | 31 | 2007 |
| 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 | 30 | 2008 |
| 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 | 27 | 2018 |
| 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 | 26 | 2007 |
| 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 | 25 | 2014 |
Jayakanth SrinivasanMITRE在 mitre.org 的电子邮件经过验证
