Radu Grosu

2007
35	EE	Radu Grosu, S. Mitra, P. Ye, E. Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258
34	EE	Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
2006
33	EE	Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
32	EE	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
31	EE	Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006)
30	EE	Radu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006)
29	EE	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)
28	EE	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
27	EE	Radu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14
26	EE	Radu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286
2004
25	EE	Rajeev Alur, Radu Grosu: Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. 26(2): 339-369 (2004)
2002
24	EE	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	EE	Rajeev Alur, Radu Grosu: Shared Variables Interaction Diagrams. ASE 2001: 281-288
21	EE	Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
20	EE	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	EE	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	EE	Rajeev Alur, Radu Grosu, Bow-Yaw Wang: Automated Refinement Checking for Asynchronous Processes. FMCAD 2000: 55-72
15	EE	Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19
14	EE	Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104-
13	EE	Radu Grosu: And/Or Hierarchies and Round Abstraction. MFCS 2000: 52-63
12	EE	Rajeev Alur, Radu Grosu: Modular Refinement of Hierarchic Reactive Machines. POPL 2000: 390-402
11	EE	Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000)
1999
10	EE	Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999
1998
9	EE	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	EE	Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
1997
6	EE	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	Luca de Alfaro	[19]
2	Rajeev Alur	[12] [15] [16] [17] [19] [20] [22] [25] [28]
3	Klaus Bergner	[10]
4	Ruth Breu	[3] [5] [6]
5	Manfred Broy	[4] [7] [8] [9] [10]
6	Sean Callanan	[29] [33] [34]
7	Rance Cleaveland	[24]
8	E. Entcheva	[35]
9	Thomas A. Henzinger	[19]
10	Xiaowan Huang	[31] [32] [33]
11	Franz Huber	[3] [6]
12	Yerang Hur	[15]
13	Sumit Jain	[31]
14	M. Kang	[19]
15	Christoph M. Kirsch (Christoph Meyer)	[19]
16	Cornel Klein	[4]
17	Ingolf Krüger (Ingolf H. Krüger)	[8] [14]
18	Vijay Kumar	[15]
19	Insup Lee	[15] [20] [28]
20	Yanhong A. Liu	[21] [24]
21	Dorel Lucanu	[11]
22	Rupak Majumdar	[19]
23	Freddy Y. C. Mang	[19]
24	Michael McDougall	[17]
25	S. Mitra	[35]
26	Abhishek Rai	[29]
27	I. V. Ramakrishnan	[35]
28	Andreas Rausch	[10]
29	Franz Regensburger	[1]
30	Bernhard Rumpe	[3] [6]
31	Alexander Schmidt	[10]
32	Peter Scholz	[8] [10]
33	Wolfgang Schwerin	[3] [6]
34	Justin Seyster	[34]
35	Scott A. Smolka	[21] [24] [26] [27] [29] [30] [31] [32] [33] [34] [35]
36	Oleg Sokolsky	[20] [28]
37	Thomas Stauner	[7] [14] [23]
38	Gheorghe Stefanescu	[9] [11]
39	Ketil Stølen	[2] [18]
40	Scott D. Stoller	[21]
41	Wenkai Tan	[32]
42	Stavros Tripakis	[32]
43	Mike R. True	[29]
44	Bow-Yaw Wang	[16] [19]
45	Jingyu Yan	[21]
46	P. Ye	[35]
47	Erez Zadok	[24] [29] [33] [34]

Colors in the list of coauthors