Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDRadu Grosu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c139]Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu:
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE 2022: 610-622- [i56]Andreas Brandstätter
, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR abs/2203.16960 (2022) - [i55]Zahra Babaiee, Lucas Liebenwein, Ramin M. Hasani, Daniela Rus, Radu Grosu:
End-to-End Sensitivity-Based Filter Pruning. CoRR abs/2204.07412 (2022) - [i54]Mathias Lechner, Ramin M. Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter:
Entangled Residual Mappings. CoRR abs/2206.01261 (2022) - [i53]Julian Lemmel, Zahra Babaiee, Marvin Kleinlehner, Ivan Majic, Philipp Neubauer, Johannes Scholz, Radu Grosu, Sophie A. Neubauer:
Deep-Learning vs Regression: Prediction of Tourism Flow with Limited Data. CoRR abs/2206.13274 (2022) - 2021
- [c138]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu:
Liquid Time-constant Networks. AAAI 2021: 7657-7666 - [c137]Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu:
On the Verification of Neural ODEs with Stochastic Guarantees. AAAI 2021: 11525-11535 - [c136]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC 2021: 2745-2750 - [c135]Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka:
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space 2021: 147-156 - [c134]Haris Isakovic, Luis Lino Ferreira, Irmin Okic, Adam Dukkon, Zlatan Tucakovic, Radu Grosu:
QoS for Dynamic Deployment of IoT Services. ICIT 2021: 1144-1151 - [c133]Haris Isakovic, Stefan Dangl, Zlatan Tucakovic, Radu Grosu:
Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. ICIT 2021: 1391-1396 - [c132]Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu:
On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. ICML 2021: 478-489 - [c131]Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger:
Adversarial Training is Not Ready for Robot Learning. ICRA 2021: 4140-4147 - [c130]Radu Grosu:
Keynote Lecture : Neural circuit policies. ISPDC 2021: xii - [c129]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [c128]Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
A Distributed Simplex Architecture for Multi-agent Systems. SETTA 2021: 239-257 - [i52]Axel Brunnbauer, Luigi Berducci, Andreas Brandstätter, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu:
Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. CoRR abs/2103.04909 (2021) - [i51]Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger:
Adversarial Training is Not Ready for Robot Learning. CoRR abs/2103.08187 (2021) - [i50]Zahra Babaiee, Ramin M. Hasani, Mathias Lechner, Daniela Rus, Radu Grosu:
On-Off Center-Surround Receptive Fields for Accurate and Robust Image Classification. CoRR abs/2106.07091 (2021) - [i49]Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu:
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR abs/2107.08467 (2021) - [i48]Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu:
From English to Signal Temporal Logic. CoRR abs/2109.10294 (2021) - [i47]Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic:
From STL Rulebooks to Rewards. CoRR abs/2110.02792 (2021) - [i46]Shrajan Bhandary, Zahra Babaiee, Dejan Kostyszyn, Tobias Fechter, Constantinos Zamboglou, Anca L. Grosu, Radu Grosu:
3D-OOCS: Learning Prostate Segmentation with Inductive Bias. CoRR abs/2110.15664 (2021) - 2020
- [j33]Xuelin Zhang, Xiaojian Xu, Xiaobin Xu, Diju Gao, Haibo Gao, Guodong Wang, Radu Grosu:
Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule. Entropy 22(7): 770 (2020) - [j32]Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu:
Neural circuit policies enabling auditable autonomy. Nat. Mach. Intell. 2(10): 642-652 (2020) - [c127]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. ACSOS 2020: 119-128 - [c126]Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Lagrangian Reachtubes: The Next Generation. CDC 2020: 1556-1563 - [c125]Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS 2020: 1-16 - [c124]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu:
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. ICML 2020: 4082-4093 - [c123]Mathias Lechner, Ramin M. Hasani, Daniela Rus, Radu Grosu:
Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. ICRA 2020: 5446-5452 - [c122]Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114 - [i45]Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang:
V-Formation via Model Predictive Control. CoRR abs/2002.08955 (2020) - [i44]Radu Grosu:
ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks. CoRR abs/2002.12776 (2020) - [i43]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. CoRR abs/2006.00680 (2020) - [i42]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu:
Liquid Time-constant Networks. CoRR abs/2006.04439 (2020) - [i41]Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Lagrangian Reachtubes: The Next Generation. CoRR abs/2012.07458 (2020) - [i40]Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu:
On The Verification of Neural ODEs with Stochastic Guarantees. CoRR abs/2012.08863 (2020) - [i39]Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
A Distributed Simplex Architecture for Multi-Agent Systems. CoRR abs/2012.10153 (2020)
2010 – 2019
- 2019
- [j31]Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci:
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access 7: 13260-13283 (2019) - [j30]Guodong Wang, Anna Ledwoch, Ramin M. Hasani, Radu Grosu, Alexandra Brintrup:
A generative neural network model for the quality prediction of work in progress products. Appl. Soft Comput. 85 (2019) - [j29]Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu:
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21(4): 401-423 (2019) - [j28]Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1586-1597 (2019) - [j27]Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. 765: 158-169 (2019) - [c121]Ramin M. Hasani, Guodong Wang, Radu Grosu:
A Machine Learning Suite for Machine Components' Health-Monitoring. AAAI 2019: 9472-9477 - [c120]Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu:
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek 2019: 211-219 - [c119]Mathias Lechner, Ramin M. Hasani, Manuel Zimmer, Thomas A. Henzinger, Radu Grosu:
Designing Worm-inspired Neural Networks for Interpretable Robotic Control. ICRA 2019: 87-94 - [c118]Haris Isakovic, Vanja Bisanovic, Bernhard Wally, Thomas Rausch, Denise Ratasich, Schahram Dustdar, Gerti Kappel, Radu Grosu:
Sensyml: Simulation Environment for large-scale IoT Applications. IECON 2019: 3024-3030 - [c117]Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus:
Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. IJCNN 2019: 1-8 - [c116]Haris Isakovic, Alexander Fasching, Lukas Punzenberger, Radu Grosu:
CPS/IoT Ecosystem: Indoor Vertical Farming System. ISCT 2019: 47-52 - [c115]Christian Hirsch, Ezio Bartocci, Radu Grosu:
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT 2019: 97-102 - [c114]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC 2019: 914-921 - [c113]Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci:
Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO 2019: 23-32 - [c112]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural state classification for hybrid systems. SNR 2019: 24-27 - [p3]Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu:
Statistical Model Checking. Computing and Software Science 2019: 478-504 - [e2]Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents] - [i38]Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci:
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. CoRR abs/1903.04326 (2019) - [i37]Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Sinead Williamson:
Dynamic Nonparametric Edge-Clustering Model for Time-Evolving Sparse Networks. CoRR abs/1905.11724 (2019) - [i36]Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019) - [i35]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR abs/1908.09813 (2019) - [i34]Elahe Ghalebi, Hamidreza Mahyar, Radu Grosu, Graham W. Taylor, Sinead A. Williamson:
A Nonparametric Bayesian Model for Sparse Temporal Multigraphs. CoRR abs/1910.05098 (2019) - 2018
- [j26]Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53(1): 83-112 (2018) - [j25]Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elaheh Ghalebi, Ali Nazemian, Radu Grosu, Ali Movaghar, Hamid R. Rabiee:
Identifying central nodes for information flow in social networks using compressive sensing. Soc. Netw. Anal. Min. 8(1): 33:1-33:24 (2018) - [j24]Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2233-2243 (2018) - [c111]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. ATVA 2018: 422-440 - [c110]Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar:
Compressed Sensing in Cyber Physical Social Systems. Principles of Modeling 2018: 287-305 - [c109]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC 2018: 6854-6861 - [c108]Hamidreza Mahyar, Rouzbeh Hasheminezhad, Elahe Ghalebi K., Radu Grosu, Harry Eugene Stanley:
A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks. COMPLEX NETWORKS (2) 2018: 91-103 - [c107]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek 2018: 16-17 - [c106]Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu:
CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE 2018: 206-213 - [c105]Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS 2018: 130-139 - [c104]Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS 2018: 353-354 - [c103]Guodong Wang, Mohamed Amin Ben Sassi, Radu Grosu:
A multi-bias recurrent neural network for modeling milling sensory data. ICPS 2018: 71-78 - [c102]Denise Ratasich, Thomas Preindl, Konstantin Selyunin, Radu Grosu:
Self-healing by property-guided structural adaptation. ICPS 2018: 199-205 - [c101]Peter Tulala, Hamidreza Mahyar, Elahe Ghalebi K., Radu Grosu:
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. IJCNN 2018: 1-8 - [c100]Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic:
Production Tests Coverage Analysis in the Simulation Environment. ITC 2018: 1-7 - [c99]Elahe Ghalebi, Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec:
Dynamic Network Model from Partial Observations. NeurIPS 2018: 9884-9894 - [c98]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs rule-based control for flocking dynamics. SAC 2018: 816-823 - [i33]Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. CoRR abs/1802.03775 (2018) - [i32]Mathias Lechner, Ramin M. Hasani, Radu Grosu:
Neuronal Circuit Policies. CoRR abs/1803.08554 (2018) - [i31]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR abs/1805.07929 (2018) - [i30]Elahe Ghalebi K., Baharan Mirzasoleiman, Radu Grosu, Jure Leskovec:
Dynamic Network Model from Partial Observations. CoRR abs/1805.10616 (2018) - [i29]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. CoRR abs/1807.09901 (2018) - [i28]Ramin M. Hasani, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, Daniela Rus:
Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks. CoRR abs/1809.03864 (2018) - [i27]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu:
Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks. CoRR abs/1809.04423 (2018) - [i26]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR abs/1809.07450 (2018) - [i25]Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci:
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. CoRR abs/1810.06870 (2018) - [i24]Ramin M. Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu:
Liquid Time-constant Recurrent Neural Networks as Universal Approximators. CoRR abs/1811.00321 (2018) - 2017
- [j23]Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. 51(1): 62-86 (2017) - [j22]Yungang Zhu, Hongying Duan, Xinhua Wang, Baokui Zhou, Guodong Wang, Radu Grosu:
Gaussian convex evidence theory for ordered and fuzzy evidence fusion. J. Intell. Fuzzy Syst. 33(5): 2843-2849 (2017) - [j21]Yungang Zhu, Dayou Liu, Radu Grosu, Xinhua Wang, Hongying Duan, Guodong Wang:
A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres. Sensors 17(9): 2049 (2017) - [j20]Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar:
HellRank: a Hellinger-based centrality measure for bipartite social networks. Soc. Netw. Anal. Min. 7(1): 22:1-22:16 (2017) - [c97]Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller:
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD 2017: 49-58 - [c96]Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA 2017: 446-462 - [c95]Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) 2017: 336-355 - [c94]Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu:
Lagrangian Reachabililty. CAV (1) 2017: 379-400 - [c93]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB 2017: 23-39 - [c92]Guodong Wang, Ramin M. Hasani, Yungang Zhu, Radu Grosu:
A novel Bayesian network-based fault prognostic method for semiconductor manufacturing process. ICIT 2017: 1450-1454 - [c91]Ramin M. Hasani, Dieter Haerle, Christian F. Baumgartner, Alessio R. Lomuscio, Radu Grosu:
Compositional neural-network modeling of complex analog circuits. IJCNN 2017: 2235-2242 - [c90]Denise Ratasich, Oliver Höftberger, Haris Isakovic, Muhammad Shafique, Radu Grosu:
A Self-Healing Framework for Building Resilient Cyber-Physical Systems. ISORC 2017: 133-140 - [c89]Ramin M. Hasani, Guodong Wang, Radu Grosu:
Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron Model. IWANN (2) 2017: 392-402 - [c88]Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu:
Computing with Biophysical and Hardware-Efficient Neural Models. IWANN (1) 2017: 535-547 - [c87]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:
A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. SAFECOMP Workshops 2017: 127-140 - [c86]Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) 2017: 286-302 - [c85]Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar:
Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction. WWW (Companion Volume) 2017: 1343-1351 - [p2]Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185 - [i23]Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR abs/1702.00290 (2017) - [i22]Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang:
Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR abs/1703.01257 (2017) - [i21]Ramin M. Hasani, Magdalena Fuchs, Victoria Beneder, Radu Grosu:
Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans. CoRR abs/1703.06264 (2017) - [i20]Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu:
SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans. CoRR abs/1703.06270 (2017) - [i19]Ramin M. Hasani, Guodong Wang, Radu Grosu:
An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings. CoRR abs/1703.06272 (2017) - [i18]Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller:
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR abs/1704.04759 (2017) - [i17]Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu:
Lagrangian Reachabililty. CoRR abs/1705.05927 (2017) - [i16]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs Rule-based Control for Flocking Dynamics. CoRR abs/1710.10013 (2017) - [i15]Magdalena Fuchs, Manuel Zimmer, Radu Grosu, Ramin M. Hasani:
Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording. CoRR abs/1711.01436 (2017) - [i14]Mathias Lechner, Radu Grosu, Ramin M. Hasani:
Worm-level Control through Search-based Reinforcement Learning. CoRR abs/1711.03467 (2017) - [i13]Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
How to Learn a Model Checker. CoRR abs/1712.01935 (2017) - 2016
- [j19]Lukas Esterle, Radu Grosu:
Cyber-physical systems: challenge of the 21st century. Elektrotech. Informationstechnik 133(7): 299-303 (2016) - [j18]