World's Best Scientists 2026 revealed!
Radu Grosu

Radu Grosu

D-Index & Metrics

Computer Science

D-Index
46
Citations
7100
World Ranking
6927
National Ranking
55

Overview

Radu Grosu is affiliated with TU Wien in Austria and has an extensive research portfolio primarily in computer science and engineering. Their work spans multiple subfields including artificial intelligence, control and systems engineering, computational theory and mathematics, electrical and electronic engineering, and computer vision and pattern recognition.

The scientist's research covers several main topics, including:

  • Reinforcement Learning in Robotics
  • Formal Methods in Verification
  • Neural Networks and Applications
  • Adversarial Robustness in Machine Learning
  • Neural dynamics and brain function
  • Advanced Memory and Neural Computing
  • Model Reduction and Neural Networks

Recent papers authored or co-authored by Grosu include:

  • "Neural circuit policies enabling auditable autonomy," 2020, Nature Machine Intelligence
  • "Liquid Time-constant Networks," 2021, Proceedings of the AAAI Conference on Artificial Intelligence
  • "An end-to-end neural network framework for state-of-health estimation and remaining useful life prediction of electric vehicle lithium batteries," 2021, Renewable and Sustainable Energy Reviews
  • "Radiomics in prostate cancer imaging for a personalized treatment approach - current aspects of methodology and a systematic review on validated studies," 2021, Theranostics
  • "Driver Distraction Detection Using Octave-Like Convolutional Neural Network," 2021, IEEE Transactions on Intelligent Transportation Systems

Frequent co-authors collaborating with Grosu include Daniela Rus, Zahra Babaiee, Ramin Hasani, Mathias Lechner, and Scott A. Smolka, indicating active and sustained partnerships in various research projects.

Publication venues where Grosu frequently publishes are varied, with notable appearances in:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Zenodo (CERN European Organization for Nuclear Research)
  • Radiotherapy and Oncology
  • Lecture Notes in Computer Science

The accumulation of 91 publications in computer science and 43 in engineering reflects the interdisciplinary nature of Grosu's research. Their expertise encompasses both theoretical foundations and practical applications within the fields stated above.

Best Publications

  • Monte Carlo model checking

    Radu Grosu;Scott A. Smolka

  • From MSCs to statecharts

    Ingolf Krüger;Radu Grosu;Peter Scholz;Manfred Broy

  • Modular Specification of Hybrid Systems in CHARON

    Rajeev Alur;Radu Grosu;Yerang Hur;Vijay Kumar

  • Liquid Time-constant Networks

    Ramin M. Hasani;Mathias Lechner;Alexander Amini;Daniela Rus

  • Neural circuit policies enabling auditable autonomy

    Mathias Lechner;Ramin Hasani;Ramin Hasani;Alexander Amini;Thomas A. Henzinger

  • Business Process Automation

    Subhra Bose;Steve Scimone;Nallan Sriraman;Ziyang Duan

  • Model repair for probabilistic systems

    Ezio Bartocci;Radu Grosu;Panagiotis Katsaros;C. R. Ramakrishnan

  • Runtime verification with state estimation

    Scott D. Stoller;Ezio Bartocci;Justin Seyster;Radu Grosu

  • A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems

    Denise Ratasich;Faiq Khalid;Florian Geissler;Radu Grosu

  • SpaTeL: a novel spatial-temporal logic and its applications to networked systems

    Iman Haghighi;Austin Jones;Zhaodan Kong;Ezio Bartocci

  • From cardiac cells to genetic regulatory networks

    Radu Grosu;Gregory Batt;Flavio H. Fenton;James Glimm

  • Compositional Refinement for Hierarchical Hybrid Systems

    Rajeev Alur;Radu Grosu;Insup Lee;Oleg Sokolsky

  • JMOCHA: a model checking tool that exploits design structure

    R. Alur;L. de Alfaro;R. Grosu;T. A. Henzinger

  • Systems, Views and Models of UML

    Ruth Breu;Radu Grosu;Franz Huber;Bernhard Rumpe

  • On temporal logic and signal processing

    Alexandre Donzé;Oded Maler;Ezio Bartocci;Dejan Nickovic

  • Statistical Model Checking

    Axel Legay;Anna Lukina;Louis Marie Traonouez;Junxing Yang

  • Learning and detecting emergent behavior in networks of cardiac myocytes

    Radu Grosu;Scott A. Smolka;Flavio Corradini;Anita Wasilewska

  • Quantitative monitoring of STL with edit distance

    Stefan Jakšić;Stefan Jakšić;Ezio Bartocci;Radu Grosu;Thang Nguyen

  • Software monitoring with controllable overhead

    Xiaowan Huang;Justin Seyster;Sean Callanan;Ketan Dixit

  • Modelling excitable cells using cycle-linear hybrid automata

    P. Ye;E. Entcheva;S.A. Smolka;R. Grosu

  • Safety-liveness semantics for UML 2.0 sequence diagrams

    R. Grosu;S.A. Smolka

  • A Modular Visual Model for Hybrid Systems

    Radu Grosu;Thomas Stauner;Manfred Broy

  • Automatically generating a program

    Manfred Broy;Radu Grosu;Ingolf Krüger

Frequent Co-Authors

Scott A. Smolka
Scott A. Smolka Stony Brook University
Scott D. Stoller
Scott D. Stoller Stony Brook University
Erez Zadok
Erez Zadok Stony Brook University
Ashish Tiwari
Ashish Tiwari Microsoft (United States)
Rajeev Alur
Rajeev Alur University of Pennsylvania
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University
Manfred Broy
Manfred Broy Technical University of Munich
James Glimm
James Glimm Stony Brook University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education can open many doors for those interested in Computer Science and related fields. Today, students have more options than ever, including accessible pathways for those with less traditional academic backgrounds. For individuals with lower grades, the best colleges for low gpa offer flexible admissions and comprehensive support to help you start your journey.

Online learning also enables you to pursue specialized degrees. If you’re considering a faster track, check out an online computer science degree from programs designed to help you graduate sooner. Interested in branching out? Environmental science is another rewarding field. Learn about potential roles and industries by exploring what can i do with an environmental science degree.

For those keen on impactful, practical careers, there are also environmental engineering degrees online that combine flexibility with affordability. Whatever your interests, pursuing an online degree in a related discipline can expand your skills and unlock new career pathways.

Best Scientists Citing Radu Grosu

Trending Scientists