Alexei Iliasov
According to our database1,
Alexei Iliasov
authored at least 69 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
2
3
2
1
2
1
1
1
1
1
1
3
1
3
7
4
6
3
2
5
3
3
2
3
5
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Safety, Reliability, and Security, 2024
2023
Formal Aspects Comput., March, 2023
IEEE Trans. Dependable Secur. Comput., 2023
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
2021
IEEE Trans. Reliab., 2021
Formal Aspects Comput., 2021
CoRR, 2021
2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
2017
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Proceedings of the 2015 International Conference on Software and System Process, 2015
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015
2014
IEEE Trans. Computers, 2014
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014
Proceedings of the Perspectives of System Informatics, 2014
Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Reliable Software Technologies, 2014
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013
2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
2010
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010
Proceedings of the Computer Safety, 2010
Proceedings of the Abstract State Machines, 2010
2009
Proceedings of the Methods, 2009
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
Proceedings of the SERENE 2008, 2008
Proceedings of the Seventh European Dependable Computing Conference, 2008
2007
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006
2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2003