Edit Profile (opens in new tab) Grosu, Radu Compute Distance To: Compute Author ID: grosu.radu Published as: Grosu, Radu; Grosu, R. Documents Indexed: 42 Publications since 1997 Co-Authors: 75 Co-Authors with 39 Joint Publications 1,556 Co-Co-Authors all top 5 Co-Authors 3 single-authored 25 Smolka, Scott A. 12 Bartocci, Ezio 7 Islam, Md. Ariful 5 Alur, Rajeev 5 Yang, Junxing 4 Corradini, Flavio 4 Entcheva, Emilia 4 Murthy, Abhishek 4 Stoller, Scott D. 3 Lee, Insup 3 Lukina, Anna 3 Nickovic, Dejan 3 Tiwari, Ashish Kumar 2 Di Berardini, Maria Rita 2 Esterle, Lukas 2 Fenton, Flavio H. 2 Huang, Xiaowan 2 Jones, Paul L. 2 Mitra, Sayan 2 Ramakrishnan, C. R. 2 Rodionova, Alena 2 Sokolsky, Oleg 1 Abbas, Houssam 1 Al-Rawi, Bashar 1 Bogomolov, Sergiy 1 Breu, Ruth 1 Byrne, Greg 1 Cardelli, Luca 1 Cherry, Elizabeth M. 1 Cleaveland, Rance 1 Cyranka, Jacek 1 De Francisco, Richard 1 Dixit, Ketan 1 Donzé, Alexandre 1 Fan, Chuchu 1 Ghalebi K., Elahe 1 Girard, Antoine 1 Glimm, James G. 1 Hasheminezhad, Rouzbeh 1 Havelund, Klaus 1 Henzinger, Thomas A. 1 Hirsch, Christian 1 Hur, Yerang 1 Jakšić, Stefan 1 Katsaros, Panagiotis 1 Kong, Hui 1 Kumar, Vijay R. 1 Larsen, Kim Guldstrand 1 Legay, Axel 1 Lucanu, Dorel 1 Mahyar, Hamidreza 1 Maler, Oded 1 McDougall, Michael 1 Mehmood, Usama 1 Merelli, Emanuela 1 Movaghar, Ali 1 Nazemian, Ali 1 Peled, Doron A. 1 Phan, Dung 1 Rabiee, Hamid R. 1 Ramakrishnan, I. V. 1 Riganelli, Oliviero 1 Roy, Shouvik 1 Sakallah, Karem A. 1 Schilling, Christian 1 Seyster, Justin 1 Stauner, Thomas 1 Ştefănescu, Gheorge 1 Stølen, Ketil 1 Traonouez, Louis-Marie 1 Tribastone, Mirco 1 Tschaikowski, Max 1 Vandin, Andrea 1 Yang, Zijiang 1 Zadok, Erez all top 5 Serials 4 Formal Methods in System Design 3 Theoretical Computer Science 1 Physica A 1 Formal Aspects of Computing 1 Journal of Universal Computer Science 1 The Journal of Logic and Algebraic Programming 1 Nonlinear Analysis. Hybrid Systems all top 5 Fields 28 Computer science (68-XX) 13 Biology and other natural sciences (92-XX) 12 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 29 Publications have been cited 151 times in 125 Documents Cited by ▼ Year ▼ Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 48 2011 Monte Carlo model checking. Zbl 1087.68590Grosu, Radu; Smolka, Scott A. 16 2005 Modular specification of hybrid systems in Charon. Zbl 0992.93040Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup 9 2000 Quantitative monitoring of STL with edit distance. Zbl 1394.68230Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan 7 2018 Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 6 2002 Modular and visual specification of hybrid systems: An introduction to HyCharts. Zbl 1018.68047Grosu, Radu; Stauner, Thomas 6 2002 Modular refinement of hierarchic reactive machines. Zbl 1323.68196Alur, Rajeev; Grosu, Radu 6 2000 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 5 2008 InterAspect: aspect-oriented instrumentation with GCC. Zbl 1284.68153Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez 5 2012 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 4 2015 Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 4 2006 Temporal logic as filtering. Zbl 1364.94156Rodionova, Alena; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu 4 2016 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551Alur, R.; Grosu, R.; McDougall, M. 3 2000 Compositionality results for cardiac cell dynamics. Zbl 1362.92017Islam, Md. Ariful; Murthy, Abhishek; Girard, Antoine; Smolka, Scott A.; Grosu, Radu 3 2014 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 Statistical model checking. Zbl 1482.68142Legay, Axel; Lukina, Anna; Traonouez, Louis Marie; Yang, Junxing; Smolka, Scott A.; Grosu, Radu 2 2019 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals. Zbl 1364.93728Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 2 2015 Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability. Zbl 1351.93133Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 1 2017 The Cayley-Hamilton theorem for noncommutative semirings. Zbl 1296.16060Grosu, Radu 1 2011 Finite automata as time-inv linear systems observability, reachability and more. Zbl 1237.93110Grosu, Radu 1 2009 Stream-based specification of mobile systems. Zbl 0991.68050Grosu, Radu; Stølen, Ketil 1 2001 Mixed relations as enriched semiringal categories. Zbl 0968.68030Grosu, Radu; Lucanu, Dorel; Stefanescu, Gheorge 1 2000 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 Model checking tap withdrawal in C. elegans. Zbl 1412.92039Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A. 1 2015 Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Zbl 1370.68287Phan, Dung; Yang, Junxing; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D. 1 2017 Quantitative regular expressions for arrhythmia detection algorithms. Zbl 1416.92097Abbas, Houssam; Rodionova, Alena; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu 1 2017 Statistical model checking. Zbl 1482.68142Legay, Axel; Lukina, Anna; Traonouez, Louis Marie; Yang, Junxing; Smolka, Scott A.; Grosu, Radu 2 2019 Quantitative monitoring of STL with edit distance. Zbl 1394.68230Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan 7 2018 Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability. Zbl 1351.93133Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 1 2017 Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Zbl 1370.68287Phan, Dung; Yang, Junxing; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D. 1 2017 Quantitative regular expressions for arrhythmia detection algorithms. Zbl 1416.92097Abbas, Houssam; Rodionova, Alena; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu 1 2017 Temporal logic as filtering. Zbl 1364.94156Rodionova, Alena; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu 4 2016 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 4 2015 Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals. Zbl 1364.93728Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 2 2015 Model checking tap withdrawal in C. elegans. Zbl 1412.92039Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A. 1 2015 Compositionality results for cardiac cell dynamics. Zbl 1362.92017Islam, Md. Ariful; Murthy, Abhishek; Girard, Antoine; Smolka, Scott A.; Grosu, Radu 3 2014 InterAspect: aspect-oriented instrumentation with GCC. Zbl 1284.68153Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez 5 2012 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 48 2011 The Cayley-Hamilton theorem for noncommutative semirings. Zbl 1296.16060Grosu, Radu 1 2011 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 Finite automata as time-inv linear systems observability, reachability and more. Zbl 1237.93110Grosu, Radu 1 2009 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 5 2008 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 4 2006 Monte Carlo model checking. Zbl 1087.68590Grosu, Radu; Smolka, Scott A. 16 2005 Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 6 2002 Modular and visual specification of hybrid systems: An introduction to HyCharts. Zbl 1018.68047Grosu, Radu; Stauner, Thomas 6 2002 Stream-based specification of mobile systems. Zbl 0991.68050Grosu, Radu; Stølen, Ketil 1 2001 Modular specification of hybrid systems in Charon. Zbl 0992.93040Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup 9 2000 Modular refinement of hierarchic reactive machines. Zbl 1323.68196Alur, Rajeev; Grosu, Radu 6 2000 Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551Alur, R.; Grosu, R.; McDougall, M. 3 2000 Mixed relations as enriched semiringal categories. Zbl 0968.68030Grosu, Radu; Lucanu, Dorel; Stefanescu, Gheorge 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 300 Authors 11 Katoen, Joost-Pieter 9 Bartocci, Ezio 9 Grosu, Radu 7 Junges, Sebastian 6 Smolka, Scott A. 4 Bortolussi, Luca 4 Corradini, Flavio 4 Nickovic, Dejan 3 Bonakdarpour, Borzoo 3 Genitrini, Antoine 3 Hillston, Jane 3 Peschanski, Frédéric 3 Sánchez, César 3 Seshia, Sanjit Arunkumar 2 Abate, Alessandro 2 Alur, Rajeev 2 Basset, Nicolas 2 Bodini, Olivier 2 Češka, Milan 2 Chatterjee, Krishnendu 2 Deshmukh, Jyotirmoy V. 2 Di Berardini, Maria Rita 2 Donzé, Alexandre 2 Entcheva, Emilia 2 Falcone, Yliès 2 Fischmeister, Sebastian 2 Francalanza, Adrian 2 Galpin, Vashti 2 Hahn, Ernst Moritz 2 Heemels, Maurice W. P. M. H. 2 Henzinger, Thomas A. 2 Hermanns, Holger 2 Islam, Md. Ariful 2 Jin, Xiaoqing 2 Lassaigne, Richard 2 Lazar, Mircea 2 Mereacre, Alexandru 2 Merelli, Emanuela 2 Pérez, Guillermo A. 2 Peyronnet, Sylvain 2 Sanguinetti, Guido 2 Schneider, Gerardo 2 Siegle, Markus 2 Soltanieh, Amin 2 Spel, Jip 2 Tesei, Luca 2 Tkachev, Ilya 2 Vardi, Moshe Ya’akov 2 Winkler, Tobias 1 Aflaki, Saba 1 Ahrendt, Wolfgang 1 Althoff, Matthias 1 Ames, Aaron D. 1 André, Étienne 1 Andriushchenko, Roman 1 Asarin, Eugene 1 Aydin Gol, Ebru 1 Bako, Laurent 1 Balbus, Joanna 1 Baldan, Paolo 1 Barbosa, Luís Soares 1 Barringer, Howard 1 Bartha, Ferenc Ágoston 1 Bayen, Alexandre M. 1 Becker-Weimann, Sabine 1 Bemporad, Alberto 1 Benerecetti, Massimo 1 Benouhiba, Toufik 1 Bergstra, Jan A. 1 Berkovich, Shay 1 Bianculli, Domenico 1 Bissell, Mina J. 1 Bloch, Gérard 1 Bloem, Roderick 1 Bontemps, Yves 1 Bourke, Timothy 1 Bozzelli, Laura 1 Brim, Luboš 1 Bui, Thang H. 1 Bujorianu, Manuela L. 1 Bujorianu, Marius C. 1 Cadilhac, Michaël 1 Challen, Geoffrey 1 Chandra, Ranveer 1 Chattopadhyay, Agnishom 1 Chatzieleftheriou, George 1 Chebotarev, Anatoli N. 1 Chen, Taolue 1 Chiaromonte, Francesca 1 Ciocchetta, Federica 1 Clarke, Edmund Melson jun. 1 Cleaveland, Rance 1 Colombo, Christian 1 Colvin, Robert J. 1 Cubuktepe, Murat 1 Daca, Przemysław 1 Di Cairano, Stefano 1 Diciolla, Marco 1 Dien, Matthieu 1 Dimarogonas, Dimos V. ...and 200 more Authors all top 5 Cited in 24 Serials 14 Formal Methods in System Design 11 Theoretical Computer Science 9 Information and Computation 5 Nonlinear Analysis. Hybrid Systems 4 Formal Aspects of Computing 2 Automatica 2 Journal of Computer and System Sciences 2 Distributed Computing 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 Information Processing Letters 1 Programming and Computer Software 1 Annals of Pure and Applied Logic 1 Journal of Economic Dynamics & Control 1 Discrete Event Dynamic Systems 1 Cybernetics and Systems Analysis 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Fundamenta Informaticae 1 Journal of Applied Mathematics and Computing 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Computational & Mathematical Methods in Medicine all top 5 Cited in 22 Fields 102 Computer science (68-XX) 39 Systems theory; control (93-XX) 14 Biology and other natural sciences (92-XX) 11 Probability theory and stochastic processes (60-XX) 10 Operations research, mathematical programming (90-XX) 9 Mathematical logic and foundations (03-XX) 6 Ordinary differential equations (34-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 3 Numerical analysis (65-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year