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

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

Projects

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 – 2022 / 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