Difference between revisions of "Grigore Rosu's Publications"

From FSL
Jump to: navigation, search
Line 1: Line 1:
Here is the list of [[Grigore Rosu | Grigore]]'s publications, indexed by year.  This list is not complete yet; please see my publications on [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosu:Grigore.html DBLP] for a more complete list.  Most of my older publications (before joining UIUC) can be found on my previous webpage [http://fsl.cs.uiuc.edu/~grosu/publications.html here]; those older publications will hopefully eventually migrate on this new wiki server.
+
Here is the list of [[Grigore Rosu]]'s publications, indexed by year.  This list is not complete yet; please see my publications on [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosu:Grigore.html DBLP] for a more complete list.  Most of my older publications (before joining UIUC) can be found on my previous webpage [http://fsl.cs.uiuc.edu/~grosu/publications.html here]; those older publications will hopefully eventually migrate on this new wiki server.
  
 
<purge></purge>
 
<purge></purge>

Revision as of 16:17, 17 October 2006

Here is the list of Grigore Rosu's publications, indexed by year. This list is not complete yet; please see my publications on DBLP for a more complete list. Most of my older publications (before joining UIUC) can be found on my previous webpage here; those older publications will hopefully eventually migrate on this new wiki server.


Contents

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