Yuliya Prokhorova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2008–2016
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISSRE | Time and Space Partitioning Using On-Board Software Reference Architecture. | Victor Bos, Timo Vepslinen, Yuliya Prokhorova, Timo Latvala |
| 2015 | SETTA | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2013 | SAFECOMP | Formalisation of an Industrial Approach to Monitoring Critical Data. | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2011 | APSEC | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2008 | DEPCoS | Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation. | Yuliya Prokhorova, Vyacheslav S. Kharchenko, Sergey Ostroumov, Stanislav Yatsenko, Mykola Sidorenko, Boris Ostroumov |