Linas Laibinis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
14
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Safety Invariant Engineering for Interlocking Verification. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2018 | SAFECOMP | Formal Verification of Signalling Programs with SafeCap. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2016 | ICFEM | A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. | Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns |
| 2016 | SAFECOMP | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2015 | HPCC | Towards Visualisation of Resilience Assessment for Large-Scale Systems. | Elena Troubitsyna, Linas Laibinis |
| 2015 | SETTA | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2014 | ICAART | A Pattern based Modelling for Self-organizing Multi-agent Systems with | Zeineb Graja, Frdric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem |
| 2014 | IFM | Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. | Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
| 2014 | SAFECOMP | Modelling Resilient Systems-of-Systems in Event-B. | Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna |
| 2014 | SEFM | Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. | Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frdric Migeon, Ahmed Hadj Kacem |
| 2013 | ICFEM | Formal Modelling of Resilient Data Storage in Cloud. | Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pri |
| 2013 | SAFECOMP | Formalisation of an Industrial Approach to Monitoring Critical Data. | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2012 | EDCC | Formal Development of Critical Multi-agent Systems: A Refinement Approach. | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
| 2012 | ICSE | Augmenting Event-B modelling with real-time verification. | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala |
| 2012 | IFM | Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2011 | APSEC | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2011 | ICFEM | Formal Derivation of a Distributed Program in Event B. | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2010 | FMICS | Developing Mode-Rich Satellite Software by Refinement in Event B. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
| 2010 | IFM | Towards Probabilistic Modelling in Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2010 | SAFECOMP | Verifying Mode Consistency for On-Board Satellite Software. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala |
| 2007 | ISORC | On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
| 2006 | ISoLA | Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppnen |
| 2005 | ICFEM | Formal Model-Driven Development of Communicating Systems. | Linas Laibinis, Elena Troubitsyna, Sari Leppnen, Johan Lilius, Qaisar A. Malik |
| 2004 | SAFECOMP | Refinement of Fault Tolerant Control Systems in B. | Linas Laibinis, Elena Troubitsyna |
| 2004 | SEFM | Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. | Linas Laibinis, Elena Troubitsyna |
| 1999 | FM | Developing Components in the Presence of Re-entrance. | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis |