Sergey Ostroumov

According to our database1, Sergey Ostroumov authored at least 9 papers between 2008 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company.
Proceedings of the Software Architecture - 14th European Conference, 2020

2017
To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

2016
Using Scrum to Develop a Formal Model - An Experience Report.
Proceedings of the Product-Focused Software Process Improvement, 2016

2015
Derivation of Parallel and Resilient Programs from Simulink Models.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2013
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip.
J. Syst. Archit., 2013

Generation of Structural VHDL Code with Library Components from Formal Event-B Models.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms.
Int. J. Embed. Real Time Commun. Syst., 2012

2011
VHDL Code Generation from Formal Event-B Models.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2008
Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008


  Loading...