Grosu, Radu

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Ing. Dr.rer.nat.
 
Full name Familienname, Vorname
Grosu, Radu
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 106 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu XSpeed: Accelerating Reachability Analysis on MultiCore ProcessorsKonferenzbeitrag Inproceedings2015
2Lechner, Mathias ; Grosu, Radu ; Hasani, Ramin Worm-level Control through Search-based Reinforcement LearningKonferenzbeitrag Inproceedings2017
3Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing Using Statistical Model Checking for Measuring SystemsKonferenzbeitrag Inproceedings2014
4Tulala, Peter ; Mahyar, Hamidreza ; Ghalebi, Elahe ; Grosu, Radu Unsupervised Wafermap Patterns Clustering via Variational AutoencodersKonferenzbeitrag Inproceedings 2018
5Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive ControlKonferenzbeitrag Inproceedings 2014
6Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Towards Drone Flocking Using Relative Distance MeasurementsInproceedings Konferenzbeitrag 17-Oct-2022
7Hasani, Ramin M. ; Wang, Guodong ; Grosu, Radu Towards Deterministic and Stochastic Computations with the Izhikevich Spiking-Neuron ModelKonferenzbeitrag Inproceedings 2017
8Hirsch, Christian ; Redl, Markus ; Grosu, Radu Towards an Agricultural IoT-Infrastructure for Micro-climate MeasurementsPräsentation Presentation2018
9Bartocci, Ezio ; Cherry, Elizabeth ; Glimm, James ; Grosu, Radu ; Smolka, Scott A. Toward real-time simulation of cardiac dynamicsKonferenzbeitrag Inproceedings 2011
10Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu Tight Continuous-Time Reachtubes for Lagrangian ReachabilityKonferenzbeitrag Inproceedings 2018
11Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016
12Rodionova, Alena ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Temporal Logic as FilteringKonferenzbeitrag Inproceedings 2016
13Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019
14Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin SpaTeLKonferenzbeitrag Inproceedings 2015
15Hasani, Ramin ; Beneder, Victoria ; Fuchs, Magdalena ; Lung, David ; Grosu, Radu SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegansKonferenzbeitrag Inproceedings 2017
16Isakovic, Haris ; Grosu, Radu ; Wally, Bernhard ; Rausch, Thomas ; Dustdar, Schahram ; Kappel, Gerti ; Ratasich, Denise ; Bisanovic, Vanja Sensyml: Simulation Environment for large-scale IoT ApplicationsKonferenzbeitrag Inproceedings 2019
17Ratasich, Denise ; Preindl, Thomas ; Selyunin, Konstantin ; Grosu, Radu Self-healing by property-guided structural adaptationKonferenzbeitrag Inproceedings 2018
18Fuchs, Magdalena ; Zimmer, Manuel ; Grosu, Radu ; Hasani, Ramin Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging RecordingKonferenzbeitrag Inproceedings 2017
19Berducci, Luigi ; Grosu, Radu Safe Policy Improvement in Constrained Markov Decision ProcessesInproceedings Konferenzbeitrag 17-Oct-2022
20Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 33 (Search time: 0.019 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Balun Ondrej - 2016 - Towards distributed controllers based on caenorhabditis...pdf.jpgBalún, Ondrej Towards distributed controllers based on caenorhabditis elegans locomotory neural networkThesis Hochschulschrift 2016
2Isakovic Haris - 2022 - Towards Dependable CPSIoT Ecosystem.pdf.jpgIsakovic, Haris Towards Dependable CPS/IoT EcosystemThesis Hochschulschrift 2022
3Heindl Mario - 2017 - Systematic testing of analog mixed-signal systems.pdf.jpgHeindl, Mario Systematic testing of analog mixed-signal systemsThesis Hochschulschrift 2017
4Ratasich Denise - 2019 - Self-healing cyber-physical systems.pdf.jpgRatasich, Denise ; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, DeniseSelf-healing cyber-physical systemsThesis Hochschulschrift 2019
5Temper Alexander - 2021 - Rotating quadcopter flight for collision avoidance...pdf.jpgTemper, Alexander Rotating quadcopter flight for collision avoidance with static front facing LiDAR sensorThesis Hochschulschrift 2021
6Lemmel Julian - 2020 - Wormnet Reinforcement Learning without Global...pdf.jpgLemmel, Julian Reinforcement learning ohne Backpropagation in Neural Regulatory Networks : eine erste Abschätzung : a preliminary assessmentThesis Hochschulschrift 2020
7Jaksic Stefan - 2018 - Real-time monitoring for correctness and robustness.pdf.jpgJakšić, Stefan Real-time monitoring for correctness and robustnessThesis Hochschulschrift 2018
8Deliorman, Can Performance evaluation of a middleware framework for CPS/IoT ecosystemThesis Hochschulschrift 2020
9Lung David - 2018 - OpenWorm design and evaluation of neural circuits on the...pdf.jpgLung, David OpenWorm: design and evaluation of neural circuits on the virtual worm, caenorhabditis elegansThesis Hochschulschrift 2018
10Javin Marc - 2018 - ODYNN an optimization suite for biological neural circuits.pdf.jpgJavin, Marc ODYNN : an optimization suite for biological neural circuitsThesis Hochschulschrift 2018
11Brantner Hannes - 2021 - Neural Network Arena Investigating Long-Term...pdf.jpgBrantner, Hannes Neural network arena: Investigating long-term dependencies in deep modelsThesis Hochschulschrift 2021
12Selyunin Konstantin - 2017 - Neural models for monitoring and control with...pdf.jpgSelyunin, Konstantin Neural models for monitoring and control with applications in automotive domainThesis Hochschulschrift 2017
13Wang Guodong - 2018 - Neural computation methods for industrial data processing.pdf.jpgWang, Guodong Neural computation methods for industrial data processingThesis Hochschulschrift 2018
14Ghalebi Elahe - 2020 - Modeling and Analysis of Time-evolving Sparse Networks.pdf.jpgGhalebi, Elahe Modeling and analysis of time-evolving sparse networksThesis Hochschulschrift 2020
15Alakhras Nazir - 2016 - Model-driven compensation of the effects of...pdf.jpgAlakhras, Nazir Model-driven compensation of the effects of environmental conditions on quartz oscillator based clocksThesis Hochschulschrift 2016
16Brunnbauer Axel - 2021 - Model-Based Deep Reinforcement Learning for Autonomous...pdf.jpgBrunnbauer, Axel Model-based deep Reinforcement learning for autonomous racingThesis Hochschulschrift 2021
17Brandstaetter Andreas - 2019 - Local positioning system for quadcopters.pdf.jpgBrandstätter, Andreas Local positioning system for quadcoptersThesis Hochschulschrift 2019
18Puchinger Thomas - 2021 - IoT sensor swarm for agricultural micro-climate...pdf.jpgPuchinger, Thomas IoT sensor swarm for agricultural microclimate measurementsThesis Hochschulschrift 2020
19Hasani Ramin - 2020 - Interpretable recurrent neural networks in continuous-time...pdf.jpgHasani, Ramin Interpretable recurrent neural networks in continuous-time control environmentsThesis Hochschulschrift 2020
20Macher Dominik - 2014 - Intercommunication framework for autonomous real-time...pdf.jpgMacher, Dominik Intercommunication framework for autonomous real-time systemsThesis Hochschulschrift 2014