| SoK: Privacy-enhancing Smart Home Hubs. | 0 | 0.34 | 2022 |
| A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. | 0 | 0.34 | 2021 |
| Analysis of Source Code Using UPPAAL. | 0 | 0.34 | 2021 |
| Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | 0 | 0.34 | 2021 |
| C-SMC - A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. | 0 | 0.34 | 2021 |
| Statistical Model Checking for Variability-Intensive Systems. | 0 | 0.34 | 2020 |
| Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. | 0 | 0.34 | 2020 |
| Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). | 0 | 0.34 | 2019 |
| Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. | 0 | 0.34 | 2019 |
| Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. | 0 | 0.34 | 2019 |
| Practical controller synthesis for MTL0, ∞. | 0 | 0.34 | 2017 |
| Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. | 0 | 0.34 | 2017 |
| Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. | 0 | 0.34 | 2017 |
| Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | 0 | 0.34 | 2015 |
| Dynamic Verification of SystemC with Statistical Model Checking. | 1 | 0.36 | 2014 |
| Homotopy Bisimilarity for Higher-Dimensional Automata. | 1 | 0.36 | 2014 |
| Robustness of Sequential Circuits | 17 | 0.93 | 2010 |
