|
| | Preview | Author(s) | Title | Type | Issue Date |
| 161 | | 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 |
| 162 | | Bartocci, Ezio ; Beyer, Dirk ; Black, Paul | TOOLympics 2019: An Overview of Competitions in Formal Methods | Konferenzbeitrag Inproceedings | 2019 |
| 163 | | Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics | Konferenzbeitrag Inproceedings  | 2019 |
| 164 | | Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. | Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty | Konferenzbeitrag Inproceedings | 2019 |
| 165 | | Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles | International Competition on Runtime Verification (CRV) | Konferenzbeitrag Inproceedings | 2019 |
| 166 | | 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 |
| 167 | | Hirsch, Christian ; Bartocci, Ezio ; Grosu, Radu | Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home | Konferenzbeitrag Inproceedings | 2019 |
| 168 | | Isakovic, Haris ; Grosu, Radu ; Fasching, Alexander ; Punzenberger, Lukas | CPS/IoT Ecosystem: Indoor Vertical Farming System | Konferenzbeitrag Inproceedings | 2019 |
| 169 | | Puschner, Peter ; Kirner, Raimund | Interfacing to Time-Triggered Communication Systems | Konferenzbeitrag Inproceedings | 2019 |
| 170 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan | Automatic Failure Explanation in CPS Models | Konferenzbeitrag Inproceedings | 2019 |
| 171 | | Hirsch, Christian ; Redl, Markus ; Grosu, Radu | Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements | Präsentation Presentation | 2018 |
| 172 | | 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 |
| 173 | | Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea | Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | Konferenzbeitrag Inproceedings | 2018 |
| 174 | | Bartocci, Ezio | Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) | Konferenzbeitrag Inproceedings | 2018 |
| 175 | | Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes | Konferenzbeitrag Inproceedings | 2018 |
| 176 | | Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana | Parameter-Independent Strategies for pMDPs via POMDPs | Konferenzbeitrag Inproceedings | 2018 |
| 177 | | Mahyar, Hamidreza ; Tulala, Peter ; Rabiee, Hamid R. ; Grosu, Radu | Generative Adversarial Networks for Clustering Semiconductor Wafer Maps | Konferenzbeitrag Inproceedings | 2018 |
| 178 | | Mahyar, Hamidreza ; Hasheminezhad, Rouzbeh ; Ghalebi, Elahe ; Grosu, Radu ; Stanley, H. Eugene | A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks | Konferenzbeitrag Inproceedings | 2018 |
| 179 | | Ghalebi, Elahe ; Mirzasoleiman, Baharan ; Grosu, Radu ; Leskovec, Jure | Dynamic Network Model from Partial Observations | Konferenzbeitrag Inproceedings | 2018 |
| 180 | | Tulala, Peter ; Mahyar, Hamidreza ; Ghalebi, Elahe ; Grosu, Radu | Unsupervised Wafermap Patterns Clustering via Variational Autoencoders | Konferenzbeitrag Inproceedings | 2018 |
