|
| | Preview | Author(s) | Title | Type | Issue Date |
| 161 |  | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | FIM: fault injection and mutation for Simulink | Inproceedings Konferenzbeitrag    | 9-Nov-2022 |
| 162 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Nested Sequents, Kripke Models, and Uniform Interpolation | Presentation Vortrag | 1-Nov-2022 |
| 163 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Survey on mining signal temporal logic specifications | Article Artikel | Nov-2022 |
| 164 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel | 31-Oct-2022 |
| 165 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | An Accurate Hybrid Delay Model for Multi-Input Gates | Report Bericht | 31-Oct-2022 |
| 166 |  | Denzler, Patrick ; Ramsauer, Daniel ; Preindl, Thomas ; Kastner, Wolfgang ; Gschnitzer, Alexander | Comparing Different Persistent Storage Approaches for Containerized Stateful Applications | Inproceedings Konferenzbeitrag | 25-Oct-2022 |
| 167 |  | Denzler, Patrick ; Ashjaei, Mohammad ; Frühwirth, Thomas ; Ebirim, Victor Nicholas ; Kastner, Wolfgang | Concurrent OPC UA information model access, enabling real-time OPC UA PubSub | Inproceedings Konferenzbeitrag | 25-Oct-2022 |
| 168 | | Etz, Dieter ; Denzler, Patrick ; Frühwirth, Thomas ; Kastner, Wolfgang | Functional Safety Use Cases in the Context of Reconfigurable Manufacturing Systems | Inproceedings Konferenzbeitrag | 25-Oct-2022 |
| 169 | | Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich | Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems | Presentation Vortrag | 24-Oct-2022 |
| 170 | | Bhole, Mukund ; Kastner, Wolfgang ; Sauter, Thilo | A Model Based Framework for Testing Safety and Security in Operational Technology Environments | Inproceedings Konferenzbeitrag | 24-Oct-2022 |
| 171 |  | Tabassam, Zaheer ; Steininger, Andreas | SET Hardened Derivatives of QDI Buffer Template | Inproceedings Konferenzbeitrag | 19-Oct-2022 |
| 172 |  | Elshehaby, Raghda ; Steininger, Andreas | Study and Comparison of QDI Pipeline Components' Sensitivity to Permanent Faults | Inproceedings Konferenzbeitrag | 19-Oct-2022 |
| 173 | | Berducci, Luigi ; Grosu, Radu | Safe Policy Improvement in Constrained Markov Decision Processes | Inproceedings Konferenzbeitrag | 17-Oct-2022 |
| 174 | | Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Towards Drone Flocking Using Relative Distance Measurements | Inproceedings Konferenzbeitrag | 17-Oct-2022 |
| 175 | | Marchisio, Alberto ; Mrazek, Vojtech ; Massa, Andrea ; Bussolino, Beatrice ; Martina, Maurizio ; Shafique, Muhammad | RoHNAS: A Neural Architecture Search Framework With Conjoint Optimization for Adversarial Robustness and Hardware Efficiency of Convolutional and Capsule Networks | Article Artikel | 13-Oct-2022 |
| 176 | | Vana Gür, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Georg | Posterior predictive model assessment using formal methods in a spatio-temporal model | Preprint Preprint | 3-Oct-2022 |
| 177 | | Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia | Distribution Estimation for Probabilistic Loops | Inproceedings Konferenzbeitrag | 12-Sep-2022 |
| 178 | | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | Framing faultiness Kripke style | Presentation Vortrag | 6-Sep-2022 |
| 179 |  | Tabassam, Zaheer ; Steininger, Andreas | Towards Resilient QDI Pipeline Implementations | Inproceedings Konferenzbeitrag | 31-Aug-2022 |
| 180 |  | Hollerer, Siegfried ; Sauter, Thilo ; Kastner, Wolfgang | Risk Assessments Considering Safety, Security, and Their Interdependencies in OT Environments | Inproceedings Konferenzbeitrag | 23-Aug-2022 |
