( en | de | ru )

 

Disambiguation of "Stojic, Ivan"

Author of the publication

copydeleteadd this publication to your clipboard
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.

, , , and . MILS@DSN, Zenodo, (2018)

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.

Borislav Stojic

Jelena Stojic

Sarah Ivanovas

Svilen Ivanov

Natalie Ivanits

 

Other publications of authors with the same name

Computation of the normalising constant for product-form models of distributed systems with synchronisation., , and . Future Gener. Comput. Syst., (2020)Algorithms for stationary analysis of stochastic Petri nets.. Ca' Foscari University of Venice, Italy, (2016)Optimisation of Servers with Different Quality of Services., , and . MASCOTS, page 142-151. IEEE Computer Society, (2014)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , and . MILS@DSN, Zenodo, (2018)Testing spnps perfect sampling tool on fork-join queueing networks (tool paper)., , and . VALUETOOLS, ACM, (2016)Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets., , and . QEST, volume 9826 of Lecture Notes in Computer Science, page 163-166. Springer, (2016)Formal Specification and Verification of Dynamic Parametrized Architectures., , and . FM, volume 10951 of Lecture Notes in Computer Science, page 625-644. Springer, (2018)Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams., , and . MASCOTS, page 126-135. IEEE Computer Society, (2015)Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems., , , and . SAFECOMP, volume 11698 of Lecture Notes in Computer Science, page 200-215. Springer, (2019)