Radu Grosu

	2009
48		Radu Grosu: Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. HSCC 2009: 194-208
47		Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336
46		Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009)
45		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu: Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
	2008
44		Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva: Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155
43		Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502
42		Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka: Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370
41		Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243
40		Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with bounded overhead. IPDPS 2008: 1-8
39		Oliviero Riganelli, Radu Grosu, Scott A. Smolka: Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380
38		Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2): (2008)
37		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
	2007
36		Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258
35		Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
	2006
34		Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
33		Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124
32		Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006)
31		Radu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006)
30		Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)
29		Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebr. Program. 68(1-2): 105-128 (2006)
	2005
28		Radu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14
27		Radu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286
	2004
26		Radu Grosu, Scott A. Smolka: Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174
25		Rajeev Alur, Radu Grosu: Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. 26(2): 339-369 (2004)
	2002
24		Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
23		Radu Grosu, Thomas Stauner: Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods in System Design 21(1): 5-38 (2002)
	2001
22		Rajeev Alur, Radu Grosu: Shared Variables Interaction Diagrams. ASE 2001: 281-288
21		Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
20		Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48
19		Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang: JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836
18		Radu Grosu, Ketil Stølen: Stream-Based Specification of Mobile Systems. Formal Asp. Comput. 13(1): 1-31 (2001)
	2000
17		Rajeev Alur, Radu Grosu, Michael McDougall: Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV 2000: 280-295
16		Rajeev Alur, Radu Grosu, Bow-Yaw Wang: Automated Refinement Checking for Asynchronous Processes. FMCAD 2000: 55-72
15		Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19
14		Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104-
13		Radu Grosu: And/Or Hierarchies and Round Abstraction. MFCS 2000: 52-63
12		Rajeev Alur, Radu Grosu: Modular Refinement of Hierarchic Reactive Machines. POPL 2000: 390-402
11		Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000)
	1999
10		Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999
	1998
9		Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51
8		Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72
7		Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
	1997
6		Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin: Towards a Precise Semantics for Object-Oriented Modeling Techniques. ECOOP Workshops 1997: 205-210
5		Ruth Breu, Radu Grosu: Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). Euro-Par 1997: 572-575
4		Manfred Broy, Radu Grosu, Cornel Klein: Reconciling Real-Time with Asynchronous Message Passing. FME 1997: 182-200
3		Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin: Systems, Views and Models of UML. UML Workshop 1997: 93-108
	1996
2		Radu Grosu, Ketil Stølen: A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. AMAST 1996: 504-519
	1993
1		Radu Grosu, Franz Regensburger: The Semantics of SPECTRUM. HOA 1993: 124-145

Coauthor Index

1	Bashar Al-Rawi	[47]
2	Luca de Alfaro	[19]
3	Rajeev Alur	[12] [15] [16] [17] [19] [20] [22] [25] [29]
4	Ezio Bartocci	[37] [38] [41] [43] [45] [46]
5	Maria Rita Di Berardini	[37] [45]
6	Klaus Bergner	[10]
7	Ruth Breu	[3] [5] [6]
8	Manfred Broy	[4] [7] [8] [9] [10]
9	Sean Callanan	[30] [34] [35] [40]
10	Rance Cleaveland	[24]
11	Flavio Corradini	[37] [38] [41] [43] [45] [46]
12	Samir R. Das	[42]
13	David J. Dean	[40]
14	Emilia Entcheva	[36] [37] [38] [41] [44] [45] [46]
15	Michael Gorbovitski	[40]
16	Thomas A. Henzinger	[19]
17	Xiaowan Huang	[32] [33] [34] [47]
18	Franz Huber	[3] [6]
19	Yerang Hur	[15]
20	Sumit Jain	[32]
21	M. Kang	[19]
22	Christoph M. Kirsch (Christoph Meyer)	[19]
23	Cornel Klein	[4]
24	Ingolf Krüger (Ingolf H. Krüger)	[8] [14]
25	Vijay Kumar	[15]
26	Insup Lee	[15] [20] [29]
27	Yanhong A. Liu	[21] [24]
28	Dorel Lucanu	[11]
29	Rupak Majumdar	[19]
30	Freddy Y. C. Mang	[19]
31	Michael McDougall	[17]
32	Emanuela Merelli	[43]
33	S. Mitra	[36]
34	Abhishek Rai	[30]
35	C. R. Ramakrishnan	[42]
36	I. V. Ramakrishnan	[36]
37	Andreas Rausch	[10]
38	Franz Regensburger	[1]
39	Oliviero Riganelli	[39] [42] [43]
40	Bernhard Rumpe	[3] [6]
41	Karem Sakallah	[47]
42	Alexander Schmidt	[10]
43	Peter Scholz	[8] [10]
44	Wolfgang Schwerin	[3] [6]
45	Justin Seyster	[35] [40]
46	Scott A. Smolka	[21] [24] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47]
47	Oleg Sokolsky	[20] [29]
48	Thomas Stauner	[7] [14] [23]
49	Gheorghe Stefanescu	[9] [11]
50	Ketil Stølen	[2] [18]
51	Scott D. Stoller	[21] [40]
52	Wenkai Tan	[33]
53	Stavros Tripakis	[33]
54	Mike R. True	[30]
55	Bow-Yaw Wang	[16] [19]
56	Anita Wasilewska	[41] [46]
57	Jingyu Yan	[21]
58	Zijiang Yang	[47]
59	Pei Ye	[36] [44]
60	Erez Zadok	[24] [30] [34] [35] [40]

Colors in the list of coauthors