Author of the publication

Abstraction-Based Guided Search for Hybrid Systems.

, , , , , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 117-134. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Grosu, Radu
add a person with the name Grosu, Radu
 

Other publications of authors with the same name

Hybrid Sequence Charts., , and . ISORC, page 104-. IEEE Computer Society, (2000)Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks., , , , and . HASE, page 362-370. IEEE Computer Society, (2008)Mixed Relations as Enriched Semiringal Categories., , and . J. UCS, 6 (1): 112-129 (2000)Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans., , , , , , and . HLDVT, page 170-177. IEEE, (2016)Curvature Analysis of Cardiac Excitation Wavefronts., , , , , , , and . IEEE/ACM Trans. Comput. Biology Bioinform., 10 (2): 323-336 (2013)A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems., , , , , and . IEEE Access, (2019)Monitoring of MTL specifications with IBM's spiking-neuron model., , , , and . DATE, page 924-929. IEEE, (2016)Curvature analysis of cardiac excitation wavefronts., , , , , , and . CMSB, page 151-160. ACM, (2011)Temporal Logic as Filtering., , , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction., , , , , and . WWW (Companion Volume), page 1343-1351. ACM, (2017)