Radu Grosu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
82
Venues
38
Active years
1997–2025
Best venue rank
A*
Where they publish
- A*ICRA9 papers
- CISoLA7 papers
- BRV7 papers
- A*AAAI6 papers
- A*CAV5 papers
- A*ICML3 papers
- BIJCNN3 papers
- BATVA3 papers
- ATACAS3 papers
- A*DAC2 papers
- ADATE2 papers
- A*ICSE2 papers
- MulticonferenceSAC2 papers
- CISORC2 papers
- NationalIWANN2 papers
- CMEMOCODE2 papers
- BSMC1 paper
- A*ICLR1 paper
- AWACV1 paper
- CICMLA1 paper
- CISPDC1 paper
- NationalSETTA1 paper
- BFOSSACS1 paper
- CIECON1 paper
- AITC1 paper
- A*WWW1 paper
- BSAFECOMP1 paper
- BCONCUR1 paper
- AIROS1 paper
- CSEW1 paper
- NationalSYSTOR1 paper
- BIFM1 paper
- BMASCOTS1 paper
- BFMCAD1 paper
- BMFCS1 paper
- A*POPL1 paper
- BEuroPar1 paper
- BFM1 paper
Papers
82 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | The Master Key Filters Hypothesis: Deep Filters Are General. | Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu |
| 2025 | AAAI | Real-Time Recurrent Reinforcement Learning. | Julian Lemmel, Radu Grosu |
| 2025 | ICML | Visual Graph Arena: Evaluating Visual Conceptualization of Vision and Multimodal Large Language Models. | Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu |
| 2025 | ICRA | Scenario-Based Curriculum Generation for Multi-Agent Driving. | Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu |
| 2025 | SMC | Online Fine-Tuning of Carbon Emission Predictions using Real-Time Recurrent Learning for State Space Models. | Julian Lemmel, Manuel Kranzl, Adam Lamine, Philipp Neubauer, Radu Grosu, Sophie A. Neubauer |
| 2024 | DAC | DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. | Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2024 | ICLR | Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels. | Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu |
| 2024 | ICRA | Learning Adaptive Safety for Multi-Agent Systems. | Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu |
| 2024 | ICRA | Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2024 | ICRA | Learning with Chemical versus Electrical Synapses Does it Make a Difference? | Mnika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2024 | WACV | Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields. | Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu |
| 2023 | DAC | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. | Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu |
| 2023 | DATE | NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips. | Xabier Iturbe, Nassim Abderrahmane, Jaume Abella, Sergi Alcaide, Eric Beyne, Henri-Pierre Charles, Christelle Charpin-Nicolle, Lars Chittka, Anglica Dvila, Arne Erdmann, Carles Estrada, Ander Fernndez, Anna Fontanelli, Jos Flich, Gianluca Furano, Alejandro Hernn Gloriani, Erik Isusquiza, Radu Grosu, Carles Hernndez, Daniele Ielmini, David Jackson, Maha Kooli, Nicola Lepri, Bernab Linares-Barranco, Jean-Loup Lachese, Eric Laurent, Menno Lindwer, Frank Linsenmaier, Mikel Lujn, Karel Masark, Nele Mentens, Orlando Moreira, Chinmay Nawghane, Luca Peres, Jean-Philippe Noel, Arash Pourtaherian, Christoph Posch, Peter Priller, Zdenek Prikryl, Felix Resch, Oliver Rhodes, Todor P. Stefanov, Moritz Storring, Michele Taliercio, Rafael Tornero, Marcel D. van de Burgwal, Geert Van der Plas, Elisa Vianello, Pavel Zaykov |
| 2023 | ICRA | Multi-Agent Spatial Predictive Control with Application to Drone Flocking. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | AAAI | GoTube: Scalable Statistical Verification of Continuous-Depth Models. | Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu |
| 2022 | ICMLA | DeepWafer: A Generative Wafermap Model with Deep Adversarial Networks. | Hamidreza Mahyar, Peter Tulala, Elahe Ghalebi, Radu Grosu |
| 2022 | ICRA | Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. | Axel Brunnbauer, Luigi Berducci, Andreas Brandsttter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2022 | ICSE | DeepSTL - From English Requirements to Signal Temporal Logic. | Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2022 | ISoLA | Safe Policy Improvement in Constrained Markov Decision Processes. | Luigi Berducci, Radu Grosu |
| 2022 | ISoLA | Towards Drone Flocking Using Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2021 | AAAI | On the Verification of Neural ODEs with Stochastic Guarantees. | Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu |
| 2021 | AAAI | Liquid Time-constant Networks. | Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu |
| 2021 | ICML | On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. | Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu |
| 2021 | ICRA | Adversarial Training is Not Ready for Robot Learning. | Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger |
| 2021 | ISPDC | Keynote Lecture : Neural circuit policies. | Radu Grosu |
| 2021 | SETTA | A Distributed Simplex Architecture for Multi-agent Systems. | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
| 2020 | FOSSACS | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2020 | ICML | A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. | Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu |
| 2020 | ICRA | Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. | Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu |
| 2019 | AAAI | A Machine Learning Suite for Machine Components' Health-Monitoring. | Ramin M. Hasani, Guodong Wang, Radu Grosu |
| 2019 | IJCNN | Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. | Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus |
| 2019 | ICRA | Designing Worm-inspired Neural Networks for Interpretable Robotic Control. | Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu |
| 2019 | IECON | Sensyml: Simulation Environment for large-scale IoT Applications. | Haris Isakovic, Vanja Bisanovic, Bernhard Wally, Thomas Rausch, Denise Ratasich, Schahram Dustdar, Gerti Kappel, Radu Grosu |
| 2019 | SAC | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. | Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2018 | ATVA | Neural State Classification for Hybrid Systems. | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2018 | IJCNN | Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. | Peter Tulala, Hamidreza Mahyar, Elahe Ghalebi K., Radu Grosu |
| 2018 | ITC | Production Tests Coverage Analysis in the Simulation Environment. | Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic |
| 2018 | SAC | Declarative vs rule-based control for flocking dynamics. | Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka |
| 2017 | ATVA | Attacking the V: On the Resiliency of Adaptive-Horizon MPC. | Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
| 2017 | CAV | Lagrangian Reachabililty. | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu |
| 2017 | CAV | Runtime Monitoring with Recovery of the SENT Communication Protocol. | Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2017 | IJCNN | Compositional neural-network modeling of complex analog circuits. | Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu |
| 2017 | ISORC | A Self-Healing Framework for Building Resilient Cyber-Physical Systems. | Denise Ratasich, Oliver Hftberger, Haris Isakovic, Muhammad Shafique, Radu Grosu |
| 2017 | IWANN | Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model. | Ramin M. Hasani, Guodong Wang, Radu Grosu |
| 2017 | IWANN | Computing with Biophysical and Hardware-Efficient Neural Models. | Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu |
| 2017 | WWW | Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. | Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar |
| 2017 | SAFECOMP | A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. | Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic |
| 2017 | TACAS | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2016 | CONCUR | Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari |
| 2016 | DATE | Monitoring of MTL specifications with IBM's spiking-neuron model. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2016 | ISoLA | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. | Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin |
| 2016 | MEMOCODE | Parallel reachability analysis for hybrid systems. | Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray |
| 2016 | RV | Quantitative Monitoring of STL with Edit Distance. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
| 2016 | RV | Applying Runtime Monitoring for Automotive Electronic Development. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu |
| 2015 | IROS | Generic sensor fusion package for ROS. | Denise Ratasich, Bernhard Frmel, Oliver Hftberger, Radu Grosu |
| 2015 | MEMOCODE | From signal temporal logic to FPGA monitors. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic |
| 2015 | RV | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. | Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2014 | ISoLA | Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. | Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka |
| 2014 | ISoLA | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2013 | RV | Runtime Verification with Particle Filtering. | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | CAV | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
| 2012 | RV | Adaptive Runtime Verification. | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2011 | CAV | From Cardiac Cells to Genetic Regulatory Networks. | Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
| 2011 | RV | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | SEW | A Change of Perspective Yields Formal Analysis. | Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci |
| 2011 | SYSTOR | On the energy consumption and performance of systems software. | Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2011 | TACAS | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2010 | RV | Aspect-Oriented Instrumentation with GCC. | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2009 | IFM | Dynamic Path Reduction for Software Model Checking. | Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu |
| 2008 | MASCOTS | Power Optimization in Fault-Tolerant MANETs. | Oliviero Riganelli, Radu Grosu, Scott A. Smolka |
| 2005 | TACAS | Monte Carlo Model Checking. | Radu Grosu, Scott A. Smolka |
| 2004 | ISoLA | Quantitative Model checking. | Radu Grosu, Scott A. Smolka |
| 2001 | ICSE | JMOCHA: A Model Checking Tool that Exploits Design Structure. | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang |
| 2000 | CAV | Efficient Reachability Analysis of Hierarchical Reactive Machines. | Rajeev Alur, Radu Grosu, Michael McDougall |
| 2000 | FMCAD | Automated Refinement Checking for Asynchronous Processes. | Rajeev Alur, Radu Grosu, Bow-Yaw Wang |
| 2000 | ISORC | Hybrid Sequence Charts. | Radu Grosu, Ingolf Krger, Thomas Stauner |
| 2000 | MFCS | And/Or Hierarchies and Round Abstraction. | Radu Grosu |
| 2000 | POPL | Modular Refinement of Hierarchic Reactive Machines. | Rajeev Alur, Radu Grosu |
| 1997 | EuroPar | Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). | Ruth Breu, Radu Grosu |
| 1997 | FM | Reconciling Real-Time with Asynchronous Message Passing. | Manfred Broy, Radu Grosu, Cornel Klein |