Radu Grosu
Univ.Prof. Dipl.-Ing. Dr.rer.nat.
Research Focus
- Computer Engineering: 100%
Research Areas
- Modelling, Control, Cyber-Physical Systems, Verification, Analysis, Abstraction, Stochastic Model Checking, Compositional Reasoning, Modelling, Analysis and Control of Cardiac-Cell Networks
About
research interests include modeling, analysis and control of cyber-physical and biological systems and application focus includes green operating systems, mobile ad-hoc networks, automotive systems, the Mars rover, cardiac-cell networks and genetic regulatory networks.
Roles
-
Head of Research Unit
Cyber-Physical Systems, E191-01 -
Full Professor
Cyber-Physical Systems, E191-01
Contact
- radu.grosu@tuwien.ac.at
- +43-1-58801-18210
- Treitlstrasse 3, Room DE0340
- vCard from TISS
Courses
2022W
- Bachelor Thesis for Computer Science and Business Informatics / 182.715 / PR
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Practical Project in Computer Engineering / 182.716 / PR
- Project Computer Engineering / 182.762 / PR
- Research Seminar LogiCS / 184.767 / SE
- Scientific Project Computer Engineering / 182.761 / PR
- Seminar Computer Engineering / 182.760 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
- Seminar for PhD students / 182.008 / SE
- Stochastic Foundations of Cyber-Physical Systems / 182.763 / VU
2023S
- Autonomous Racing Cars / 191.119 / VU
- Bachelor Thesis for Computer Science and Business Informatics / 182.715 / PR
- Practical Project in Computer Engineering / 182.716 / PR
- Project Computer Engineering / 182.762 / PR
- Research Seminar LogiCS / 184.767 / SE
- Scientific Project Computer Engineering / 182.761 / PR
- Seminar Computer Engineering / 182.760 / SE
- Seminar for PhD students / 182.008 / SE
Projects
-
EdgeAI: Technologies for Optimized Performance - Embedded Processing
2022 – 2025 / Austrian Research Promotion Agency (FFG) -
ULTRA-ENERGY EFFICIENT AND SECURE NEUROMORPHIC SENSING AND PROCESSING AT THE ENDPOINT
2022 – 2025 / European Commission -
Autonomous-Driving Examiner
2020 – 2023 / Austrian Research Promotion Agency (FFG) -
Personalised Medicine: Multidisciplinary Research Towards IM
2020 – 2023 / Austrian Science Fund (FWF) -
Automated Design-Operation Continuum Methods for Cyber-Physical Systems of Systems
2020 – 2023 / European Commission -
Development of a cloud-based prototype for smart / indoor farming applications
2020 – 2021 / Forschung Burgenland GmbH -
Advanced Sensor and Data Analysis Application for Robotic Arm Systems
2019 – 2021 / Mechatronic Systemtechnik Gmbh -
Aggregate Farming in the Cloud
2018 – 2021 / Austrian Research Promotion Agency (FFG) -
Integrated Development 4.0
2018 – 2021 / European Commission -
COCO: Control Equivalence for Cyber-Physical Models
2018 – 2020 / Austrian Science Fund (FWF) -
Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circiuts
2013 – 2018 / Austrian Science Fund (FWF) -
Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems
2013 – 2016 / European Commission -
Model-based Design of Secure Cyber-Physical Systems
2013 – 2016 / European Commission
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
2022
- Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing / A. Brunnbauer, L. Berducci, A. Brandstätter, M. Lechner, R. Hasani, D. Rus, R. Grosu / accepted as talk for: IEEE International Conference on Robotics and Automation, Philadelphia (PA), USA; 2022-05-23 - 2022-05-27; in: "0", (2022)
- DeepSTL - From English Requirements to Signal Temporal Logic / J. He, E. Bartocci, D. Nickovic, H. Isakovic, R. Grosu / accepted as talk for: International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA; 2022-05-21; in: "44th International Conference on Software Engineering (ICSE 2022)", (2022)
- GoTube: Scalable Statistical Verification of Continuous-Depth Models / S. Grünbacher, M. Lechner, R. Hasani, D. Rus, T. Henzinger, S. Smolka, R. Grosu / accepted as talk for: 36th AAAI Conference on Artificial Intelligence (AAAI-22), Vancouver; 2022-02-22 - 2022-03-01; in: "Proceedings of the 36th AAAI Conference on Artificial Intelligence", IEEE (ed.); Vol. 36 (2022)
2021
- A Distributed Simplex Architecture for Multi-agent Systems / M. Usama, S. Stoller, R. Grosu, S. Roy, A. Damare, S. Smolka / Talk: Symposium on Dependable Software Engineering, 2021, Beijing, China; 2021-11-25 - 2021-11-27; in: "Symposium on Dependable Software Engineering", Springer, 13071 (2021), 239 - 257
- Collision-Free 3D Flocking Using the Distributed Simplex Architecture / M. Usama, S. Stoller, R. Grosu, S. Smolka / Talk: Formal Methods in Outer Space, Rhodes, Greece; 2021-10-25 - 2021-10-31; in: "Formal Methods in Outer Space", Springer, 13063 (2021), ISBN: 978-3-030-87347-9; 147 - 156
- Lumpability for Uncertain Continuous-Time Markov Chains / L. Cardelli, R. Grosu, K.G. Larsen, M. Tribastone, M. Tschaikowski, A. Vandin / Talk: Proc. of QEST'21: the International Conference on Quantitative Evaluation of SysTems, Paris, France; 2021-08-23 - 2021-08-27; in: "Proc. of Quest'21, the 18th International Conference on Quantitative Evaluation of Systems", Springer, LNCS, (2021), 391 - 409
- On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification / Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu / Poster: 2021 International Conference on Machine Learning (ICML), Virtual; 2021-07-18 - 2021-07-24; in: "International Conference on Machine Learning", Proceedings of Machine Learning Research, Volume 139, Virtual (2021), 478 - 489
- Adversarial Training is Not Ready for Robot Learning / M. Lechner, R. Hasani, R. Grosu, D. Rus, T. Henzinger / Talk: 2021 IEEE International Conference on Robotics and Automation (ICRA 2021), Xi'an, China; 2021-05-31 - 2021-06-04; in: "In Proc. of ICRA'21, the International Conference on Robotics and Automation", IEEE, (2021), ISBN: 978-1-7281-9077-8; 1 - 8
- Distributed Control for Flocking Maneuvers Via Acceleration-Weighted Neighborhooding / S. Roy, M. Usama, R. Grosu, S. Smolka, S. Stoller / Talk: Proceedings of the American Control Conference, Online; 2021-05-26 - 2021-05-28; in: "Proc. of ACC'21, the American Control Conference", IEEE, (2021), ISBN: 978-1-6654-4197-1; 1 - 6
- Liquid Time-Constant Networks / R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu / Talk: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Conference; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21)", Proceedings of the AAAI Conference on Artificial Intelligence, 35/9 (2021), 7657 - 7666
- On The Verification of Neural ODEs with Stochastic Guarantees / S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu / Talk: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Online; 2021-02-02 - 2021-02-09; in: "Proceedings of the AAAI Conference on Artificial Intelligence", Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35 No. 13: AAAI-21 Technical Tracks 13 (2021), 11525 - 11535
- Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem / H. Isakovic, S. Dangl, Z. Tucakovic, R. Grosu / in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)", IEEE, 2021, 1391 - 1396
- QoS for Dynamic Deployment of IoT Services / H. Isakovic, L. L. Ferreira, I. Okic, A. Dukkon, Z. Tucakovic, R. Grosu / in: "2021 22nd IEEE International Conference on Industrial Technology (ICIT)", IEEE, 2021, 1144 - 1151
2020
- Lagrangian Reachtubes: The Next Generation / S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu / Talk: 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea (South); 2020-12-14 - 2020-12-18; in: "Proceedings of the 59th IEEE Conference on Decision and Control (CDC)", IEEE (ed.); IEEE, (2020), ISSN: 2576-2370; 1556 - 1563
- An Energy Sustainable CPS/IoT Ecosystem / H. Isakovic, E. Azpiazu Crespo, R. Grosu / Talk: 1st EAI International Conference on Intelligent Edge Processing for the IoT Era, Braga; 2020-12-02 - 2020-12-04; in: "Edge IoT", Springer, (2020), 305 - 322
- A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits / R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu / Talk: 2020 International Conference on Machine Learning (ICML), Virtual; 2020-07-13 - 2020-07-18; in: "Proceedings of machine learning research, Volume 119: International Conference on Machine Learning (ICML)", (2020), 4082 - 4093
- Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme / M. Lechner, R. Hasani, D. Rus, R. Grosu / Talk: 2020 IEEE International Conference on Robotics and Automation (ICRA), Virtual - Paris France; 2020-05-31; in: "2020 IEEE International Conference on Robotics and Automation (ICRA)", (2020), 5446 - 5452
- Neural simplex architecture / D. Phan, R. Grosu, N. Jansen, N. Paoletti, S. Smolka, S. Stoller / Talk: NASA Formal Methods (NFM), virtuell; 2020-05-11 - 2020-05-15; in: "Neural simplex architecture", Springer, . (2020), ISBN: 978-3-030-55754-6; 97 - 114
- Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / Talk: FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; 2020-04-25 - 2020-04-30; in: "Neural Flocking: MPC-based Supervised Learning of Flocking Controllers", Springer, . (2020), ISBN: 978-3-030-45231-5; 1 - 16
- Neural Circuit Policies Enabling Auditable Autonomy / M. Lechner, R. Hasani, A. Amini, T. Henzinger, D. Rus, R. Grosu / Nature Machine Intelligence, 2 (2020), 642 - 652
- V-Formation via Model Predictive Control / R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang / ArXiv, . (2020), 33 pages
- ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks / R. Grosu / ArXiv, . (2020), 9 pages
- Learning Distributed Controllers for V-Formation / S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / ArXiv, . (2020), 10 pages
- Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule / X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, R. Grosu / Multidisciplinary Digital Publishing Institute (MDPI), . (2020), 22(7); 25 pages
- Lagrangian Reachtubes: The Next Generation / S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu / ArXiv, . (2020)
- On The Verification of Neural ODEs with Stochastic Guarantees / S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu / ArXiv, . (2020), 12 pages
- A Distributed Simplex Architecture for Multi-Agent Systems / U. Mehmood, S. Stoller, R. Grosu, S. Roy, A. Damare / ArXiv, . (2020), 17 pages
2019
- Sensyml: Simulation Environment for large-scale IoT Applications / H. Isakovic, R. Grosu, B. Wally, T. Rausch, S. Dustdar, G. Kappel, D. Ratasich, V. Bisanovic / Talk: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal; 2019-10-14 - 2019-10-18; in: "IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society", IEEE Xplore, (2019), ISBN: 978-1-7281-4878-6; 3024 - 3030
- Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary; 2019-07-14 - 2019-07-19; in: "2019 IEEE International Joint Conference on Neural Networks (IJCNN)", (2019), ISSN: 2161-4407; 1 - 8
- CPS/IoT Ecosystem: Indoor Vertical Farming System / H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", IEEE Xplore, (2019), ISSN: 0747-668x; 47 - 52
- Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / C. Hirsch, E. Bartocci, R. Grosu / Talk: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; 2019-06-19 - 2019-06-21; in: "2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT)", (2019), ISSN: 0747-668x; 97 - 102
- Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time / D. Ratasich, M. Platzer, R. Grosu, E. Bartocci / Talk: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; 2019-06-16 - 2019-06-20; in: "2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)", IEEE, (2019), 23 - 32
- Designing Worm-inspired Neural Networks for Interpretable Robotic Control / M. Lechner, R. Hasani, Z. Zimmer, T. Henzinger, R. Grosu / Talk: 2019 International Conference on Robotics and Automation (ICRA), Montreal, Canada; 2019-05-20 - 2019-05-24; in: "Robotics and Automation (ICRA), IEEE International Conference on", (2019), 87 - 94
- A Machine Learning Suite for Machine Components´ Health-Monitoring / R. Hasani, G. Wang, R. Grosu / Talk: AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii, USA; 2019-01-29 - 2019-01-31; in: "33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019", (2019), ISSN: 2374-3468; 9472 - 9477
- Statistical model checking / A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu / in: "Computing and Software Science", Springer LNCS, 2019, 478 - 504
- From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky / Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
- A generative neural network model for the quality prediction of work in progress products / G. Wang, A. Ledwoch, R. Hasani, R. Grosu, A. Brintrup / Applied Soft Computing, 85 (2019), ##
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans / A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka / Theoretical Computer Science, . (2019), 765; 158 - 169
- Under the Hood of a Stand-Alone Lagrangian Reachability Tool / S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu / EPiC Series in Computing, . (2019), 61; 211 - 219
- Quantitative Regular Expressions for Arrhythmia Detection / H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), 5; 1586 - 1597
- Parallel reachability analysis of hybrid systems in XSpeed / A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu / International Journal on Software Tools for Technology Transfer, 21 (2019), 1; 401 - 423
- Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems / A. Lukina, A. Tiwari, S. Smolka, R. Grosu / in: "SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing", Association for Computing Machinery, New YorkNYUnited States, 2019, ISBN: 978-1-4503-5933-7, ##
- A Nonparametric Bayesian Model for Sparse Temporal Multigraphs / E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson / ArXiv, . (2019), 12 pages
- Sequential Edge Clustering in Temporal Multigraphs / E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson / ArXiv, . (2019), 6 pages
- Neural Simplex Architecture / D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller / ArXiv, . (2019)
- Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari / ArXiv, . (2019)
- A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems / D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci / IEEE Access, 7 (2019), 1; 24 pages
2018
- Tight Continuous-Time Reachtubes for Lagrangian Reachability / J. Cyranka, A. Islam, S. Smolka, S. Gao, R. Grosu / Talk: 57th IEEE Conference on Decision and Control, Miami, Florida, USA; 2018-12-17 - 2018-12-19; in: "57th IEEE Conference on Decision and Control", IEEE, 2018 IEEE Conference on Decision and Control (CDC) (2018), ISSN: 2576-2370; 6854 - 6861
- A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks / H. Mahyar, R. Hasheminezhad, E. Ghalebi, R. Grosu, H. Stanley / Talk: COMPLEX NETWORKS 2018: 7th International Conference on Complex Networks and Their Applications, Cambridge, United Kingdom; 2018-12-11 - 2018-12-13; in: "Complex Networks and Their Applications VII", Springer, (2018), ISBN: 978-3-030-05413-7; 91 - 103
- Generative Adversarial Networks for Clustering Semiconductor Wafer Maps / H. Mahyar, P. Tulala, H. Rabiee, R. Grosu / Poster: ML for Systems Workshop at NIPS 2018, Montreal, Canada; 2018-12-08; in: "Proc. of ML for Systems Workshop", ML for Systems, (2018)
- Dynamic Network Model from Partial Observations / E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec / Poster: Neural Information Processing Systems (NIPS 2018), Montreal, Canada; 2018-12-03 - 2018-12-08; in: "Advances in Neural Information Processing Systems 31 (NIPS 2018)", Advances in Neural Information Processing Systems 31, (2018)
- Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus / Talk: Workshop on Interpretability and Robustness in Audio, Speech, and Language (IRASL) at NIPS 2018, Montreal, Canada; 2018-12-02 - 2018-12-09; in: "Proceedings of the NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop", NIPS 2018, (2018)
- Production Tests Coverage Analysis in the Simulation Environment / N. Manjunath, D. Haerle, C. Manthey, M. Väänänen, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, R. Grosu, D. Nickovic / Talk: International Test Conference, Phoenix, Arizona, USA; 2018-10-28 - 2018-11-02; in: "ITC'18, the International Test Conference", IEEE, 2018 IEEE International Test Conference (ITC) (2018), ISSN: 2378-2250; 1 - 7
- Neural State Classification for Hybrid Systems / D. Phan, N. Paoletti, T. Zhang, R. Grosu, S. Smolka, S. Stoller / Talk: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; 2018-10-07 - 2018-10-10; in: "Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis", Springer, 11138 (2018), ISBN: 978-3-030-01089-8; 422 - 440
- CPS/IoT Ecosystem: A Platform for Research and Education / H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu / Talk: 14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; 2018-10-04 - 2018-10-05; in: "Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)", R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, (2019), ISBN: 978-3-030-23702-8
- Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments / M. Lechner, R. Hasani, R. Grosu / Talk: Workshop on Explainable Artificial Intelligence (XAI2018) at IJCAI-ECAI 2018, Stockholm, Sweden; 2018-07-13 - 2018-07-18; in: "Proceedings of the 2nd Workshop on Explainable Artificial Intelligence", IJCAI-ECAI 2018, (2018), 79 - 84
- Unsupervised Wafermap Patterns Clustering via Variational Autoencoders / P. Tulala, H. Mahyar, E. Ghalebi, R. Grosu / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brazil; 2018-07-08 - 2018-07-13; in: "Proc. of IJCNN 2018: International Joint Conference on Neural Networks", IEEE, (2018), ISSN: 2161-4407; 1 - 8
- Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems / R. Hasani, B. Kulnik, D. Haerle, R. Grosu / Talk: 9th International Workshop on Frontiers in Analog CAD at ASYNC 2018, Vienna, Austria; 2018-05-16 - 2018-05-17; in: "Proceedings of the 9th International Workshop on Frontiers in Analog CAD", (2018)
- A multi-bias recurrent neural network for modeling milling sensory data / G. Wang, M. Ben Sassi, R. Grosu / Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "Proc. of ICPS 2018: 1st IEEE International Conference on Industrial Cyber-Physical Systems", IEEE, (2018), ISBN: 978-1-5386-6531-2; 71 - 78
- Self-Healing by Property-Guided Structural Adaptation / D. Ratasich, T. Preindl, K. Selyunin, R. Grosu / Talk: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; 2018-05-15 - 2018-05-18; in: "1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018)", IEEE, (2018), ISBN: 978-1-5386-6531-2; 199 - 205
- Resilient Control and Safety for Cyber-Physical Systems / A. Lukina, A. Tiwari, S. Smolka, L. Esterle, J. Yang, R. Grosu / Talk: 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal; 2018-04-10; in: "3rd Workshop on Monitoring and Testing of Cyber-Physical Systems", IEEE, (2018), 16 - 17
- Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements / C. Hirsch, M. Redl, R. Grosu / Talk: Workshop on Smart Farming, Porto, Portugal; 2018-04-10
- Declarative vs Rule-based Control for Flocking Dynamics / U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang, S. Smolka / Talk: 33rd ACM Symposium On Applied Computing, Pau, France; 2018-04-09 - 2018-04-13; in: "Proc. of SAC'18, the 33rd ACM Symposium On Applied Computing", ACM, (2018), ISBN: 978-1-4503-5191-1; 816 - 823
- A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform / H. Isakovic, R. Grosu / in: "Solutions for Cyber-Physical Systems Ubiquity", 1; issued by: IGI Global; IGI Global, Hershey PA, USA 17033, 2018, (invited), ISBN: 9781522528456, 169 - 194
- Identifying central nodes for information flow in social networks using compressive sensing / H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H. Rabiee / Social Network Analysis and Mining, 8 (2018), 33
- c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans / P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson / Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018), 1758
- Quantitative monitoring of STL with edit distance / S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic / Formal Methods in System Design, 53 (2018), 1; 83 - 112
- An algebraic framework for runtime verification / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (2018), 11; 2233 - 2243
- OpenUAV: A UAV Testbed for the CPS and Robotics Community / M. Schmittle, A. Lukina, L. Vacek, J. Das, C. P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, V. Kumar / in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 130 - 139
- Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO / A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C. P. Buskirk, J. Sztipanovits, R. Grosu, V. Kumar / in: "The 9th ACM/IEEE International Conference on Cyber-Physical Systems", IEEE Computer Society, Porto, Portugal, 2018, 353 - 354
2017
- Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording / M. Fuchs, Z. Zimmer, R. Grosu, R. Hasani / Poster: Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-08; in: "Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 6 pages
- A Simplified Cell Network for the Simulation of C. elegans´ Forward Crawling / D. Lung, S. Larson, A. Palyanov, S. Khayrulin, P. Gleeson, Z. Zimmer, R. Grosu, R. Hasani / Poster: Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-08; in: "Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 5 pages
- Worm-level Control through Search-based Reinforcement Learning / M. Lechner, R. Grosu, R. Hasani / Talk: Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; 2017-12-04 - 2017-12-09; in: "Proceedings of the Deep Reinforcement Learning Symposium at the 31st Neural Information Processing Systems (NIPS) Conference, 2017", (2017), 5 pages
- Attacking the V: On the Resiliency of Adaptive-Horizon MPC / A. Tiwari, S. Smolka, L. Esterle, A. Lukina, J. Yang, R. Grosu / Talk: 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, Pune, India; 2017-10-03 - 2017-10-06; in: "Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis", Springer International Publishing, 10482, Cham (2017), ISBN: 978-3-319-68166-5; 446 - 462
- Quantitative Regular Expressions for Arrhythmia Detection Algorithms / H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu / Talk: CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; 2017-09-27 - 2017-09-29; in: "Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology", Springer, 10545 (2017), 23 - 39
- A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC2 / H. Isakovic, R. Grosu, D. Ratasich, J. Kadlec, Z. Pohl, S. Kerrison, K. Georgiou, N. Druml, L. Tadros, F. Christiansen, E. Wheatley, B. Farkas, R. Meyer, M. Berekovic / Talk: SAFECOMP 2017 DECSoS, Trento (invited); 2017-09-12 - 2017-09-15; in: "Computer Safety, Reliability, and Security", Lecture Notes in Computer Science / Springer, Volume 10486 (2017), ISBN: 978-3-319-66284-8; 124 - 140
- Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans / R. Hasani, M. Fuchs, V. Beneder, R. Grosu / Talk: Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; 2017-08-21; in: "Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017", (2017), 5 pages
- SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans / R. Hasani, V. Beneder, M. Fuchs, D. Lung, R. Grosu / Talk: Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, Sydney, Australia; 2017-08-10; in: "Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017", (2017), 5 pages
- Lagrangian Reachabililty / J. Cyranka, A. Islam, G. Byrne, P. Jones, S. Smolka, R. Grosu / Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 - 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification", Springer, 10426 (2017), ISBN: 978-3-319-63387-9; 379 - 400
- Runtime Monitoring with Recovery of the SENT Communication Protocol / K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu / Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; 2017-07-24 - 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification", Springer, 10426 (2017), 336 - 355
- A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems / D. Phan, J. Yang, M. Clark, R. Grosu, J. Schierman, S. Smolka, S. Stoller / Talk: Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, Zaragoza, Spain; 2017-06-25 - 2017-06-30; in: "Application of Concurrency to System Design (ACSD), 2017 17th International Conference on", (2017), ISBN: 978-1-5386-2868-3; 49 - 58
- Towards Deterministic and Stochastic Computations with Izhikevich Spiking Neuron Model / R. Hasani, G. Wang, R. Grosu / Talk: IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; 2017-06-14 - 2017-06-17; in: "Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence", Springer, 10305 (2017), ISBN: 978-3-319-59146-9; 392 - 402
- Computing with Biophysical and Hardware-efficient Neural Models / K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu / Talk: IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; 2017-06-14 - 2017-06-17; in: "Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence", Springer, 10305 (2017), 535 - 547
- A Self-Healing Framework for Building Resilient Cyber-Physical Systems / D. Ratasich, O. Höftberger, H. Isakovic, M. Shafique, R. Grosu / Talk: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 2017-05-16 - 2017-05-18; in: "Real-Time Distributed Computing (ISORC), 2017 IEEE 20th International Symposium on", IEEE, (2017), ISBN: 978-1-5386-1574-4; 133 - 140
- Compositional Neural-Network Modeling of Complex Analog Circuits / R. Hasani, D. Haerle, C. Baumgartner, A. Lomuscio, R. Grosu / Talk: IEEE International Joint Conference on Neural Networks (IJCNN), Anchorage, Alaska, USA; 2017-05-14 - 2017-05-19; in: "Proceedings of the 2017 International Joint Conference on Neural Networks", (2017), ISSN: 2161-4407; 2235 - 2242
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans / A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu / Talk: TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; 2017-04-22 - 2017-04-29; in: "Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 10206 (2017), 286 - 302
- A Novel Bayesian Network-Based Fault Prognostic Method for Semiconductor Manufacturing Process / G. Wang, R. Hasani, Z. Yungang, R. Grosu / Talk: 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017), Toronto, ON, Canada; 2017-03-22 - 2017-03-25; in: "Proceedings of the 2017 Annual IEEE Industrial Electronics Society´s 18th International Conference on Industrial Technology (ICIT 2017)", IEEE, (2017), ISBN: 978-1-5090-5321-6; 1450 - 1454
- Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study / T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu / in: "Solutions for Cyber-Physical Systems Ubiquity", 1; N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); issued by: IGI Global; IGI Global, Hershey, Pennsylvania, USA, 2017, ISBN: 9781522528456, 137 - 168
- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles / D. Phan, J. Yang, R. Grosu, S. Smolka, S. Stoller / Formal Methods in System Design, 51 (2017), 1; 62 - 86
- Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability / A. Murthy, A. Islam, S. Smolka, R. Grosu / Nonlinear Analysis: Hybrid Systems, 23 (2017), 2; 272 - 286
- Gaussian convex evidence theory for ordered and fuzzy evidence fusion / Y. Zhu, H. Duan, X. Wang, B. Zhou, G. Wang, R. Grosu / Journal of Intelligent & Fuzzy Systems, 33 (2017), 5; 2843 - 2849
- ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks / G. Wang, M. Ben Sassi, R. Grosu / Canadian Journal of Electrical and Computer Engineering, 40 (2017), 3; 210 - 216
- A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres / Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, G. Wang / Sensors, 17 (2017), 9
2016
- Applying Runtime Monitoring for Automotive Electronic Development / K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 462 - 469
- Quantitative Monitoring of STL with Edit Distance / S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic / Talk: 7th International Conference on Runtime Verification, Madrid; 2016-12-23 - 2016-12-30; in: "Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings", Springer International Publishing, 10012 (2016), ISSN: 0302-9743; 201 - 218
- Parallel Reachability Analysis for Hybrid Systems / A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray / Talk: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 2016-11-18 - 2016-11-20; in: "Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016", (2016), 12 - 22
- Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks / G. Wang, R. Grosu / Talk: S2M'16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal; 2016-10-20 - 2016-10-22; in: "Proceedings of S2M'16, the International Conference on Sustaniable Smart Manufacturing", Taylor & Francis, (2016)
- Discrete Abstraction of Multiaffine Systems / H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T. Henzinger, Y. Jiang, C. Schilling / Talk: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Grenoble, France; 2016-10-20 - 2016-10-21; in: "Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings", Springer International Publishing, 9957 (2016), ISBN: 978-3-319-47151-8; 128 - 144
- The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems / T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, K. Selyunin / Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece (invited); 2016-10-10 - 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2; 371 - 379
- Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems / K. Kalajdzic, C. Jegourel, A. Legay, E. Bartocci, A. Lukina, S. Smolka, R. Grosu / Talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corfú, Greece; 2016-10-10 - 2016-10-14; in: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I", Springer International Publishing, 9952 (2016), ISBN: 978-3-319-47166-2; 46 - 61
- Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans / A. Islam, Q. Wang, R. M. Hasani, O. Balún, E. Clarke, R. Grosu, S. Smolka / Talk: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A.; 2016-10-07 - 2016-10-08; in: "18th IEEE International High-Level Design Validation and Test Workshop", IEEE, (2016), ISSN: 2471-7827; 170 - 177
- Investigations on the Nervous System of Caenorhabditis elegans / R. M. Hasani, L. Esterle, R. Grosu / Talk: Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt; 2016-09-27
- Bifurcation Analysis of Cardiac Alternans using Delta-Decidability / A. Islam, G. Byrne, S. Kong, E. Clarke, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka / Talk: CMSB 2016: 14th International Conference on Computational Methods in Systems Biology, Cambridge, UK; 2016-09-21 - 2016-09-23; in: "Proceedings of CMSB'16, the 14th International Conference on Computational Methods in Systems Biology", LNCS, Springer, Lecture Notes in Computer Science, Vol. 9859, Cambridge, UK (2016), ISBN: 978-3-319-45176-3; 132 - 146
- A simulation framework for IEEE 1588 / W. Wallner, A. Wasicek, R. Grosu / Talk: 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden; 2016-09-04 - 2016-09-09; in: "Proceedings of IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication", IEEE, (2016), ISSN: 1949-0313; 1 - 6
- Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks / R. M. Hasani, D. Haerle, R. Grosu / Talk: 12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal; 2016-06-27 - 2016-06-30; in: "Proc. of PRIME 2016: 12th conference on PhD research on microelectronics and electronics", IEEE, (2016), ISBN: 978-1-5090-0493-5; 1 - 4
- A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform / H. Isakovic, R. Grosu / Talk: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA; 2016-06-08 - 2016-06-10; in: "IEEE 25th International Symposium on Industrial Electronics (ISIE)", IEEE, (2016), ISSN: 2163-5145; 244 - 253
- Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden; 2016-04-14 - 2016-04-18; in: "Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition", IEEE Computer Society, (2016), ISBN: 978-3-9815-3707-9; 924 - 929
- Temporal Logic as Filtering / A. Rodionova, E. Bartocci, D. Nickovic, R. Grosu / Talk: Proceeding HSCC '16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna; 2016-04-12 - 2016-04-14; in: "Proceeding HSCC '16 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control", ACM, (2016), ISBN: 978-1-4503-3955-1; 11 - 20
- Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu / Talk: Design and Verification Conference and Exhibition, San Jose, USA; 2016-02-29 - 2016-03-03; in: "Design and Verification Conference and Exhibition", Online, (2016), 8 pages
- Cyber-physical systems: challenge of the 21st century / L. Esterle, R. Grosu / Elektrotechnik und Informationstechnik (invited), 133 (2016), 7; 299 - 303
2015
- Neural Programming: Towards Adaptive Control in Cyber-Physical Systems / K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu / Talk: 54th IEEE Conference on Decision and Control, Osaka, Japan; 2015-12-15 - 2015-12-18; in: "Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control", IEEE Computer Society, (2015), ISBN: 978-1-4799-7884-7; 6978 - 6985
- XSpeed: Accelerating Reachability Analysis on MultiCore Processors / R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu / Keynote Lecture: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 3 - 18
- Abstraction-based Parameter Synthesis for Multiaffine Systems / S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu / Talk: the 11th Haifa Verification Conference (HVC), Haifa, Israel; 2015-11-17 - 2015-11-19; in: "Proc. of HVC 2015: the 11th Haifa Verification Conference", LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4; 19 - 35
- Generic Sensor Fusion Package for ROS / D. Ratasich, B. Frömel, O. Höftberger, R. Grosu / Talk: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg; 2015-09-28 - 2015-10-02; in: "Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on", IEEE, (2015), 286 - 291
- Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments / D. Phan, J. Yang, D. Ratasich, R. Grosu, S. Smolka, S. Stoller / Talk: RV 2015, the 6th International Conference on Runtime Verification, Vienna; 2015-09-22 - 2015-09-25; in: "Runtime Verification, 6th International Conference (RV 2015)", Springer, 9333 (2015), ISBN: 978-3-319-23819-7; 201 - 215
- From Signal Temporal Logic to FPGA Monitors / S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic / Talk: 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; 2015-09-21 - 2015-09-23; in: "Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design", IEEE, (2015), 218 - 227
- Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals / A. Murthy, A. Islam, S. Smolka, R. Grosu / Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "HSCC 2015", ACM, (2015), ISBN: 978-1-4503-3433-4; 78 - 87
- SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems / I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta / Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; 2015-04-13 - 2015-04-15; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control", ACM, (2015), ISBN: 978-1-4503-3433-4; 189 - 198
- Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation / I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Theoretical Computer Science, 599 (2015), 34 - 46
2014
- Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems / R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump / Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proc. of HVC'14, the Haifa Verification Conference", (2014)
- Using Statistical Model Checking for Measuring Systems / R. Grosu, D. Peled, C. Ramakrishnan, S. Smolka, S. Stoller, J. Yang / Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation", (2014)
- Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control / I. Ariful, T. Deshpande, A. Murthy, E. Bartocci, S. Smolka, S. Stoller, R. Grosu / Talk: Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO), Chamonix, France; 2014-04-20 - 2014-04-24; in: "Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies", IARIA, (2014), ISBN: 978-1-61208-335-3; 52 - 58
- Compositionality Results for Cardiac Cell Dynamics / R. Grosu, A. Islam, A. Murthy, A. Girard, S. Smolka / Talk: HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol, Berlin; 2014-04-15 - 2014-04-17; in: "Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control", (2014), ISBN: 978-1-4503-2732-9; 243 - 252
- Cyber-Physical Systems: Theoretical and Practical Challenges / E. Bartocci, O. Höftberger, R. Grosu / ERCIM NEWS (invited), 2014 (2014), 97; 8 - 9
2013
- Runtime Verification with Particle Filtering / K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu / Talk: RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; 2013-09-24 - 2013-09-27; in: "Proc. of RV 2013, the Fourth International Conference on Runtime Verification", LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4; 149 - 166
- Abstraction-Based Guided Search for Hybrid Systems / S. Bogomolov, D. Donze, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle / Talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 - 2013-07-09; in: "SPIN", LNCS, Springer, 7976 (2013), 117 - 134
- Monitoring with uncertainty / E. Bartocci, R. Grosu / Keynote Lecture: HAS 2013, Rome, Italy (invited); 2013-03-17; in: "Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems", Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180; 4 pages
- Curvature Analysis of Cardiac Excitation Wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu / IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10 (2013), 2; 323 - 336
2012
- Approximate Bisimulations for Sodium Channel Dynamics / A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu / Talk: The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; 2012-10-03 - 2012-10-05; in: "Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology", LNCS / Springer, vol. 7605 (2012), ISBN: 978-3-642-33635-5; 267 - 287
- On Temporal Logic and Signal Processing / D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka / Talk: Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; 2012-10-03 - 2012-10-06; in: "Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis", LNCS/Springer, vol. 7561 (2012), ISBN: 978-3-642-33385-9; 92 - 106
- Adaptive Runtime Verification / E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster / Talk: RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; 2012-09-25 - 2012-09-28; in: "Proc. of RV 2012: the 3rd International Conference on Runtime Verification", LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743; 168 - 182
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx / S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski / Talk: CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA; 2012-07-07 - 2012-07-13; in: "Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification", LNCS / Springer, 7358 (2012), ISBN: 978-3-642-31423-0; 479 - 494
- InterAspect: aspect-oriented instrumentation with GCC / J. Seyster, K. Dixit, X. Huang, R. Grosu, K Havelund, S. Smolka, S. Stoller, E. Zadok / Formal Methods in System Design, 41 (2012), 3; 295 - 320
- Software monitoring with controllable overhead / X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. Smolka, S. Stoller, E. Zadok / International Journal on Software Tools for Technology Transfer, 14 (2012), 3; 327 - 347
2011
- Runtime Verification with State Estimation / S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok / Talk: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; 2011-09-27 - 2011-09-30; in: "RV 2011: Proc. of the 2nd International Conference on Runtime Verification", LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 978-3-642-29859-2; 193 - 207
- Curvature analysis of cardiac excitation wavefronts / A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu / Poster: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
- Toward real-time simulation of cardiac dynamics / E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka / Talk: CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; 2011-09-21 - 2011-09-23; in: "Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology", ACM, (2011), ISBN: 978-1-4503-0817-5; 103 - 112
- From Cardiac Cells to Genetic Regulatory Network / R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci / Talk: CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; 2011-07-14 - 2011-07-20; in: "CAV 2011: the 23rd International Conference on Computer Aided Verification", LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743; 396 - 411
- Model Repair for Probabilistic Systems / E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka / Talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken, Germany; 2011-03-26 - 2011-04-03; in: "Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)", LNCS / Springer, vol. 6605 (2011), ISBN: 978-3-642-19834-2; 326 - 340
Supervisions
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.
- Local Positioning System for Quadcopters / Master Thesis by A. Brandstätter / Supervisor: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; final examination: 2019-06-07
- Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network / Master Thesis by O. Balún / Supervisor: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; final examination: 2016-12-22
- Development of an Advanced Protection Concept for Automotive Wire Harnesses / Master Thesis by C. Gabriel / Supervisor: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; final examination: 2016-10-04
- Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems / Master Thesis by D. Ratasich / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29
- Intercommunication framework for autonomous real-time systems / Master Thesis by D. Macher / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-04-29
- Integrating probabilistic information of dynamic environment into maps for enhanced action planning / Master Thesis by S. Brugger / Supervisor: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; final examination: 2014-03-26