Sergey Ostroumov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2020
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECSA | The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company. | Somayeh Malakuti, Sergey Ostroumov |
| 2016 | PROFES | Using Scrum to Develop a Formal Model - An Experience Report. | Marta Olszewska, Sergey Ostroumov, Marina Waldn |
| 2015 | PDP | Derivation of Parallel and Resilient Programs from Simulink Models. | Sergey Ostroumov, Pontus Bostrm, Marina Waldn |
| 2013 | DSD | Generation of Structural VHDL Code with Library Components from Formal Event-B Models. | Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila |
| 2011 | DSD | VHDL Code Generation from Formal Event-B Models. | Sergey Ostroumov, Leonidas Tsiopoulos |
| 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 |