Alexei Iliasov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
13
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
22 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 |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2018 | SAFECOMP | Formal Verification of Signalling Programs with SafeCap. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2017 | ISSRE | Safety Verification of Modern Railway Signalling with the SafeCap Platform. | Paulius Stankaitis, Alexei Iliasov |
| 2016 | FDL | Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. | Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev |
| 2016 | ICFEM | Proving Event-B Models with Reusable Generic Lemmas. | Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky |
| 2015 | PDP | A Formal Specification and Prototyping Language for Multi-core System Management. | Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev |
| 2015 | SETTA | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2014 | DATE | ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. | Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev |
| 2013 | ICSE | Towards a formalism-based toolkit for automotive applications. | Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara |
| 2013 | SAFECOMP | The SafeCap Platform for Modelling Railway Safety and Capacity. | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
| 2012 | ICSE | Augmenting Event-B modelling with real-time verification. | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala |
| 2011 | ICFEM | Formal Derivation of a Distributed Program in Event B. | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2011 | ISSRE | Generation of Certifiably Correct Programs from Formal Models. | Alexei Iliasov |
| 2011 | ISSRE | Rigorous Development of Dependable Systems Using Fault Tolerance Views. | Ilya Lopatkin, Alexei Iliasov, 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 | 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 |
| 2009 | ICFEM | Modal Systems: Specification, Refinement and Realisation. | Fernando Lus Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky |
| 2008 | EDCC | Refinement Patterns for Fault Tolerant Systems. | Alexei Iliasov, Alexander B. Romanovsky |
| 2007 | COMPSAC | A Framework for Open Distributed System Design. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief |
| 2007 | ISORC | On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
| 2005 | COMPSAC | Exception Handling in Coordination-Based Mobile Environments. | Alexei Iliasov, Alexander B. Romanovsky |