|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | Beitrag in Tagungsband Inproceedings | 2019 |
| 102 | | Ratasich, Denise ; Platzer, Michael ; Grosu, Radu ; Bartocci, Ezio | Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time | Konferenzbeitrag Inproceedings | 2019 |
| 103 | | Isakovic, Haris ; Ratasich, Denise ; Hirsch, Christian ; Platzer, Michael ; Wally, Bernhard ; Rausch, Thomas ; Nickovic, Dejan ; Krenn, Willibald ; Kappel, Gerti ; Dustdar, Schahram ; Grosu, Radu | CPS/IoT Ecosystem: A Platform for Research and Education | Konferenzbeitrag Inproceedings  | 2019 |
| 104 | | Piho, Paul ; Margetiny, Filip ; Bartocci, Ezio ; Ribchester, Richard R. ; Hillston, Jane | Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting | Konferenzbeitrag Inproceedings | 2019 |
| 105 | | Bartocci, Ezio ; Beyer, Dirk ; Black, Paul | TOOLympics 2019: An Overview of Competitions in Formal Methods | Konferenzbeitrag Inproceedings | 2019 |
| 106 | | Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics | Konferenzbeitrag Inproceedings | 2019 |
| 107 | | Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. | Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty | Konferenzbeitrag Inproceedings | 2019 |
| 108 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan | Automatic Failure Explanation in CPS Models | Konferenzbeitrag Inproceedings | 2019 |
| 109 | | Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles | International Competition on Runtime Verification (CRV) | Konferenzbeitrag Inproceedings | 2019 |
| 110 | | Isakovic, Haris ; Grosu, Radu ; Wally, Bernhard ; Rausch, Thomas ; Dustdar, Schahram ; Kappel, Gerti ; Ratasich, Denise ; Bisanovic, Vanja | Sensyml: Simulation Environment for large-scale IoT Applications | Konferenzbeitrag Inproceedings | 2019 |
| 111 | | Hirsch, Christian ; Bartocci, Ezio ; Grosu, Radu | Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home | Konferenzbeitrag Inproceedings | 2019 |
| 112 | | Isakovic, Haris ; Grosu, Radu ; Fasching, Alexander ; Punzenberger, Lukas | CPS/IoT Ecosystem: Indoor Vertical Farming System | Konferenzbeitrag Inproceedings | 2019 |
| 113 | | Puschner, Peter ; Kirner, Raimund | Interfacing to Time-Triggered Communication Systems | Konferenzbeitrag Inproceedings | 2019 |
| 114 | | Fan, Chuchu ; Meng, Yu ; Maier, Jürgen ; Bartocci, Ezio ; Mitra, Sayan ; Schmid, Ulrich | Verifying nonlinear analog and mixed-signal circuits with inputs | Konferenzbeitrag Inproceedings | 2018 |
| 115 | | Bartocci, Ezio ; Falcone, Yliès | RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction) | Konferenzbeitrag Inproceedings | 2018 |
| 116 | | Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea | Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | Konferenzbeitrag Inproceedings | 2018 |
| 117 | | Bartocci, Ezio | Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) | Konferenzbeitrag Inproceedings | 2018 |
| 118 | | Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes | Konferenzbeitrag Inproceedings | 2018 |
| 119 | | Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana | Parameter-Independent Strategies for pMDPs via POMDPs | Konferenzbeitrag Inproceedings | 2018 |
| 120 | | Mahyar, Hamidreza ; Tulala, Peter ; Rabiee, Hamid R. ; Grosu, Radu | Generative Adversarial Networks for Clustering Semiconductor Wafer Maps | Konferenzbeitrag Inproceedings | 2018 |
