|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | WebMonitor: Verification of Web User Interfaces | Inproceedings Konferenzbeitrag    | 5-Jan-2023 |
| 2 | | Hofmann, Till ; Schupp, Stefan | Controlling timed automata against MTL specifications with TACoS | Article Artikel | 2023 |
| 3 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina ; Caltais, Georgiana ; Schilling, Christian | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag | 2023 |
| 4 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 5 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag | 2023 |
| 6 | | Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti | Search-based Testing for Accurate Fault Localization in CPS | Inproceedings Konferenzbeitrag | 21-Dec-2022 |
| 7 |  | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | FIM: fault injection and mutation for Simulink | Inproceedings Konferenzbeitrag | 9-Nov-2022 |
| 8 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel | 31-Oct-2022 |
| 9 | | Berducci, Luigi ; Grosu, Radu | Safe Policy Improvement in Constrained Markov Decision Processes | Inproceedings Konferenzbeitrag | 17-Oct-2022 |
| 10 | | 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 |
| 11 |  | Lemmel, Julian ; Babaiee, Zahra ; Kleinlehner, Marvin ; Majic, Ivan ; Neubauer, Philipp ; Scholz, Johannes ; Grosu, Radu ; Neubauer, Sophie | Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data | Inproceedings Konferenzbeitrag | 27-Jun-2022 |
| 12 | | Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Probabilistic Hyperproperties with Rewards | Inproceedings Konferenzbeitrag | 20-May-2022 |
| 13 | | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Information-flow Interfaces | Inproceedings Konferenzbeitrag | 29-Mar-2022 |
| 14 | | Wilke, Lukas ; Dobe, Oyendrila ; Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Probabilistic Hyperproperties with Rewards | Konferenzbeitrag Inproceedings | 2022 |
| 15 | | Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura | Moment-based analysis of Bayesian network properties | Artikel Article | 2022 |
| 16 | | Neufeld, Emery | Reinforcement Learning Guided by Provable Normative Compliance | Konferenzbeitrag Inproceedings | 2022 |
| 17 | | Kirner, Raimund ; Puschner, Peter ; Unger, Herwig ; Schaible Marcel | Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten | Inproceedings Konferenzbeitrag | 2022 |
| 18 | | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata | On Normative Reinforcement Learning via Safe Reinforcement Learning | Inproceedings Konferenzbeitrag | 2022 |
| 19 | | Abate, Alessandro ; Blom, Henk ; Delicaris, Joanna ; Haesaert, Sofie ; Hartmanns, Arnd ; van Huijgevoort, Birgit ; Lavaei, Abolfazl ; Ma, Hao ; Niehage, Mathis ; Remke, Anne ; Schön, Oliver ; Schupp, Stefan ; Soudjani, Sadegh ; Willemsen, Lisa ; Frehse, Goran ; Matthias Althoff ; Schoitsch, Erwin ; Jeremie Guiochet | ARCH-COMP22 Category Report: Stochastic Models | Inproceedings Konferenzbeitrag | 2022 |
| 20 | | Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav | Solving Invariant Generation for Unsolvable Loops | Inproceedings Konferenzbeitrag | 2022 |
