Search the dblp DataBase

Publications of Author

1. Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis
   Developing Components in the Presence of Re-entrance. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1301-1320 [Conf]
   
2. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
   Formal Model-Driven Development of Communicating Systems. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:188-203 [Conf]
   
3. Linas Laibinis, Elena Troubitsyna
   Formal Development of Reactive Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP]
   RISE, 2005, pp:234-249 [Conf]
   
4. Linas Laibinis, Elena Troubitsyna
   Refinement of Fault Tolerant Control Systems in B. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:254-268 [Conf]
   
5. Linas Laibinis, Elena Troubitsyna
   Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:346-355 [Conf]
   
6. Linas Laibinis
   Using Lattice Theory in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1996, pp:315-330 [Conf]
   
7. Linas Laibinis, Joakim von Wright
   Functional Procedures in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2000, pp:372-387 [Conf]
   
8. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook
   Formal Development of Mechanisms for Tolerating Transient Faults. [Citation Graph (0, 0)][DBLP]
   RODIN Book, 2006, pp:189-209 [Conf]
   
9. Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky
   Rigorous Development of Fault-Tolerant Agent Systems. [Citation Graph (0, 0)][DBLP]
   RODIN Book, 2006, pp:241-260 [Conf]
   
10. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
    Formal Service-Oriented Development of Fault Tolerant Communicating Systems. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:261-287 [Conf]
    
11. 
    Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP]
    
    
12. 
    Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. [Citation Graph (, )][DBLP]
    
    
13. 
    On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP]
    
    
15. 
    Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP]
    
    
16. 
    Self-Recovering Sensor-Actor Networks [Citation Graph (, )][DBLP]