| 2007 |
|---|
| 11 | EE | Alexei Iliasov,
Alexander Romanovsky,
Budi Arief,
Linas Laibinis,
Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
ISORC 2007: 141-145 |
| 2006 |
|---|
| 10 | EE | Dubravka Ilic,
Elena Troubitsyna,
Linas Laibinis,
Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults.
RODIN Book 2006: 189-209 |
| 9 | EE | Linas Laibinis,
Elena Troubitsyna,
Alexei Iliasov,
Alexander Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems.
RODIN Book 2006: 241-260 |
| 8 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book 2006: 261-287 |
| 2005 |
|---|
| 7 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems.
ICFEM 2005: 188-203 |
| 6 | EE | Linas Laibinis,
Elena Troubitsyna:
Formal Development of Reactive Fault Tolerant Systems.
RISE 2005: 234-249 |
| 2004 |
|---|
| 5 | EE | Linas Laibinis,
Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B.
SAFECOMP 2004: 254-268 |
| 4 | EE | Linas Laibinis,
Elena Troubitsyna:
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.
SEFM 2004: 346-355 |
| 2000 |
|---|
| 3 | | Linas Laibinis,
Joakim von Wright:
Functional Procedures in Higher-Order Logic.
TPHOLs 2000: 372-387 |
| 1999 |
|---|
| 2 | EE | Leonid Mikhajlov,
Emil Sekerinski,
Linas Laibinis:
Developing Components in the Presence of Re-entrance.
World Congress on Formal Methods 1999: 1301-1320 |
| 1996 |
|---|
| 1 | | Linas Laibinis:
Using Lattice Theory in Higher Order Logic.
TPHOLs 1996: 315-330 |
