- Rule-based Analysis of Dimensional Safety Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
- Towards Certifying Domain-Specific Properties of Synthesized Code Grigore Rosu
- The Institution of ordersorted equational logic Grigore Rosu
- UNIVERSITY OF CALIFORNIA, SAN DIEGO Hidden Logic
- Java PathExplorer A Runtime Verification Tool Klaus Havelund
- Experiments with Test Case Generation and Runtime Analysis
- On Implementing Behavioral Rewriting Grigore Rosu
- Complete Categorical Equational Deduction Grigore Ro su
- Conditional Circular Coinductive Rewriting with Case Analysis
- From Conditional to Unconditional Rewriting Grigore Rosu
- Runtime Safety Analysis of Multithreaded Programs Koushik Sen #
- To appear in Formal Aspects of Computing Institution Morphisms
- Behavioral Extensions of Institutions Andrei Popescu and Grigore Rosu
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
- An Equational Specification for the Scheme Language Marcelo d'Amorim
- Behavioral Abstraction is Hiding Information Grigore Rosu
- On Specifying and Monitoring Epistemic Properties of Distributed Systems Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
- Formal JVM Code Analysis in JavaFAN Azadeh Farzan, Jose Meseguer, Grigore Rosu
- RV'04 Preliminary Version Monitoring Algorithms for
- Efficient Decentralized Monitoring of Safety in Distributed Systems Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
- Online Efficient Predictive Safety Analysis of Multithreaded Programs
- Rewriting-based Techniques for Runtime Verification Grigore Rosu
- An Overview of the Runtime Verification Tool Java PathExplorer
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Generating Optimal Linear Temporal Logic Monitors by Coinduction
- CMCS'03 Preliminary Version Inductive Behavioral Proofs by Unhiding
- Towards Certifying Domain-Specific Properties of Synthesized Code Extended Abstract
- Certifying Domain-Specific Policies Michael Lowry
- Equational Axiomatizability for Coalgebra Grigore Rosu1
- Java PathExplorer -A Runtime Veri cation Tool Klaus Havelund
- WRLA 2000 Preliminary Version Behavioral and Coinductive Rewriting 1
- Circular Coinductive Rewriting Joseph Goguen, Kai Lin, Grigore Rosu
- UNIVERSITY OF CALIFORNIA, SAN DIEGO Hidden Logic
- Hidden Congruent Deduction Grigore Rosu? and Joseph Goguen
- Hidden Congruent Deduction Grigore Rosu1 and Joseph Goguen
- Hiding More of Hidden Algebra Joseph Goguen and Grigore Rosu?
- FCT'99 Preliminary Version A Protocol for Distributed Cooperative Work
- Distributed Cooperative Design and Validation Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu and Akiyoshi Sato
- Weak inclusion systems VIRGIL EMIL C AZ ANESCU and GRIGORE ROSU
- Distributed Cooperative Formal Methods Tools Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, and Akiyoshi Sato
- Behavioral Extensions of Institutions # Andrei Popescu and Grigore Rosu
- Certifying Optimality of State Estimation Programs
- Behavioral Extensions of Institutions Andrei Popescu and Grigore Rosu
- A Tree Based Router Search Engine Architecture With Single Port Memories
- Under consideration for publication in Math. Struct. in Comp. Science Axiomatizability in
- Java PathExplorer -A Runtime Veri cation Tool Klaus Havelund
- Certifying Optimality of State Estimation Programs
- Java PathExplorer A Runtime Verification Tool Klaus Havelund
- Composing Hidden Information Modules over Inclusive Institutions
- An Overview of the Runtime Verification Tool Java PathExplorer
- RV 2005 Preliminary Version Checking and Correcting Behaviors of
- Certifying Measurement Unit Safety Policy Grigore Rosu
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Java-MOP: A Monitoring Oriented Programming Environment for Java
- Towards Formally Defining and Verifying Master/Slave Speculative Parallelization
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
- Electronic Notes in Theoretical Computer Science 65 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 57 pages
- Generating Optimal Linear Temporal Logic Monitors by Coinduction
- Synthesizing Monitors for Safety Properties Klaus Havelund 1 and Grigore Rosu 2
- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
- Testing Linear Temporal Logic Formulae on Finite Execution Traces
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Proofs of Safety for Untrusted Code Grigore Rosu and Nathan Segerlind
- CMCS'03 Preliminary Version Inductive Behavioral Proofs by Unhiding
- Behavioral Abstraction is Hiding Information Grigore Rosu #
- Towards Certifying DomainSpecific Properties of Synthesized Code --Extended Abstract --
- Generating Optimal Linear Temporal Logic Monitors by Coinduction
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Certifying and Synthesizing Membership Equational Proofs
- Under consideration for publication in Math. Struct. in Comp. Science Axiomatizability in
- Electronic Notes in Theoretical Computer Science 112000 URL: http: www.elsevier.nl locate entcs volume11.html 18 pages
- FCT'99 Preliminary Version A Protocol for Distributed Cooperative Work
- The Institution of order-sorted equational logic Grigore Rosu
- An Overview of the Tatami Project Joseph Goguena and Kai Lina and Grigore Rosua and Akira Morib, and Bogdan
- Certifying Measurement Unit Safety Policy Grigore Rosu
- Circular Coinductive Rewriting Joseph Goguen, Kai Lin, Grigore Rosu \Lambda
- Speci cation and Error Pattern Based Program Monitoring Klaus Havelund 1 , Scott Johnson 2 , Grigore Ro su 3
- Weak inclusion systems V I RG I L EM I L C
- On Equational Craig Interpolation 1;2 Grigore Rosu
- Kan Extensions of Institutions Grigore Rosu1
- CMCS'2000 Preliminary Version Incompleteness of Behavioral Logics
- A Total Approach to Partial Algebraic Speci cation
- Rewritingbased Techniques for Runtime Verification Grigore Rosu #
- Weak Inclusion Systems; part two 1 Virgil Emil Cazanescu 2
- Circular Coinduction Grigore Rosu 1 and Joseph Goguen 2
- Extensional Theories and Rewriting Grigore Rosu
- Testing Extended Regular Language Membership Incrementally by Rewriting
- JavaMOP: A Monitoring Oriented Programming Environment for Java
- On Specifying and Monitoring Epistemic Properties of Distributed Systems Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
- Rulebased Analysis of Dimensional Safety # Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
- RV'04 Preliminary Version Monitoring Algorithms for
- WRLA 2000 Preliminary Version Behavioral and Coinductive Rewriting 1
- Hidden Congruent Deduction Grigore Rosu ? and Joseph Goguen
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Certifying DomainSpecific Policies Michael Lowry a , Thomas Pressburger a , Grigore Rosu b
- An Instrumentation Technique for Online Analysis of Multithreaded Programs Grigore Rosu and Koushik Sen
- Synthesizing Monitors for Safety Properties Klaus Havelund1
- An Instrumentation Technique for Online Analysis of Multithreaded Programs Grigore Rosu and Koushik Sen
- Formal JVM Code Analysis in JavaFAN Azadeh Farzan, Jose Meseguer, Grigore Rosu
- A Formal Monitoringbased Framework for Software Development and Analysis
- CMCS'2000 Preliminary Version Incompleteness of Behavioral Logics
- Monitoring Java Programs with Java PathExplorer
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Equational Axiomatizability for Coalgebra Grigore Rosu 1
- Weak Inclusion Systems; part two1 Virgil Emil Cazanescu2
- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
- Electronic Notes in Theoretical Computer Science 11 (2000) URL: http://www.elsevier.nl/locate/entcs/volume11.html 18 pages
- Behavioral Coinductive Rewriting Grigore Rosu ?
- Testing Extended Regular Language Membership Incrementally by Rewriting
- Proofs of Safety for Untrusted Code Grigore Rosu and Nathan Segerlind
- A Formal Monitoring-based Framework for Software Development and Analysis
- On Equational Craig Interpolation1;2 Grigore Rosu
- Runtime Safety Analysis of Multithreaded Programs Koushik Sen
- E#cient Monitoring of #Languages Marcelo d'Amorim # and Grigore Rosu
- Monitoring Programs using Rewriting Klaus Havelund
- Abstract Semantics for Module Composition Grigore Rosu 1
- Conditional Circular Coinductive Rewriting with Case Analysis
- Towards Formally Defining and Verifying Master/Slave Speculative Parallelization
- Formal Analysis of Java Programs in JavaFAN Azadeh Farzan, Feng Chen, Jose Meseguer, Grigore Rosu
- Kan Extensions of Institutions Grigore Rosu 1
- From Conditional to Unconditional Rewriting Grigore Rosu
- Behavioral Extensions of Institutions # Andrei Popescu and Grigore Rosu
- Abstract Semantics for Module Composition Grigore Rosu1
- The AutoBayes Program Synthesis System ---System Description ---
- Electronic Notes in Theoretical Computer Science 59 No. 4 (2001) URL: http://www.elsevier.nl/locate/entcs/volume59.html 15 pages
- Efficient Decentralized Monitoring of Safety in Distributed Systems Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
- Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae
- Hiding More of Hidden Algebra Joseph Goguen and Grigore Rosu ?
- Efficient Monitoring of -Languages Marcelo d'Amorim
- A Tree Based Router Search Engine Architecture With Single Port Memories
- On Implementing Behavioral Rewriting Grigore Rosu
- Towards Certifying DomainSpecific Properties of Synthesized Code Grigore Rosu
- Composing Hidden Information Modules over Inclusive Institutions
- Online E#cient Predictive Safety Analysis of Multithreaded Programs
- From Conditional to Unconditional Rewriting Grigore Rosu
- Certifying and Synthesizing Membership Equational Proofs
- SOS 2005 Preliminary Version The Rewriting Logic Semantics Project
- Extensional Theories and Rewriting Grigore Rosu
- Monitoring Programs using Rewriting Klaus Havelund
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Behavioral Coinductive Rewriting Grigore Rosu?
- An Equational Specification for the Scheme Language Marcelo d'Amorim # , Grigore Rosu +
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Hidden Congruent Deduction Grigore Rosu 1 and Joseph Goguen
- Formal Analysis of Java Programs in JavaFAN Azadeh Farzan, Feng Chen, Jose Meseguer, Grigore Rosu
- From Conditional to Unconditional Rewriting Grigore Rosu
