Grosu, Radu

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Grosu, Radu
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 121-140 of 146 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu Abstraction-Based Parameter Synthesis for Multiaffine SystemsKonferenzbeitrag Inproceedings 2015
122Phan, Dung ; Yang, Junxing ; Ratasich, Denise ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the EnvironmentKonferenzbeitrag Inproceedings 2015
123Ariful Islam, Md. ; Murthy, Abhishek ; Bartocci, Ezio ; Cherry, Elizabeth M. ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Model-Order Reduction of Ion Channel Dynamics Using Approximate BisimulationArtikel Article 2015
124Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the realsKonferenzbeitrag Inproceedings 2015
125Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Kloibhofer, Reinhard ; Nguyen, Thang ; Nickovic, Dejan From signal temporal logic to FPGA monitorsKonferenzbeitrag Inproceedings 2015
126Ratasich, Denise ; Frömel, Bernhard ; Höftberger, Oliver ; Grosu, Radu Generic sensor fusion package for ROSKonferenzbeitrag Inproceedings 2015
127Bartocci, Ezio ; Höftberger, Oliver ; Grosu, Radu Cyber-Physical Systems: Theoretical and Practical ChallengesArtikel Article2014
128Ariful, 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
129Grosu, Radu ; Islam, Ariful ; Murthy, Abhishek ; Girard, Antoine ; Smolka, Scott A. Compositionality Results for Cardiac Cell DynamicsKonferenzbeitrag Inproceedings2014
130Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas Assume-Guarantee Abstraction-Refinement Meets Hybrid SystemsKonferenzbeitrag Inproceedings2014
131Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing Using Statistical Model Checking for Measuring SystemsKonferenzbeitrag Inproceedings 2014
132Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013
133Bogomolov, Sergiy ; Donzé, Alexandre ; Frehse, Goran ; Grosu, Radu ; Johnson, Taylor T. ; Ladan, Hamed ; Podelski, Andreas ; Wehrle, Martin Abstraction-Based Guided Search for Hybrid SystemsKonferenzbeitrag Inproceedings 2013
134Bartocci, Ezio ; Grosu, Radu Monitoring with uncertaintyKonferenzbeitrag Inproceedings2013
135Murthy, Abhishek ; Bartocci, Ezio ; Fenton, Flavio H. ; Glimm, James ; Gray, Richard A. ; Cherry, Elizabeth M. ; Smolka, Scott A. ; Grosu, Radu Curvature Analysis of Cardiac Excitation WavefrontsArtikel Article2013
136Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
137Murthy, Abhishek ; Ariful, Islam ; Bartocci, Ezio ; Cherry, Elizabeth ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu Approximate Bisimulations for Sodium Channel DynamicsKonferenzbeitrag Inproceedings 2012
138Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceExKonferenzbeitrag Inproceedings 2012
139Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez InterAspect: aspect-oriented instrumentation with GCCArtikel Article2012
140Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012