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

Treffer 141-153 von 153 (Suchzeit: 0.011 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
141Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013
142Murthy, 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 Article 2013
143Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez InterAspect: aspect-oriented instrumentation with GCCArtikel Article 2012
144Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez Software monitoring with controllable overheadArtikel Article 2012
145Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012
146Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
147Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceExKonferenzbeitrag Inproceedings 2012
148Murthy, 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
149Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott On Temporal Logic and Signal ProcessingKonferenzbeitrag Inproceedings 2012
150Grosu, Radu ; Batt, Gregory ; Fenton, Flavio H. ; Glimm, James ; Le Guernic, Colas ; Smolka, Scott A. ; Bartocci, Ezio From Cardiac Cells to Genetic Regulatory NetworksKonferenzbeitrag Inproceedings 2011
151Murthy, A. ; Bartocci, E. ; Fenton, F. H. ; Glimm, J. ; Gray, R. ; Smolka, S. A. ; Grosu, R. Curvature analysis of cardiac excitation wavefrontsKonferenzbeitrag Inproceedings 2011
152Bartocci, Ezio ; Cherry, Elizabeth ; Glimm, James ; Grosu, Radu ; Smolka, Scott A. Toward real-time simulation of cardiac dynamicsKonferenzbeitrag Inproceedings 2011
153Bartocci, Ezio ; Grosu, Radu ; Katsaros, Panagiotis ; Ramakrishnan, C.R. ; Smolka, Scott A. Model Repair for Probabilistic SystemsKonferenzbeitrag Inproceedings 2011