Publications
136 Entries
2021
-
The Orbit Problem for Parametric Linear Dynamical Systems , 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
2020
-
On the probabilistic bisimulation spectrum with silent moves , 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512, 48 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
SWITSS: Computing small witnessing subsystems , 1 Sep 2020, Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Reduction methods on error-propagation graphs for quantitative systems reliability analysis , 1 Jun 2020, Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination , Jun 2020, In: Information and computation. 272, 104504Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Iterative variable reordering: Taming huge system families , 26 Apr 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (eds.).p. 121-133, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Components in Probabilistic Systems: Suitable by Construction , 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 240-261, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints , 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, Berlin [u. a.], p. 324–345Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
From Features to Roles , 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). Association for Computing Machinery (ACM), New York, Vol. A. 19Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution