Online Publications

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Refereed Conference Papers

  • A. Brunnbauer, L. Berducci, A. Brandstätter, M. Lechner, R. Hasani, D. Rus, and R. Grosu. Latent Imagination Improves Real-World Deep Reinforcement Learning. In. Proc. of ICRA'22, the International Conference in Robotics and Automation, Philadelphia, USA, May, 2022.
  • J. He, E. Bartocci, D. Nickovic, H. Isakovic, and R. Grosu. From English to Signal Temporal Logic. In Proc. of ICSE'22, the 44th International Conference on Software Engineering, Pittsburgh, PA, USA, May, 2022. Abstract. Full paper.
  • S. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, and R. Grosu. GoTube: Scalable Statistical Verification of Continuous-Depth Models. In Proc. of AAAI'22, the 36th AAAI Conference on Artificial Intelligence, Vancouver, BC, Canada, February, 2022. Abstract. Full paper.
  • L. Cardelli, R. Grosu, K.G. Larsen, M. Tribastone, M. Tschaikowski and A. Vandin. Lumpability for Uncertain Continuous-Time Markov Chains. In Proc. of Quest'21, the 18th International Conference on Quantitative Evaluation of Systems, Paris, France, August, 2021. Abstract. Full paper.
  • Z. Babaiee, R. Hasani, M. Lechner, D. Rus, and R. Grosu. On-Off Center-Surround Receptive Fieldsfor Accurate and Robust Image Classification. In Proc. of ICML'21, the thirty-eighth International Conference on Machine Learning, July, 2021. Abstract. Full paper.
  • M. Lechner, R Hasani, R Grosu, D Rus, TA Henzinger. Adversarial Training is Not Ready for Robot Learning. In Proc. of ICRA'21, the International Conference on Robotics and Automation, Xi'an, China, May, 2021. Abstract. Full paper.
  • S. Roy, M. Usama, R. Grosu, S.A. Smolka, S. Stoller, and A. Tiwari. Distributed Control for Flocking Maneuvers Via Acceleration-Weighted Neighborhooding. In Proc. of ACC'21, the American Control Conference, New Orleans, USA, May, 2021. Abstract. Full paper.
  • S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, and R. Grosu. On the Verification of Neural ODEs with Stochastic Guarantees. In Proc. of AAAI'21, the 35th AAAI Conference on Artificial Intelligence, Virtual  Conference, February, 2021. Abstract. Full paper.
  • R. Hasani, M. Lechner, A. Amini, D. Rus, and Radu Grosu. Liquid Time-Constant Networks. In Proc. of AAAI'21, the 35th AAAI Conference on Artificial Intelligence, Virtual  Conference, February, 2021. Abstract. Full paper.
  • S. Grünbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu. Next Generation Lagrangian Reachtubes. In Proc. of CDC'20, the 59th IEEE Conference on Decision and Control, Virtual Conference, Jeju Island, Korea, December, 2020. Abstract. Full paper.TC-DES and TC-HS Outstanding Student Paper Prize
  • H. Isakovic, E A. Crespo, and R. Grosu. An Energy Sustainable CPS/IoT Ecosystem. In Proc. of Edge-IoT'20, the EAI International Conference on Intelligent Edge Processing in the IoT Era, Virtual Conference, December, 2020.
  • R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu. The Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. In Proc. of ICML'20, the 37th International Conference on Machine Learning, Virtual Conference, July, 2020. Abstract. Full paper.
  • M. Lechner, R. Hasani, D. Rus, R. Grosu. Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. In Proc. of ICRA'20, the 2020 IEEE International Conference on Robotics and Automation, Virtual Conference, June, 2020. Abstract. Full paper.
  • S. Roy, U. Mehmood, R. Grosu, S.A. Smolka, S.D. Stoller, A. Tiwari. Learning Distributed Controllers for V-Formation. In Proc. of ACSOS'20, the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, Washington DC, June, 2020. Abstract. Full paper. 
  • D. Phan, R. Grosu, N. Jansen, N. Paoletti, S.A. Smolka, and S. Stoller. Neural Simplex Architecture. In Proc. of NFM'20, the 12th NASA Formal Methods Symposium, Virtual Symposium, May, 2020. Abstract. Full paper.
  • M. Usama, S. Roy, R. Grosu, S.A. Smolka, S.D. Stoller, and A. Tiwari. Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. In Proc. of FoSSaCS'20, the 23rd International Conference on Foundations of Software Science and Computation Structures, Virtual Conference, April, 2020. Abstract. Full paper.
  • R. Hasani, A. Amini, M. Lechner, F. Naser, D. Rus, and R. Grosu. Response Characterization for Auditing Cell Dynamics in Long-Short Term Memory Networks. In Proc. of IJCNN'19, the International Joint Conference on Neural Networks, Budapest, Hungary, July, 2019. Abstract. Full paper.
  • D. Ratasich, M. Platzer, R. Grosu, and Ezio Bartocci. Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. In Proc. of SASO'19, the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umea, Sweden, June, 2019. Abstract. Full paper.
  • C. Hirsch, E. Bartocci, and R. Grosu. Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. In Proc. of ISCT'19, the 23RD IEEE International symposium on consumer technologies, Ancona, Italy, June, 2019. Abstract. Full paper.
  • H. Isakovic, A. Fasching, L. Punzenberger, and R. Grosu. CPS/IoT Ecosystem: Indoor Vertical Farming System. In Proc. of ISCT'19, the 23RD IEEE International symposium on consumer technologies, Ancona, Italy, June, 2019. Abstract. Full paper.
  • M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, and R. Grosu. Designing Worm-inspired Neural Networks for Interpretable Robotics Control. In Proc. of ICRA'19, the 2019 IEEE International Conference on Robotics and Automation, Montreal, Canada, May, 2019. Abstract. Full Paper.
  • A. Lukina, A. Tiwari, S.A. Smolka, and R. Grosu. Distributed Adaptive-Neighborhood Control for Stochastic Reachability in Multi-Agent Systems. In Proc. of SAC'19, the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, April, 2019. Abstract. Full Paper.
  • R.M. Hasani, G. Wang and R. Grosu. A Machine Learning Suite for Machine Components' Health-Monitoring. In Proc. of IAAI'19, the 31st Innovative Applications of Artificial Intelligence Conference, Honolulu, Hawaii, USA, January, 2018. Abstract. Full paper.
  • H. Mahyar, R. Hasheminezhad, E. Ghalebi, R. Grosu, and H.E. Stanley. A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. In Proc. of CN'18, the 7th International Conference on Complex Networks and Their Applications, Cambridge, UK, December, 2018. Abstract. Full paper.
  • E. Ghalebi, B. Mirzasoleiman, R. Grosu, and J. Leskovec. Dynamic Network Model from Partial Observations. In Proc. of NIPS'18, the 32nd Annual Conference on Neural Information Processing Systems, Montreal, Canada, December 2018. Abstract. Full paper.
  • J. Cyranka, M.A. Islam, S.A. Smolka, S. Gao, and R. Grosu. Tight Continuous-Time Reachtubes for Lagrangian Reachability. In Proc. of CDC'18, the 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, December, 2018, IEEE. Abstract. Full Paper.
  • N. Manjunath, D. Haerle, C. Manthey, M. Vaananen, S. Sabanal, H. Eichinger, H. Tauber, A. Machne, R. Grosu, and D. Nickovic. Analysis of Production Tests Coverage. In Proc. of ITC'18, the International Test Conference, Phoenix, Arizona, USA, October, 2018, IEEE. Abstract. Full paper.
  • D. Phan, N. Paoletti, T. Zhang, R. Grosu, S.A. Smolka, and S.D. Stoller. Neural State Classification for Hybrid Systems. In Proc. of ATVA'18, the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, California, USA, October, 2018, LNCS. Abstract. Full paper.
  • S. Jaksic, E. Bartocci, R. Grosu, and D. Nickovic. An Algebraic Framework for Runtime Verification. In Proc. of EMSOFT'18, the International Conference on Embedded Software, Torino, Italy, September, 2018, ACM. Abstract. Full paper.
  • P. Tulala, H. Mahyar, E. Ghalebi, and Radu Grosu. Unsupervised Wafermap Patterns Clustering via Variational Autoencoders.  In Proc. of IJCNN'18, the 2018 International Joint Conference on
    Neural Networks, Rio, Brasil, July, 2018, IEEE. Abstract. Full paper.
  • D. Ratasich, T. Preindl, K. Selyunin, and R. Grosu. Self-Healing by Property-Guided Structural Adaptation. In Proc. of ICPS'18, the 1st IEEE International Conference on Industrial Cyber-Physical Systems, Saint-Petersburg, Russia, May, 2018. IEEE. Abstract. Full paper.
  • G. Wang, M.A. Ben-Sassi, and R. Grosu. A Multi-Bias Recurrent Neural Network for Modeling Milling Sensory Data. In Proc. of ICPS'18, the 1st IEEE International Conference on Industrial Cyber-Physical Systems, Saint-Petersburg, Russia, May, 2018. IEEE. Abstract. Full paper. 
  • A. Lukina, A. Kumar, M. Schmittle, A. Singh, J. Das, S. Rees, C.P. Buskirk, J. Sztipanovits, R. Grosu, V. Kumar. Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. In Proc. of ICCPS'18, the 9th ACM/IEEE International Conference on Cyber-Physical Systems, pages 353-354, Porto, Portugal, April, 2018, IEEE.
  • M. Schmittle, A. Lukina, L. Vacek, J. Das, C.P. Buskirk, S. Rees, J. Sztipanovits, R. Grosu, and V. Kumar.  OpenUAV: A UAV Testbed for the CPS and Robotics Community. In Proc. of ICCPS'18, the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Porto, Portugal, April, 2018, IEEE. Abstract. Full paper.
  • U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S.D. Stoller, A. Tiwari, J. Yang, and S.A. Smolka. Declarative vs  Rule-based Control for Flocking Dynamics. In Proc. of SAC'18, the 33rd ACM Symposium On Applied Computing, Pau, France, April, 2018, ACM. Abstract. Full paper.
  • A. Tiwari, S.A. Smolka, L. Esterle, A. Lukina, J. Yang, and R. Grosu. Attacking the V: On the Resiliency of Adaptive-Horizon MPC. In Proc. of ATVA'17, the 15th International Symposium on Automated Technology for Verification and Analysis, Pune, India, October, 2017, pages 446-462, Springer, LNCS 10482. Abstract. Full paper.
  • H. Abbas, A. Rodionova, E. Bartocci, S.A. Smolka, and R. Grosu. Quantitative Regular Expressions for Arrhythmia Detection Algorithms. In Proc. of CMSB'17, the 15th Conference on Computational Methods in Systems Biology,  Darmstadt, Germany, September, 2017, pages 23-39, Springer, LNCS 10545, ISB10545,N 978-3-319-67471-1. Abstract. Full paper.
  • J. Cyranka, M.A. Islam, G. Byrne, P.L. Jones, S.A. Smolka, and R. Grosu. Lagrangian Reachabililty. In Proc. of CAV'17, the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, July, 2017, pages 379-400, Springer, LNCS 10426, Abstract, Full paper.
  • K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, and R. Grosu. Runtime Monitoring with Recovery of the SENT Communication Protocol. In Proc. of CAV'17, the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, July, 2017, pages 336-355, Springer, LNCS 10426. Abstract, Full Paper.
  • K. Selyunin, R.M. Hasani, D. Ratasich, E. Bartocci, and R. Grosu. Computing with Biophysical and Hardware-efficient Neural Models. In Proc. of IWANN'17, the 14th International Work-Conference on Artificial and Natural Neural Networks, Cadiz, Spain, June, 2017, Springer, LNCS. Abstract, Full paper.
  • R.M. Hasani, G. Wang, and R. Grosu. Towards Deterministic and Stochastic Computations with Izhikevich Spiking Neuron Model. In Proc. of IWANN'17, the 14th International Work-Conference on Artificial and Natural Neural Networks, Cadiz, Spain, June, 2017, Springer, LNCS. Abstract, Full paper.
  • D. Phan, J. Yang, M. Clark, R. Grosu, J. Schierman, S. Smolka, and S. Stoller. A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. In Proc. of ACSD'17, the 17th International Conference on Application of Concurrency to System Design, Zaragoza, Spain, June, 2017, pages 49-59, IEEE. Abstract. Full paper. 
  • D. Ratasich, O. Hoeftberger, H. Isakovic, M. Shafique, and R. Grosu. A Self-Healing Framework for Building Resilient Cyber-Physical Systems. In Proc. of ISORC'17, the 20th International Symposium on Real-time Distributed Computing, Toronto, Canada, May, 2017, pages 133-140, IEEE. Abstract. Full paper.
  • R.M. Hasani, D. Haerle, C.F. Baumgartner, A.R. Lomuscio, and R. Grosu. Compositional Neural-Network Modeling of Complex Analog Circuits. In Proc. of IJCNN'17, the 2017 International Joint Conference on Neural Networks, Anchorage, Alaska, USA, May, 2017, pages 2235 - 2242, IEEE. Abstract. Full paper.
  • A. Lukina, L. Esterle, C. Hirsch1, E. Bartocci, J. Yang, A. Tiwari, S.A. Smolka, and R. Grosu. ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. In Proc. of TACAS'17, the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, April, 2017, pages 286-302, Springer, LNCS 10206. Abstract. Full paper.
  • G. Wang, R.M. Hasani, Y. Zhu, R. Grosu. A Novel Bayesian Network-Based Fault Prognostic Method for Semiconductor Manufacturing Process. In Proc. of ICIT'17, the 18th International Conference on Industrial Technology, Toronto, Canada, March, 2017, IEEE, pages 1450-1454.. Abstract. Full Paper.
  • A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R, Grosu, and R. Ray. Parallel Reachability Analysis for Hybrid Systems. In Proc. of MEMOCODE'16, the 4th ACM-IEEE International Conference on Formal Methods and Models for System Design, Kanpur, India, November, 2016, pages 12-22, IEEE. Abstract. Full paper.
  • T. Nguyen, E. Bartocci, D. Nickovic, R. Grosu, S. Jaksic, and K. Selyunin. The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. In Proc. of ISoLA'16, the International Symposium On Leveraging Applications of Formal Methods,Verification and Validation, Corfu, Grece, October, 2016, LNCS 9953, pages 371–379. Abstract. Full paper.
  • K. Kalajdzic, C. Jegourel, A. Lukina, E. Bartocci, A. Legay, S.A. Smolka, and R. Grosu. Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In Proc. of ISoLA'16, the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Grece, October, 2016, LNCS 9952, pages 46-61. Abstract. Full paper.
  • G. Wang and R. Grosu. Milling-Tool Wear-Condition Prediction with Statistic Analysis and Echo-State Networks. In Proc. of S2M'16, the International Conference on Sustaniable Smart Manufacturing, Lisbon, Portugal, October, 2016, IEEE. Also in Challenges for Technology Innovation: An Agenda for the Future, CRC Press, pages 149-153, 2017. Abstract. Full paper.
  • K. Selyunin, T. Nguyen, E. Bartocci, R. Grosu. Applying Runtime Monitoring for Automotive Electronic Development. In Proc. of RV'16, the 16th International Conference on Runtime Verification, Madrid, Spain, September, 2016, LNCS 10012, pages 462-469. Abstract. Full paper.
  • S. Jaksic, E. Bartocci, R. Grosu, and D. Nickovic. Quantitative Monitoring of STL with Edit Distance. In Proc. of RV'16, the 16th International Conference on Runtime Verification, Madrid, Spain, September, 2016, LNCS 10012, pages 201-218. Abstract. Full paper.
  • M.A. Islam, G. Byrne, S. Kong, E.A. Clarke, R. Cleaveland, F.H. Fenton, R. Grosu, P.L. Jones, S.A. Smolka. Bifurcation Analysis of Cardiac Alternans using Delta-Decidability. In Proc of CMSB'16, the 14th International Conference on Computational Methods in Systems Biology, Cambridge, UK, September, 2016, Springer LNCS/LNBI. Abstract, Full paper.
  • W. Wallner, A. Wasicek, R. Grosu. A simulation framework for IEEE 1588. In Proc. of ISPCS'16, the IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Stockholm, Sweden, September, 2016, IEEE, pages 1-6, DOI: 10.1109/ISPCS.2016.7579516. Best Paper Award. Abstract. Full paper.
  • R.M. Hasani, D. Haerle, and R. Grosu. Efficient Modeling of Complex Analog Integrated Circuits Using Neural Networks. In Proc. of PRIME'16, the 12th International Conference on PhD Research in Microelectronics and Electronics, Lisbon, Portugal, June, 2016, IEEE, DOI: 10.1109/PRIME.2016.7519486. Abstract. Full paper.
  • H. Isakovic, R. Grosu. A Heterogeneous Time-Triggered Architecture on a Hybrid System-on-a-Chip Platform. In Proc. of ISIE'16, the IEEE 25th International Symposium on Industrial Electronics, Santa Clara, USA, June, 2016, IEEE. Abstract. Full paper.
  • A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu. Temporal Logic as Filtering. In Proc of HSCC'16, the 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, April, 2016, pages 11-20, IEEE. Runner-up best student paper award. Abstract, Full paper.
  • K. Selyunin, T. Nguyen, E. Bartocci, D. Nickovic, and R. Grosu. Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model. In Proc. of DATE'16, the 19th Int. Conference on Design Automation and Test in Europe, Dresden, Germany, March, 2016, IEEE. Abstract, Full paper.
  • K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu. Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties. In Proc. of DVCon'16 USA, the Design and Verification Conference and Exhibition, San Jose, USA, February, 2016. Abstract. Full paper.
  • S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu. Abstraction-based Parameter Synthesis for Multiaffine Systems. In Proc. of HVC'15, the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS. Abstract, Full paper.
  • R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, and R. Grosu. XSpeed: Accelerating Reachability Analysis on MultiCore Processors. In Proc. of HVC'15, the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS. Abstract, Full paper.
  • K. Selyunin, D. Ratasich, E. Bartocci, M.A. Islam, S.A. Smolka, and R. Grosu. Neural Programming: Towards Adaptive Control in Cyber-Physical Systems. In Proc. of CDC'15: the 54th IEEE Conference on Decision and Control, Osaka, Japan, December, 2015, IEEE. Abstract. Full paper
  • S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, and D. Nickovic. From Signal Temporal Logic to FPGA Monitors. In MEMCODE'15, the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, Texas, USA, September, 2015. Abstract. Full paper
  • D. Ratasich, B. Frömel, O. Höftberger, and R. Grosu. Generic Sensor Fusion Package for ROS. In Proc. of IROS'15, the International Conference on Intelligent Robots and Systems, Hamburg, Germany, September, 2015. Abstract, Full paper
  • D. Phan, J. Yang, D. Ratasich, R. Grosu, S.A. Smolka and S. Stoller. Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments. In Proc. of RV'15, the 15th International Conference on Runtime Verification, Vienna, Austria, September, 2015. Abstract. Full paper
  • I. Haghighi, A.Jones, Jones Z. Kong, E. Bartocci, R. Grosu, C. Belta. SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems.  In  Proc of HSCC'15, the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, USA, April, 2015. Abstract. Full paper
  • A. Murthy, A. Islam, S.A. Smolka, R. Grosu. Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals. In  Proc of HSCC'15, the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, USA, April, 2015. Abstract. Full paper
  • S. Bogomolov, G. Frehse, M. Greitschus, R. Grosu, C. Pasareanu, A. Podelski, and T. Strump. Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems. In Proc. of  HVC'14, the Haifa Verification Conference, Haifa, Israel, November, 2014. Best Paper Award. Abstract. Full paper.
  • R. Grosu, D. Peled, C.R. Ramakrishnan, S.A. Smolka, S.D. Stoller, and J. Yang. 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, Corfu, Greece, October, 2014, Springer, LNCS. Abstract. Full paper
  • A. Islam, A. Murthy, T. Deshpande, E. Bartocci, S.A. Smolka, S. Stoller and R. Grosu. Tracking Action Potentials of Nonlinear Excitable Cells Using Model Predictive Control. In Proc. of BioTechno'14, the 6th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, Chamonix, France, April, 2014. Abstract. Full paper
  • A. Islam, A. Murthy, A. Girard, S.A. Smolka, and R. Grosu. Compositionality Results for Cardiac Cell Dynamics. In Proc. of HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Control, Berlin, Germany, April, 2014. ACM, pages 243-252, ISBN:~978-1-4503-2732-9. Abstract. Full paper
  • A. Islam, A. Murthy, E. Bartocci, A. Girard, S.A. Smolka, and R. Grosu. Compositionality Results for Cardiac Cell Dynamics. In Proc. of CMSB'13, the 11th Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria, September, 2013. Springer, LNCS 8130. Abstract. Short paper
  • K. Kalajdzic, E. Bartocci, S.A. Smolka, S.D. Stoller, R. Grosu. Runtime Verification with Particle Filtering. In Proc. of RV'13, the 4th International Conference on Runtime Verification, Rennes, France, September 2013. Springer, LNCS, 8174, pages 149-166. Abstract. Full paper
  • S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle. Abstraction-Based Guided Search for Hybrid Systems. In Proc. of SPIN'13, the 20th International SPIN Symposium on Model-Checking Software, Stony Brook, NY, USA, July, 2013, Springer LNCS 7976, pages 117-134. Abstract. Full paper
  • E. Bartocci,  R. Grosu, A. Karmarkar, S.A. Smolka, S.D. Stoller, E. Zadok, and J. Seyster. Adaptive Runtime Verification. In Proc. of RV'12, the 3rd International Conference on Runtime Verification, Istambul, Turkey, September, 2012, Springer, LNCS 7687, pages 168-182, 2013. Abstract. Full paper
  • A. Murthy, A. Islam, E. Bartocci, E. Cherry, F.H. Fenton, J. Glimm, S.A. Smolka, and R. Grosu. Approximate Bisimulations for Sodium-Channel Dynamics. In Proc. of CMSB'12, the 10th International Conference on Computational Methods in Systems Biology, London, UK, October, 2012, Springer LNCS/LNBI 7605, pages 267-287 Abstract. Full paper
  • A. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, and S.A. Smolka. On Temporal Logic and Signal Processing. In Proc. of ATVA'12, the 10th International Symposium on Automated Technology for Verification and Analysis, Thiruvananthapuram, Kerala, October, 2012, Springer LNCS 7561, pages 92-106. Abstract. Full paper
  • S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski, and M. Wehrle. A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. In Proc. of CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA, July, 2012, Springer, LNCS 7358, pages 479-494. Abstract. Full paper
  • S.D. Stoller, E. Bartocci, J. Seyster, R. Grosu, K. Havelund, S.A. Smolka, and E. Zadok. Runtime Verification with State Estimation. In Proc. of RV'11, the 2nd International Conference on Runtime Verification, San Francisco, November, USA, 2011, Springer LNCS. Best paper award. Abstract. Full paper
  • A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S.A. Smolka, and R. Grosu. Curvature Analysis of Cardiac Excitation Wavefronts. In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology, Paris, France, September, 2011, ACM. Abstract. Full paper
  • E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S.A. Smolka, and F. Fenton. Toward Real-time Simulation of Cardiac Dynamics. In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology, Paris, France, September, 2011, ACM. Abstract. Full paper
  • R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S.A. Smolka and E. Bartocci. From Cardiac Cells to Genetic Regulatory Networks. In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, pp. 396-411, Springer LNCS 6806. Abstract. Full paper
  • Z. Li, R. Grosu, P. Sehgal, S.A. Smolka, S.D. Stoller, and E. Zadok. On the Energy Consumption and Performance of Systems Software. In Proc. of SYSTOR'11, the 4th Annual International Systems and Storage Conference, Haifa, Israel, June, 2011, ACM, ISBN 978-1-4503-0773-4. Abstract. Full paper
  • E. Bartocci, R. Grosu, P. Katsaros, C.R. Ramakrishnan and S.A. Smolka. Model Repair for Probabilistic Systems. In Proc. of TACAS'11, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbruecken, Germany, March, 2011, pp. 326-340, Springer, LNCS 6605. Abstract. Full paper
  • J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S.A. Smolka, S.D. Stoller and E. Zadok. Aspect-Oriented Instrumentation with GCC. In Proc. of RV'10, the 1st International Conference on Runtime Verification, Malta, November, 2010, pp. 405-420, Springer LNCS 6418. Abstract. Full paper
  • R. Grosu. The Cayley-Hamilton Theorem for Noncommutative Semirings. In Proc. of CIAA'10, the 15th International Conference on Implementation and Application of Automata, Winnipeg, Canada, August, 2010, Springer LNCS . Abstract. Full paper
  • R. Grosu. Finite Automata as Time-Invariant Linear Systems: Observability, Reachability and More. In Proc. of HSCC'09, the 12th International Conference on Hybrid Systems: Computation and Control, San Francisco, USA, April, 2009, pp. 194-208, Springer, LNCS 5469. Abstract. Full paper
  • Z. Yang, B. Al-Rawi, K. Sakallah, X. Huang, S.A. Smolka and R. Grosu. Dynamic Path Reduction for Software Model Checking. In Proc. of iFM'09, the 7th International Conference on Integrated Formal Methods, Duesseldorf, Germany, February 2009, pp. 322-336, Springer, LNCS 5423. Abstract. Full paper
  • O. Riganelli, R. Grosu, S. Das, C.R. Ramakrishnan and S.A. Smolka. Power Optimization in Fault-Tolerant MANETs. In Proc. of Hase'08, the 11th IEEE High Assurance Systems Engineering Symposium, Nanjing, China, December 2008, pp. 362-370, IEEE Computer Society, ISBN 978-0-7695-3482-4. Abstract. Full paper
  • P. Ye, R. Grosu, S.A. Smolka and E. Entcheva. Formal Analysis of Abnormal Excitation in Cardiac Tissue. In Proc. of CMSB'08, the 6th International Conference on Computational Methods in Systems Biology, Rostock, Germany, October, 2008, pp. 141-155, Springer, LNBI 5307. Abstract. Full paper
  • O. Riganelli, R. Grosu, S. Das, C.R. Ramakrishnan and S.A. Smolka. Power Optimization in Fault-Tolerant MANETs: Poster Paper. In Proc. of Mascots'08, the 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Baltimore, USA, September, 2008, IEEE Computer Society. Abstract. Poster paper
  • P. Ye, E. Entcheva, S.A. Smolka and R. Grosu. Symbolic Analysis of the Neuron. In Proc. of ICBBE'08, the 2nd International Conference on Bioinformatics and Biomedical Engineering, Shanghai, China, May, 2008, pp. 836-839, IEEE, ISBN: 978-1-4244-1747-6. Abstract. Full paper
  • R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S.A. Smolka and A. Wasilewska. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008, pp. 229-243, Springer, LNCS 4981. To also appear in CACM, the Communications of the ACM, 2008. Abstract. Full paper
  • R. Grosu, S. Mitra, P. Ye, E. Entcheva, IV Ramakrishnan and S.A. Smolka. Learning Cycle-Linear Hybrid Automata for Excitable Cells. In Proc. of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control, Pisa, Italy, April, 2007, pp. 245-258, Springer, LNCS 4416. Abstract. Full paper
  • P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. A Cycle-Linear Approach to Modeling Action Potentials. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 3931-3934, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper
  • P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. Hybrid Automata as a Unifying Framework for Modeling Cardiac Cells. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 4151-4154, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper
  • M.R. True, E. Entcheva, S.A. Smolka, P. Ye and R. Grosu. Efficient Event-Driven Simulation of Excitable Hybrid Automata. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 3150-3153, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper
  • R. Grosu and S.A. Smolka. Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. In Proc. of ACSD'05, the 5th International Conference on Applications of Concurrency to System Design, Saint Malo, France, June, 2005, pp. 6-14, IEEE Press. Abstract, Full paper
  • R. Grosu and S.A. Smolka. Monte Carlo Model Checking. In Proc. of TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, April 2005, pp. 271-286, Springer, LNCS 3440. Abstract, Full paper
  • R. Grosu and S.A. Smolka. Quantitative Model Checking. In Proc. of ISoLa'04, the 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, November, 2004, pp. 165-174. Abstract, Full paper
  • R. Grosu, Y.A. Liu, S.A. Refereed Journal Papers Smolka, S.D. Stoller, J. Yan. Automated Software Engineering Using Concurrent Class Machines. In Proc. of ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001, pp. 297-307, IEEE Press. Abstract, Full paper
  • R. Alur, R. Grosu. Shared Variables Interaction Diagrams. In Proc. of ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001, pp. 281-288, IEEE Press. Abstract, Full paper
  • R. Alur, L. di Alfaro, R. Grosu, T. Henzinger, M. Kang, F. Mang, R. Majumdar, C. Meyer and B.-Y. Wang. jMocha: A Model Checking Tool that Exploits Design Structure. Proc. of ICSE'01, the 23rd International Conference on Software Engineering, Toronto, May, 2001, pp. 835-836, IEEE Press. Abstract, Full paper
  • R. Alur, R. Grosu, and B.-Y. Wang. Automated refinement checking for asynchronous processes. In Proc. of FMCAD'00, the 3rd International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, November, 2000, pp. 55-72, Springer, LNCS 1954. Abstract, Full paper
  • R. Grosu. And/Or Hierarchies and Round Abstraction. In Proc. of MFCS'00, the 25th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, September, 2000, pp. 52-66, Springer, LNCS 1893. Abstract, Full paper
  • R. Alur, R. Grosu, M. McDougall. Efficient Reachability Analysis of Hierarchical Reactive Machines. In Proc. of CAV'00, the 12th International Conference on Computer Aided Verification, Chicago, IL, July, 2000, pp. 280-295, Springer, LNCS 1855. Abstract, Full paper
  • R. Alur, R. Grosu. Modular Refinement of Hierarchic Reactive Machines. In Proc. of POPL'00, the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January, 2000, pp. 390-402, ACM Press. Abstract, Full paper
  • R. Grosu, I. Krueger, T. Stauner. Hybrid Sequence Charts. In Proc. of ISORC'00, the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, Newport Beach, California, March, 2000, pp. 104-111, IEEE Press. Abstract, Full paper
  • R. Grosu, T. Stauner, M. Broy. A Modular Visual Model for Hybrid Systems. In Proc. of FTRTFT'98, the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September, 1998, pp. 75-91, Springer, LNCS 1486. Abstract, Full paper
  • R. Grosu, G. Stefanescu, M. Broy. Visual Formalisms Revisited. In Proc. of ACSD'98, the 1st International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan, March, 1998, pp. 41-51, IEEE Press. Abstract, Full paper
  • K. Bergner, R. Grosu, A. Rausch, A. Schmidt, P. Scholz, M. Broy. Focusing on Mobility. In Proceedings of HICSS'99, the 32nd Annual Hawaii International Conference on System Sciences, Hawaii, January, 1999, pp. 8030-8039, IEEE Press. Abstract, Full paper
  • M. Broy, R. Grosu, C. Klein. Reconciling real-time with asynchronous message passing. In Proc. of the FME'97, the 4th International Symposium on Formal Methods Europe, Graz, September, 1997, pp. 182-200, Springer, LNCS 1313. Abstract, Full paper
  • R. Breu, R. Grosu. Modeling the dynamic behaviour of objects: On events, messages and methods (Extended Abstract). In Proc. Euro-Par'97, the 3rd International Euro-Par Conference, Passau, August, 1997, pp. 572-586, Springer, LNCS 1300. Abstract, Full paper
  • R. Grosu, K. Stoelen. A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. In Proc. of AMAST'96, the 5th International Conference on Algebraic Methodology and Software Technology, München, July, 1996, pp. 504-519, Springer, LNCS 1101. Abstract, Full paper
  • R. Grosu, D. Nazareth. Towards a New Way of Parameterization. In Proc. MCSEAI'94, the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence, Rabat, Marocco, April, 1994, pp. 383-392. Abstract, Full paper

 

Refereed Workshop Papers

  • A. Lukina, A. Tiwari, S.A. Smolka, L. Esterle, J. Yang, R. Grosu. Resilient Control and Safety for Cyber-Physical Systems. In Proc. of the 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), pages 16-17, Porto, Portugal. April, 2018 to Apr 13, 2018.
  • H. Mahyar, E. Ghalebi K., S. M. Morshedi, S. Khalili, R. Grosu, and A. Movaghar. Centrality-based Group Formation in Group Recommender Systems. In Proc. of BigNet'17, the Big Network Analytics Workshop at the 26th International World Wide Web Conference, Perth, Australia, April, 2017. Abstract. Full paper.
  • S.M. Taheri, H. Mahyar, M. Firouzi, E. Ghalebi K., R. Grosu, and A. Movaghar. Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. In Proc. of IWSC'17, the International Workshop of Social Computing at the 26th International World Wide Web Conference, Perth, Australia, April, 2017. Abstract. Full paper.
  • H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, and C. Schilling. Discrete Abstraction of Multiaffine Systems. In Proc. of HSB'16, the 5th International Workshop on Hybrid Systems Biology, Grenoble, France, October, 2016, LNCS 9957, pages 128-144. Abstract. Full paper.
  • M.A. Islam, Q. Wang, R.M. Hasani, O. Balun, E.M. Clarke, R. Grosu, S.A. Smolka. Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans. In Proc. of HLDVT'16, the 18th IEEE International High-Level Design Validation and Test Workshop, Santa Cruz, USA, October, 2016, IEEE. Abstract. Full paper.
  • J. Yang, R. Grosu, S.A. Smolka, and A. Tiwari.  V-Formation as Optimal Control.  In Proc. of BDA'16, the 4th Workshop on Biological Distributed Algorithms, Chicago, USA, Chicago, USA, July, 2016. Abstract. Full paper.
  • A. Islam, R. DeFrancisco, C. Fan, R. Grosu, S. Mitra, and S.A. Smolka. Model Checking Tap Withdrawal in C. Elegans.  In HSB'15, the 4th Int. Workshop on Hybrid Systems Biology, Madrid, Spain, September, 2015. Abstract. Full Paper.
  • Z. Li, R. Grosu, K. Muppalla, S.A. Smolka, S.D. Stoller, and E. Zadok. Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation. In Proc. of ERSS'11, the 1st International Workshop on Energy Consumption and Reliability of Storage Systems, Orlando, FL, July, 2011. Abstract, Full paper
  • E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, R. Grosu and S.A. Smolka. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. In Proc. of FBTC'07, the International Workshop From Biology to Concurrency and Back, Lisbon, September, 2007. ENTCS vol. 194(3), pp. 51-67, 2007. Abstract, Full paper
  • S. Callanan, R. Grosu, A. Rai, S.A. Smolka, M.R. True and E. Zadok. Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. In Proc. of MBT'06, the 2nd International Workshop on Model Based Testing, Vienna, Austria, March, 2006. ENTCS vol. 164(4), pp. 41-52. Abstract, Full paper
  • R. Grosu, X. Huang, S. Jain and S.A. Smolka. Open Source Model Checking. In Proc. of SoftMC'05, the 3rd International Workshop on Software Model Checking, Edinburgh, UK, July, 2005. ENTCS vol. 144(3), pp. 27-44. Abstract, Full paper
  • Y. Pei, E. Entcheva, R. Grosu and S.A. Smolka. Efficient Modeling of Excitable Cells using Hybrid Automata. In Proc. of CMSB'05, the 3rd International Workshop on Computational Methods in Systems Biology, Edinburgh, UK, April, 2005, pp. 216-227. Abstract, Full paper
  • R. Grosu, X. Huang, S.A. Smolka and P. Yang. Monte Carlo Analysis of Security Protocols: Needham Schroeder Revisited. In Proc. of the DIMACS Workshop on Security Analysis of Protocols, Rutgers University, USA, June, 2004, pp. 1-10. Abstract, Full paper
  • R. Grosu, E. Zadok, S.A. Smolka, R. Cleaveland, and Y.A. Liu. High-Confidence Operating Systems. In Proc. of EW'02, the 10th ACM SIGOPS European Workshop: Can we really depend on an OS?, Saint-Emilion, France, September, 2002, pp. 205-208, ACM Press. Abstract, Full paper
  • R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional Refinement for Hierarchical Hybrid Systems. In Proc. of HSCC'01, the 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, March, 2001, pp. 33-49, Springer, LNCS 2034. As of Oct. 31 2006, it has 36 citations. Abstract, Full paper
  • R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular Specification of Hybrid Systems in CHARON. In Proc. of HSCC'00, the 3rd International Workshop on Hybrid Systems: Computation and Control, Pittsburgh, PA, March 23-25, 2000, pp. 6-19, Springer, LNCS 1790. As of Oct. 31 2006, it has 89 citations. Abstract, Full paper
  • R. Grosu, M. Broy, B. Selic, and G. Stefanescu. Towards a Calculus for UML-RT Specifications. In Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, October, 1998, pp. 1-18, ACM Press. Abstract, Full paper
  • R. Grosu and T. Stauner. Visual Description of Hybrid Systems. In Proc. of WRTP'98, the 23nd IFAC/IFIP Workshop On Real Time Programming, Shantou, Guandong Province, P.R. China, June, 1998, pp. 1-6, Elsevier Science Ltd. Abstract, Full paper
  • R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, and W. Schwerin. Exemplary and Complete Object Interaction Descriptions. In Proc. of the OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, Vancouver, Canada, October, 1997, pp. 1-11. Abstract, Full paper
  • R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. In Object-Oriented Technology, ECOOP'97 Workshop Reader, June, 1997, pp. 205-211, Springer, LNCS 1357. As of Oct. 31 2006, it has 35 citations. Abstract, Full paper
  • R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. In Proc. of the ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Jyvaeskylae, Finland, May, 1997, pp. 53--61, TU Munich. Longer version. Abstract, Full paper
  • R. Grosu and K. Stoelen. Specification of Dynamic Networks. In Proc. of NWPT'96, the 8th Nordic Workshop on Programming Theory, Oslo, Norway, December, 1996, pp. 67-76, University of Oslo. Abstract, Full paper
  • R. Grosu and F. Regensburger. The Semantics of SPECTRUM. In Proc. of HOA'93, the 1st International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Amsterdam, The Netherlands, September, 1993, pp. 124-145, Springer, LNCS 816. Abstract, Full paper

 

Refereed Journal Papers

  • M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, and R. Grosu. Neural circuit policies enabling auditable autonomy. In Nature Machine Intelligence, Volume 2, Pages 642–652, October, 2020.
  • X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, and R. Grosu. Intelligent sea states identification based on maximum likelihood evidential reasoning rule. In Entropy, 22(7), 770, Pages 1-25, July, 2020.
  • R. Grosu. Can artificial intelligence Improve our health? In Strategies for Sustainability of the Earth System, Editors P.A. Wilderer, M. Grambow, M. Molls, and K. Oexle, Springer Nature, 2020.
  • M.A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S.A. Smolka. Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. In Theoretical Computer Science, Volume 765, Pages 158-169, April 2019. Full paper.
  • H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H.R. Rabiee. Identifying central nodes for information flow in social networks using compressive sensing. In Social Network Analysis and Mining 8(1), pages 1-33, Springer Verlag, December, 2018.
  • P. Gleeson, D. Lung, R. Grosu, R. Hasani, S.D. Larson. c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans. In Phil. Trans. R. Soc. B 373(1758), October, 2018.
  • H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H.R. Rabiee. Compressive sensing of high betweenness centrality nodes in networks. In Physica A: Statistical Mechanics and its Applications, Volume 497, pages 166-184, May, 2018.
  • A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu. Parallel reachability analysis of hybrid systems in XSpeed. In the International Journal on Software Tools for Technology Transfer, Volume 21, Number 4, Pages 401–423, Springer, February, 2018. Abstract. Full paper.
  • H. Isakovic, R. Grosu. A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform. In Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications, pages 1153-1178, IGI Global, 2018.
  • T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu. Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study. In Solutions for Cyber-Physical Systems Ubiquity, pages 137-168, IGI Global, July, 2017.
  • R. Grosu, E. Ghalebi K.A. Movaghar, and H. Mahyar. Compressed Sensing in Cyber Physical Social Systems. In Proc. of Edward A. Lee Festschrift Symposium Principles of Modeling, Berkeley, USA, 2017, "Festschrift" LNCS series. Abstract. Full paper.
  • Y. Zhu, H. Duan, X. Wang, B. Zhou, G. Wang, and R. Grosu. Gaussian Convex Evidence Theory for Ordered and Fuzzy Evidence Fusion. In JIFS'17, the Journal of Intelligent & Fuzzy Systems, Volume Preprint, pages 1-8, 2017. Abstract,  Full paper.
  • Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, and G. Wang. A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres. In Sensors 17(9):2049-2066, 2017, MDPI AG, Basel, Switzerland. Abstract. Full paper.
  • G. Wang, M.A. Ben Sassi, and R. Grosu. ZIZO: A Novel Zoom-In-Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks. In CJECE'17, the Canadian Journal of Electrical and Computer Engineering, 40(3): 151-161, 2017. Abstract, Full paper.
  • S.M. Taheri, H. Mahyar, M. Firouzi, E.K. Ghalebi, R. Grosu, and A. Movaghar. HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks. To appear in SNAM'17, the Social Network Analysis and Mining Journal, 2017, Springer, pages 7-22. doi:10.1007/s13278-017-0440-7. Abstract. Full paper.
  • D. Phan, J. Yang, R. Grosu, S.A. Smolka, and S.D. Stoller. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. In Formal Methods in System Design (FMSD), January, 2017, DOI 10.1007/s10703-016-0265-4. Abstract, Full paper
  • A. Murthy, A. Islam, S.A. Smolka, and R. Grosu. Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability. In NAHS'17, International Journal on Nonlinear Analysis: Hybrid Systems, 23(2):272-286.  Abstract, Full paper.
  • S. Bogomolov, A. Donze, G. Frehse, R. Grosu, T.T. Johnson, H. Ladan, A. Podelski, M. Wehrle. Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. In STTT'15, International Journal on Software Tools for Technology Transfer, August, 2015, pp. 1-19. Abstract, Full paper.
  • A. Islam, A. Murthy, E. Bartocci, E.M. Cherry, F. Fenton, J. Glimm, S.A. Smolka, and R. Grosu. Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. In Theoretical Computer Science (TCS),  599(9):34–46, 2015. Abstract. Full paper.
  • A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R.A. Gray, E.M. Cherry, S.A. Smolka, and R. Grosu. Curvature Analysis of Cardiac Excitation Wavefronts. IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 10(2):323-336, March/April, 2013. Abstract. Full paper.
  • J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S.A. Smolka, S.D. Stoller and E. Zadok. InterAspect: Aspect-Oriented Instrumentation with GCC. Formal Methods in System Design, December 2012, Volume 41, Issue 3, pages 295-320. Abstract. Full paper.
  • X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S.A. Smolka, S.D. Stoller and E. Zadok. Software Monitoring with Controllable Overhead. In the International Journal on Software Tools for Technology Transfer (STTT), 14(3):327--347, 2012. Abstract. Full paper
  • E. Bartocci, R. Singh, F.B. von Stein, A. Amedome, A.J. Caceres, J. Castillo, E. Closser, G. Deards, A. Goltsev, R.S. Ines, C. Isbilir, J.K. Marc, D. Moore, D. Pardi, S. Sadhu, S. Sanchez, P. Sharma, A. Singh, J. Rogers, A. Wolinetz, T.G. Applewhite, K. Zhao, A.B. Filipski, R.F. Gilmour, R. Grosu, J. Glimm, S.A. Smolka, E. Cherry, E.M. Clarke, N. Griffeth and F. Fenton. Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. In Adv Physiol Educ 35: 1-11, 2011. Abstract. Full paper
  • E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, S.A. Smolka and R. Grosu. Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata. In Theoretical Computer Science (TCS), vol. 410(33-34), pp. 3149-3165, August, 2009. Abstract. Full paper
  • R. Grosu, S.A. Smolka, F. Corradini, A. Wasilewska, E. Entcheva and E. Bartocci. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. In CACM, the Communications of the ACM, vol. 52(3), pp. 97-105, March, 2009. Abstract. Full paper
  • E. Bartocci, F. Corradini, E. Entcheva, R. Grosu and S.A. Smolka. CellExcite: An Efficient Simulation Environment for Excitable Cells. BMC Bioinformatics, vol. 9(Suppl 2), pp. 1--13, March, 2008. Abstract Full paper.
  • P. Ye, E. Entcheva, S.A. Smolka and R. Grosu. A Cycle-Linear Hybrid-Automata Model for Excitable Cells. IET Systems Biology (SYB), vol. 2(1), pp. 24-32, January, 2008. Abstract Full paper.
  • R. Alur, R. Grosu, I. Lee and O. Sokolsky. Compositional Modeling and Refinement for Hierarchical Hybrid Systems. Journal of Logic and Algebraic Programming (JLAP), vol. 68(1), pp. 105-128, Elsevier, 2006. Abstract, Full paper.
  • R. Alur, R. Grosu. Modular Refinement of Hierarchic Reactive Machines. ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 26(2), pp. 339-360, March, 2004. Abstract, Fullpaper
  • R. Grosu, T. Stauner. Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. Formal Methods in System Design (FMSD), vol. 21(1), pp. 5-38, Kluwer Academic Publishers, 2002. Abstract, Full paper
  • R. Grosu, K. Stoelen. Stream Based Specification of Mobile Systems. Formal Aspects of Computing (FAC), vol. 13(1), pp. 1-31, Springer, 2001. Abstract, Full paper
  • R. Grosu, D. Lucanu, G. Stefanescu. Mixed Relations as Enriched Semiringal Categories. Journal of Universal Computer Science (JUCS), vol. 6(1), pp. 112-129, Springer, 2000. Abstract Full paper
  • R. Breu, R. Grosu. Relating Events, Messages and Methods of Multiple-Threaded Objects. Journal of Object-Oriented Programming (JOOP), vol. 12(8), pp. 8-14, SIGS Publications, 2000. Abstract, Full paper
  • R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Kr|ger, B. Rumpe, M.Schmidt, W. Schwerin. Exemplary and Complete Object Interaction Descriptions. Computer Standards and Interfaces (CSI), vol. 19(7), pp. 335-345, Elsevier, November, 1998. Abstract, Full paper

 

Invited Papers and Book Chapters

  •  H. Isakovic, and R. Grosu. Mixed-Criticality Integration in Cyber-Physical Systems:
    A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform. In Solutions for Cyber-Physical Systems Ubiquity, Chapter 7, IGI Global, July, 2017, ISBN: 9781522528456. Abstract,  Full paper.
  • T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, and R. Grosu. Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study. In Solutions for Cyber-Physical Systems Ubiquity, Chapter 6, IGI Global, July, 2017, ISBN: 9781522528456. Abstract,  Full paper.
  • A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu. Temporal Logic as Filtering. In Dependable Software Systems Engineering, Nato Science Series for Peace and Security, Vol. 50, pages 1-22, 2017, ISBN Print: 978-1-61499-809-9, ISBN Online: 978-1-61499-810-5. Abstract. Full paper.
  • L. Esterle, and R. Grosu. Cyber-Physical Systems: Challenge of the 21st Century. In e & i Elektrotechnik und Informationstechnik, 2016, ISSN: 0932-383X (Print) 1613-7620 (Online). Abstract. Full paper.
  • R.M. Hasani, L. Esterle, and R. Grosu. Investigations on the Nervous System of Caenorhabditis elegans.  In Proc. of CAIRA'16, the Current AI Research in Austria Workshop, Klagenfurt, Austria, September, 2016. Abstract. Full paper.
  • J. Yang, R. Grosu, S.A. Smolka, and A. Tiwari. Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. In Proc. of CONCUR'16, the 27th International Conference on Concurrency Theory, Québec, Canada, August, 2016, LIPICS, Vol. 59, pages 4:1-5. Abstract. Full paper.
  • E. Bartocci, O. Hoeftberger, and R. Grosu. Cyber-Physical Systems: Theoretical and Practical Challenges. In ECRIM NEWS, Special Theme: Cyber-Physical Systems, pp. 8-9, Number 97, April, 2014. Abstract, Full paper
  • R. Grosu, D. Peled, C.R. Ramakrishnan, S.A. Smolka, S.D. Stoller, and J. Yang. Compositional  Branching-Time Measurements. In ETAPS Workshop FPS'14, From Programs To Systems: The Systems Perspective in Computing, In Honor of Joseph Safaris, pp. 118-129, LNCS 8415, April, 2014. Abstract, Full paper
  • R. Grosu, F. Fenton, S.A. Smolka and E. Bartocci. A Change of Perspective Yields Formal Analysis. In Proc. of SEW'11, the IEEE 34th Software Engineering Workshop, pp. 69-76, IEEE ISBN: 978-0-7695-4627-8, Limerick, Ireland, June, 2011. Abstract, Full paper
  • E. Bartocci, F. Corradini, R. Grosu, E. Merelli, O. Riganelli and S.A. Smolka.. StonyCam: a Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 493-502, LNCS 5065, June, 2008. Abstract, Full paper
  • R. Grosu, X. Huang, S.A. Smolka, W. Tan and S. Tripakis. Deep Random Search for Efficient Model Checking of Timed Automata. In Revised Selected Papers of MW'06, the 7th Monterey Workshop on Composition of Embedded Systems, Paris, France, October, 2006, Springer LNCS 4888, pp. 111-124, 2008. Abstract, Full paper
  • S. Callanan, D.J. Dean, M. Gorbovitski, R. Grosu, J. Seyster, S.A. Smolka and E. Zadok. Software Monitoring with Bounded Overhead. In Proc. of NGS'08, the Next Generation Software Workshop at IPDPS, Miami, Florida, USA, April, 2008, pp. 1-8. Abstract, Full paper
  • S. Callanan, R. Grosu, J. Seyster, S.A. Smolka and E. Zadok. Model Predictive Control for Memory Profiling. In Proc. of NGS'07, the Next Generation Software Workshop at IPDPS, Long Beach, California, March, 2007, pp. 1-7, IEEE, ISBN: 1-4244-0910-1. Abstract, Full paper
  • S. Callanan, R. Grosu, X. Huang, S.A. Smolka and E. Zadok. Compiler-Assisted Software Verification Using Plug-Ins. In Proc. of NGS'06, the Next Generation Software Workshop at IPDPS, Rhodes Island, Greece, April, 2006, pp. 1-8, IEEE Press, ISBN: 1-4244-0054-6. Abstract, Full paper
  • R. Grosu and S.A. Smolka. Monte Carlo Methods for Process Algebra. In Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, September, 2006, ENTCS vol. 162, pp. 203-207. Abstract, Full paper
  • I. Krüger, R. Grosu, P. Scholz, M. Broy. From MSCs to Statecharts. Distributed and Parallel Embedded Systems, pp. 61-71, Kluwer Academic Publishers, 1999. As of Oct. 31 2006, it has 97 citations. Abstract, Full paper
  • R. Grosu, M. Broy, B. Selic, G. Stefanescu. What is Behind UML-RT? Behavioral specifications of businesses and systems, pp. 73-88, Kluwer Academic Publishers, 1999. Abstract, Full paper
  • R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin. Systems, Views and Models of UML. The Unified Modeling Language, Technical Aspects and Applications, pp. 93-109, Physica Verlag, Heidelberg, 1998. As of Oct. 31 2006, it has 23 citations. Abstract, Full paper

 

Preprints (arXiv)

  • D. Ratasich, F. Khalid, F. Geissler, R Grosu, M. Shafique, E. Bartocci. A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. In arXiv preprint arXiv:1810.06870, 2018.
  • J. Cyranka, M. Islam, S.A. Smolka, S. Gao, R. Grosu. Tight Continuous-Time Reachtubes for Lagrangian Reachability. In arXiv preprint arXiv:1809.07450, 2018.
  • R.M. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu. Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks. In arXiv preprint arXiv:1809.04423, 2018.
  • R.M. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus. Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. In arXiv preprint arXiv:1809.03864, 2018.
  • E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec. Dynamic Network Model from Partial Observations. In arXiv preprint arXiv:1805.10616, 2018.
  • A. Lukina, A. Tiwari, S.A. Smolka, R. Grosu. Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. In arXiv preprint arXiv:1805.07929, 2018.
  • M. Lechner, R.M. Hasani, R. Grosu. Neuronal Circuit Policies. In arXiv preprint arXiv:1803.08554, 2018.
  • S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic. An Algebraic Framework for Runtime Verification. In arXiv preprint arXiv:1802.03775, 2018.

 

Patents

  • M. Broy, R. Grosu, I. Krüger. Automatically Generating A Program. US Patent No.: 06405361, June, 2002. Abstract, Full paper

PhD Thesis

  • R. Grosu. A Formal Foundation for Concurrent Object Oriented Programming. Technische Universität München, TUM-I9444, January, 1995, pp. 1-177. Abstract, Full paper

 

Technical Reports

  • R. Grosu, I. Krueger, T. Stauner. Hybrid Sequence Charts. Technical Report TUM-I9914, Technische Universität München, July, 1999, pp. 1-25. Abstract, Full paper
  • R. Grosu, T. Stauner. Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. (Extended version of the FTRTFT'98 paper). Technical Report TUM-I9801, Technische Universität München, December, 1998, pp. 1-46. Abstract, Full paper
  • R. Breu, R. Grosu. Modeling the dynamic behaviour of objects: On events, messages and methods. Technical Report TUM-I9804, Technische Universität München, February, 1998, pp. 1-15 Abstract, Full paper
  • R. Grosu, K. Stølen. Compositional Specification of Mobile Systems. Technical Report TUM-I9748, Technische Universität München, November, 1997, pp. 1-37. Abstract, Full paper
  • R. Grosu, K. Stølen, M. Broy. A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing. Technical Report SFB-342/17/97A, Technische Universität München, May, 1997, pp. 1-36. Abstract, Full paper
  • R. Grosu, C. Klein, B. Rumpe. Enhancing the SysLab System Model with State. Technical Report TUM-I9631, Technische Universität München, July, 1996, pp. 1-46. Abstract, Full paper
  • R. Grosu, C. Klein, B. Rumpe, M. Broy. State Transition Diagrams. Technical Report TUM-I9630, Technische Universität München, July, 1996, pp. 1-27. As of Oct. 31 2006, it has 25 citations. Abstract, Full paper
  • R. Grosu, K. Stølen. A Denotational Model for Mobile Many-to-Many Dataflow Networks. Technical Report TUM-I9622, Technische Universität München, May, 1996, pp. 1-36. Abstract, Full paper
  • R. Grosu, B. Rumpe. Concurrent Timed Port Automata. Technical Report TUM-I9533, Technische Universität München, October, 1995, pp. 1-34. Abstract, Full paper
  • R. Grosu, K. Stølen. A Denotational Model for Mobile Point-to-Point Dataflow Networks. Technical Report TUM-I9527, Technische Universität München, October, 1995, pp. 1-48. Abstract, Full paper
  • R. Grosu, D. Nazareth. The Specification Language Spectrum - Core Language Report V1.0. Technical Report TUM-I9429, Technische Universität München, August, 1994, pp. 1-32. Abstract, Full paper
  • R. Grosu, F. Regensburger. The Logical Framework of SPECTRUM. Technical Report TUM-I9402, Technische Universität München, March, 1994, pp. 1-39. Abstract, Full paper
  • M Broy,. C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, K. Stølen. The Requirement and Design Specification Language SPECTRUM. An Informal Introduction (V 1.0). Technical Report TUM-I9311/TUM-I9312, Technische Universität München, May, 1993, pp. 1-98. As of Oct. 31 2006, it has 72 citations. Abstract, Full paper