Bibsonomy :: author  :: Maibaum ::

bookmarks

publications

(243)

• Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
  Hugo Daniel Macedo and Peter Gorm Larsen and John S. Fitzgerald FM 181-197 (2008)
  to dblp by dblp on 2008-06-14 00:00:00
  | URL | BibTeX  
• FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
  Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere (eds.). FM (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Lazy Behavioral Subtyping.
  Johan Dovland and Einar Broch Johnsen and Olaf Owe and Martin Steffen FM 52-67 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• CoVaC: Compiler Validation by Program Analysis of the Cross-Product.
  Anna Zaks and Amir Pnueli FM 35-51 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
  Taro Kurita and Miki Chiba and Yasumasa Nakatsugawa FM 425-429 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Proofs and Refutations for Probabilistic Refinement.
  A. K. McIver and C. C. Morgan and C. Gonzalia FM 100-115 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.
  Patrice Chalin and Frédéric Rioux FM 246-261 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.
  Olivier Ponsini and Wendelin Serwe FM 278-293 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.
  Tom Ridge and Michael Norrish and Peter Sewell FM 294-309 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Aspects and Formal Methods.
  Shmuel Katz FM 1-11 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX