Publikationen
135 Einträge
2020
-
On the probabilistic bisimulation spectrum with silent moves , 1 Okt. 2020, in: Acta informatica. 57, 3-5, S. 465-512, 48 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
SWITSS: Computing small witnessing subsystems , 1 Sept. 2020, Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reduction methods on error-propagation graphs for quantitative systems reliability analysis , 1 Juni 2020, Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination , Juni 2020, in: Information and computation. 272, 104504Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Iterative variable reordering: Taming huge system families , 26 April 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (Hrsg.).S. 121-133, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 240-261, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
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. (Hrsg.). Springer, Berlin [u. a.], S. 324–345Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
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. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Minimal witnesses for probabilistic timed automata , 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (Hrsg.). Springer, Berlin [u. a.], S. 501-517, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband