BibSonomy :: author  :: Finkbeiner ::

bookmarks

publications

(31)

• Subsequence Invariants.
  Klaus Dräger and Bernd Finkbeiner CONCUR 172-186 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• 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  
• RESY: Requirement Synthesis for Compositional Model Checking.
  Bernd Finkbeiner and Hans-Jörg Peter and Sven Schewe TACAS 463-466 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Bounded Synthesis.
  Sven Schewe and Bernd Finkbeiner ATVA 474-488 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Distributed Synthesis for Alternating-Time Logics.
  Sven Schewe and Bernd Finkbeiner ATVA 268-283 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Slicing Abstractions.
  Ingo Brückner and Klaus Dräger and Bernd Finkbeiner and Heike Wehrheim FSEN 17-32 (2007)
  to dblp by dblp on 2007-10-05 00:00:00
  | URL | BibTeX