- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c26 |      | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis: Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe 2012: 147-161 |
| c25 | | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis: Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC 2012: 156-161 |
| c24 | | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis: Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM 2012: 237-252 |
| c23 | | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis: A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE 2012: 16-31 |
| i1 | | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis: Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. CoRR abs/1210.7035 (2012) |
| 2011 | ||
| c22 | | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala: Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC 2011: 49-56 |
| c21 | | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: Formal Derivation of a Distributed Program in Event B. ICFEM 2011: 420-436 |
| c20 | | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis: Quantitative Verification of System Safety in Event-B. SERENE 2011: 24-39 |
| 2010 | ||
| j1 | | Linas Laibinis, Elena Troubitsyna, Sari Leppänen: Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. IJERTCS 1(2): 61-85 (2010) |
| c19 | | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010: 174-188 |
| c18 | | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS 2010: 50-66 |
| c17 | | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis: Towards Probabilistic Modelling in Event-B. IFM 2010: 275-289 |
| c16 | | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala: Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP 2010: 126-141 |
| c15 | | Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere: Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61 |
| 2009 | ||
| c14 | | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky: Patterns for Refinement Automation. FMCO 2009: 70-88 |
| p2 | | Linas Laibinis, Elena Troubitsyna, Sari Leppänen: Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance 2009: 130-151 |
| p1 | | Qaisar A. Malik, Johan Lilius, Linas Laibinis: Model-Based Testing Using Scenarios and Event-B Refinements. Methods, Models and Tools for Fault Tolerance 2009: 177-195 |
| 2008 | ||
| c13 | | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Formal development of cooperative exception handling for mobile agent systems. SERENE 2008: 39-48 |
| 2007 | ||
| c12 | | 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 | ||
| c11 | | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA 2006: 425-432 |
| c10 | | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209 |
| c9 | | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260 |
| c8 | | 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 | ||
| c7 | | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 |
| c6 | | Linas Laibinis, Elena Troubitsyna: Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249 |
| 2004 | ||
| c5 | | Linas Laibinis, Elena Troubitsyna: Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268 |
| c4 | | Linas Laibinis, Elena Troubitsyna: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM 2004: 346-355 |
| 2000 | ||
| c3 | | Linas Laibinis, Joakim von Wright: Functional Procedures in Higher-Order Logic. TPHOLs 2000: 372-387 |
| 1999 | ||
| c2 | | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis: Developing Components in the Presence of Re-entrance. World Congress on Formal Methods 1999: 1301-1320 |
| 1996 | ||
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page