 | 2009 |
|---|
| 114 |       | Eric Bodden,
Feng Chen,
Grigore Rosu:
Dependent advice: a general approach to optimizing history-based aspects.
AOSD 2009: 3-14 |
| 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) |
