 | 2009 |
|---|
| 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 |
