Kristina Lundqvist

	2012
33		Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist: Technical Debt in Test Automation. ICST 2012: 887-892
	2011
32		Andreas Johnsen, Kristina Lundqvist: Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. Ada-Europe 2011: 103-117
31		Andreas Johnsen, Paul Pettersson, Kristina Lundqvist: An Architecture-Based Verification Technique for AADL Specifications. ECSA 2011: 105-113
30		Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson: ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360
	2010
29		Jayakanth Srinivasan, Kristina Lundqvist: Agile in India: challenges and lessons learned. ICSE 2010: 125-130
28		Jayakanth Srinivasan, Kristina Lundqvist, Christer Norström: Studying software organizations: in search of a method. ICSE 2010: 51-60
27		Israel Navarro, Nancy G. Leveson, Kristina Lundqvist: Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15(4): 419-437 (2010)
	2009
26		Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist: 'State of the Art' in Using Agile Methods for Embedded Systems Development. COMPSAC (2) 2009: 522-527
25		Jayakanth Srinivasan, Annika Löfgren, Christer Norström, Kristina Lundqvist: Lessons Learned from a Workshop on Relationship Building. ICGSE 2009: 115-120
24		Jayakanth Srinivasan, Kristina Lundqvist: Using Agile Methods in Software Product Development: A Case Study. ITNG 2009: 1415-1420
23		Stefan Björnander, Lars Grunske, Kristina Lundqvist: Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA 2009: 101-115
22		Jayakanth Srinivasan, Kristina Lundqvist: Organizational Enablers for Agile Adoption: Learning from GameDevCo. XP 2009: 63-72
	2008
21		Martin Ouimet, Kristina Lundqvist: The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. J. UCS 14(12): 2007-2033 (2008)
	2007
20		Martin Ouimet, Kristina Lundqvist: The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. APSEC 2007: 567
19		Martin Ouimet, Kristina Lundqvist: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. CAV 2007: 126-130
18		Jayakanth Srinivasan, Kristina Lundqvist: A Constructivist Approach to Teaching Software Processes. ICSE 2007: 664-672
17		Martin Ouimet, Kristina Lundqvist: Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. Electr. Notes Theor. Comput. Sci. 190(2): 85-97 (2007)
	2006
16		Kristina Lundqvist, Jayakanth Srinivasan: A First Course in Software Engineering for Aerospace Engineers. CSEE&T 2006: 77-86
15		Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist: Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. ICN/ICONS/MCL 2006: 192
14		Martin Ouimet, Guillaume Berteau, Kristina Lundqvist: Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. MoDELS Workshops 2006: 32-41
	2005
13		Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov: Non-intrusive System Level Fault-Tolerance. Ada-Europe 2005: 156-166
12		Gustaf Naeser, Kristina Lundqvist: Component-Based Approach to Run-Time Kernel Specification and Verification. ECRTS 2005: 68-76
11		Gustaf Naeser, Kristina Lundqvist, Lars Asplund: Temporal skeletons for verifying time. SIGAda 2005: 49-56
	2003
10		Kristina Lundqvist, Lars Asplund: A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. Real-Time Systems 24(1): 29-54 (2003)
	2002
9		Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson: Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43
	1999
8		Kristina Lundqvist, Lars Asplund, Stephen Mitchell: A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. Ada-Europe 1999: 12-25
7		Kristina Lundqvist, Lars Asplund: A Formal Model of a Run-Time Kernel for Ravenscar. RTCSA 1999: 504-
6		Kristina Lundqvist, Lars Asplund: A formal model of the Ada Ravenscar tasking profile; delay until. SIGAda 1999: 15-21
	1996
5		Kristina Lundqvist, Göran Wall: Using Object-Oriented Methods in Ada 95 to Implement Linda. Ada-Europe 1996: 211-222
4		Göran Wall, Kristina Lundqvist: Shared Packages Through Linda. Ada-Europe 1996: 223-234
	1994
3		Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund: Distribution of Tasks within a Centrally Scheduled Local Area Network. Ada-Europe 1994: 421-432
	1993
2		Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist: Performance Expectations on Ada Programs. Ada-Europe 1993: 227-239
1		Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall: Distributed Run-Time Systems, a Protocol for Ada. Ada-Europe 1993: 249-263

Coauthor Index

1	Lars Asplund	[1] [2] [3] [6] [7] [8] [10] [11]
2	Guillaume Berteau	[14]
3	Stefan Björnander	[23] [30]
4	Lars Björnfot	[1] [2] [3]
5	Yves Boussemart	[15]
6	Radu Dobrin	[26]
7	Sigrid Eldh	[33]
8	Sébastien Gorelov	[13] [15]
9	Lars Grunske	[23]
10	Andreas Johnsen	[31] [32]
11	Nancy G. Leveson	[9] [27]
12	Annika Löfgren	[25]
13	Stephen Mitchell	[8]
14	Gustaf Naeser	[11] [12]
15	Israel Navarro	[27]
16	Christer Norström	[25] [28]
17	Martin Ouimet	[14] [15] [17] [19] [20] [21]
18	Paul Pettersson	[30] [31]
19	Cristina Cerschi Seceleanu	[30]
20	Jayakanth Srinivasan	[13] [16] [18] [22] [24] [25] [26] [28] [29]
21	Daniel Sundmark	[33]
22	Göran Wall	[1] [2] [3] [4] [5]
23	Kristian Wiklund	[33]
24	Marc K. Zimmerman	[9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page