Grigore Rosu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

BibTeX | Compact BibTeX | RSS

2008

Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu. Defining and Executing P Systems with Structured Data in K. membrane 2009: 374-393 [doi]
Patrick O Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu. Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157 [doi]

2007

Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark G. J. van den Brand, Steven Eker, Traian-Florin Serbanuta. Rewriting Logic Systems. ENTCS, 176(4):233-247, 2007. [doi]
Feng Chen, Grigore Rosu. Mop: an efficient and generic runtime verification framework. OOPSLA 2007: 569-588 [doi]
Mark Hills, Grigore Rosu. KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256 [doi]
José Meseguer, Grigore Rosu. The rewriting logic semantics project. TCS, 373(3):213-237, 2007. [doi]

2006

2005

Pierre Salverda, Grigore Rosu, Craig B. Zilles. Formally Defining and Verifying Master/Slave Speculative Parallelization. fm 2005: 123-138 [doi]
Grigore Rosu, Klaus Havelund. Rewriting-Based Techniques for Runtime Verification. ase, 12(2):151-197, 2005. [doi]
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. TCS, 336(2-3):209-234, 2005. [doi]
Klaus Havelund, Grigore Rosu. Foreword. fmsd, 27(3):211-212, 2005. [doi]
Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh. A Tree Based Router Search Engine Architecture with Single Port Memories. isca 2005: 123-133 [doi]
Prasanna Thati, Grigore Rosu. Monitoring Algorithms for Metric Temporal Logic Specifications. ENTCS, 113:145-162, 2005. [doi]

2004

José Meseguer, Grigore Rosu. Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. cade 2004: 1-44 [doi]
Klaus Havelund, Grigore Rosu. Efficient monitoring of safety properties. STTT, 6(2):158-173, 2004. [doi]
Grigore Rosu. Behavioral abstraction is hiding information. TCS, 327(1-2):197-221, 2004. [doi]

2003

2002

Klaus Havelund, Grigore Rosu. Preface. ENTCS, 70(4), 2002. [doi]
Grigore Rosu. On implementing behavioral rewriting. RULE 2002: 43-52 [doi]
José Meseguer, Grigore Rosu. Towards Behavioral Maude: Behavioral Membership Equational Logic. ENTCS, 65(1), 2002. [doi]

2001

Bernd Fischer, Grigore Rosu. Interpreting Abstract Interpretations in Membership Equational Logic. ENTCS, 59(4), 2001. [doi]

2000

Samuel R. Buss, Grigore Rosu. Incompleteness of Behavioral Logics. ENTCS, 33, 2000. [doi]

1999

Joseph A. Goguen, Grigore Rosu. A protocol for distributed cooperative work. ENTCS, 28, 1999. [doi]

1997

Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato. Distributed Cooperative Formal Methods Tools. jckbse 1997: 55-62 [doi]