Grigore Rosu's Publications
From FSL
Here is the list of Grigore's publications, indexed by year. This list is not complete yet; please see my publications on DBLP for a more complete list.
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
