Grigore Rosu

	2009
115		Eric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14
114		Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu: Efficient Formalism-Independent Monitoring of Parametric Properties. ASE 2009: 383-394
113		Grigore Rosu, Dorel Lucanu: Circular Coinduction: A Proof Theoretical Foundation. CALCO 2009: 127-144
112		Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu: CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442
111		Dorel Lucanu, Grigore Rosu: Circular Coinduction with Special Contexts. ICFEM 2009: 639-659
110		Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta: Runtime Verification of C Memory Safety. RV 2009: 132-151
109		Feng Chen, Grigore Rosu: Parametric Trace Slicing and Monitoring. TACAS 2009: 246-261
108		Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 238(3): 1-3 (2009)
107		Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009)
106		Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu: A semantic approach to interpolation. Theor. Comput. Sci. 410(12-13): 1109-1128 (2009)
	2008
105		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: Runtime Verification, 02.01. - 06.01.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
104		José Meseguer, Grigore Rosu: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Springer 2008
103		Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu: Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157
102		Feng Chen, Traian-Florin Serbanuta, Grigore Rosu: jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230
101		Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu: Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. IEEE Real-Time Systems Symposium 2008: 481-491
100		Grigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
99		Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu: A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151
98		Mark Hills, Grigore Rosu: Towards a Module System for K. WADT 2008: 187-205
97		Andrei Popescu, Grigore Rosu: Term-Generic Logic. WADT 2008: 290-307
96		Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu: Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393
95		Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras: Regular Strategies as Proof Tactics for CIRC. Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008)
	2007
94		Dorel Lucanu, Grigore Rosu: CIRC : A Circular Coinductive Prover. CALCO 2007: 372-378
93		Feng Chen, Grigore Rosu: Parametric and Sliced Causality. CAV 2007: 240-253
92		Mark Hills, Grigore Rosu: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121
91		Grigore Rosu: An Effective Algorithm for the Membership Problem for Extended Regular Expressions. FoSSaCS 2007: 332-345
90		Feng Chen, Grigore Rosu: Mop: an efficient and generic runtime verification framework. OOPSLA 2007: 569-588
89		Mark Hills, Grigore Rosu: A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828
88		Mark Hills, Grigore Rosu: KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256
87		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
86		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
85		Grigore Rosu, Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience 19(3): 311-325 (2007)
84		Mark Hills, Traian Serbanuta, Grigore Rosu: A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. Electr. Notes Theor. Comput. Sci. 176(4): 215-231 (2007)
83		Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta: Rewriting Logic Systems. Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007)
82		Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A Rewriting Logic Approach to Operational Semantics (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 125-141 (2007)
81		Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)
80		José Meseguer, Grigore Rosu: The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007)
	2006
79		Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers Springer 2006
78		Grigore Rosu, Saddek Bensalem: Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277
77		Sumant Kowshik, Grigore Rosu, Lui Sha: Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN 2006: 23-34
76		Grigore Rosu: Complete Categorical Deduction for Satisfaction as Injectivity. Essays Dedicated to Joseph A. Goguen 2006: 157-172
75		Andrei Popescu, Traian Serbanuta, Grigore Rosu: A Semantic Approach to Interpolation. FoSSaCS 2006: 307-321
74		Grigore Rosu: Equality of streams is a Pi0 over 2-complete problem. ICFP 2006: 184-191
73		Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
72		Traian-Florin Serbanuta, Grigore Rosu: Computationally Equivalent Elimination of Conditions. RTA 2006: 19-34
71		Feng Chen, Grigore Rosu: Parametric and Termination-Sensitive Control Dependence. SAS 2006: 387-404
70		Feng Chen, Marcelo d'Amorim, Grigore Rosu: Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Electr. Notes Theor. Comput. Sci. 144(4): 3-20 (2006)
69		José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. Electr. Notes Theor. Comput. Sci. 156(1): 27-56 (2006)
68		Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)
	2005
67		Andrei Popescu, Grigore Rosu: Behavioral Extensions of Institutions. CALCO 2005: 331-347
66		Marcelo d'Amorim, Grigore Rosu: Efficient Monitoring of omega-Languages. CAV 2005: 364-378
65		Pierre Salverda, Grigore Rosu, Craig B. Zilles: Formally Defining and Verifying Master/Slave Speculative Parallelization. FM 2005: 123-138
64		Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
63		Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh: A Tree Based Router Search Engine Architecture with Single Port Memories. ISCA 2005: 123-133
62		Feng Chen, Grigore Rosu: Java-MOP: A Monitoring Oriented Programming Environment for Java. TACAS 2005: 546-550
61		José Meseguer, Grigore Rosu: Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267
60		Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
59		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005)
58		Prasanna Thati, Grigore Rosu: Monitoring Algorithms for Metric Temporal Logic Specifications. Electr. Notes Theor. Comput. Sci. 113: 145-162 (2005)
57		Klaus Havelund, Grigore Rosu: Foreword. Formal Methods in System Design 27(3): 211-212 (2005)
56		Marcelo d'Amorim, Grigore Rosu: An Equational Specification for the Scheme Language. J. UCS 11(7): 1327-1348 (2005)
55		Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
	2004
54		Azadeh Farzan, José Meseguer, Grigore Rosu: Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147
53		Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu: Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505
52		Joseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123
51		Grigore Rosu: Extensional Theories and Rewriting. ICALP 2004: 1066-1079
50		Feng Chen, Marcelo d'Amorim, Grigore Rosu: A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372
49		Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
48		José Meseguer, Grigore Rosu: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44
47		Grigore Rosu, Koushik Sen: An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004
46		Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
45		Grigore Rosu: From Conditional to Unconditional Rewriting. WADT 2004: 218-233
44		Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
43		Klaus Havelund, Grigore Rosu: Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods in System Design 24(2): 99-100 (2004)
42		Klaus Havelund, Grigore Rosu: Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004)
41		Grigore Rosu: Behavioral abstraction is hiding information. Theor. Comput. Sci. 327(1-2): 197-221 (2004)
	2003
40		Grigore Rosu, Feng Chen: Certifying Measurement Unit Safety Polic. ASE 2003: 304-309
39		Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
38		Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
37		Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
36		Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
35		Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
34		Feng Chen, Grigore Rosu, Ram Prasad Venkatesan: Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207
33		Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514
32		Grigore Rosu: Inductive Behavioral Proofs by Unhiding. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
31		Koushik Sen, Grigore Rosu: Generating Optimal Monitors for Extended Regular Expressions. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
30		Feng Chen, Grigore Rosu: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
	2002
29		Grigore Rosu: On implementing behavioral rewriting. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 43-52
28		Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294
27		José Meseguer, Grigore Rosu: A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584
26		Klaus Havelund, Grigore Rosu: Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356
25		Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232
24		José Meseguer, Grigore Rosu: Towards Behavioral Maude: Behavioral Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
23		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
22		Joseph A. Goguen, Grigore Rosu: Institution Morphisms. Formal Asp. Comput. 13(3-5): 274-307 (2002)
21		Grigore Rosu: Axiomatizability in Inclusive Equational Logics. Mathematical Structures in Computer Science 12(5): 541-563 (2002)
	2001
20		Klaus Havelund, Grigore Rosu: Monitoring Programs Using Rewriting. ASE 2001: 135-143
19		Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
18		Grigore Rosu: Complete Categorical Equational Deduction. CSL 2001: 528-538
17		Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
16		Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
15		Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): (2001)
14		Grigore Rosu: Equational axiomatizability for coalgebra. Theor. Comput. Sci. 260(1-2): 229-247 (2001)
	2000
13		Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132
12		Samuel R. Buss, Grigore Rosu: Incompleteness of Behavioral Logics. Electr. Notes Theor. Comput. Sci. 33: (2000)
11		Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000)
10		Grigore Rosu, Joseph A. Goguen: On Equational Craig Interpolation. J. UCS 6(1): 194-200 (2000)
9		Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems: Part Two. J. UCS 6(1): 5-21 (2000)
	1999
8		Joseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719
7		Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: (1999)
6		Grigore Rosu: Kan Extensions of Institutions. J. UCS 5(8): 482-493 (1999)
	1998
5		Grigore Rosu, Joseph A. Goguen: Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266
4		Grigore Rosu: A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. Electr. Notes Theor. Comput. Sci. 11: (1998)
	1997
3		Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62
2		Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems. Mathematical Structures in Computer Science 7(2): 195-206 (1997)
	1994
1		Grigore Rosu: The Institution of Order-Sorted Equational Logic. Bulletin of the EATCS 53: 250-255 (1994)

Coauthor Index

<

1	Gul A. Agha (Gul Agha)	[36] [39] [46] [49] [64] [68] [73]
2	Cyrille Artho	[38] [55]
3	Florin Baboescu	[63]
4	Thomas Ball	[100]
5	Howard Barringer	[55]
6	Saddek Bensalem	[78]
7	Eric Bodden	[115]
8	Mark van den Brand (M. G. J. van den Brand)	[83]
9	Samuel R. Buss	[12]
10	Marco Caccamo	[101]
11	Georgiana Caltais	[112]
12	Virgil Emil Cazanescu	[2] [9]
13	Feng Chen	[30] [34] [40] [50] [53] [62] [70] [71] [90] [93] [100] [102] [103] [109] [114] [115]
14	Grit Denker	[83]
15	Doron Drusinsky	[38]
16	Steven Eker	[35] [83]
17	Chucky Ellison	[99]
18	Azadeh Farzan	[53] [54]
19	Bernd Finkbeiner	[86] [87] [105]
20	Bernd Fischer	[15]
21	Joseph A. Goguen	[3] [5] [7] [8] [10] [11] [13] [22] [25] [52]
22	Allen Goldberg	[38] [55]
23	Eugen-Ioan Goriac	[112]
24	Gheorghe Grigoras	[95]
25	Klaus Havelund	[16] [17] [20] [23] [26] [38] [42] [43] [44] [55] [57] [59] [60] [79] [86] [87] [105]
26	Mark Hills	[84] [88] [89] [92] [98]
27	Dongyun Jin	[103] [114]
28	Sarfraz Khurshid	[55]