BibSonomy :: author  ::

bookmarks

publications

(12)

• Dopamine supersensitivity correlates with D2High states, implying many paths to psychosis
  P. Seeman and D. Weinshenker and R. Quirion and L. K. Srivastava and S. K. Bhardwaj and D. K. Grandy and R. T. Premont and T. D. Sotnikova and P. Boksa and M. ElGhundi Proceedings of the National Academy of Sciences 102 3513-3518 (2005)
  to bg by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• Verification of Java Programs with Generics.
  Kurt Stenzel and Holger Grandy and Wolfgang Reif AMAST 315-329 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
  Holger Grandy and Markus Bischof and Kurt Stenzel and Gerhard Schellhorn and Wolfgang Reif FM 165-180 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
  Dominik Haneberg and Gerhard Schellhorn and Holger Grandy and Wolfgang Reif Formal Asp. Comput. 20 41-59 (2008)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• ASN1-light: A Verified Message Encoding for Security Protocols.
  Holger Grandy and Robert Bertossi and Kurt Stenzel and Wolfgang Reif SEFM 195-204 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• Verifying Smart Card Applications: An ASM Approach.
  Dominik Haneberg and Holger Grandy and Wolfgang Reif and Gerhard Schellhorn IFM 313-332 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• Verifying Security Protocols: An ASM Approach.
  Dominik Haneberg and Holger Grandy and Wolfgang Reif and Gerhard Schellhorn Abstract State Machines 247-262 (2005)
  to dblp by dblp on 2007-07-26 00:00:00
  | URL | BibTeX  
• A Refinement Method for Java Programs.
  Holger Grandy and Kurt Stenzel and Wolfgang Reif FMOODS 221-235 (2007)
  to dblp by dblp on 2007-07-09 00:00:00
  | URL | BibTeX  
• The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
  Gerhard Schellhorn and Holger Grandy and Dominik Haneberg and Wolfgang Reif FM 16-31 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• Developing Provable Secure M-Commerce Applications.
  Holger Grandy and Dominik Haneberg and Wolfgang Reif and Kurt Stenzel ETRICS 115-129 (2006)
  to dblp by dblp on 2006-06-08 00:00:00
  | URL | BibTeX