Difference between revisions of "Grigore Rosu's Publications"

From FSL
Jump to: navigation, search
Line 10: Line 10:
 
<pub authors="grigore" year="= 2008" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2008" template="GrigorePubs"> </pub>
  
== 2007 ==
+
 
 +
{{Header | 2007}}
 +
 
 
<pub authors="grigore" year="= 2007" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2007" template="GrigorePubs"> </pub>
  
== 2006 ==
+
 
 +
{{Header | 2006}}
 +
 
 
<pub authors="grigore" year="= 2006" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2006" template="GrigorePubs"> </pub>
  
== 2005 ==
+
 
 +
{{Header | 2005}}
 +
 
 
<pub authors="grigore" year="= 2005" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2005" template="GrigorePubs"> </pub>
  
== 2004 ==
+
 
 +
{{Header | 2004}}
 +
 
 
<pub authors="grigore" year="= 2004" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2004" template="GrigorePubs"> </pub>
  
== 2003 ==
+
 
 +
{{Header | 2003}}
 +
 
 
<pub authors="grigore" year="= 2003" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2003" template="GrigorePubs"> </pub>
  
== 2002 ==
+
 
 +
{{Header | 2002}}
 +
 
 
<pub authors="grigore" year="= 2002" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2002" template="GrigorePubs"> </pub>
  
== 2001 ==
+
 
 +
{{Header | 2001}}
 +
 
 
<pub authors="grigore" year="= 2001" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2001" template="GrigorePubs"> </pub>
  
== 2000 ==
+
 
 +
{{Header | 2000}}
 +
 
 
<pub authors="grigore" year="= 2000" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 2000" template="GrigorePubs"> </pub>
  
== 1999 ==
+
 
 +
{{Header | 1999}}
 +
 
 
<pub authors="grigore" year="= 1999" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 1999" template="GrigorePubs"> </pub>
  
== 1998 ==
+
 
 +
{{Header | 1998}}
 +
 
 
<pub authors="grigore" year="= 1998" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 1998" template="GrigorePubs"> </pub>
  
== 1997 ==
+
 
 +
{{Header | 1997}}
 +
 
 
<pub authors="grigore" year="= 1997" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 1997" template="GrigorePubs"> </pub>
  
== 1996 ==
+
 
 +
{{Header | 1996}}
 +
 
 
<pub authors="grigore" year="= 1996" template="GrigorePubs"> </pub>
 
<pub authors="grigore" year="= 1996" template="GrigorePubs"> </pub>

Revision as of 08:20, 21 September 2008

(back to Grigore Rosu's page)

This list contains only my newer publications. See DBLP and my old publication page for the remaining papers.


2008

Towards a Module System for K
Blank.gifMark Hills and Grigore Rosu
Blank.gifWADT'08, LNCS 5486, pp 187-205. 2009
Blank.gifPDF, LNCS, WADT'08, BIB
Term-Generic Logic
Blank.gifAndrei Popescu and Grigore Rosu
Blank.gifWADT'08, LNCS 5486, pp 290-307. 2009
Blank.gifLNCS, WADT'08, BIB
Hardware Runtime Monitoring for Dependable COTS-based Real-Time Embedded Systems
Blank.gifRodolfo Pellizzoni, Patrick Meredith, Marco Caccamo and Grigore Rosu
Blank.gifRTSS'08, IEEE, pp. 481-491. 2008
Blank.gifPDF, Experiments, Slides(PPTX), IEEE, RTSS'08, BIB
Defining and Executing P-systems with Structured Data in K
Blank.gifTraian Florin Serbanuta, Gheorghe Stefanescu and Grigore Rosu
Blank.gifWMC'08, LNCS 5391, pp 374-393. 2009
Blank.gifPDF, Slides (PDF), Experiments, LNCS, WMC'08, BIB
Efficient Monitoring of Parametric Context-Free Patterns
Blank.gifPatrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
Blank.gifASE'08, IEEE/ACM, pp 148-157. 2008 ACM Sigsoft Distinguished Paper
Blank.gifPDF, Experiments, ASE'08 slides(KEY), ASE'08 slides(MOV), ASE'08 slides(PPT), IEEE, ASE'08, BIB
Mining Parametric State-Based Specifications from Executions
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2008-3000, September 2008
Blank.gifPDF, BIB
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Blank.gifMark Hills, Feng Chen and Grigore Rosu
Blank.gifRULE'08, ENTCS, to appear, 2008
Blank.gifPDF, RULE'08 slides, RULE'08, BIB
Monitoring IVHM Systems using a Monitor-Oriented Programming Framework
Blank.gifSudipto Ghoshal, Solaiappan Manimaran, Grigore Rosu, Traian Florin Serbanuta, and Gheorghe Stefanescu
Blank.gifLFM 2008
Blank.gifPDF, Slides (PPT), LFM'08, BIB
jPredictor: A Predictive Runtime Analysis Tool for Java
Blank.gifFeng Chen and Traian Florin Serbanuta and Grigore Rosu
Blank.gifICSE'08, ACM, pp. 221-230. 2008
Blank.gifPDF, Slides(PDF), DOI, ICSE'08, BIB
A Rewriting Logic Approach to Type Inference
Blank.gifChucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2008-2934, March 2008
Blank.gifPDF, TR@UIUC, BIB
Synthesizing Monitors for Safety Properties -- This Time With Calls and Returns --
Blank.gifGrigore Rosu, Feng Chen and Thomas Ball
Blank.gifRV'08, LNCS 5289, pp 51-68, 2008
Blank.gifPDF, RV'08, BIB
Pluggable Policies for C
Blank.gifMark Hills, Feng Chen and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2008-2931, January 2008
Blank.gifPDF, TR@UIUC, BIB


2007

K: A Rewriting-Based Framework for Computations -- Preliminary version
Blank.gifGrigore Rosu
Blank.gifTechnical report UIUCDCS-R-2007-2926 and UILU-ENG-2007-1827, December 2007
Blank.gifPDF, ZIP, TR@UIUC, BIB
Synthesizing Monitors for Safety Properties -- This Time With Calls and Returns --
Blank.gifGrigore Rosu,Feng Chen and Thomas Ball
Blank.gifTechnical report UIUCDCS-R-2007-2908, October 2007
Blank.gifPDF, BIB
A K Definition of Scheme
Blank.gifPatrick Meredith, Mark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2007-2907, October 2007
Blank.gifPDF, TR@UIUC, BIB
Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
Blank.gifFeng Chen, Traian Florin Serbanuta and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2007-2905, October 2007
Blank.gifPDF, TR@UIUC, BIB
An Executable Rewriting Logic Semantics of K-Scheme
Blank.gifPatrick Meredith, Mark Hills and Grigore Rosu
Blank.gif8th Workshop on Scheme and Functional Programming, Technical Report DIUL-RT-0701, pp. 91-103, September 2007
Blank.gifPDF, SCHEME'07, BIB
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Blank.gifMark Hills and Grigore Rosu
Blank.gifOOPSLA'07 Companion, ACM Press, pp 827-828. 2007
Blank.gifPDF, OOPSLA'07 poster, ACM, OOPSLA'07, BIB
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report Bericht-Nr. 2007-7, pp. 23-26, July 2007
Blank.gifPDF, ECOOP'07 Doctoral Symposium slides, ECOOP'07 Doctoral Symposium, BIB
MOP: An Efficient and Generic Runtime Verification Framework
Blank.gifFeng Chen and Grigore Rosu
Blank.gifOOPSLA'07, ACM press, pp 569-588. 2007
Blank.gifPDF, OOPSLA'07 slides, ACM, OOPSLA'07, DBLP, TR@UIUC, BIB
A Rewriting Logic Approach to Operational Semantics -- Extended Abstract
Blank.gifTraian Florin Serbanuta, Grigore Rosu and Jose Meseguer
Blank.gifSOS'07, ENTCS 192(1), pp 125-141. 2007
Blank.gifPDF, Slides (PPT), ENTCS, SOS'07, BIB
CIRC: A Circular Coinductive Prover
Blank.gifDorel Lucanu and Grigore Rosu
Blank.gifCALCO'07, LNCS 4624, pp 372-378. 2007
Blank.gifPDF, CIRC webpage, CALCO'07, BIB
Parametric and Sliced Causality
Blank.gifFeng Chen and Grigore Rosu
Blank.gifCAV'07, LNCS 4590, pp 240 - 253, 2007
Blank.gifPDF, CAV'07 slides, CAV'07, TR@UIUC, BIB
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Blank.gifMark Hills and Grigore Rosu
Blank.gifFMOODS'07, LNCS 4468, pp 107-121. 2007
Blank.gifPDF, FMOODS'07 slides, LNCS, FMOODS'07, BIB
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
Blank.gifMark Hills and Grigore Rosu
Blank.gifRTA'07, LNCS 4533, pp 246-256. 2007
Blank.gifPDF, RTA'07 slides, LNCS, RTA'07, BIB
On Safety Properties and Their Monitoring
Blank.gifGrigore Rosu
Blank.gifTechnical report UIUCDCS-R-2007-2850, February 2007
Blank.gifPDF, ZIP, TR@UIUC, BIB
An Effective Algorithm for the Membership Problem for Extended Regular Expressions
Blank.gifGrigore Rosu
Blank.gifFOSSACS'07, LNCS 4423, pp 332-345, 2007
Blank.gifPDF, FOSSACS'07, BIB
The Rewriting Logic Semantics Project
Blank.gifJose Meseguer and Grigore Rosu
Blank.gifJ. of TCS, Volume 373(3), pp 213-237. 2007
Blank.gifPDF, J.TCS, BIB


2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Blank.gifMark Hills, Traian Florin Serbanuta and Grigore Rosu
Blank.gifWRLA'06, ENTCS 176(4), pp. 215-231. 2007
Blank.gifPDF, Experiments, ENTCS, WRLA'06, BIB
K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation
Blank.gifGrigore Rosu
Blank.gifTechnical report UIUCDCS-R-2006-2802, December 2006
Blank.gifPDF, TR@UIUC, BIB
A Rewriting Based Approach to OO Language Prototyping and Design
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2786, October 2006
Blank.gifPDF, TR@UIUC, BIB
KOOL: A K-based Object-Oriented Language
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2779, October 2006
Blank.gifPDF, TR@UIUC, BIB
MOP: Reliable Software Development using Abstract Aspects
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2006-2776, October 2006
Blank.gifPDF, TR@UIUC, BIB
Computationally Equivalent Elimination of Conditions - extended abstract
Blank.gifTraian Florin Serbanuta and Grigore Rosu
Blank.gifRTA'06, LNCS 4098, pp 19-34. 2006
Blank.gifPDF, Slides (PPT), Experiments, LNCS, RTA'06, DBLP, BIB
GFOL: a Term-Generic Logic for Defining Lambda-Calculi
Blank.gifAndrei Popescu and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2756, July 2006
Blank.gifPDF, TR@UIUC, BIB
Equality of Streams is a Pi_2^0-Complete Problem
Blank.gifGrigore Rosu
Blank.gifICFP'06, ACM, 2006
Blank.gifPDF, ICFP'06 Slides, ACM, ICFP'06, BIB
Complete Categorical Deduction for Satisfaction as Injectivity
Blank.gifGrigore Rosu
Blank.gifFestschrift in Honor of Joseph Goguen, LNCS 4060, pp 157-172. 2006.
Blank.gifPDF, Goguen's Festschrift slides, LNCS, Goguen's Festschrift, Goguen's Webpage, BIB
Allen Linear (Interval) Temporal Logic -Translation to LTL and Monitor Synthesis-
Blank.gifGrigore Rosu and Saddek Bensalem
Blank.gifCAV'06, LNCS 4144, pp 263-277, 2006
Blank.gifPDF, CAV'06, CAV'06 Slides, BIB
Parametric and Termination-Sensitive Control Dependence - Extended Abstract
Blank.gifFeng Chen and Grigore Rosu
Blank.gifSAS'06, LNCS 4134, pp 387-404. 2006.
Blank.gifPDF, LNCS, SAS'06, BIB
Parametric and Termination-Sensitive Control Dependence
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2006-2712, April 2006
Blank.gifPDF, TR@UIUC, BIB
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Blank.gifFeng Chen, Mark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2702, March 2006
Blank.gifPDF, TR@UIUC, BIB
Predicting Concurrency Errors at Runtime using Sliced Causality
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2006-2965, 2006.
Blank.gifPDF, TR@UIUC, BIB
A Semantic Approach to Interpolation
Blank.gifAndrei Popescu, Traian Florin Serbanuta and Grigore Rosu
Blank.gifFOSSACS'06, LNCS 3921, pp 307-321. 2006
Blank.gifPDF, Slides (PDF), LNCS, FOSSACS '06, DBLP, BIB
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Blank.gifSumant Kowshik, Grigore Rosu and Lui Sha
Blank.gifDSN'06, IEEE, pp 23-34. 2006.
Blank.gifPDF, DSN'06 Slides, IEEE, DSN'06, BIB


2005

Efficient Monitoring of Omega-Languages
Blank.gifMarcelo d'Amorim and Grigore Rosu
Blank.gifCAV'05, LNCS 3576, pp 364 - 378. 2005.
Blank.gifPDF, LNCS, CAV'05, DBLP, BIB
Behavioral Extensions of Institutions
Blank.gifAndrei Popescu and Grigore Rosu
Blank.gifCALCO'05, LNCS 3629, pp. 331-347. 2005
Blank.gifPDF, CALCO'05 Slides, LNCS , CALCO '05, DBLP, BIB
Predicting Concurrency Errors at Runtime using Sliced Causality
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTechnical report UIUCDCS-R-2005-2660, 2005.
Blank.gifPDF, TR@UIUC, BIB
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Blank.gifFeng Chen, Marcelo d'Amorim and Grigore Rosu
Blank.gifRV'05, ENTCS 144, issue 4, pp 3-20. 2005.
Blank.gifPDF, ENTCS, RV'05, DBLP, BIB
Java-MOP: A Monitoring Oriented Programming Environment for Java
Blank.gifFeng Chen and Grigore Rosu
Blank.gifTACAS'05, LNCS 3440, pp 546-550. 2005.
Blank.gifPDF, LNCS, TACAS'05, DBLP, BIB
Automatic and Precise Dimensional Analysis
Blank.gifMarcelo d'Amorim, Mark Hills, Feng Chen and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2668, December 2005
Blank.gifPDF, Sources, TR@UIUC, BIB
K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation
Blank.gifGrigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2672, December 2005
Blank.gifPDF, Experiments, BIB
An Executable Semantic Definition of the Beta Language using Rewriting Logic
Blank.gifMark Hills, T. Baris Aktemur and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2650, November 2005
Blank.gifPDF, TR@UIUC, BIB
Rewriting-based Techniques for Runtime Verification
Blank.gifGrigore Rosu and Klaus Havelund
Blank.gifJ.ASE, Volume 12(2), pp 151-197. 2005
Blank.gifPDF, J.ASE, DBLP, BIB
The Rewriting Logic Semantics Project
Blank.gifJose Meseguer and Grigore Rosu
Blank.gifSOS'05, ENTCS 156, pp. 27-56. 2006
Blank.gifPDF, SOS'05, BIB
An Effective Algorithm for the Membership Problem for Extended Regular Expressions
Blank.gifGrigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2694, August 2005
Blank.gifPDF, Technical Report @ UIUC, BIB


2004

Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Blank.gifJose Meseguer and Grigore Rosu
Blank.gifIJCAR'04, LNCS 3097, pp 1-44. 2004
Blank.gifPDF, Maude-code, LNCS, IJCAR'04, BIB
Efficient Monitoring of Safety Properties
Blank.gifKlaus Havelund and Grigore Rosu
Blank.gifJ. of STTT, Volume 6(2), pp 158-173. 2004
Blank.gifPDF, J.STTT, BIB
A Formal Monitoring-based Framework for Software Development and Analysis
Blank.gifFeng Chen and Marcelo d'Amorim and Grigore Rosu
Blank.gifICFEM'04, LNCS 3308, pp 357 - 373. 2004.
Blank.gifPDF, LNCS, ICFEM'04, DBLP, BIB
Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software
Blank.gifFeng Chen, Marcelo d'Amorim and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2004-2420, 2004.
Blank.gifPDF, TR@UIUC, BIB
Formal Analysis of Java Programs in JavaFAN
Blank.gifAzadeh Farzan, Feng Chen, Jose Meseguer and Grigore Rosu
Blank.gifCAV'04, LNCS 3114, pp 501 - 505. 2004.
Blank.gifPDF, LNCS, CAV'04, DBLP, BIB
From Conditional to Unconditional Rewriting
Blank.gifGrigore Rosu
Blank.gifWADT'04, LNCS 3423, pp 218-233. 2004
Blank.gifPDF, LNCS, WADT'04, Experiments, PDF - Original submission, WADT'04 slides, BIB
From Conditional to Unconditional Rewriting
Blank.gifGrigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2004-2471, August 2004
Blank.gifPDF, Technical reports' page, Experiments, BIB
Behavioral Abstraction is Hiding Information
Blank.gifGrigore Rosu
Blank.gifJ. of TCS, Volume 327(1-2), pp 197-221. 2004
Blank.gifPDF, J.TCS, BIB


2003

Certifying Measurement Unit Safety Policy
Blank.gifGrigore Rosu and Feng Chen
Blank.gifASE'03, IEEE, pp. 304 - 309. 2003.
Blank.gifPDF, IEEE, ASE'03, BIB
Rule-Based Analysis of Dimensional Safety
Blank.gifFeng Chen and Grigore Rosu and Ram Prasad Venkatesan
Blank.gifRTA'03, LNCS 2706, pp197 - 207. 2003.
Blank.gifPDF, LNCS, RTA'03, DBLP, BIB
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
Blank.gifFeng Chen and Grigore Rosu
Blank.gifRV'03, ENTCS 89, issue 2, pp 108 - 127. 2003.
Blank.gifPDF, ENTCS, RV'03, DBLP, BIB
CS322 - Programming Language Design: Lecture Notes
Blank.gifGrigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2003-2897, December 2003
Blank.gifPDF, TR @ UIUC, BIB
Inductive Behavioral Proofs by Unhiding
Blank.gifGrigore Rosu
Blank.gifCMCS'03, ENTCS 82(1). 2003
Blank.gifPDF, ENTCS, CMCS'03, Experiments, DBLP, BIB


2002



2001



2000

Hidden Logic
Blank.gifGrigore Rosu
Blank.gifPhD Thesis, University of California at San Diego
Blank.gifPDF, Thesis@UCSD, BIB


1999



1998



1997



1996


Personal tools
Namespaces

Variants
Actions
Navigation