Optimisation of Servers with Different Quality of Services. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (MASCOTS, 2014)

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (MASCOTS, 2015)

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (QEST, 2016)

Testing spnps perfect sampling tool on fork-join queueing networks (tool paper). - Simonetta Balsamo; Andrea Marin; Ivan Stojic (VALUETOOLS, 2016)

Algorithms for stationary analysis of stochastic Petri nets. - Ivan Stojic (2016)

Formal Specification and Verification of Dynamic Parametrized Architectures. - Alessandro Cimatti; Ivan Stojic; Stefano Tonetta (FM, 2018)

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. - Alessandro Cimatti; Rance DeLong; Ivan Stojic; Stefano Tonetta (MILS@DSN, 2018)

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. - Alessandro Cimatti; Rance DeLong; Ivan Stojic; Stefano Tonetta (SAFECOMP, 2019)

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)