BibSonomy :: author  ::

bookmarks

publications

(121)

• Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
  Corina S. Pasareanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer Formal Methods in System Design 32 175-205 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• Languages, Meta-languages and METATEM, A Discussion Paper.
  Howard Barringer and Graham Gough and Derek Brough and Dov M. Gabbay and Ian M. Hodkinson and Anthony Hunter and Richard Owens and Peter McBrien and Mark Reynolds and Michael Fisher Logic Journal of the IGPL 4 255-272 (1996)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Dimensions of neural-symbolic integration --- a structured survey
  Sebastian Bader and Pascal Hitzler We Will Show Them! Essays in Honour of Dov Gabbay 167--194 (2005)
  to imported by idsia and 3 other people on 2008-03-11 15:59:25
  | BibTeX  
• Dimensions of neural-symbolic integration --- a structured survey
  Sebastian Bader and Pascal Hitzler We Will Show Them! Essays in Honour of Dov Gabbay 167--194 (2005)
  to imported by idsia and 3 other people on 2008-03-11 14:52:34
  | BibTeX  
• Rule Systems for Run-Time Monitoring: From Eagleto RuleR.
  Howard Barringer and David E. Rydeheard and Klaus Havelund RV 111-125 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• From Runtime Verification to Evolvable Systems.
  Howard Barringer and Dov M. Gabbay and David E. Rydeheard RV 97-110 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• A Grammatical Representation of Visibly Pushdown Languages.
  Joachim Baran and Howard Barringer WoLLIC 1-11 (2007)
  to dblp by dblp on 2007-07-09 00:00:00
  | URL | BibTeX  
• A Logical Framework for Monitoring and Evolving Software Components.
  Howard Barringer and David E. Rydeheard and Dov M. Gabbay TASE 273-282 (2007)
  to dblp by dblp on 2007-06-18 00:00:00
  | URL | BibTeX  
• A Logic Covering Undefinedness in Program Proofs.
  Howard Barringer and J. H. Cheng and Cliff B. Jones Acta Inf. 21 251-269 (1984)
  to dblp by dblp on 2007-05-11 00:00:00
  | URL | BibTeX  
• CTL* model checking on a shared-memory architecture.
  Cornelia P. Inggs and Howard Barringer Formal Methods in System Design 29 135-155 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX