Ferdowsi, A., Függer, M., Nowak, T., Schmid, U., & Drmota, M. (2025). Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 56, Article 101572. https://doi.org/10.1016/j.nahs.2024.101572 ( reposiTUm)

Nowak, T., Schmid, U., & Winkler, K. (2024). Topological Characterization of Consensus in Distributed Systems. Journal of the ACM, 71(6), 1–48. https://doi.org/10.1145/3687302 ( reposiTUm)

Öhlinger, D., Maier, J., Függer, M., & Schmid, U. (2020). The involution tool for accurate digital timing and power analysis. Integration, 76, 87–98. https://doi.org/10.1016/j.vlsi.2020.09.007 ( reposiTUm)

Cignarale, G., Kuznets, R., & Schlögl, T. (2024). Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling. In Foundations of Information and Knowledge Systems (pp. 165–181). Springer. https://doi.org/10.1007/978-3-031-56940-1_9 ( reposiTUm)

Rincon Galeana, H., & Schmid, U. (2024). Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems. In Structural Information and Communication Complexity : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings (pp. 501–506). Springer. https://doi.org/10.1007/978-3-031-60603-8_29 ( reposiTUm)

Ferdowsi, A., Függer, M., Salzmann, J., & Schmid, U. (2024). A Hybrid Delay Model for Interconnected Multi-Input Gates. In 2023 26th Euromicro Conference on Digital System Design (DSD) (pp. 381–390). IEEE. https://doi.org/10.1109/DSD60849.2023.00060 ( reposiTUm)

Ditmarsch, H. van, Fruzsa, K., Kuznets, R., & Schmid, U. (2024). A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 114–134). Springer. https://doi.org/10.1007/978-3-031-63501-4_7 ( reposiTUm)

Schlögl, T., & Schmid, U. (2023). A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. In R. Verbrugge (Ed.), Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (pp. 487–506). https://doi.org/10.4204/EPTCS.379.37 ( reposiTUm)

Ferdowsi, A., Függer, M., Nowak, T., & Schmid, U. (2023). Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. In HSCC ’23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC’23), San Antonio, United States of America (the). Association for Computing Machinery. https://doi.org/10.1145/3575870.3587125 ( reposiTUm)

Öhlinger, D., & Schmid, U. (2023). A Digital Delay Model Supporting Large Adversarial Delay Variations. In 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) (pp. 111–117). https://doi.org/10.1109/DDECS57882.2023.10139680 ( reposiTUm)

Ferdowsi, A., Schmid, U., & Salzmann, J. (2023). Accurate Hybrid Delay Models for Dynamic Timing Analysis. In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (pp. 1–9). IEEE. https://doi.org/10.1109/ICCAD57390.2023.10323646 ( reposiTUm)

Ferdowsi, A., Maier, J., Öhlinger, D., & Schmid, U. (2022). A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 1461–1466). https://doi.org/10.23919/DATE54114.2022.9774547 ( reposiTUm)

Maier, J. (2021). Gain and Pain of a Reliable Delay Model. In Proceedings 2021 24th Euromicro Conference on Digital System Design DSD 2021 (pp. 246–250). https://doi.org/10.34726/1681 ( reposiTUm)

Maier, J., Öhlinger, D., Schmid, U., Függer, M., & Nowak, T. (2021). A Composable Glitch-Aware Delay Model. In GLSVLSI ’21: Proceedings of the 2021 Great Lakes Symposium on VLSI (pp. 147–154). Association for Computing Machinery. https://doi.org/10.1145/3453688.3461519 ( reposiTUm)

Függer, M., Lenzen, C., & Schmid, U. (2022). On Specifications and Proofs of Timed Circuits. In J.-F. Raskin, K. Chatterjee, L. Doyen, & R. Mayumdar (Eds.), Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Vol. 13660, pp. 107–130). Springer. https://doi.org/10.1007/978-3-031-22337-2 ( reposiTUm)

Ferdowsi, A., Schmid, U., & Salzmann, J. (2022). An Accurate Hybrid Delay Model for Multi-Input Gates. arXiv. https://doi.org/10.34726/2942 ( reposiTUm)