Grigore Rosu

Dennis Griffith

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Matching logic: a new program verification approach.

[BibT_eX]

[DOI]

Andrei Stefanescu

Proceedings of the 33rd International Conference on Software Engineering, 2011

Mining parametric specifications.

[BibT_eX]

[DOI]

Choonghwan Lee

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

An overview of the K semantic framework.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Efficient monitoring of parametric context-free patterns.

[BibT_eX]

[DOI]

Dongyun Jin

Autom. Softw. Eng., 2010

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Runtime Verification with the RV System.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

A Rewriting Logic Semantics Approach to Modular Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A formal executable semantics of Verilog.

[BibT_eX]

[DOI]

Michael Katelman

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

IMUnit: improved multithreaded unit testing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Automating Coinduction with Case Analysis.

[BibT_eX]

[DOI]

Eugen-Ioan Goriac

Proceedings of the Formal Methods and Software Engineering, 2010

Matching Logic: An Alternative to Hoare/Floyd Logic.

[BibT_eX]

[DOI]

Chucky Ellison

Wolfram Schulte

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

A semantic approach to interpolation.

[BibT_eX]

[DOI]

Andrei Popescu

Theor. Comput. Sci., 2009

A rewriting logic approach to operational semantics.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Parametric Trace Slicing and Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Runtime Verification of C Memory Safety.

[BibT_eX]

[DOI]

Wolfram Schulte

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Efficient Formalism-Independent Monitoring of Parametric Properties.

[BibT_eX]

[DOI]

Dongyun Jin

Proceedings of the ASE 2009, 2009

Circular Coinduction with Special Contexts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Circular Coinduction: A Proof Theoretical Foundation.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Dependent advice: a general approach to optimizing history-based aspects.

[BibT_eX]

[DOI]

Eric Bodden

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewriting Logic Approach to Static Checking of Units of Measurement in C.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008

Towards a Module System for K.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

A Rewriting Logic Approach to Type Inference.

[BibT_eX]

[DOI]

Chucky Ellison

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.

[BibT_eX]

[DOI]

Thomas Ball

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Rodolfo Pellizzoni

Marco Caccamo

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Defining and Executing P Systems with Structured Data in K.

[BibT_eX]

[DOI]

Traian Serbanuta

Gheorghe Stefanescu

Proceedings of the Membrane Computing - 9th International Workshop, 2008

jPredictor: a predictive runtime analysis tool for java.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

The rewriting logic semantics project.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Editorial.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Carolyn L. Talcott

High. Order Symb. Comput., 2007

A Rewriting Logic Approach to Operational Semantics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Regular Strategies as Proof Tactics for CIRC.

[BibT_eX]

[DOI]

Gheorghe Grigoras

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

An instrumentation technique for online analysis of multithreaded programs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

A rewriting approach to the design and evolution of object-oriented languages.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Mop: an efficient and generic runtime verification framework.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

An Effective Algorithm for the Membership Problem for Extended Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

07011 Abstracts Collection -- Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Executive Summary -- Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

Parametric and Sliced Causality.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

CIRC : A Circular Coinductive Prover.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Online efficient predictive safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.

[BibT_eX]

[DOI]

Traian Serbanuta

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Rewriting Logic Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Parametric and Termination-Sensitive Control Dependence.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

Computationally Equivalent Elimination of Conditions.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Decentralized runtime analysis of multithreaded applications.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Equality of streams is a Pi0 over 2-complete problem.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.

[BibT_eX]

[DOI]

Sumant Kowshik

Lui Sha

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis.

[BibT_eX]

[DOI]

Saddek Bensalem

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Complete Categorical Deduction for Satisfaction as Injectivity.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Combining test case generation and runtime verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

An Equational Specification for the Scheme Language.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2005

Foreword.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Rewriting-Based Techniques for Runtime Verification.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2005

Computational Logical Frameworks and Generic Program Analysis Technologies.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Java-MOP: A Monitoring Oriented Programming Environment for Java.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

A Tree Based Router Search Engine Architecture with Single Port Memories.

[BibT_eX]

[DOI]

Proceedings of the 32st International Symposium on Computer Architecture (ISCA 2005), 2005

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Formally Defining and Verifying Master/Slave Speculative Parallelization.

[BibT_eX]

[DOI]

Pierre Salverda

Craig B. Zilles

Proceedings of the FM 2005: Formal Methods, 2005

Efficient Monitoring of omega-Languages.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Behavioral Extensions of Institutions.

[BibT_eX]

[DOI]

Andrei Popescu

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Behavioral abstraction is hiding information.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Efficient monitoring of safety properties.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

An Overview of the Runtime Verification Tool Java PathExplorer.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2004

Monitoring Algorithms for Metric Temporal Logic Specifications.

[BibT_eX]

[DOI]

Prasanna Thati

Proceedings of the Fourth Workshop on Runtime Verification, 2004

From Conditional to Unconditional Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

A Formal Monitoring-Based Framework for Software Development and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Extensional Theories and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Formal Analysis of Java Programs in JavaFAN.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

Composing Hidden Information Modules over Inclusive Institutions.

[BibT_eX]

[DOI]

Proceedings of the From Object-Orientation to Formal Methods, 2004

Formal JVM Code Analysis in JavaFAN.

[BibT_eX]

[DOI]

Azadeh Farzan

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Generating Optimal Monitors for Extended Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Run-time Verification, 2003

Inductive Behavioral Proofs by Unhiding.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Run-time Verification, 2003

Runtime safety analysis of multithreaded programs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Testing Extended Regular Language Membership Incrementally by Rewriting.

[BibT_eX]

[DOI]

Mahesh Viswanathan

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Rule-Based Analysis of Dimensional Safety.

[BibT_eX]

[DOI]

Ram Prasad Venkatesan

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying Measurement Unit Safety Polic.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Certifying and Synthesizing Membership Equational Proofs.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Certifying Optimality of State Estimation Programs.

[BibT_eX]

[DOI]

Ram Prasad Venkatesan

Jon Whittle

Laurentiu Leustean

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Experiments with Test Case Generation and Runtime Analysis.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2003

2002

Axiomatizability in Inclusive Equational Logics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

Institution Morphisms.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

Towards Behavioral Maude: Behavioral Membership Equational Logic.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Conditional Circular Coinductive Rewriting with Case Analysis.

[BibT_eX]

[DOI]

Kai Lin

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Synthesizing Monitors for Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

On implementing behavioral rewriting.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, 2002

Towards Certifying Domain-Specific Properties of Synthesized Code.

[BibT_eX]

[DOI]

Jon Whittle

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

A Total Approach to Partial Algebraic Specification.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001

Equational axiomatizability for coalgebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Interpreting Abstract Interpretations in Membership Equational Logic.

[BibT_eX]

[DOI]

Bernd Fischer

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Monitoring Java Programs with Java PathExplorer.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Runtime Verification, 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Runtime Verification, 2001

Certifying Domain-Specific Policies.

[BibT_eX]

[DOI]

Michael R. Lowry

Thomas Pressburger

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Monitoring Programs Using Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Complete Categorical Equational Deduction.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

On Equational Craig Interpolation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Weak Inclusion Systems: Part Two.

[BibT_eX]

[DOI]

Virgil Emil Cazanescu

J. Univers. Comput. Sci., 2000

Behavioral and Coinductive Rewriting.

[BibT_eX]

[DOI]

Kai Lin

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Incompleteness of Behavioral Logics.

[BibT_eX]

[DOI]

Samuel R. Buss

Proceedings of the Coalgebraic Methods in Computer Science, 2000

Circular Coinductive Rewriting.

[BibT_eX]

[DOI]

Kai Lin

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Kan Extensions of Institutions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

A protocol for distributed cooperative work.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Distributed Systems, 1999

Hiding More of Hidden Algebra.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

Hidden Congruent Deduction.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

Weak Inclusion Systems.

[BibT_eX]

[DOI]

Virgil Emil Cazanescu

Math. Struct. Comput. Sci., 1997

Distributed Cooperative Formal Methods Tools.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1994

The Institution of Order-Sorted Equational Logic.

[BibT_eX]