| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Grigore Rosu, Feng Chen |
Semantics and Algorithms for Parametric Monitoring  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu |
An overview of the MOP runtime verification framework. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chucky Ellison, Grigore Rosu |
An executable formal semantics of C with applications. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu |
Garbage collection for monitoring parametric properties. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
The Rewriting Logic Semantics Project: A Progress Report. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Andrei Stefanescu |
Matching logic: a new program verification approach. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Choonghwan Lee, Feng Chen, Grigore Rosu |
Mining parametric specifications. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov |
Improved multithreaded unit testing. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Traian-Florin Serbanuta |
An overview of the K semantic framework. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu |
Efficient monitoring of parametric context-free patterns. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
Automating Coinduction with Case Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (eds.) |
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Grigore Rosu |
Runtime Verification with the RV System. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu |
A formal executable semantics of Verilog. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Chucky Ellison, Wolfram Schulte |
Matching Logic: An Alternative to Hoare/Floyd Logic. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills, Grigore Rosu |
A Rewriting Logic Semantics Approach to Modular Program Analysis. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu |
A semantic approach to interpolation. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer |
A rewriting logic approach to operational semantics. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Grigore Rosu |
Circular Coinduction with Special Contexts. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu |
Parametric Trace Slicing and Monitoring. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu |
Efficient Formalism-Independent Monitoring of Parametric Properties. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Software Engineering, Monitoring, Runtime Verification |
| 1 | Eric Bodden, Feng Chen, Grigore Rosu |
Dependent advice: a general approach to optimizing history-based aspects. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
compilation, domain-specific languages, runtime verification, static program analysis |
| 1 | Grigore Rosu, Dorel Lucanu |
Circular Coinduction: A Proof Theoretical Foundation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras |
Regular Strategies as Proof Tactics for CIRC. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen, Thomas Ball |
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu |
Efficient Monitoring of Parametric Context-Free Patterns. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu (eds.) |
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings |
AMAST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (eds.) |
Runtime Verification, 02.01. - 06.01.2007 |
Runtime Verification |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mark Hills, Grigore Rosu |
Towards a Module System for K. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
K, modularity, rewriting logic, language semantics |
| 1 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Grigore Rosu |
Term-Generic Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Traian-Florin Serbanuta, Grigore Rosu |
jPredictor: a predictive runtime analysis tool for java. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
predictive runtime analysis, sliced causality, runtime verification |
| 1 | Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu |
Defining and Executing P Systems with Structured Data in K. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Koushik Sen |
An instrumentation technique for online analysis of multithreaded programs. |
Concurrency and Computation: Practice and Experience |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
The rewriting logic semantics project. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta |
Rewriting Logic Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills, Traian Serbanuta, Grigore Rosu |
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer |
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott |
Editorial. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills, Grigore Rosu |
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
model checking, analysis, object-oriented languages, language design, rewriting logic |
| 1 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Executive Summary -- Runtime Verification. |
Runtime Verification |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Abstracts Collection -- Runtime Verification. |
Runtime Verification |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mark Hills, Grigore Rosu |
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
object-oriented languages, term rewriting, formal analysis, rewriting logic, programming language semantics |
| 1 | Mark Hills, Grigore Rosu |
A rewriting approach to the design and evolution of object-oriented languages. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
object-oriented languages, language design, formal analysis, rewriting logic, language semantics |
| 1 | Feng Chen, Grigore Rosu |
Mop: an efficient and generic runtime verification framework. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
monitoring-oriented programming, aspect-oriented programming, runtime verification |
| 1 | Feng Chen, Grigore Rosu |
Parametric and Sliced Causality. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Grigore Rosu |
CIRC : A Circular Coinductive Prover. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
An Effective Algorithm for the Membership Problem for Extended Regular Expressions. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
The Rewriting Logic Semantics Project. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Marcelo d'Amorim, Grigore Rosu |
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Online efficient predictive safety analysis of multithreaded programs. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis |
| 1 | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
Decentralized runtime analysis of multithreaded applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumant Kowshik, Grigore Rosu, Lui Sha |
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu |
Computationally Equivalent Elimination of Conditions. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Equality of streams is a Pi0 over 2-complete problem. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
infinite structures, streams, algebraic specification |
| 1 | Grigore Rosu |
Complete Categorical Deduction for Satisfaction as Injectivity. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (eds.) |
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 |
FATES/RV |
2006 |
DBLP BibTeX RDF |
|
| 1 | Grigore Rosu, Saddek Bensalem |
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu |
Parametric and Termination-Sensitive Control Dependence. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Traian Serbanuta, Grigore Rosu |
A Semantic Approach to Interpolation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Klaus Havelund |
Rewriting-Based Techniques for Runtime Verification. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
verification, rewriting, runtime analysis |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo d'Amorim, Grigore Rosu |
An Equational Specification for the Scheme Language. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Klaus Havelund, Grigore Rosu |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasanna Thati, Grigore Rosu |
Monitoring Algorithms for Metric Temporal Logic Specifications. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Grigore Rosu |
Foreword. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh |
A Tree Based Router Search Engine Architecture with Single Port Memories. |
ISCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu |
Java-MOP: A Monitoring Oriented Programming Environment for Java. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
Computational Logical Frameworks and Generic Program Analysis Technologies. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Salverda, Grigore Rosu, Craig B. Zilles |
Formally Defining and Verifying Master/Slave Speculative Parallelization. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo d'Amorim, Grigore Rosu |
Efficient Monitoring of omega-Languages. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Grigore Rosu |
Behavioral Extensions of Institutions. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Behavioral abstraction is hiding information. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Grigore Rosu |
Efficient monitoring of safety properties. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Monitoring, Temporal logics, Safety |
| 1 | Klaus Havelund, Grigore Rosu |
An Overview of the Runtime Verification Tool Java PathExplorer. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Marcelo d'Amorim, Grigore Rosu |
A Formal Monitoring-Based Framework for Software Development and Analysis. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Grigore Rosu |
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Online Efficient Predictive Safety Analysis of Multithreaded Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Extensional Theories and Rewriting. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Koushik Sen |
An Instrumentation Technique for Online Analysis of Multithreaded Programs. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, José Meseguer, Grigore Rosu |
Formal JVM Code Analysis in JavaFAN. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
From Conditional to Unconditional Rewriting. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Grigore Rosu |
Composing Hidden Information Modules over Inclusive Institutions. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu |
Formal Analysis of Java Programs in JavaFAN. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
Efficient Decentralized Monitoring of Safety in Distributed Systems. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Inductive Behavioral Proofs by Unhiding. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu |
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu |
Generating Optimal Monitors for Extended Regular Expressions. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen |
Certifying Measurement Unit Safety Polic. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Koushik Sen, Grigore Rosu, Gul Agha |
Generating Optimal Linear Temporal Logic Monitors by Coinduction. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Mahesh Viswanathan |
Testing Extended Regular Language Membership Incrementally by Rewriting. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu, Ram Prasad Venkatesan |
Rule-Based Analysis of Dimensional Safety. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer |
Certifying and Synthesizing Membership Equational Proofs. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")