| 2024 | ISoLA | Exploring Consensus Robustness in Swarms with Disruptive Individuals. | Julia Klein, Alberto d'Onofrio, Tatjana Petrov |
| 2022 | ISoLA | Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. | Julia Klein, Tatjana Petrov |
| 2020 | ISoLA | Centrality-Preserving Exact Reductions of Multi-Layer Networks. | Tatjana Petrov, Stefano Tognazzi |
| 2016 | CONCUR | Linear Distances between Markov Chains. | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov |
| 2016 | TACAS | Faster Statistical Model Checking for Unbounded Temporal Properties. | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov |
| 2015 | TACAS | Model Checking Gene Regulatory Networks. | Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixo, Tatjana Petrov |
| 2012 | WSC | Reconstructing species-based dynamics from reduced stochastic rule-based models. | Tatjana Petrov, Jrme Feret, Heinz Koeppl |
| 2010 | ISCAS | Probability metrics to calibrate stochastic chemical kinetics. | Heinz Koeppl, Gianluca Setti, Serge Pelet, Mauro Mangia, Tatjana Petrov, Matthias Peter |
| 2008 | EMSOFT | Interface theories with component reuse. | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |