Bibsonomy :: author  ::

bookmarks

publications

(204)

• Runtime Verification for Wireless Sensor Network Applications.
  Oleg Sokolsky and Usa Sammapun and John Regehr and Insup Lee Runtime Verification (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• 07011 Abstracts Collection -- Runtime Verification.
  Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky Runtime Verification (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.
  Stavros Tripakis Runtime Verification (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• 07011 Executive Summary -- Runtime Verification.
  Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky Runtime Verification (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Runtime Verification, 02.01. - 06.01.2007
  Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky (eds.). Runtime Verification (2008)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Specification-based Testing with Linear Temporal Logic
  Li Tan and Oleg Sokolsky and Insup Lee IRI 493--498 (2004)
  to LTL automated generation singlesystem specification-based test by ist_spl and 1 other person on 2008-05-15 09:47:38
  | BibTeX  
• 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
  Grégory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermanns and Jane Hillston and Peter Kemper and Alke Martens and Pieter J. Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
  Arvind Easwaran and Insup Lee and Insik Shin and Oleg Sokolsky ISORC 274-281 (2007)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• Rollback Atomicity.
  Serdar Tasiran and Tayfun Elmas RV 188-201 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
  Andreas Bauer and Martin Leucker and Christian Schallhart RV 126-138 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX