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 | EE | 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 | EE | Martin Ouimet,
Kristina Lundqvist:
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.
CAV 2007: 126-130 |
18 | EE | Jayakanth Srinivasan,
Kristina Lundqvist:
A Constructivist Approach to Teaching Software Processes.
ICSE 2007: 664-672 |
17 | EE | 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 | EE | Kristina Lundqvist,
Jayakanth Srinivasan:
A First Course in Software Engineering for Aerospace Engineers.
CSEE&T 2006: 77-86 |
15 | EE | 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 | EE | 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 | EE | Kristina Lundqvist,
Jayakanth Srinivasan,
Sébastien Gorelov:
Non-intrusive System Level Fault-Tolerance.
Ada-Europe 2005: 156-166 |
12 | EE | Gustaf Naeser,
Kristina Lundqvist:
Component-Based Approach to Run-Time Kernel Specification and Verification.
ECRTS 2005: 68-76 |
11 | EE | 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 | EE | Marc K. Zimmerman,
Kristina Lundqvist,
Nancy G. Leveson:
Investigating the readability of state-based formal requirements specification languages.
ICSE 2002: 33-43 |
1999 |
8 | EE | Kristina Lundqvist,
Lars Asplund,
Stephen Mitchell:
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.
Ada-Europe 1999: 12-25 |
7 | EE | Kristina Lundqvist,
Lars Asplund:
A Formal Model of a Run-Time Kernel for Ravenscar.
RTCSA 1999: 504- |
6 | EE | 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 |