Journals

  • The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering
    Ouimet, M.; Lundqvist, K.;
    Submitted for publication to the Journal of Universal Computer Science (JUCS), August 31st 2007

  • A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems
    Lundqvist, K.; Asplund, L.;
    Real-Time System, Kluwer Academic Publishers, Vol. 24, Issue 1, Jan. 2003
    Pages:29-54
     Conference and Workshop Proceedings

  • Combining Syntactic Traceability and Refinement Theory
    Ouimet, M.; Lundqvist, K.;
    Submitted for review to the Traceability Workshop of the 4th European Conference on Model-Driven Architecture (ECMDA '08), Berlin, Germany, June 12th 2007

  • TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC '07), Nagoya, Japan, December 2007

  • Engineering Real-Time Systems using the TASM language and toolset
    Ouimet, M.; Lundqvist, K.;
    Presented at the Real-Time in Sweden (RTiS) Conference, Västerås, Sweden, August 2007

  • Bi-Directional Traceability: The Hi-Five Framework Approach to Reliable Validation of Early System Designs
    Ouimet, M.; Lundqvist, K.;
    Presented at the ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, Satellite Workshop of CAV '07, Berlin, Germany, July 2007

  • The Timed Abstract State Machine Toolset: Specification, Simulation, and Verification of Real-Time Systems
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 19th International Conference on Computer-Aided Verification (CAV '07), Berlin, Germany, July 2007

  • The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 14th International Workshop on Abstract State Machines (ASM '07), Grimstad, Norway, June 2007

  • Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the International Workshop on Modeling in Software Engineering (MiSE '07), Satellite Workshop of ICSE '07, Minneapolis, MN, USA, May 2007

  • Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 3rd International Workshop on Model-Based Testing (MBT '07), Satellite Workshop of ETAPS '07, Braga, Portugal, April 2007

  • The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS '07), Nancy, France, March 2007

  • The Timed Abstract State Machine Language and the Hi-Five Framework
    Ouimet, M.; Lundqvist, K.;
    In Proceedings of the 27th IEEE International Real-Time Systems Symposium (RTSS '06) - Work in Progress Session, Rio De Janeiro, Brazil, December 2006

  • Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset
    Ouimet, M.; Berteau G.; Lundqvist, K.;
    In Proceedings of the Satellite Events of the 2006 MoDELS Conference, LNCS, Genoa, Italy, October 2006.

  • Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller
    Boussemart Y.; Ouimet M.; Gorelov S.; Lundqvist, I.K.;
    In Proceedings of the Fifth International Conference on Networking (ICN 2006) and International Conference on Systems (ICONS 2006) and International Conference on Mobile Communications and Learning, IEEE Computer Society Press, April 23--29, 2006

  • Non intrusive system level fault tolerance
    Lundqvist, I.K.; Srinivasan, J.; Gorelov, S.;
    ADA-EUROPE 2005
    Pages:156-166

  • The gurkh project: a framwork for verification and execution of mission critical applications
    Asplund, L.; Lundqvist, K.;
    Digital Avionics Systems Conference, 2003. DASC '03. The 22nd ,Volume: 2 , Oct. 12-16, 2003
    Pages:10_B_1_1 - 10_B_1_9

  • A hardware implementation of a ravenscar-compliant run-time kernel
    Silbovitz, A.; Lundqvist, I.K.;
    Digital Avionics Systems Conference, 2003. DASC '03. The 22nd ,Volume: 1 , Oct. 12-16, 2003
    Pages:3_A_3_1 - 3_A_3_10

  • A tool for translating VHDL to finite state machines
    Nehme, C.; Lundqvist, K.;
    Digital Avionics Systems Conference, 2003. DASC '03. The 22nd ,Volume: 1 , Oct. 12-16, 2003
    Pages:3_B_6_1 - 3_B_6_7

  • Identifying rate mismatch through architecture transformation
    Srinivasan, J.; Lundqvist, K.;
    Digital Avionics Systems Conference, 2003. DASC '03 The 22nd ,Volume; 2, Oct. 12-16, 2003
    Pages:6_A_2_1 - 6_A_2_8

  • Real-time architecture analysis: a COTS perspective
    Srinivasan, J.; Lundqvist, K.;
    Digital Avionics Systems Conference, 2002. Proceedings. The 21st ,Volume: 1 , 2002
    Pages:5D4-1 - 5D4-9 vol.1
     Technical Reports