Radu Grosu - RankMe

301 papers A* 30A 11B 21C 10Misc 4Journal 126Unranked 93

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Online Fine-Tuning of Pretrained Controllers for Autonomous Driving via Real-Time Recurrent RL. CoRR Julian Lemmel, Felix Resch, Mónika Farsang, Ramin M. Hasani, Daniela Rus, Radu Grosu
2026	—	`conf`	ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks. Engineering Safe and Trustworthy Cyber Physical Systems Radu Grosu
2026	J	`jnl`	Single molecule localization microscopy challenge: a biologically inspired benchmark for long-sequence modeling. CoRR Fatemeh Valeh, Mónika Farsang, Radu Grosu, Gerhard Schütz
2026	J	`jnl`	Synaptic Activation and Dual Liquid Dynamics for Interpretable Bio-Inspired Models. CoRR Mónika Farsang, Radu Grosu
2026	J	`jnl`	Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling. CoRR Mihaela-Larisa Clement, Mónika Farsang, Agnes Poks, Johannes Edelmann, Manfred Plöchl, Radu Grosu, Ezio Bartocci
2025	J	`jnl`	Depth Matters: Multimodal RGB-D Perception for Robust Autonomous Agents. CoRR Mihaela-Larisa Clement, Mónika Farsang, Felix Resch, Radu Grosu
2025	J	`jnl`	Differential Gated Self-Attention. CoRR Elpiniki Maria Lygizou, Mónika Farsang, Radu Grosu
2025	B	`conf`	Online Fine-Tuning of Carbon Emission Predictions using Real-Time Recurrent Learning for State Space Models. SMC Julian Lemmel, Manuel Kranzl, Adam Lamine, Philipp Neubauer, Radu Grosu, Sophie A. Neubauer
2025	J	`jnl`	Online Fine-Tuning of Carbon Emission Predictions using Real-Time Recurrent Learning for State Space Models. CoRR Julian Lemmel, Manuel Kranzl, Adam Lamine, Philipp Neubauer, Radu Grosu, Sophie A. Neubauer
2025	A*	`conf`	Real-Time Recurrent Reinforcement Learning. AAAI Julian Lemmel, Radu Grosu
2025	J	`jnl`	Relative Entropy Pathwise Policy Optimization. CoRR Claas Voelcker, Axel Brunnbauer, Marcel Hussing, Michal Nauman, Pieter Abbeel, Eric Eaton, Radu Grosu, Amir-massoud Farahmand, Igor Gilitschenski
2025	A	`conf`	Scalable Offline Reinforcement Learning for Mean Field Games. AAMAS Axel Brunnbauer, Julian Lemmel, Zahra Babaiee, Sophie A. Neubauer, Radu Grosu
2025	J	`jnl`	Scaling Up Liquid-Resistance Liquid-Capacitance Networks for Efficient Sequence Modeling. CoRR Mónika Farsang, Ramin M. Hasani, Radu Grosu
2025	A*	`conf`	Scenario-Based Curriculum Generation for Multi-Agent Driving. ICRA Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu
2025	J	`jnl`	TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. CoRR Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang, Meixun Qu, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2025	A*	`conf`	The Master Key Filters Hypothesis: Deep Filters Are General. AAAI Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2025	J	`jnl`	The Quest for Universal Master Key Filters in DS-CNNs. CoRR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2025	J	`jnl`	TubeDAgger: Reducing the Number of Expert Interventions with Stochastic Reach-Tubes. CoRR Julian Lemmel, Manuel Kranzl, Adam Lamine, Philipp Neubauer, Radu Grosu, Sophie A. Neubauer
2025	A*	`conf`	Visual Graph Arena: Evaluating Visual Conceptualization of Vision and Multimodal Large Language Models. ICML Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2025	J	`jnl`	Visual Graph Arena: Evaluating Visual Conceptualization of Vision and Multimodal Large Language Models. CoRR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2024	J	`jnl`	A quantum-classical reinforcement learning model to play Atari games. CoRR Dominik Freinberger, Julian Lemmel, Radu Grosu, Sofiène Jerbi
2024	—	`conf`	Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers. EMBC Elpiniki Maria Lygizou, Michael Reiter, Margarita Maurer-Granofszky, Michael N. Dworzak, Radu Grosu
2024	J	`jnl`	Automated Immunophenotyping Assessment for Diagnosing Childhood Acute Leukemia using Set-Transformers. CoRR Elpiniki Maria Lygizou, Michael Reiter, Margarita Maurer-Granofszky, Michael N. Dworzak, Radu Grosu
2024	A*	`conf`	DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. DAC Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2024	A*	`conf`	Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2024	J	`jnl`	Gated Chemical Units. CoRR Mónika Farsang, Radu Grosu
2024	J	`jnl`	HPRS: hierarchical potential-based reward shaping from task specifications. Frontiers Robotics AI Luigi Berducci, Edgar A. Aguilar, Dejan Nickovic, Radu Grosu
2024	A*	`conf`	Learning Adaptive Safety for Multi-Agent Systems. ICRA Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
2024	J	`jnl`	Learning with Chemical versus Electrical Synapses - Does it Make a Difference? CoRR Mónika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu
2024	A*	`conf`	Learning with Chemical versus Electrical Synapses Does it Make a Difference? ICRA Mónika Farsang, Mathias Lechner, David Lung, Ramin M. Hasani, Daniela Rus, Radu Grosu
2024	J	`jnl`	MMDVS-LF: A Multi-Modal Dynamic-Vision-Sensor Line Following Dataset. CoRR Felix Resch, Mónika Farsang, Radu Grosu
2024	A	`conf`	Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields. WACV Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2024	J	`jnl`	Neural Echos: Depthwise Convolutional Filters Replicate Biological Receptive Fields. CoRR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2024	—	`conf`	Neural Programs: Linking Probabilistic and Differential Programming. Principles of Verification (1) Radu Grosu
2024	J	`jnl`	Neuromorphic IoT Architecture for Efficient Water Management: A Smart Village Case Study. CoRR Mugdim Bublin, Heimo Hirner, Antoine-Martin Lanners, Radu Grosu
2024	J	`jnl`	Scalable Offline Reinforcement Learning for Mean Field Games. CoRR Axel Brunnbauer, Julian Lemmel, Zahra Babaiee, Sophie A. Neubauer, Radu Grosu
2024	J	`jnl`	Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving. CoRR Axel Brunnbauer, Luigi Berducci, Peter Priller, Dejan Nickovic, Radu Grosu
2024	J	`jnl`	Segmentation of Prostate Tumour Volumes from PET Images is a Different Ball Game. CoRR Shrajan Bhandary, Dejan Kuhn, Zahra Babaiee, Tobias Fechter, Simon Spohn, Constantinos Zamboglou, Anca-Ligia Grosu, Radu Grosu
2024	J	`jnl`	The Master Key Filters Hypothesis: Deep Filters Are General in DS-CNNs. CoRR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2024	A*	`conf`	Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels. ICLR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2024	J	`jnl`	Unveiling the Unseen: Identifiable Clusters in Trained Depthwise Convolutional Kernels. CoRR Zahra Babaiee, Peyman M. Kiasari, Daniela Rus, Radu Grosu
2023	J	`jnl`	A distributed simplex architecture for multi-agent systems. J. Syst. Archit. Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2023	J	`jnl`	Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	DynGATT: A dynamic GATT-based data synchronization protocol for BLE networks. Comput. Networks Christian Hirsch, Luca Davoli, Radu Grosu, Gianluigi Ferrari
2023	J	`jnl`	Enhancing Robot Learning through Learned Human-Attention Feature Maps. CoRR Daniel Scheuchenstuhl, Stefan Ulmer, Felix Resch, Luigi Berducci, Radu Grosu
2023	J	`jnl`	Investigation and benchmarking of U-Nets on prostate segmentation tasks. Comput. Medical Imaging Graph. Shrajan Bhandary, Dejan Kuhn, Zahra Babaiee, Tobias Fechter, Matthias Benndorf, Constantinos Zamboglou, Anca-Ligia Grosu, Radu Grosu
2023	J	`jnl`	Learning Adaptive Safety for Multi-Agent Systems. CoRR Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
2023	A*	`conf`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2023	A	`conf`	NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips. DATE Xabier Iturbe, Nassim Abderrahmane, Jaume Abella, Sergi Alcaide, Eric Beyne, Henri-Pierre Charles, Christelle Charpin-Nicolle, Lars Chittka, Angélica Dávila, Arne Erdmann, Carles Estrada, Ander Fernández, Anna Fontanelli, José Flich, Gianluca Furano, Alejandro Hernán Gloriani, Erik Isusquiza, Radu Grosu, Carles Hernández, Daniele Ielmini, David Jackson, Maha Kooli, Nicola Lepri, Bernabé Linares-Barranco, Jean-Loup Lachese, Eric Laurent, Menno Lindwer, Frank Linsenmaier, Mikel Luján, Karel Masarík, 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	J	`jnl`	On the Benefits of Biophysical Synapses. CoRR Julian Lemmel, Radu Grosu
2023	J	`jnl`	Prediction of Tourism Flow with Sparse Geolocation Data. CoRR Julian Lemmel, Zahra Babaiee, Marvin Kleinlehner, Ivan Majic, Philipp Neubauer, Johannes Scholz, Radu Grosu, Sophie A. Neubauer
2023	J	`jnl`	Real-Time Recurrent Reinforcement Learning. CoRR Julian Lemmel, Radu Grosu
2023	J	`jnl`	Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. CoRR Sophie A. Neubauer, Radu Grosu
2023	A*	`conf`	TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
2022	J	`jnl`	Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data. CoRR Julian Lemmel, Zahra Babaiee, Marvin Kleinlehner, Ivan Majic, Philipp Neubauer, Johannes Scholz, Radu Grosu, Sophie A. Neubauer
2022	A*	`conf`	DeepSTL - From English Requirements to Signal Temporal Logic. ICSE Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2022	C	`conf`	DeepWafer: A Generative Wafermap Model with Deep Adversarial Networks. ICMLA Hamidreza Mahyar, Peter Tulala, Elahe Ghalebi, Radu Grosu
2022	J	`jnl`	Driver Distraction Detection Using Octave-Like Convolutional Neural Network. IEEE Trans. Intell. Transp. Syst. Penghua Li, Yifeng Yang, Radu Grosu, Guodong Wang, Rui Li, Yuehong Wu, Zeng Huang
2022	J	`jnl`	End-to-End Sensitivity-Based Filter Pruning. CoRR Zahra Babaiee, Lucas Liebenwein, Ramin M. Hasani, Daniela Rus, Radu Grosu
2022	J	`jnl`	Entangled Residual Mappings. CoRR Mathias Lechner, Ramin M. Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter
2022	A*	`conf`	GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2022	J	`jnl`	IB-U-Nets: Improving medical image segmentation tasks with 3D Inductive Biased kernels. CoRR Shrajan Bhandary, Zahra Babaiee, Dejan Kostyszyn, Tobias Fechter, Constantinos Zamboglou, Anca-Ligia Grosu, Radu Grosu
2022	J	`jnl`	Introduction to the Special Issue on Internet-of-Medical-Things. ACM Trans. Comput. Heal. Paul Bogdan, Radu Grosu, Insup Lee
2022	B	`conf`	Keynote Lecture Towards Neuro-Symbolic AI. ICCP Radu Grosu
2022	A*	`conf`	Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing. ICRA Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2022	J	`jnl`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2022	J	`jnl`	Pruning by Active Attention Manipulation. CoRR Zahra Babaiee, Lucas Liebenwein, Ramin M. Hasani, Daniela Rus, Radu Grosu
2022	—	`conf`	Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. Principles of Systems Design Sophie A. Neubauer, Radu Grosu
2022	—	`conf`	Safe Policy Improvement in Constrained Markov Decision Processes. ISoLA (1) Luigi Berducci, Radu Grosu
2022	J	`jnl`	Safe Policy Improvement in Constrained Markov Decision Processes. CoRR Luigi Berducci, Radu Grosu
2022	—	`conf`	Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2021	J	`jnl`	3D-OOCS: Learning Prostate Segmentation with Inductive Bias. CoRR Shrajan Bhandary, Zahra Babaiee, Dejan Kostyszyn, Tobias Fechter, Constantinos Zamboglou, Anca L. Grosu, Radu Grosu
2021	Misc	`conf`	A Distributed Simplex Architecture for Multi-agent Systems. SETTA Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2021	—	`conf`	Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. ICIT Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu
2021	A*	`conf`	Adversarial Training is Not Ready for Robot Learning. ICRA Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
2021	J	`jnl`	Adversarial Training is Not Ready for Robot Learning. CoRR Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
2021	—	`conf`	Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
2021	C	`conf`	Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2021	J	`jnl`	From English to Signal Temporal Logic. CoRR Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
2021	J	`jnl`	From STL Rulebooks to Rewards. CoRR Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic
2021	J	`jnl`	GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2021	C	`conf`	Keynote Lecture : Neural circuit policies. ISPDC Radu Grosu
2021	A*	`conf`	Liquid Time-constant Networks. AAAI Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. CoRR Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2021	A*	`conf`	On the Verification of Neural ODEs with Stochastic Guarantees. AAAI Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2021	A*	`conf`	On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. ICML Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu
2021	J	`jnl`	On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. CoRR Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu
2021	—	`conf`	QoS for Dynamic Deployment of IoT Services. ICIT Haris Isakovic, Luis Lino Ferreira, Irmin Okic, Adam Dukkon, Zlatan Tucakovic, Radu Grosu
2020	J	`jnl`	A Distributed Simplex Architecture for Multi-Agent Systems. CoRR Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2020	A*	`conf`	A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. ICML Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2020	—	`conf`	An Energy Sustainable CPS/IoT Ecosystem. SmartCity360° Haris Isakovic, Edgar Azpiazu Crespo, Radu Grosu
2020	A*	`conf`	Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. ICRA Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu
2020	J	`jnl`	Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule. Entropy Xuelin Zhang, Xiaojian Xu, Xiaobin Xu, Diju Gao, Haibo Gao, Guodong Wang, Radu Grosu
2020	—	`conf`	Lagrangian Reachtubes: The Next Generation. CDC Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Lagrangian Reachtubes: The Next Generation. CoRR Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	—	`conf`	Learning Distributed Controllers for V-Formation. ACSOS Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	Learning Distributed Controllers for V-Formation. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	Liquid Time-constant Networks. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2020	B	`conf`	Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	—	`conf`	Neural Simplex Architecture. NFM Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	Neural circuit policies enabling auditable autonomy. Nat. Mach. Intell. Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu
2020	J	`jnl`	On The Verification of Neural ODEs with Stochastic Guarantees. CoRR Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks. CoRR Radu Grosu
2020	J	`jnl`	V-Formation via Model Predictive Control. CoRR Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
2019	A*	`conf`	A Machine Learning Suite for Machine Components' Health-Monitoring. AAAI Ramin M. Hasani, Guodong Wang, Radu Grosu
2019	J	`jnl`	A Nonparametric Bayesian Model for Sparse Temporal Multigraphs. CoRR Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Graham W. Taylor, Sinead A. Williamson
2019	J	`jnl`	A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
2019	J	`jnl`	A generative neural network model for the quality prediction of work in progress products. Appl. Soft Comput. Guodong Wang, Anna Ledwoch, Ramin M. Hasani, Radu Grosu, Alexandra Brintrup
2019	—	`conf`	Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
2019	J	`jnl`	Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. CoRR Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
2019	—	`conf`	CPS/IoT Ecosystem: Indoor Vertical Farming System. ISCT Haris Isakovic, Alexander Fasching, Lukas Punzenberger, Radu Grosu
2019	—	`conf`	Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT Christian Hirsch, Ezio Bartocci, Radu Grosu
2019	A*	`conf`	Designing Worm-inspired Neural Networks for Interpretable Robotic Control. ICRA Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu
2019	Misc	`conf`	Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2019	J	`jnl`	Dynamic Nonparametric Edge-Clustering Model for Time-Evolving Sparse Networks. CoRR Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Sinead Williamson
2019	—	`ed.`	From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday From Reactive Systems to Cyber-Physical Systems Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
2019	J	`jnl`	Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2019	J	`jnl`	Neural Simplex Architecture. CoRR Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019	—	`conf`	Neural state classification for hybrid systems. SNR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2019	J	`jnl`	Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2019	J	`jnl`	Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2019	B	`conf`	Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. IJCNN Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus
2019	C	`conf`	Sensyml: Simulation Environment for large-scale IoT Applications. IECON Haris Isakovic, Vanja Bisanovic, Bernhard Wally, Thomas Rausch, Denise Ratasich, Schahram Dustdar, Gerti Kappel, Radu Grosu
2019	—	`ch.`	Statistical Model Checking. Computing and Software Science Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2019	—	`conf`	Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
2018	—	`conf`	A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. COMPLEX NETWORKS (2) Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elahe Ghalebi K., Radu Grosu, Harry Eugene Stanley
2018	J	`jnl`	A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. CoRR Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
2018	—	`conf`	A multi-bias recurrent neural network for modeling milling sensory data. ICPS Guodong Wang, Mohamed Amin Ben Sassi, Radu Grosu
2018	J	`jnl`	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2018	J	`jnl`	An Algebraic Framework for Runtime Verification. CoRR Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018	J	`jnl`	An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2018	—	`conf`	CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
2018	—	`conf`	Compressed Sensing in Cyber Physical Social Systems. Principles of Modeling Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar
2018	Misc	`conf`	Declarative vs rule-based control for flocking dynamics. SAC Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018	A*	`conf`	Dynamic Network Model from Partial Observations. NeurIPS Elahe Ghalebi, Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec
2018	J	`jnl`	Dynamic Network Model from Partial Observations. CoRR Elahe Ghalebi K., Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec
2018	—	`conf`	Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018	J	`jnl`	Identifying central nodes for information flow in social networks using compressive sensing. Soc. Netw. Anal. Min. Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian, Radu Grosu, Ali Movaghar, Hamid R. Rabiee
2018	J	`jnl`	Liquid Time-constant Recurrent Neural Networks as Universal Approximators. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2018	B	`conf`	Neural State Classification for Hybrid Systems. ATVA Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Neural State Classification for Hybrid Systems. CoRR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Neuronal Circuit Policies. CoRR Mathias Lechner, Ramin M. Hasani, Radu Grosu
2018	—	`conf`	OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018	A	`conf`	Production Tests Coverage Analysis in the Simulation Environment. ITC Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic
2018	J	`jnl`	Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
2018	J	`jnl`	Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu
2018	—	`conf`	Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
2018	J	`jnl`	Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. CoRR Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus
2018	—	`conf`	Self-healing by property-guided structural adaptation. ICPS Denise Ratasich, Thomas Preindl, Konstantin Selyunin, Radu Grosu
2018	—	`conf`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2018	J	`jnl`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2018	B	`conf`	Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. IJCNN Peter Tulala, Hamidreza Mahyar, Elahe Ghalebi K., Radu Grosu
2017	—	`conf`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres. Sensors Yungang Zhu, Dayou Liu, Radu Grosu, Xinhua Wang, Hongying Duan, Guodong Wang
2017	C	`conf`	A Self-Healing Framework for Building Resilient Cyber-Physical Systems. ISORC Denise Ratasich, Oliver Höftberger, Haris Isakovic, Muhammad Shafique, Radu Grosu
2017	—	`conf`	A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops 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	—	`conf`	A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process. ICIT Guodong Wang, Ramin M. Hasani, Yungang Zhu, Radu Grosu
2017	—	`conf`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings. CoRR Ramin M. Hasani, Guodong Wang, Radu Grosu
2017	B	`conf`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017	B	`conf`	Compositional neural-network modeling of complex analog circuits. IJCNN Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu
2017	—	`conf`	Computing with Biophysical and Hardware-Efficient Neural Models. IWANN (1) Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
2017	J	`jnl`	Declarative vs Rule-based Control for Flocking Dynamics. CoRR Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017	—	`conf`	Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. WWW (Companion Volume) Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar
2017	J	`jnl`	Gaussian convex evidence theory for ordered and fuzzy evidence fusion. J. Intell. Fuzzy Syst. Yungang Zhu, Hongying Duan, Xinhua Wang, Baokui Zhou, Guodong Wang, Radu Grosu
2017	J	`jnl`	HellRank: a Hellinger-based centrality measure for bipartite social networks. Soc. Netw. Anal. Min. Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar
2017	J	`jnl`	How to Learn a Model Checker. CoRR Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2017	—	`conf`	Lagrangian Reachabililty. CAV (1) Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	Lagrangian Reachabililty. CoRR Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
2017	J	`jnl`	Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans. CoRR Ramin M. Hasani, Magdalena Fuchs, Victoria Beneder, Radu Grosu
2017	—	`conf`	Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2017	—	`conf`	Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2017	J	`jnl`	SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans. CoRR Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu
2017	J	`jnl`	Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording. CoRR Magdalena Fuchs, Manuel Zimmer, Radu Grosu, Ramin M. Hasani
2017	—	`ch.`	Temporal Logic as Filtering. Dependable Software Systems Engineering Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2017	—	`conf`	Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model. IWANN (2) Ramin M. Hasani, Guodong Wang, Radu Grosu
2017	J	`jnl`	Worm-level Control through Search-based Reinforcement Learning. CoRR Mathias Lechner, Radu Grosu, Ramin M. Hasani
2016	—	`conf`	A heterogeneous time-triggered architecture on a hybrid system-on-a-chip platform. ISIE Haris Isakovic, Radu Grosu
2016	J	`jnl`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016	B	`conf`	Applying Runtime Monitoring for Automotive Electronic Development. RV Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
2016	—	`conf`	Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2016	J	`jnl`	Cyber-physical systems: challenge of the 21st century. Elektrotech. Informationstechnik Lukas Esterle, Radu Grosu
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
2016	—	`conf`	Discrete Abstraction of Multiaffine Systems. HSB Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
2016	—	`conf`	Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
2016	J	`jnl`	Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2016	B	`conf`	Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
2016	A	`conf`	Monitoring of MTL specifications with IBM's spiking-neuron model. DATE Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016	J	`jnl`	Parallel Reachability Analysis for Hybrid Systems. CoRR Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	C	`conf`	Parallel reachability analysis for hybrid systems. MEMOCODE Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
2016	—	`conf`	Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. HLDVT Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka
2016	B	`conf`	Quantitative Monitoring of STL with Edit Distance. RV Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
2016	J	`jnl`	Regular Expressions for Irregular Rhythms. CoRR Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2016	—	`conf`	Temporal Logic as Filtering. HSCC Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016	—	`conf`	The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2015	—	`conf`	Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
2015	B	`conf`	Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2015	—	`conf`	Computing bisimulation functions using SOS optimization and HSCC Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2015	J	`jnl`	Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. CoRR Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu
2015	C	`conf`	From signal temporal logic to FPGA monitors. MEMOCODE Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
2015	A	`conf`	Generic sensor fusion package for ROS. IROS Denise Ratasich, Bernhard Frömel, Oliver Höftberger, Radu Grosu
2015	—	`conf`	Model Checking Tap Withdrawal in C. Elegans. HSB Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model Checking Tap Withdrawal in C. Elegans. CoRR Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2015	—	`conf`	Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2015	—	`conf`	SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
2015	J	`jnl`	Temporal Logic as Filtering. CoRR Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2015	—	`conf`	XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
2014	—	`conf`	Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
2014	—	`conf`	Compositional Branching-Time Measurements. FPS@ETAPS Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014	—	`conf`	Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 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	—	`conf`	Compositionality results for cardiac cell dynamics. HSCC Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
2014	J	`jnl`	Concurrent Timed Port Automata. CoRR Radu Grosu, Bernhard Rumpe
2014	J	`jnl`	Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM News Ezio Bartocci, Oliver Höftberger, Radu Grosu
2014	J	`jnl`	Enhancing the SysLab System Model with State. CoRR Radu Grosu, Cornel Klein, Bernhard Rumpe
2014	J	`jnl`	Exemplary and Complete Object Interaction Descriptions. CoRR Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin
2014	J	`jnl`	Systems, Views and Models of UML. CoRR Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
2014	J	`jnl`	Towards a Precise Semantics for Object-Oriented Modeling Techniques. CoRR Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
2014	—	`conf`	Using Statistical Model Checking for Measuring Systems. ISoLA (2) Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2013	—	`conf`	Abstraction-Based Guided Search for Hybrid Systems. SPIN Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2013	J	`jnl`	Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
2013	—	`conf`	Monitoring with uncertainty. HAS Ezio Bartocci, Radu Grosu
2013	B	`conf`	Runtime Verification with Particle Filtering. RV Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
2012	A*	`conf`	A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
2012	B	`conf`	Adaptive Runtime Verification. RV Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
2012	—	`conf`	Approximate Bisimulations for Sodium Channel Dynamics. CMSB Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2012	J	`jnl`	InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2012	B	`conf`	On Temporal Logic and Signal Processing. ATVA Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
2012	J	`jnl`	Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	C	`conf`	A Change of Perspective Yields Formal Analysis. SEW Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
2011	—	`conf`	Curvature analysis of cardiac excitation wavefronts. CMSB Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
2011	A*	`conf`	From Cardiac Cells to Genetic Regulatory Networks. CAV Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011	A	`conf`	Model Repair for Probabilistic Systems. TACAS Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
2011	—	`conf`	Model discovery for energy-aware computing systems: An experimental evaluation. IGCC Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	Misc	`conf`	On the energy consumption and performance of systems software. SYSTOR Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	—	`ed.`	Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011 HSCC Marco Caccamo, Emilio Frazzoli, Radu Grosu
2011	B	`conf`	Runtime Verification with State Estimation. RV Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
2011	—	`conf`	Toward real-time simulation of cardiac dynamics. CMSB Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
2010	B	`conf`	Aspect-Oriented Instrumentation with GCC. RV Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2010	C	`conf`	The Cayley-Hamilton Theorem for Noncommutative Semirings. CIAA Radu Grosu
2009	B	`conf`	Dynamic Path Reduction for Software Model Checking. IFM Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu
2009	—	`conf`	Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. HSCC Radu Grosu
2009	J	`jnl`	Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
2009	J	`jnl`	Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
2008	J	`jnl`	CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2008	—	`conf`	Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva
2008	—	`conf`	Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska
2008	B	`conf`	Power Optimization in Fault-Tolerant MANETs. MASCOTS Oliviero Riganelli, Radu Grosu, Scott A. Smolka
2008	—	`conf`	Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka
2008	A	`conf`	Software monitoring with bounded overhead. IPDPS Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2008	—	`conf`	StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
2007	—	`conf`	Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka
2007	A	`conf`	Model Predictive Control for Memory Profiling. IPDPS Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
2007	—	`conf`	Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2006	—	`conf`	A Cycle-Linear Approach to Modeling Action Potentials. EMBC Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
2006	A	`conf`	Compiler-assisted software verification using plug-ins. IPDPS Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
2006	J	`jnl`	Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2006	—	`conf`	Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
2006	—	`conf`	Efficient Event-Driven Simulation of Excitable Hybrid Automata. EMBC Mike R. True, Emilia Entcheva, Scott A. Smolka, Pei Ye, Radu Grosu
2006	—	`conf`	Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. EMBC Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
2006	—	`conf`	Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. MBT Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
2005	—	`conf`	Monte Carlo Methods for Process Algebra. APC 25 Radu Grosu, Scott A. Smolka
2005	A	`conf`	Monte Carlo Model Checking. TACAS Radu Grosu, Scott A. Smolka
2005	—	`conf`	Open-Source Model Checking. SoftMC@CAV Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka
2005	—	`conf`	Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD Radu Grosu, Scott A. Smolka
2004	J	`jnl`	Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. Rajeev Alur, Radu Grosu
2004	—	`conf`	Quantitative Model checking. ISoLA (Preliminary proceedings) Radu Grosu, Scott A. Smolka
2002	—	`conf`	High-confidence operating systems. ACM SIGOPS European Workshop Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
2002	J	`jnl`	Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods Syst. Des. Radu Grosu, Thomas Stauner
2001	A*	`conf`	Automated Software Engineering Using Concurrent Class Machines. ASE Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
2001	—	`conf`	Compositional Refinement for Hierarchical Hybrid Systems. HSCC Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2001	A*	`conf`	JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
2001	A*	`conf`	Shared Variables Interaction Diagrams. ASE Rajeev Alur, Radu Grosu
2001	J	`jnl`	Stream-Based Specification of Mobile Systems. Formal Aspects Comput. Radu Grosu, Ketil Stølen
2000	B	`conf`	And/Or Hierarchies and Round Abstraction. MFCS Radu Grosu
2000	B	`conf`	Automated Refinement Checking for Asynchronous Processes. FMCAD Rajeev Alur, Radu Grosu, Bow-Yaw Wang
2000	A*	`conf`	Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV Rajeev Alur, Radu Grosu, Michael McDougall
2000	C	`conf`	Hybrid Sequence Charts. ISORC Radu Grosu, Ingolf Krüger, Thomas Stauner
2000	J	`jnl`	Mixed Relations as Enriched Semiringal Categories. J. Univers. Comput. Sci. Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
2000	A*	`conf`	Modular Refinement of Hierarchic Reactive Machines. POPL Rajeev Alur, Radu Grosu
2000	—	`conf`	Modular Specification of Hybrid Systems in CHARON. HSCC Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
1999	—	`conf`	Focusing on Mobility. HICSS Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
1999	—	`conf`	Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) Radu Grosu, Ingolf Krüger, Thomas Stauner
1999	—	`ch.`	What is Behind UML-RT? Behavioral Specifications of Businesses and Systems Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu
1998	—	`conf`	A Modular Visual Model for Hybrid Systems. FTRTFT Radu Grosu, Thomas Stauner, Manfred Broy
1998	J	`jnl`	Exemplary and complete object interaction descriptions. Comput. Stand. Interfaces Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin
1998	—	`conf`	From MSCs to Statecharts. DIPES Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
1998	—	`conf`	Visual Formalisms Revisited. ACSD Radu Grosu, Gheorghe Stefanescu, Manfred Broy
1997	—	`conf`	Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). Euro-Par Ruth Breu, Radu Grosu
1997	—	`conf`	Reconciling Real-Time with Asynchronous Message Passing. FME Manfred Broy, Radu Grosu, Cornel Klein
1997	—	`conf`	Systems, Views and Models of UML. UML Workshop Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
1997	—	`conf`	Towards a Precise Semantics for Object-Oriented Modeling Techniques. ECOOP Workshops Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
1996	—	`conf`	A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. AMAST Radu Grosu, Ketil Stølen
1995	—	`—`	A formal foundation for concurrent object oriented programming. Radu Grosu
1993	—	`conf`	The Semantics of SPECTRUM. HOA Radu Grosu, Franz Regensburger