( en | de | ru )

 

Disambiguation of "Ostroumov, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip.

, , , and . J. Syst. Archit., 59 (9): 709-728 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Evgeny Ostroumov

Sergey Stepanov

Sergey Gorbunov

Sergey Libert

Sergey Leontyev

 

Other publications of authors with the same name

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms., and . Int. J. Embed. Real Time Commun. Syst., 3 (2): 40-72 (2012)Using Scrum to Develop a Formal Model - An Experience Report., , and . PROFES, volume 10027 of Lecture Notes in Computer Science, page 621-626. (2016)Derivation of Parallel and Resilient Programs from Simulink Models., , and . PDP, page 416-420. IEEE Computer Society, (2015)Generation of Structural VHDL Code with Library Components from Formal Event-B Models., , , and . DSD, page 111-118. IEEE Computer Society, (2013)To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course., , and . SEAA, page 83-87. IEEE Computer Society, (2017)Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip., , , and . J. Syst. Archit., 59 (9): 709-728 (2013)The Quest for Introducing Technical Debt Management in a Large-Scale Industrial Company., and . ECSA, volume 12292 of Lecture Notes in Computer Science, page 296-311. Springer, (2020)VHDL Code Generation from Formal Event-B Models., and . DSD, page 127-134. IEEE Computer Society, (2011)Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation., , , , , and . DepCoS-RELCOMEX, page 135-142. IEEE Computer Society, (2008)