The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kristina Lundqvist: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
    Distribution of Tasks within a Centrally Scheduled Local Area Network. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1994, pp:421-432 [Conf]
  2. Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall
    Distributed Run-Time Systems, a Protocol for Ada. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1993, pp:249-263 [Conf]
  3. Kristina Lundqvist, Lars Asplund, Stephen Mitchell
    A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1999, pp:12-25 [Conf]
  4. Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov
    Non-intrusive System Level Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2005, pp:156-166 [Conf]
  5. Kristina Lundqvist, Göran Wall
    Using Object-Oriented Methods in Ada 95 to Implement Linda. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1996, pp:211-222 [Conf]
  6. Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist
    Performance Expectations on Ada Programs. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1993, pp:227-239 [Conf]
  7. Göran Wall, Kristina Lundqvist
    Shared Packages Through Linda. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1996, pp:223-234 [Conf]
  8. Gustaf Naeser, Kristina Lundqvist
    Component-Based Approach to Run-Time Kernel Specification and Verification. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2005, pp:68-76 [Conf]
  9. Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist
    Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. [Citation Graph (0, 0)][DBLP]
    ICN/ICONS/MCL, 2006, pp:192- [Conf]
  10. Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson
    Investigating the readability of state-based formal requirements specification languages. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:33-43 [Conf]
  11. Jayakanth Srinivasan, Kristina Lundqvist
    A Constructivist Approach to Teaching Software Processes. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:664-672 [Conf]
  12. Martin Ouimet, Guillaume Berteau, Kristina Lundqvist
    Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:32-41 [Conf]
  13. Kristina Lundqvist, Lars Asplund
    A Formal Model of a Run-Time Kernel for Ravenscar. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:504-0 [Conf]
  14. Kristina Lundqvist, Lars Asplund
    A formal model of the Ada Ravenscar tasking profile; delay until. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1999, pp:15-21 [Conf]
  15. Gustaf Naeser, Kristina Lundqvist, Lars Asplund
    Temporal skeletons for verifying time. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:49-56 [Conf]
  16. Kristina Lundqvist, Lars Asplund
    A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2003, v:24, n:1, pp:29-54 [Journal]
  17. Martin Ouimet, Kristina Lundqvist
    The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:126-130 [Conf]
  18. Kristina Lundqvist, Jayakanth Srinivasan
    A First Course in Software Engineering for Aerospace Engineers. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2006, pp:77-86 [Conf]
  19. Martin Ouimet, Kristina Lundqvist
    Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:85-97 [Journal]

  20. The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. [Citation Graph (, )][DBLP]


  21. 'State of the Art' in Using Agile Methods for Embedded Systems Development. [Citation Graph (, )][DBLP]


  22. Using Agile Methods in Software Product Development: A Case Study. [Citation Graph (, )][DBLP]


  23. Organizational Enablers for Agile Adoption: Learning from GameDevCo. [Citation Graph (, )][DBLP]


  24. Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002