TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

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
Radu Grosu

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

Contact

2022W

2023S

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2022

  • Towards Drone Flocking Using Relative Distance Measurements / Brandstätter, A., Smolka, S. A., Stoller, S. D., Tiwari, A., & Grosu, R. (2022). Towards Drone Flocking Using Relative Distance Measurements. In Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (pp. 97–109). https://doi.org/10.1007/978-3-031-19759-8_7
  • Safe Policy Improvement in Constrained Markov Decision Processes / Berducci, L., & Grosu, R. (2022). Safe Policy Improvement in Constrained Markov Decision Processes. In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (pp. 360–381). Springer, Cham. https://doi.org/10.1007/978-3-031-19849-6_21 / Project: ADEX
  • DeepSTL / He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022). DeepSTL. In ICSE ’22: Proceedings of the 44th International Conference on Software Engineering (pp. 610–622). Association for Computing Machinery. https://doi.org/10.1145/3510003.3510171
  • Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing / Brunnbauer, A., Berducci, L., Brandstätter, A., Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2022). Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. In 2022 IEEE International Conference on Robotics and Automation (ICRA) (pp. 7513–7520). https://doi.org/10.1109/ICRA46639.2022.9811650

2021

  • Collision-Free 3D Flocking Using the Distributed Simplex Architecture / Usama, M., Stoller, S. D., Grosu, R., & Smolka, S. A. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. In Formal Methods in Outer Space (pp. 147–156). Springer. http://hdl.handle.net/20.500.12708/58661
  • Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding / Roy, S., Usama, M., Grosu, R., Smolka, S. A., & Stoller, S. D. (2021). Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. In 2021 American Control Conference (ACC). Proceedings of the American Control Conference, Online, International. IEEE. https://doi.org/10.23919/acc50511.2021.9483155
  • Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem / Isakovic, H., Dangl, S., Tucakovic, Z., & Grosu, R. (2021). Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). IEEE. https://doi.org/10.1109/icit46573.2021.9453496
  • A Distributed Simplex Architecture for Multi-agent Systems / Usama, M., Stoller, S. D., Grosu, R., Roy, S., Damare, A., & Smolka, S. A. (2021). A Distributed Simplex Architecture for Multi-agent Systems. In Dependable Software Engineering. Theories, Tools, and Applications (pp. 239–257). Springer. https://doi.org/10.1007/978-3-030-91265-9_13
  • Adversarial Training is Not Ready for Robot Learning / Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial Training is Not Ready for Robot Learning. In In Proc. of ICRA’21, the International Conference on Robotics and Automation (pp. 1–8). IEEE. http://hdl.handle.net/20.500.12708/55648
  • QoS for Dynamic Deployment of IoT Services / Isakovic, H., Ferreira, L. L., Okic, I., Dukkon, A., Tucakovic, Z., & Grosu, R. (2021). QoS for Dynamic Deployment of IoT Services. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). IEEE. https://doi.org/10.1109/icit46573.2021.9453670
  • On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification / Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. In International Conference on Machine Learning (pp. 478–489). Proceedings of Machine Learning Research. http://hdl.handle.net/20.500.12708/55625
  • Lumpability for Uncertain Continuous-Time Markov Chains / Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M., & Vandin, A. (2021). Lumpability for Uncertain Continuous-Time Markov Chains. In Quantitative Evaluation of Systems (pp. 391–409). Springer, LNCS. https://doi.org/10.1007/978-3-030-85172-9_21
  • On The Verification of Neural ODEs with Stochastic Guarantees / Grünbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On The Verification of Neural ODEs with Stochastic Guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 11525–11535). Proceedings of the AAAI Conference on Artificial Intelligence. http://hdl.handle.net/20.500.12708/58537
  • Liquid Time-Constant Networks / Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid Time-Constant Networks. In Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) (pp. 7657–7666). Proceedings of the AAAI Conference on Artificial Intelligence. http://hdl.handle.net/20.500.12708/55647

2020

2019

  • Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans / Islam, Md. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169. https://doi.org/10.1016/j.tcs.2018.02.005
  • A generative neural network model for the quality prediction of work in progress products / Wang, G., Ledwoch, A., Hasani, R. M., Grosu, R., & Brintrup, A. (2019). A generative neural network model for the quality prediction of work in progress products. Applied Soft Computing, 85(105683), 105683. https://doi.org/10.1016/j.asoc.2019.105683
  • Quantitative Regular Expressions for Arrhythmia Detection / Abbas, H., Rodionova, A., Mamouras, K., Bartocci, E., Smolka, S. A., & Grosu, R. (2019). Quantitative Regular Expressions for Arrhythmia Detection. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16(5), 1586–1597. https://doi.org/10.1109/tcbb.2018.2885274
  • A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems / Ratasich, D., Khalid, F., Geissler, F., Grosu, R., Shafique, M., & Bartocci, E. (2019). A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access, 7, 13260–13283. https://doi.org/10.1109/access.2019.2891969
  • Parallel reachability analysis of hybrid systems in XSpeed / Gurung, A., Ray, R., Bartocci, E., Bogomolov, S., & Grosu, R. (2019). Parallel reachability analysis of hybrid systems in XSpeed. International Journal on Software Tools for Technology Transfer, 21(4), 401–423. https://doi.org/10.1007/s10009-018-0485-6
  • Sequential Edge Clustering in Temporal Multigraphs / Ghalebi, E., Mayhar, H., Grosu, R., Taylor, G. W., & Williamson, S. A. (2019). Sequential Edge Clustering in Temporal Multigraphs. arXiv. https://doi.org/10.48550/arXiv.1905.11724
  • Neural Simplex Architecture / Phan, D., Paoletti, N., Grosu, R., Jansen, N., Smolka, S. A., & Stoller, S. D. (2019). Neural Simplex Architecture. arXiv. https://doi.org/10.48550/arXiv.1908.00528
  • Neural Flocking: MPC-based Supervised Learning of Flocking Controllers / Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2019). Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. arXiv. https://doi.org/10.48550/arXiv.1908.09813
  • A Nonparametric Bayesian Model for Sparse Temporal Multigraphs / Ghalebi, E., Mayhar, H., Grosu, R., Taylor, G. W., & Williamson, S. A. (2019). A Nonparametric Bayesian Model for Sparse Temporal Multigraphs. arXiv. https://doi.org/10.48550/arXiv.1910.05098
  • Under the Hood of a Stand-Alone Lagrangian Reachability Tool / Gruenbacher, S., Cyranka, J., Islam, M. A., Tschaikowski, M., Smolka, S., & Grosu, R. (2019). Under the Hood of a Stand-Alone Lagrangian Reachability Tool. EPiC Series in Computing. https://doi.org/10.29007/ns8p
  • Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems / Lukina, A., Tiwari, A., Smolka, S. A., & Grosu, R. (2019). Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. In SAC ’19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery. http://hdl.handle.net/20.500.12708/58143
  • Designing Worm-inspired Neural Networks for Interpretable Robotic Control / Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing Worm-inspired Neural Networks for Interpretable Robotic Control. In Robotics and Automation (ICRA), IEEE International Conference on (pp. 87–94). http://hdl.handle.net/20.500.12708/58142
  • Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. In 2019 International Joint Conference on Neural Networks (IJCNN). IEEE International Joint Conference on Neural Networks (IJCNN), Montréal, Québec, Canada, Austria. https://doi.org/10.1109/ijcnn.2019.8851954
  • A Machine Learning Suite for Machine Components' Health-Monitoring / Hasani, R., Wang, G., & Grosu, R. (2019). A Machine Learning Suite for Machine Components’ Health-Monitoring. 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 (pp. 9472–9477). http://hdl.handle.net/20.500.12708/58140
  • CPS/IoT Ecosystem: Indoor Vertical Farming System / Isakovic, H., Grosu, R., Fasching, A., & Punzenberger, L. (2019). CPS/IoT Ecosystem: Indoor Vertical Farming System. In 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT). 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien, EU. IEEE Xplore. https://doi.org/10.1109/isce.2019.8900974
  • Sensyml: Simulation Environment for large-scale IoT Applications / Isakovic, H., Grosu, R., Wally, B., Rausch, T., Dustdar, S., Kappel, G., Ratasich, D., & Bisanovic, V. (2019). Sensyml: Simulation Environment for large-scale IoT Applications. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019), Lisbon, Portugal, Portugal, EU. IEEE Xplore. https://doi.org/10.1109/iecon.2019.8927756
  • Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home / Hirsch, C., Bartocci, E., & Grosu, R. (2019). Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. In 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT). 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien, EU. https://doi.org/10.1109/isce.2019.8901012
  • Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time / Ratasich, D., Platzer, M., Grosu, R., & Bartocci, E. (2019). Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. In 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO). 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden, EU. IEEE. https://doi.org/10.1109/saso.2019.00013
  • CPS/IoT Ecosystem: A Platform for Research and Education / Isakovic, H., Ratasich, D., Hirsch, C., Platzer, M., Wally, B., Rausch, T., Nickovic, D., Krenn, W., Kappel, G., Dustdar, S., & Grosu, R. (2019). CPS/IoT Ecosystem: A Platform for Research and Education. In R. Chamberlain, W. Taha, & M. Törngren (Eds.), Cyber Physical Systems. Model-Based Design (pp. 206–213). Springer International Publishing. https://doi.org/10.1007/978-3-030-23703-5_12
  • Statistical model checking / Legay, A., Lukina, A., Traonouez, L. M., Yang, J., Smolka, S. A., & Grosu, R. (2019). Statistical model checking. In Computing and Software Science (pp. 478–504). Springer LNCS. http://hdl.handle.net/20.500.12708/30240
  • From Reactive Systems to Cyber-Physical Systems / From Reactive Systems to Cyber-Physical Systems. (2019). In E. Bartocci, R. Cleaveland, R. Grosu, & O. Sokolsky (Eds.), Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-030-31514-6

2018

  • c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans / Gleeson, P., Lung, D., Grosu, R., Hasani, R., & Larson, S. D. (2018). c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans. Philosophical Transactions of the Royal Society B: Biological Sciences, 373(1758), 20170379. https://doi.org/10.1098/rstb.2017.0379
  • Quantitative monitoring of STL with edit distance / Jakšić, S., Bartocci, E., Grosu, R., Nguyen, T., & Ničković, D. (2018). Quantitative monitoring of STL with edit distance. Formal Methods in System Design, 53(1), 83–112. https://doi.org/10.1007/s10703-018-0319-x
  • An algebraic framework for runtime verification / Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An algebraic framework for runtime verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11), 2233–2243. https://doi.org/10.1109/tcad.2018.2858460
  • Identifying central nodes for information flow in social networks using compressive sensing / Mahyar, H., Hasheminezhad, R., Ghalebi, E., Nazemian, A., Grosu, R., Movaghar, A., & Rabiee, H. R. (2018). Identifying central nodes for information flow in social networks using compressive sensing. Social Network Analysis and Mining, 8(33). https://doi.org/10.1007/s13278-018-0506-1
  • Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks / Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2018). Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. In Proceedings of the NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop. Workshop on Interpretability and Robustness in Audio, Speech, and Language (IRASL) at NIPS 2018, Montreal, Canada, Non-EU. NIPS 2018. http://hdl.handle.net/20.500.12708/57635
  • Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements / Hirsch, C., Redl, M., & Grosu, R. (2018). Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements. Workshop on Smart Farming, Porto, Portugal, EU. http://hdl.handle.net/20.500.12708/86817
  • A multi-bias recurrent neural network for modeling milling sensory data / Wang, G., Ben Sassi, M. A., & Grosu, R. (2018). A multi-bias recurrent neural network for modeling milling sensory data. In 2018 IEEE Industrial Cyber-Physical Systems (ICPS). 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg, Non-EU. IEEE. https://doi.org/10.1109/icphys.2018.8387640
  • Dynamic Network Model from Partial Observations / Ghalebi, E., Mirzasoleiman, B., Grosu, R., & Leskovec, J. (2018). Dynamic Network Model from Partial Observations. In Advances in Neural Information Processing Systems 31 (NIPS 2018). Neural Information Processing Systems (NIPS 2018), Montreal, Canada, Non-EU. Advances in Neural Information Processing Systems 31. http://hdl.handle.net/20.500.12708/57653
  • Unsupervised Wafermap Patterns Clustering via Variational Autoencoders / Tulala, P., Mahyar, H., Ghalebi, E., & Grosu, R. (2018). Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. In 2018 International Joint Conference on Neural Networks (IJCNN). IEEE International Joint Conference on Neural Networks (IJCNN), Montréal, Québec, Canada, Austria. IEEE. https://doi.org/10.1109/ijcnn.2018.8489422
  • A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks / Mahyar, H., Hasheminezhad, R., Ghalebi, E., Grosu, R., & Stanley, H. E. (2018). A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. In Studies in Computational Intelligence (pp. 91–103). Springer. https://doi.org/10.1007/978-3-030-05414-4_8
  • Generative Adversarial Networks for Clustering Semiconductor Wafer Maps / Mahyar, H., Tulala, P., Rabiee, H. R., & Grosu, R. (2018). Generative Adversarial Networks for Clustering Semiconductor Wafer Maps. In Proc. of ML for Systems Workshop. ML for Systems Workshop at NIPS 2018, Montreal, Canada, Non-EU. ML for Systems. http://hdl.handle.net/20.500.12708/57650
  • Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems / Hasani, R., Kulnik, B., Haerle, D., & Grosu, R. (2018). Artificial Intelligence Solutions for Verification of Analog and Mixed-Signal Smart Power Systems. In Proceedings of the 9th International Workshop on Frontiers in Analog CAD. 9th International Workshop on Frontiers in Analog CAD at ASYNC 2018, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/57636
  • Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments / Lechner, M., Hasani, R., & Grosu, R. (2018). Interpretable Neuronal Circuit Policies for Reinforcement Learning Environments. In Proceedings of the 2nd Workshop on Explainable Artificial Intelligence (pp. 79–84). IJCAI-ECAI 2018. http://hdl.handle.net/20.500.12708/57634
  • Declarative vs rule-based control for flocking dynamics / Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., Tiwari, A., Yang, J., & Smolka, S. A. (2018). Declarative vs rule-based control for flocking dynamics. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing. 33rd ACM Symposium On Applied Computing, Pau, France, EU. ACM. https://doi.org/10.1145/3167132.3167222
  • Neural State Classification for Hybrid Systems / Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A., & Stoller, S. D. (2018). Neural State Classification for Hybrid Systems. In Automated Technology for Verification and Analysis (pp. 422–440). Springer. https://doi.org/10.1007/978-3-030-01090-4_25
  • Production Tests Coverage Analysis in the Simulation Environment / Manjunath, N., Haerle, D., Manthey, C., Väänänen, M., Sabanal, S., Eichinger, H., Tauber, H., Machne, A., Grosu, R., & Nickovic, D. (2018). Production Tests Coverage Analysis in the Simulation Environment. In 2018 IEEE International Test Conference (ITC). International Test Conference, Phoenix, Arizona, USA, Non-EU. IEEE. https://doi.org/10.1109/test.2018.8624870
  • Tight Continuous-Time Reachtubes for Lagrangian Reachability / Cyranka, J., Islam, Md. A., Smolka, S. A., Gao, S., & Grosu, R. (2018). Tight Continuous-Time Reachtubes for Lagrangian Reachability. In 2018 IEEE Conference on Decision and Control (CDC). 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, Non-EU. IEEE. https://doi.org/10.1109/cdc.2018.8619647
  • OpenUAV: A UAV Testbed for the CPS and Robotics Community / Schmittle, M., Lukina, A., Vacek, L., Das, J., Buskirk, C. P., Rees, S., Sztipanovits, J., Grosu, R., & Kumar, V. (2018). OpenUAV: A UAV Testbed for the CPS and Robotics Community. In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE Computer Society. https://doi.org/10.1109/iccps.2018.00021
  • Resilient Control and Safety for Cyber-Physical Systems / Lukina, A., Tiwari, A., Smolka, S. A., Esterle, L., Yang, J., & Grosu, R. (2018). Resilient Control and Safety for Cyber-Physical Systems. In 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS). 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, Porto, Portugal, EU. IEEE. https://doi.org/10.1109/mt-cps.2018.00015
  • Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO / Lukina, A., Kumar, A., Schmittle, M., Singh, A., Das, J., Rees, S., Buskirk, C. P., Sztipanovits, J., Grosu, R., & Kumar, V. (2018). Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO. In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE Computer Society. https://doi.org/10.1109/iccps.2018.00050
  • Self-healing by property-guided structural adaptation / Ratasich, D., Preindl, T., Selyunin, K., & Grosu, R. (2018). Self-healing by property-guided structural adaptation. In 2018 IEEE Industrial Cyber-Physical Systems (ICPS). 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg, Non-EU. IEEE. https://doi.org/10.1109/icphys.2018.8387659
  • A Mixed-Criticality Integration in Cyber-Physical Systems / Isakovic, H., & Grosu, R. (2018). A Mixed-Criticality Integration in Cyber-Physical Systems. In Advances in Systems Analysis, Software Engineering, and High Performance Computing (pp. 169–194). IGI Global. https://doi.org/10.4018/978-1-5225-2845-6.ch007

2017

2016

  • Investigations on the Nervous System of Caenorhabditis elegans / M. Hasani, R., Esterle, L., & Grosu, R. (2016). Investigations on the Nervous System of Caenorhabditis elegans. Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/86397
  • Parallel reachability analysis for hybrid systems / Gurung, A., Kumar, D. A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India, Non-EU. https://doi.org/10.1109/memcod.2016.7797741
  • Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks / Wang, G., & Grosu, R. (2016). Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks. In Proceedings of S2M’16, the International Conference on Sustaniable Smart Manufacturing. S2M’16: the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal, EU. Taylor & Francis. http://hdl.handle.net/20.500.12708/56839
  • Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans / Islam, Md. A., Wang, Q., Hasani, R. M., Balun, O., Clarke, E. M., Grosu, R., & Smolka, S. A. (2016). Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. In 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT). 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT) 2016, Santa Cruz, California, U.S.A., Non-EU. IEEE. https://doi.org/10.1109/hldvt.2016.7748272
  • Efficient modeling of complex Analog integrated circuits using neural networks / Hasani, R. M., Haerle, D., & Grosu, R. (2016). Efficient modeling of complex Analog integrated circuits using neural networks. In 2016 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME). 12th Conference on PhD Research in Microelectronics and Electronics (PRIME) 2016, Lisbon, Portugal, EU. IEEE. https://doi.org/10.1109/prime.2016.7519486
  • Monitoring of MTL Specifications With IBM's Spiking-Neuron Model / Selyunin, K., Nguyen, T., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model. In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition (pp. 924–929). IEEE Computer Society. http://hdl.handle.net/20.500.12708/56706
  • A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform / Isakovic, H., & Grosu, R. (2016). A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform. In 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE). 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), Santa Clara, CA, USA, Non-EU. IEEE. https://doi.org/10.1109/isie.2016.7744897
  • Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability / Islam, Md. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2016). Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability. In Computational Methods in Systems Biology (pp. 132–146). LNCS, Springer. https://doi.org/10.1007/978-3-319-45177-0_9
  • A simulation framework for IEEE 1588 / Wallner, W., Wasicek, A., & Grosu, R. (2016). A simulation framework for IEEE 1588. In 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS). 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden, EU. IEEE. https://doi.org/10.1109/ispcs.2016.7579516
  • Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties / Selyunin, K., Nguyen, T., Basa, A.-D., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties. In Design and Verification Conference and Exhibition (p. 8). Online. http://hdl.handle.net/20.500.12708/56824
  • The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems / Nguyen, T., Bartocci, E., Ničković, D., Grosu, R., Jaksic, S., & Selyunin, K. (2016). The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (pp. 371–379). Springer International Publishing. https://doi.org/10.1007/978-3-319-47169-3_28
  • Discrete Abstraction of Multiaffine Systems / Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete Abstraction of Multiaffine Systems. In Hybrid Systems Biology (pp. 128–144). Springer International Publishing. https://doi.org/10.1007/978-3-319-47151-8_9
  • Feedback Control for Statistical Model Checking of Cyber-Physical Systems / Kalajdzic, K., Jegourel, C., Legay, A., Bartocci, E., Lukina, A., Smolka, S. A., & Grosu, R. (2016). Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (pp. 46–61). Springer International Publishing. https://doi.org/10.1007/978-3-319-47166-2_4
  • Temporal Logic as Filtering / Rodionova, A., Bartocci, E., Nickovic, D., & Grosu, R. (2016). Temporal Logic as Filtering. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Proceeding HSCC ’16 - the 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria. ACM. https://doi.org/10.1145/2883817.2883839
  • Quantitative Monitoring of STL with Edit Distance / Jakšić, S., Bartocci, E., Grosu, R., & Ničković, D. (2016). Quantitative Monitoring of STL with Edit Distance. In Runtime Verification (pp. 201–218). Springer International Publishing. https://doi.org/10.1007/978-3-319-46982-9_13
  • Applying Runtime Monitoring for Automotive Electronic Development / Selyunin, K., Nguyen, T., Bartocci, E., & Grosu, R. (2016). Applying Runtime Monitoring for Automotive Electronic Development. In Runtime Verification (pp. 462–469). Springer International Publishing. https://doi.org/10.1007/978-3-319-46982-9_30
  • Cyber-physical systems : challenge of the 21st century / Esterle, L., & Grosu, R. (2016). Cyber-physical systems : challenge of the 21st century. E & i Elektrotechnik Und Informationstechnik. https://doi.org/10.1007/s00502-016-0426-6

2015

  • XSpeed: Accelerating Reachability Analysis on Multi-core Processors / Rajarshi, R., Amit, G., Binayak, D., Bartocci, E., Bogomolov, S., & Grosu, R. (2015). XSpeed: Accelerating Reachability Analysis on Multi-core Processors. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 3–18). LNCS / Springer. https://doi.org/10.1007/978-3-319-26287-1_1
  • Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation / Ariful Islam, Md., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., Smolka, S. A., & Grosu, R. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599, 34–46. https://doi.org/10.1016/j.tcs.2014.03.018
  • SpaTeL / Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Gros, R., & Belta, C. (2015). SpaTeL. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, Non-EU. ACM. https://doi.org/10.1145/2728606.2728633
  • Neural Programming: Towards adaptive control in Cyber-Physical Systems / Selyunin, K., Ratasich, D., Bartocci, E., Islam, M. A., Smolka, S. A., & Grosu, R. (2015). Neural Programming: Towards adaptive control in Cyber-Physical Systems. In 2015 54th IEEE Conference on Decision and Control (CDC). 54th IEEE Conference on Decision and Control, Osaka, Japan, Non-EU. IEEE Computer Society. https://doi.org/10.1109/cdc.2015.7403319
  • Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment / Phan, D., Yang, J., Ratasich, D., Grosu, R., Smolka, S. A., & Stoller, S. D. (2015). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In Runtime Verification (pp. 201–215). Springer. https://doi.org/10.1007/978-3-319-23820-3_13
  • Generic sensor fusion package for ROS / Ratasich, D., Frömel, B., Höftberger, O., & Grosu, R. (2015). Generic sensor fusion package for ROS. In 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg, EU. IEEE. https://doi.org/10.1109/iros.2015.7353387
  • Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals / Murthy, A., Islam, Md. A., Smolka, S. A., & Grosu, R. (2015). Computing bisimulation functions using SOS optimization and            δ            -decidability over the reals. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA, Non-EU. ACM. https://doi.org/10.1145/2728606.2728609
  • From signal temporal logic to FPGA monitors / Jaksic, S., Bartocci, E., Grosu, R., Kloibhofer, R., Nguyen, T., & Nickovic, D. (2015). From signal temporal logic to FPGA monitors. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA, Non-EU. IEEE. https://doi.org/10.1109/memcod.2015.7340489
  • Abstraction-Based Parameter Synthesis for Multiaffine Systems / Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-Based Parameter Synthesis for Multiaffine Systems. In Hardware and Software: Verification and Testing (pp. 19–35). LNCS / Springer. https://doi.org/10.1007/978-3-319-26287-1_2

2014

  • Cyber-Physical Systems: Theoretical and Practical Challenges / Bartocci, E., Höftberger, O., & Grosu, R. (2014). Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM NEWS, 2014(97), 8–9. http://hdl.handle.net/20.500.12708/157429
  • Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control / Ariful, I., Deshpande, T., Murthy, A., Bartocci, E., Smolka, S. A., Stoller, S. D., & Grosu, R. (2014). Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control. In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (pp. 52–58). IARIA. http://hdl.handle.net/20.500.12708/55802
  • Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems / Grosu, R., Bogomolov, S., Frehse, G., Greitschus, M., Pasareanu, C., Podelski, A., & Strump, T. (2014). Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems. In Proc. of HVC’14, the Haifa Verification Conference. Haifa Verification Conference HVC 2014, Haifa, Isral, Non-EU. http://hdl.handle.net/20.500.12708/55828
  • Using Statistical Model Checking for Measuring Systems / Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D., & Yang, J. (2014). Using Statistical Model Checking for Measuring Systems. In Proc. of ISoLA’14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, EU. http://hdl.handle.net/20.500.12708/55827
  • Compositionality Results for Cardiac Cell Dynamics / Grosu, R., Islam, A., Murthy, A., Girard, A., & Smolka, S. A. (2014). Compositionality Results for Cardiac Cell Dynamics. In Proc. of HSCC’14, the 17th International Conference on Hybrid Systems: Computation and Control (pp. 243–252). http://hdl.handle.net/20.500.12708/55826

2013

  • Curvature Analysis of Cardiac Excitation Wavefronts / Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R. A., Cherry, E. M., Smolka, S. A., & Grosu, R. (2013). Curvature Analysis of Cardiac Excitation Wavefronts. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(2), 323–336. https://doi.org/10.1109/tcbb.2012.125
  • Monitoring with uncertainty / Bartocci, E., & Grosu, R. (2013). Monitoring with uncertainty. In Electronic Proceedings in Theoretical Computer Science (pp. 1–4). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.124.1
  • Abstraction-Based Guided Search for Hybrid Systems / Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T. T., Ladan, H., Podelski, A., & Wehrle, M. (2013). Abstraction-Based Guided Search for Hybrid Systems. In Model Checking Software (pp. 117–134). LNCS, Springer. https://doi.org/10.1007/978-3-642-39176-7_8
  • Runtime Verification with Particle Filtering / Kalajdzic, K., Bartocci, E., Stoller, S. D., Smolka, S. A., & Grosu, R. (2013). Runtime Verification with Particle Filtering. In Runtime Verification (pp. 149–166). LNCS/Springer. https://doi.org/10.1007/978-3-642-40787-1_9

2012

  • Software monitoring with controllable overhead / Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S. A., Stoller, S. D., & Zadok, E. (2012). Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer, 14(3), 327–347. https://doi.org/10.1007/s10009-010-0184-4
  • InterAspect: aspect-oriented instrumentation with GCC / Seyster, J., Dixit, K., Huang, X., Grosu, R., Havelund, K., Smolka, S. A., Stoller, S. D., & Zadok, E. (2012). InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design, 41(3), 295–320. https://doi.org/10.1007/s10703-012-0171-3
  • A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx / Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., & Podelski, A. (2012). A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. In Computer Aided Verification (pp. 479–494). LNCS / Springer. https://doi.org/10.1007/978-3-642-31424-7_35
  • On Temporal Logic and Signal Processing / Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. (2012). On Temporal Logic and Signal Processing. In Automated Technology for Verification and Analysis (pp. 92–106). LNCS/Springer. https://doi.org/10.1007/978-3-642-33386-6_9
  • Approximate Bisimulations for Sodium Channel Dynamics / Murthy, A., Ariful, I., Bartocci, E., Cherry, E., Fenton, F. H., Glimm, J., Smolka, S. A., & Grosu, R. (2012). Approximate Bisimulations for Sodium Channel Dynamics. In Computational Methods in Systems Biology (pp. 267–287). LNCS / Springer. https://doi.org/10.1007/978-3-642-33636-2_16
  • Adaptive Runtime Verification / Bartocci, E., Grosu, R., Karmarkar, A., Smolka, S. A., Stoller, S. D., & Seyster, J. (2012). Adaptive Runtime Verification. In Runtime Verification (pp. 168–182). LNCS / Springer. https://doi.org/10.1007/978-3-642-35632-2_18
  • Runtime Verification with State Estimation / Stoller, S. D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S. A., & Zadok, E. (2012). Runtime Verification with State Estimation. In Runtime Verification (pp. 193–207). LNCS / Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29860-8_15

2011

  • Model Repair for Probabilistic Systems / Bartocci, E., Grosu, R., Katsaros, P., Ramakrishnan, C. R., & Smolka, S. A. (2011). Model Repair for Probabilistic Systems. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 326–340). LNCS / Springer. https://doi.org/10.1007/978-3-642-19835-9_30
  • Curvature analysis of cardiac excitation wavefronts / Murthy, A., Bartocci, E., Fenton, F. H., Glimm, J., Gray, R., Smolka, S. A., & Grosu, R. (2011). Curvature analysis of cardiac excitation wavefronts. In Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB ’11. CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, EU. ACM. https://doi.org/10.1145/2037509.2037532
  • Toward real-time simulation of cardiac dynamics / Bartocci, E., Cherry, E., Glimm, J., Grosu, R., & Smolka, S. A. (2011). Toward real-time simulation of cardiac dynamics. In Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB ’11. CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, EU. ACM. https://doi.org/10.1145/2037509.2037525
  • From Cardiac Cells to Genetic Regulatory Networks / Grosu, R., Batt, G., Fenton, F. H., Glimm, J., Le Guernic, C., Smolka, S. A., & Bartocci, E. (2011). From Cardiac Cells to Genetic Regulatory Networks. In Computer Aided Verification (pp. 396–411). LNCS / Springer. https://doi.org/10.1007/978-3-642-22110-1_31

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2022

  • Towards dependable CPS/IoT ecosystem / Isakovic, H. (2022). Towards dependable CPS/IoT ecosystem [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.103104

2021

2020

2019

2018

2017

2016

2015

2014