Tatjana Petrov

According to our database, Tatjana Petrov authored at least 35 papers between 2008 and 2024.

Collaborative distances:

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

2024

Exploring Consensus Robustness in Swarms with Disruptive Individuals.

Julia Klein, Alberto d'Onofrio, Tatjana Petrov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders.

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.

Tatjana Petrov, Matej Hajnal, Julia Klein, David Safránek, Morgane Nouvian

PLoS Comput. Biol., September, 2022

Understanding Social Feedback in Biological Collectives with Smoothed Model Checking.

Julia Klein, Tatjana Petrov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Long lived transients in gene regulation.

Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet

Theor. Comput. Sci., 2021

Automated deep abstractions for stochastic chemical reaction networks.

Denis Repin, Tatjana Petrov

Inf. Comput., 2021

Exact and approximate role assignment for multi-layer networks.

Tatjana Petrov, Stefano Tognazzi

J. Complex Networks, 2021

DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.

Matej Hajnal, David Safránek, Tatjana Petrov

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

Lumping Reductions for Multispread in Multi-Layer Networks.

Tatjana Petrov, Stefano Tognazzi

Proceedings of the Complex Networks & Their Applications X - Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021

2020

Preface.

Ankit Gupta, Tatjana Petrov

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Tropical Abstraction of Biochemical Reaction Networks with Guarantees.

Andreea Beica, Jérôme Feret, Tatjana Petrov

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks.

Denis Repin, Nhat-Huy Phung, Tatjana Petrov

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Centrality-Preserving Exact Reductions of Multi-Layer Networks.

Tatjana Petrov, Stefano Tognazzi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression.

Pavol Bokes, Julia Klein, Tatjana Petrov

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Data-Informed Parameter Synthesis for Population Markov Chains.

Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2019

Transient Memory in Gene Regulation.

Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Markov chain aggregation and its application to rule-based modelling.

Tatjana Petrov

CoRR, 2018

2017

Faster Statistical Model Checking for Unbounded Temporal Properties.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

ACM Trans. Comput. Log., 2017

Model checking the evolution of gene regulatory networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Acta Informatica, 2017

2016

Linear Distances between Markov Chains.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Optimal Kullback-Leibler Aggregation via Information Bottleneck.

Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl

IEEE Trans. Autom. Control., 2015

Model Checking Gene Regulatory Networks.

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set.

Andreea Beica, Calin C. Guet, Tatjana Petrov

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2013

Formal reductions of stochastic rule-based models of biochemical systems.

Tatjana Petrov

PhD thesis, 2013

Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models.

Jérôme Feret, Heinz Koeppl, Tatjana Petrov

Int. J. Softw. Informatics, 2013

Markov chain aggregation and its applications to combinatorial reaction networks

Arnab Ganguly, Tatjana Petrov, Heinz Koeppl

CoRR, 2013

Approximate model reductions for combinatorial reaction systems.

Tatjana Petrov, Heinz Koeppl

Proceedings of the 12th European Control Conference, 2013

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.

Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Lumpability abstractions of rule-based systems.

Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov

Theor. Comput. Sci., 2012

Reconstructing species-based dynamics from reduced stochastic rule-based models.

Tatjana Petrov, Jérôme Feret, Heinz Koeppl

Proceedings of the Winter Simulation Conference, 2012

2011

Model Decomposition and Stochastic Fragments.

Tatjana Petrov, Arnab Ganguly, Heinz Koeppl

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2010

Stochastic Semantics of Signaling as a Composition of Agent-view Automata.

Heinz Koeppl, Tatjana Petrov

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

Combining Model Reductions.

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Probability metrics to calibrate stochastic chemical kinetics.

Heinz Koeppl, Gianluca Setti, Serge Pelet, Mauro Mangia, Tatjana Petrov, Matthias Peter

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2008

Interface theories with component reuse.

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008