Radu Grosu

	2009
49		Radu Grosu: Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. HSCC 2009: 194-208
48		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
47		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)
46		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
45		Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva: Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155
44		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
43		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
42		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
41		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
40		Oliviero Riganelli, Radu Grosu, Scott A. Smolka: Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380
39		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)
38		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
37		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
36		Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
	2006
35		Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
34		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
33		Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006)
32		Radu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006)
31		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)
30		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
29		Radu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14
28		Radu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286
	2004
27		Radu Grosu, Scott A. Smolka: Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174
26		Rajeev Alur, Radu Grosu: Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. 26(2): 339-369 (2004)
	2002
25		Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
24		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
23		Rajeev Alur, Radu Grosu: Shared Variables Interaction Diagrams. ASE 2001: 281-288
22		Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
21		Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48
20		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
19		Radu Grosu, Ketil Stølen: Stream-Based Specification of Mobile Systems. Formal Asp. Comput. 13(1): 1-31 (2001)
	2000
18		Rajeev Alur, Radu Grosu, Michael McDougall: Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV 2000: 280-295
17		Rajeev Alur, Radu Grosu, Bow-Yaw Wang: Automated Refinement Checking for Asynchronous Processes. FMCAD 2000: 55-72
16		Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19
15		Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104-
14		Radu Grosu: And/Or Hierarchies and Round Abstraction. MFCS 2000: 52-63
13		Rajeev Alur, Radu Grosu: Modular Refinement of Hierarchic Reactive Machines. POPL 2000: 390-402
12		Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000)
	1999
11		Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999
	1998
10		Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51
9		Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72
8		Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
7		Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin: Exemplary and complete object interaction descriptions. Computer Standards & Interfaces 19(7): 335-345 (1998)
	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	[48]
2	Luca de Alfaro	[20]
3	Rajeev Alur	[13] [16] [17] [18] [20] [21] [23] [26] [30]
4	Ezio Bartocci	[38] [39] [42] [44] [46] [47]
5	Maria Rita Di Berardini	[38] [46]
6	Klaus Bergner	[11]
7	Ruth Breu	[3] [5] [6] [7]
8	Manfred Broy	[4] [8] [9] [10] [11]
9	Sean Callanan	[31] [35] [36] [41]
10	Rance Cleaveland	[25]
11	Flavio Corradini	[38] [39] [42] [44] [46] [47]
12	Samir R. Das	[43]
13	David J. Dean	[41]
14	Emilia Entcheva	[37] [38] [39] [42] [45] [46] [47]
15	Michael Gorbovitski	[41]
16	Thomas A. Henzinger	[20]
17	Christoph Hofmann	[7]
18	Xiaowan Huang	[33] [34] [35] [48]
19	Franz Huber	[3] [6] [7]
20	Yerang Hur	[16]
21	Sumit Jain	[33]
22	M. Kang	[20]
23	Christoph M. Kirsch (Christoph Meyer)	[20]
24	Cornel Klein	[4]
25	Ingolf Krüger (Ingolf H. Krüger)	[7] [9] [15]
26	Vijay Kumar	[16]
27	Insup Lee	[16] [21] [30]
28	Yanhong A. Liu	[22] [25]
29	Dorel Lucanu	[12]
30	Rupak Majumdar	[20]
31	Freddy Y. C. Mang	[20]
32	Michael McDougall	[18]
33	Emanuela Merelli	[44]
34	S. Mitra	[37]
35	Abhishek Rai	[31]
36	C. R. Ramakrishnan	[43]
37	I. V. Ramakrishnan	[37]
38	Andreas Rausch	[11]
39	Franz Regensburger	[1]
40	Oliviero Riganelli	[40] [43] [44]
41	Bernhard Rumpe	[3] [6] [7]
42	Karem Sakallah	[48]
43	Alexander Schmidt	[11]
44	Monika Schmidt	[7]
45	Peter Scholz	[9] [11]
46	Wolfgang Schwerin	[3] [6] [7]
47	Justin Seyster	[36] [41]
48	Scott A. Smolka	[22] [25] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48]
49	Oleg Sokolsky	[21] [30]
50	Thomas Stauner	[8] [15] [24]
51	Gheorghe Stefanescu	[10] [12]
52	Ketil Stølen	[2] [19]
53	Scott D. Stoller	[22] [41]
54	Wenkai Tan	[34]
55	Stavros Tripakis	[34]
56	Mike R. True	[31]
57	Bow-Yaw Wang	[17] [20]
58	Anita Wasilewska	[42] [47]
59	Jingyu Yan	[22]
60	Zijiang Yang	[48]
61	Pei Ye	[37] [45]
62	Erez Zadok	[25] [31] [35] [36] [41]

Colors in the list of coauthors