Ivan Stojic

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Topics

Queueing Networks

Sampling Strategies

Formal Specification

Top Venues

Future Gener. Comput. Syst.

Publications

Simonetta Balsamo, Andrea Marin, Ivan Stojic
Computation of the normalising constant for product-form models of distributed systems with synchronisation. Future Gener. Comput. Syst. 111 (2020)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP (2019)
Alessandro Cimatti, Ivan Stojic, Stefano Tonetta
Formal Specification and Verification of Dynamic Parametrized Architectures. FM (2018)
Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN (2018)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper). VALUETOOLS (2016)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. QEST (2016)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams. MASCOTS (2015)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Optimisation of Servers with Different Quality of Services. MASCOTS (2014)