Person: Kristina Lundqvist

DBLP: Lundqvist:Kristina

Contributed to:

2014

2014

2014

2014

2012

2011

2011

2009

2007

2007

2007

2006

2005

2005

2002

1999

1999

1996

1994

1993

2016

Wrote 23 papers:

AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.

ICST-2014-WiklundSEL #analysis #automation #empirical #testing

Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.

QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification

Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.

RE-2014-ZhouLLLKL #feature model #requirements #towards #validation

Towards feature-oriented requirements validation for automotive systems (JZ, YL, KL, HL, DK, BL), pp. 428–436.

ICST-2012-WiklundESL #automation #technical debt #testing

Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.

AdaEurope-2011-JohnsenL

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.

ECSA-2011-JohnsenPL #architecture #specification #verification

An Architecture-Based Verification Technique for AADL Specifications (AJ, PP, KL), pp. 105–113.

QoSA-2009-BjornanderGL #architecture #simulation #specification #state machine

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines (SB, LG, KL), pp. 101–115.

CAV-2007-OuimetL #realtime #simulation #specification #tool support #verification

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.

ICSE-2007-SrinivasanL #approach #education #process

A Constructivist Approach to Teaching Software Processes (JS, KL), pp. 664–672.

MBT-2007-OuimetL #automation #consistency #satisfiability #specification #state machine #using #verification

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver (MO, KL), pp. 85–97.

CSEET-2006-LundqvistS #re-engineering

A First Course in Software Engineering for Aerospace Engineers (KL, JS), pp. 77–86.

AdaEurope-2005-LundqvistSG #fault tolerance

Non-intrusive System Level Fault-Tolerance (KL, JS, SG), pp. 156–166.

SIGAda-2005-NaeserLA #verification

Temporal skeletons for verifying time (GN, KL, LA), pp. 49–56.

ICSE-2002-ZimmermanLL #readability #requirements #specification

Investigating the readability of state-based formal requirements specification languages (MKZ, KL, NGL), pp. 33–43.

AdaEurope-1999-LundqvistAM #ada #formal method

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.

SIGAda-1999-LundqvistA #ada #formal method

A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.

AdaEurope-1996-LundqvistW #ada #object-oriented #using

Using Object-Oriented Methods in Ada 95 to Implement Linda (KL, GW), pp. 211–222.

AdaEurope-1996-WallL

Shared Packages Through Linda (GW, KL), pp. 223–234.

AdaEurope-1994-BjornfotLWA #network

Distribution of Tasks within a Centrally Scheduled Local Area Network (LB, KL, GW, LA), pp. 421–432.

AdaEurope-1993-BjornfotALW #ada #distributed #protocol #runtime

Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.

AdaEurope-1993-WallABL #ada #performance #source code

Performance Expectations on Ada Programs (GW, LA, LB, KL), pp. 227–239.

QoSA-2016-JohnsenLHPT #architecture #assurance #framework #named #quality

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.