dblp.uni-trier.dewww.uni-trier.de

Kristina Lundqvist

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
20EEMartin Ouimet, Kristina Lundqvist: The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. APSEC 2007: 567
19EEMartin Ouimet, Kristina Lundqvist: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. CAV 2007: 126-130
18EEJayakanth Srinivasan, Kristina Lundqvist: A Constructivist Approach to Teaching Software Processes. ICSE 2007: 664-672
17EEMartin 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
16EEKristina Lundqvist, Jayakanth Srinivasan: A First Course in Software Engineering for Aerospace Engineers. CSEE&T 2006: 77-86
15EEYves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist: Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. ICN/ICONS/MCL 2006: 192
14EEMartin 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
13EEKristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov: Non-intrusive System Level Fault-Tolerance. Ada-Europe 2005: 156-166
12EEGustaf Naeser, Kristina Lundqvist: Component-Based Approach to Run-Time Kernel Specification and Verification. ECRTS 2005: 68-76
11EEGustaf 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
9EEMarc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson: Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43
1999
8EEKristina Lundqvist, Lars Asplund, Stephen Mitchell: A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. Ada-Europe 1999: 12-25
7EEKristina Lundqvist, Lars Asplund: A Formal Model of a Run-Time Kernel for Ravenscar. RTCSA 1999: 504-
6EEKristina 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

1Lars Asplund [1] [2] [3] [6] [7] [8] [10] [11]
2Guillaume Berteau [14]
3Lars Björnfot [1] [2] [3]
4Yves Boussemart [15]
5Sébastien Gorelov [13] [15]
6Nancy G. Leveson [9]
7Stephen Mitchell [8]
8Gustaf Naeser [11] [12]
9Martin Ouimet [14] [15] [17] [19] [20] [21]
10Jayakanth Srinivasan [13] [16] [18]
11Göran Wall [1] [2] [3] [4] [5]
12Marc K. Zimmerman [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)