Ivan Stojic

According to our database, Ivan Stojic authored at least 9 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Computation of the normalising constant for product-form models of distributed systems with synchronisation.

Simonetta Balsamo, Andrea Marin, Ivan Stojic

Future Gener. Comput. Syst., 2020

2019

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018

Formal Specification and Verification of Dynamic Parametrized Architectures.

Alessandro Cimatti, Ivan Stojic, Stefano Tonetta

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2016

Algorithms for stationary analysis of stochastic Petri nets.

Ivan Stojic

PhD thesis, 2016

Testing spnps perfect sampling tool on fork-join queueing networks (tool paper).

Simonetta Balsamo, Andrea Marin, Ivan Stojic

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets.

Simonetta Balsamo, Andrea Marin, Ivan Stojic

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams.

Simonetta Balsamo, Andrea Marin, Ivan Stojic

Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

2014

Optimisation of Servers with Different Quality of Services.

Simonetta Balsamo, Andrea Marin, Ivan Stojic

Proceedings of the IEEE 22nd International Symposium on Modelling, 2014