Andersen, Jørgen H.

• BRICS Report Series No. 13 (1997): RS-13 Compositional Safety Logics - Articles
  Compositional Safety Logics
  Abstract  PDF
• BRICS Report Series No. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study - Articles
  Specification and Automated Verification of Real-Time Behaviour —A Case Study
  Abstract  PDF
• BRICS Report Series No. 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm - Articles
  A Machine Verified Distributed Sorting Algorithm
  Abstract  PDF
• BRICS Report Series No. 45 (1994): RS-45 Automatic Synthesis of Real Time Systems - Articles
  Automatic Synthesis of Real Time Systems
  Abstract  PDF