Difference between revisions of "Grigore Rosu's Publications"
From FSL
| Line 1: | Line 1: | ||
| − | Here is the list of [[Grigore Rosu | + | 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:18, 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
Mark Hills, Traian Florin Serbanuta and Grigore RosuWRLA'06, ENTCS 176(4), pp. 215-231. 2007PDF, Experiments, ENTCS, WRLA'06, BIB
- K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and ImplementationGrigore RosuTechnical report UIUCDCS-R-2006-2802, December 2006PDF, TR@UIUC, BIB
- A Rewriting Based Approach to OO Language Prototyping and DesignMark Hills and Grigore RosuTechnical Report UIUCDCS-R-2006-2786, October 2006PDF, TR@UIUC, BIB
- KOOL: A K-based Object-Oriented LanguageMark Hills and Grigore RosuTechnical Report UIUCDCS-R-2006-2779, October 2006PDF, TR@UIUC, BIB
- MOP: Reliable Software Development using Abstract AspectsFeng Chen and Grigore RosuTechnical report UIUCDCS-R-2006-2776, October 2006PDF, TR@UIUC, BIB
- Computationally Equivalent Elimination of Conditions - extended abstractTraian Florin Serbanuta and Grigore RosuRTA'06, LNCS 4098, pp 19-34. 2006PDF, Slides (PPT), Experiments, LNCS, RTA'06, DBLP, BIB
- GFOL: a Term-Generic Logic for Defining Lambda-CalculiAndrei Popescu and Grigore RosuTechnical Report UIUCDCS-R-2006-2756, July 2006PDF, TR@UIUC, BIB
- Equality of Streams is a Pi_2^0-Complete ProblemGrigore RosuICFP'06, ACM, 2006PDF, ICFP'06 Slides, ACM, ICFP'06, BIB
- Complete Categorical Deduction for Satisfaction as InjectivityGrigore RosuFestschrift in Honor of Joseph Goguen, LNCS 4060, pp 157-172. 2006.PDF, Goguen's Festschrift slides, LNCS, Goguen's Festschrift, Goguen's Webpage, BIB
- Allen Linear (Interval) Temporal Logic -Translation to LTL and Monitor Synthesis-Grigore Rosu and Saddek BensalemCAV'06, LNCS 4144, pp 263-277, 2006PDF, CAV'06, CAV'06 Slides, BIB
- Parametric and Termination-Sensitive Control Dependence - Extended AbstractFeng Chen and Grigore RosuSAS'06, LNCS 4134, pp 387-404. 2006.PDF, LNCS, SAS'06, BIB
- Parametric and Termination-Sensitive Control DependenceFeng Chen and Grigore RosuTechnical report UIUCDCS-R-2006-2712, April 2006PDF, TR@UIUC, BIB
- A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented LanguagesFeng Chen, Mark Hills and Grigore RosuTechnical Report UIUCDCS-R-2006-2702, March 2006PDF, TR@UIUC, BIB
- Predicting Concurrency Errors at Runtime using Sliced CausalityFeng Chen and Grigore RosuTechnical report UIUCDCS-R-2006-2965, 2006.PDF, TR@UIUC, BIB
- A Semantic Approach to InterpolationAndrei Popescu, Traian Florin Serbanuta and Grigore RosuFOSSACS'06, LNCS 3921, pp 307-321. 2006PDF, Slides (PDF), LNCS, FOSSACS '06, DBLP, BIB
- Static Analysis to Enforce Safe Value Flow in Embedded Control SystemsSumant Kowshik, Grigore Rosu and Lui ShaDSN'06, IEEE, pp 23-34. 2006.PDF, DSN'06 Slides, IEEE, DSN'06, BIB
2005
- Efficient Monitoring of Omega-LanguagesMarcelo d'Amorim and Grigore RosuCAV'05, LNCS 3576, pp 364 - 378. 2005.PDF, LNCS, CAV'05, DBLP, BIB
- Behavioral Extensions of InstitutionsAndrei Popescu and Grigore RosuCALCO'05, LNCS 3629, pp. 331-347. 2005PDF, CALCO'05 Slides, LNCS , CALCO '05, DBLP, BIB
- Predicting Concurrency Errors at Runtime using Sliced CausalityFeng Chen and Grigore RosuTechnical report UIUCDCS-R-2005-2660, 2005.PDF, TR@UIUC, BIB
- Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOPFeng Chen, Marcelo d'Amorim and Grigore RosuRV'05, ENTCS 144, issue 4, pp 3-20. 2005.PDF, ENTCS, RV'05, DBLP, BIB
- Java-MOP: A Monitoring Oriented Programming Environment for JavaFeng Chen and Grigore RosuTACAS'05, LNCS 3440, pp 546-550. 2005.PDF, LNCS, TACAS'05, DBLP, BIB
- Automatic and Precise Dimensional AnalysisMarcelo d'Amorim, Mark Hills, Feng Chen and Grigore RosuTechnical Report UIUCDCS-R-2005-2668, December 2005PDF, Sources, TR@UIUC, BIB
- K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and ImplementationGrigore RosuTechnical Report UIUCDCS-R-2005-2672, December 2005PDF, Experiments, BIB
- An Executable Semantic Definition of the Beta Language using Rewriting LogicMark Hills, T. Baris Aktemur and Grigore RosuTechnical Report UIUCDCS-R-2005-2650, November 2005PDF, TR@UIUC, BIB
- Rewriting-based Techniques for Runtime VerificationGrigore Rosu and Klaus HavelundJ.ASE, Volume 12(2), pp 151-197. 2005PDF, J.ASE, DBLP, BIB
- The Rewriting Logic Semantics ProjectJose Meseguer and Grigore RosuSOS'05, ENTCS 156, pp. 27-56. 2006PDF, SOS'05, BIB
- An Effective Algorithm for the Membership Problem for Extended Regular ExpressionsGrigore RosuTechnical Report UIUCDCS-R-2005-2694, August 2005PDF, Technical Report @ UIUC, BIB
2004
- Rewriting Logic Semantics: From Language Specifications to Formal Analysis ToolsJose Meseguer and Grigore RosuIJCAR'04, LNCS 3097, pp 1-44. 2004PDF, Maude-code, LNCS, IJCAR'04, BIB
- Efficient Monitoring of Safety PropertiesKlaus Havelund and Grigore RosuJ. of STTT, Volume 6(2), pp 158-173. 2004PDF, J.STTT, BIB
- A Formal Monitoring-based Framework for Software Development and AnalysisFeng Chen and Marcelo d'Amorim and Grigore RosuICFEM'04, LNCS 3308, pp 357 - 373. 2004.PDF, LNCS, ICFEM'04, DBLP, BIB
- Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented SoftwareFeng Chen, Marcelo d'Amorim and Grigore RosuTechnical Report UIUCDCS-R-2004-2420, 2004.PDF, TR@UIUC, BIB
- Formal Analysis of Java Programs in JavaFANAzadeh Farzan, Feng Chen, Jose Meseguer and Grigore RosuCAV'04, LNCS 3114, pp 501 - 505. 2004.PDF, LNCS, CAV'04, DBLP, BIB
- From Conditional to Unconditional RewritingGrigore RosuWADT'04, LNCS 3423, pp 218-233. 2004PDF, LNCS, WADT'04, Experiments, PDF - Original submission, WADT'04 slides, BIB
- From Conditional to Unconditional RewritingGrigore RosuTechnical Report UIUCDCS-R-2004-2471, August 2004PDF, Technical reports' page, Experiments, BIB
- Behavioral Abstraction is Hiding InformationGrigore RosuJ. of TCS, Volume 327(1-2), pp 197-221. 2004PDF, J.TCS, BIB
2003
- Certifying Measurement Unit Safety PolicyGrigore Rosu and Feng ChenASE'03, IEEE, pp. 304 - 309. 2003.PDF, IEEE, ASE'03, BIB
- Rule-Based Analysis of Dimensional SafetyFeng Chen and Grigore Rosu and Ram Prasad VenkatesanRTA'03, LNCS 2706, pp197 - 207. 2003.PDF, LNCS, RTA'03, DBLP, BIB
- Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and ImplementationFeng Chen and Grigore RosuRV'03, ENTCS 89, issue 2, pp 108 - 127. 2003.PDF, ENTCS, RV'03, DBLP, BIB
- CS322 - Programming Language Design: Lecture NotesGrigore RosuTechnical Report UIUCDCS-R-2003-2897, December 2003PDF, TR @ UIUC, BIB
- Inductive Behavioral Proofs by UnhidingGrigore RosuCMCS'03, ENTCS 82(1). 2003PDF, ENTCS, CMCS'03, Experiments, DBLP, BIB
2002
2001
2000
- Hidden LogicGrigore RosuPhD Thesis, University of California at San DiegoPDF, Thesis@UCSD, BIB
1999
1998
1997
1996
