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 (DepCoS-RELCOMEX, 2008)

VHDL Code Generation from Formal Event-B Models. - Sergey Ostroumov; Leonidas Tsiopoulos (DSD, 2011)

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. - Sergey Ostroumov; Leonidas Tsiopoulos (Int. J. Embed. Real Time Commun. Syst., 2012)

Generation of Structural VHDL Code with Library Components from Formal Event-B Models. - Sergey Ostroumov; Leonidas Tsiopoulos; Kaisa Sere; Juha Plosila (DSD, 2013)

Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. - Sergey Ostroumov; Leonidas Tsiopoulos; Juha Plosila; Kaisa Sere (J. Syst. Archit., 2013)

Derivation of Parallel and Resilient Programs from Simulink Models. - Sergey Ostroumov; Pontus Boström; Marina Waldén (PDP, 2015)

Using Scrum to Develop a Formal Model - An Experience Report. - Marta Olszewska; Sergey Ostroumov; Marina Waldén (PROFES, 2016)

To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course. - Marta Olszewska; Sergey Ostroumov; Mikolaj Olszewski (SEAA, 2017)

The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company. - Somayeh Malakuti; Sergey Ostroumov (ECSA, 2020)