Search the dblp DataBase
Linas Laibinis :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Linas Laibinis , Elena Troubitsyna Formal Development of Reactive Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP ] RISE, 2005, pp:234-249 [Conf ] Linas Laibinis , Elena Troubitsyna Refinement of Fault Tolerant Control Systems in B. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2004, pp:254-268 [Conf ] 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 ] Linas Laibinis Using Lattice Theory in Higher Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1996, pp:315-330 [Conf ] Linas Laibinis , Joakim von Wright Functional Procedures in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2000, pp:372-387 [Conf ] 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 ] 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 ] 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 ] Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP ] Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. [Citation Graph (, )][DBLP ] On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. [Citation Graph (, )][DBLP ] Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP ] Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP ] Self-Recovering Sensor-Actor Networks [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs