Bibsonomy :: author  ::

bookmarks

publications

(11)

• On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
  Alexei Iliasov and Alexander Romanovsky and Budi Arief and Linas Laibinis and Elena Troubitsyna ISORC 141-145 (2007)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
  Linas Laibinis and Elena Troubitsyna and Sari Leppänen and Johan Lilius and Qaisar A. Malik RODIN Book 261-287 (2006)
  to dblp by dblp on 2007-01-03 00:00:00
  | URL | BibTeX  
• Rigorous Development of Fault-Tolerant Agent Systems.
  Linas Laibinis and Elena Troubitsyna and Alexei Iliasov and Alexander Romanovsky RODIN Book 241-260 (2006)
  to dblp by dblp on 2007-01-03 00:00:00
  | URL | BibTeX  
• Formal Development of Mechanisms for Tolerating Transient Faults.
  Dubravka Ilic and Elena Troubitsyna and Linas Laibinis and Colin Snook RODIN Book 189-209 (2006)
  to dblp by dblp on 2007-01-03 00:00:00
  | URL | BibTeX  
• Formal Model-Driven Development of Communicating Systems.
  Linas Laibinis and Elena Troubitsyna and Sari Leppänen and Johan Lilius and Qaisar A. Malik ICFEM 188-203 (2005)
  to dblp by dblp on 2006-11-28 00:00:00
  | URL | BibTeX  
• Formal Development of Reactive Fault Tolerant Systems.
  Linas Laibinis and Elena Troubitsyna RISE 234-249 (2005)
  to dblp by dblp on 2006-05-31 00:00:00
  | URL | BibTeX  
• Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.
  Linas Laibinis and Elena Troubitsyna SEFM 346-355 (2004)
  to dblp by dblp on 2005-01-24 00:00:00
  | URL | BibTeX  
• Refinement of Fault Tolerant Control Systems in B.
  Linas Laibinis and Elena Troubitsyna SAFECOMP 254-268 (2004)
  to dblp by dblp on 2005-01-24 00:00:00
  | URL | BibTeX  
• Developing Components in the Presence of Re-entrance.
  Leonid Mikhajlov and Emil Sekerinski and Linas Laibinis World Congress on Formal Methods 1301-1320 (1999)
  to dblp by dblp on 2002-08-12 00:00:00
  | URL | BibTeX  
• Functional Procedures in Higher-Order Logic.
  Linas Laibinis and Joakim von Wright TPHOLs 372-387 (2000)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX