|
| | Preview | Author(s) | Title | Type | Issue Date |
| 261 | | Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Probabilistic Hyperproperties with Rewards | Inproceedings Konferenzbeitrag  | 2022 |
| 262 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |
| 263 | | Landauer, Max ; Frank, Maximilian ; Skopik, Florian ; Wurzenberger, Markus ; Rauber, Andreas | A Framework for Automatic Labeling of Log Datasets from Model-driven Testbeds for HIDS Evaluation | Konferenzbeitrag Inproceedings | 2022 |
| 264 |  | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | A new hope | Inproceedings Konferenzbeitrag   | 2022 |
| 265 |  | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | Enforcing ethical goals over reinforcement-learning policies | Article Artikel | 2022 |
| 266 | | Brunnbauer, Axel ; Berducci, Luigi ; Brandstätter, Andreas ; Lechner, Mathias ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing | Inproceedings Konferenzbeitrag | 2022 |
| 267 | | Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan | Recent developments in theory and tool support for hybrid systems verification with HyPro | Article Artikel | 2022 |
| 268 | | Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich | On Specifications and Proofs of Timed Circuits | Book Contribution Buchbeitrag | 2022 |
| 269 |  | Isakovic, Haris | Towards dependable CPS/IoT ecosystems | Thesis Hochschulschrift | 2022 |
| 270 |  | Yadav, Drishti | Blood coagulation algorithm: A novel bio‐inspired meta‐heuristic algorithm for global optimization | Article Artikel | 24-Nov-2021 |
| 271 | | Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich | Knowledge-based analysis of the Firing Rebels problem | Presentation Vortrag | 2-Nov-2021 |
| 272 |  | Hollerer, Siegfried ; Kastner, Wolfgang ; Sauter, Thilo | Safety und Security – ein Spannungsfeld in der industriellen Praxis | Article Artikel | Nov-2021 |
| 273 | | Behal, Patrick ; Huemer, Florian ; Najvirt, Robert ; Steininger, Andreas ; Tabassam, Zaheer | Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles | Beitrag in Tagungsband Inproceedings | 18-Oct-2021 |
| 274 |  | Maier, Jürgen | Gain and Pain of a Reliable Delay Model | Inproceedings Konferenzbeitrag | 11-Oct-2021 |
| 275 | | Kastner, Wolfgang ; Sauter, Thilo | Safety und Security | Artikel Article | 1-Oct-2021 |
| 276 |  | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan | CPSDebug: Automatic Failure Explanation in CPS Models | Artikel Article | Oct-2021 |
| 277 |  | Di Angelo, Monika ; Salzer, Gernot | Identification of token contracts on Ethereum: standard compliance and beyond | Artikel Article | 3-Sep-2021 |
| 278 | | Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz | Justification logic for constructive modal logic | Article Artikel | Sep-2021 |
| 279 |  | Maier, Jürgen ; Öhlinger, Daniel ; Schmid, Ulrich ; Függer, Matthias ; Nowak, Thomas | A Composable Glitch-Aware Delay Model | Inproceedings Konferenzbeitrag | 22-Jun-2021 |
| 280 |  | Dür, Wolfgang ; Függer, Matthias ; Steininger, Andreas | Generation of a fault-tolerant clock through redundant crystal oscillators | Article Artikel | May-2021 |
