Kristina Lundqvist

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	1693	568
H-index	23	13
i10-index	51	20

140

105

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 13 18 15 33 21 36 31 64 48 57 54 46 53 67 96 99 101 101 110 106 110 100 135 75 41

גישה ציבורית

הצג הכל

17 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Jayakanth SrinivasanMITREכתובת אימייל מאומתת בדומיין mitre.org
Lars AsplundMalardalen Universityכתובת אימייל מאומתת בדומיין mdh.se
Kaj HänninenMälardalen University, Swedenכתובת אימייל מאומתת בדומיין mdh.se
Cristina SeceleanuProfessor of Computer Science, Mälardalen Universityכתובת אימייל מאומתת בדומיין mdu.se
Paul PetterssonProfessor of Real-time Systems, Mälardalen Universityכתובת אימייל מאומתת בדומיין mdh.se
Jiale ZhouMDHכתובת אימייל מאומתת בדומיין mdh.se
Daniel SundmarkMälardalen Universityכתובת אימייל מאומתת בדומיין mdh.se
Rong GuMälardalen Universityכתובת אימייל מאומתת בדומיין mdu.se
Kristian WiklundEricsson AB, Swedenכתובת אימייל מאומתת בדומיין ericsson.com
Sigrid EldhAdj. Prof. (Carleton Uni.) PhD. Researcher at Ericsson AB, Snr Lecturer at Mälardalen Universityכתובת אימייל מאומתת בדומיין ericsson.com
N LevesonMITכתובת אימייל מאומתת בדומיין mit.edu
Luciana ProvenzanoSenior Lecturer, MDUכתובת אימייל מאומתת בדומיין mdu.se
Barbara GallinaAssociate Professor of Dependable Software Engineering, Mälardalen University (MDU)כתובת אימייל מאומתת בדומיין mdu.se
Aida Delic CausevicSenior Lecturer, Docent at Mälardalen University, Program Cyber Secuirty Manager at Alstomכתובת אימייל מאומתת בדומיין mdh.se
Hossein Fotouhi (ORCID 0000-0001-5...Associate Professor, Mälardalen University (MDU)כתובת אימייל מאומתת בדומיין mdu.se
Kristina ForsbergAdj. Professor in Computer Science -Avionics Systems, Mälardalen Universityכתובת אימייל מאומתת בדומיין mdh.se
Dr Amnon H. EdenSapience.orgכתובת אימייל מאומתת בדומיין sapience.org
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, Germanyכתובת אימייל מאומתת בדומיין informatik.hu-berlin.de
Holger M. KienleUniversity of Victoriaכתובת אימייל מאומתת בדומיין cs.uvic.ca
Mats DanielsProfessor Computing Education Research, Uppsalaכתובת אימייל מאומתת בדומיין it.uu.se

עקוב אחר

Kristina Lundqvist

Professor of Dependable Software Engineering, Mälardalen University

כתובת אימייל מאומתת בדומיין mdh.se

Safety Certification Requirements engineering Model-based development Software testing


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	72	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‏	71	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
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
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‏	45	2016
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
'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
Agile in India: Challenges and lessons learned‏ J Srinivasan, K Lundqvist‏ Proceedings of the 3rd India software engineering conference, 125-130, 2010‏	40	2010
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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים