2009 | ||
---|---|---|
105 | EE | Eric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14 |
104 | EE | Feng Chen, Grigore Rosu: Parametric Trace Slicing and Monitoring. TACAS 2009: 246-261 |
103 | EE | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009) |
102 | EE | Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu: A semantic approach to interpolation. Theor. Comput. Sci. 410(12-13): 1109-1128 (2009) |
2008 | ||
101 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: Runtime Verification, 02.01. - 06.01.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 | |
100 | José Meseguer, Grigore Rosu: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Springer 2008 | |
99 | EE | Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu: Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157 |
98 | EE | Feng Chen, Traian-Florin Serbanuta, Grigore Rosu: jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230 |
97 | EE | Grigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68 |
96 | EE | Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu: Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393 |
95 | EE | Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras: Regular Strategies as Proof Tactics for CIRC. Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008) |
2007 | ||
94 | EE | Dorel Lucanu, Grigore Rosu: CIRC : A Circular Coinductive Prover. CALCO 2007: 372-378 |
93 | EE | Feng Chen, Grigore Rosu: Parametric and Sliced Causality. CAV 2007: 240-253 |
92 | EE | Mark Hills, Grigore Rosu: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121 |
91 | EE | Grigore Rosu: An Effective Algorithm for the Membership Problem for Extended Regular Expressions. FoSSaCS 2007: 332-345 |
90 | EE | Feng Chen, Grigore Rosu: Mop: an efficient and generic runtime verification framework. OOPSLA 2007: 569-588 |
89 | EE | Mark Hills, Grigore Rosu: A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828 |
88 | EE | Mark Hills, Grigore Rosu: KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256 |
87 | EE | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 |
86 | EE | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 |
85 | EE | Grigore Rosu, Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience 19(3): 311-325 (2007) |
84 | EE | Mark Hills, Traian Serbanuta, Grigore Rosu: A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. Electr. Notes Theor. Comput. Sci. 176(4): 215-231 (2007) |
83 | EE | Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta: Rewriting Logic Systems. Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007) |
82 | EE | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A Rewriting Logic Approach to Operational Semantics (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 125-141 (2007) |
81 | EE | Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007) |
80 | EE | José Meseguer, Grigore Rosu: The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007) |
2006 | ||
79 | Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers Springer 2006 | |
78 | EE | Grigore Rosu, Saddek Bensalem: Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277 |
77 | EE | Sumant Kowshik, Grigore Rosu, Lui Sha: Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN 2006: 23-34 |
76 | EE | Grigore Rosu: Complete Categorical Deduction for Satisfaction as Injectivity. Essays Dedicated to Joseph A. Goguen 2006: 157-172 |
75 | EE | Andrei Popescu, Traian Serbanuta, Grigore Rosu: A Semantic Approach to Interpolation. FoSSaCS 2006: 307-321 |
74 | EE | Grigore Rosu: Equality of streams is a Pi0 over 2-complete problem. ICFP 2006: 184-191 |
73 | EE | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006 |
72 | EE | Traian-Florin Serbanuta, Grigore Rosu: Computationally Equivalent Elimination of Conditions. RTA 2006: 19-34 |
71 | EE | Feng Chen, Grigore Rosu: Parametric and Termination-Sensitive Control Dependence. SAS 2006: 387-404 |
70 | EE | Feng Chen, Marcelo d'Amorim, Grigore Rosu: Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Electr. Notes Theor. Comput. Sci. 144(4): 3-20 (2006) |
69 | EE | José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. Electr. Notes Theor. Comput. Sci. 156(1): 27-56 (2006) |
68 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006) |
2005 | ||
67 | EE | Andrei Popescu, Grigore Rosu: Behavioral Extensions of Institutions. CALCO 2005: 331-347 |
66 | EE | Marcelo d'Amorim, Grigore Rosu: Efficient Monitoring of omega-Languages. CAV 2005: 364-378 |
65 | EE | Pierre Salverda, Grigore Rosu, Craig B. Zilles: Formally Defining and Verifying Master/Slave Speculative Parallelization. FM 2005: 123-138 |
64 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226 |
63 | EE | Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh: A Tree Based Router Search Engine Architecture with Single Port Memories. ISCA 2005: 123-133 |
62 | EE | Feng Chen, Grigore Rosu: Java-MOP: A Monitoring Oriented Programming Environment for Java. TACAS 2005: 546-550 |
61 | EE | José Meseguer, Grigore Rosu: Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267 |
60 | EE | Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005) |
59 | EE | Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005) |
58 | EE | Prasanna Thati, Grigore Rosu: Monitoring Algorithms for Metric Temporal Logic Specifications. Electr. Notes Theor. Comput. Sci. 113: 145-162 (2005) |
57 | EE | Klaus Havelund, Grigore Rosu: Foreword. Formal Methods in System Design 27(3): 211-212 (2005) |
56 | EE | Marcelo d'Amorim, Grigore Rosu: An Equational Specification for the Scheme Language. J. UCS 11(7): 1327-1348 (2005) |
55 | EE | Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005) |
2004 | ||
54 | EE | Azadeh Farzan, José Meseguer, Grigore Rosu: Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147 |
53 | EE | Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu: Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505 |
52 | EE | Joseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123 |
51 | EE | Grigore Rosu: Extensional Theories and Rewriting. ICALP 2004: 1066-1079 |
50 | EE | Feng Chen, Marcelo d'Amorim, Grigore Rosu: A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372 |
49 | EE | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427 |
48 | EE | José Meseguer, Grigore Rosu: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44 |
47 | EE | Grigore Rosu, Koushik Sen: An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004 |
46 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138 |
45 | EE | Grigore Rosu: From Conditional to Unconditional Rewriting. WADT 2004: 218-233 |
44 | EE | Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004) |
43 | EE | Klaus Havelund, Grigore Rosu: Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods in System Design 24(2): 99-100 (2004) |
42 | EE | Klaus Havelund, Grigore Rosu: Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004) |
41 | EE | Grigore Rosu: Behavioral abstraction is hiding information. Theor. Comput. Sci. 327(1-2): 197-221 (2004) |
2003 | ||
40 | EE | Grigore Rosu, Feng Chen: Certifying Measurement Unit Safety Polic. ASE 2003: 304-309 |
39 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275 |
38 | EE | Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107 |
37 | EE | Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314 |
36 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346 |
35 | EE | Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380 |
34 | EE | Feng Chen, Grigore Rosu, Ram Prasad Venkatesan: Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207 |
33 | EE | Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514 |
32 | EE | Grigore Rosu: Inductive Behavioral Proofs by Unhiding. Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
31 | EE | Koushik Sen, Grigore Rosu: Generating Optimal Monitors for Extended Regular Expressions. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
30 | EE | Feng Chen, Grigore Rosu: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
2002 | ||
29 | EE | Grigore Rosu: On implementing behavioral rewriting. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 43-52 |
28 | EE | Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294 |
27 | EE | José Meseguer, Grigore Rosu: A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584 |
26 | EE | Klaus Havelund, Grigore Rosu: Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356 |
25 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232 |
24 | EE | José Meseguer, Grigore Rosu: Towards Behavioral Maude: Behavioral Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
23 | EE | Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
22 | EE | Joseph A. Goguen, Grigore Rosu: Institution Morphisms. Formal Asp. Comput. 13(3-5): 274-307 (2002) |
21 | Grigore Rosu: Axiomatizability in Inclusive Equational Logics. Mathematical Structures in Computer Science 12(5): 541-563 (2002) | |
2001 | ||
20 | EE | Klaus Havelund, Grigore Rosu: Monitoring Programs Using Rewriting. ASE 2001: 135-143 |
19 | EE | Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90 |
18 | EE | Grigore Rosu: Complete Categorical Equational Deduction. CSL 2001: 528-538 |
17 | EE | Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
16 | EE | Klaus Havelund, Grigore Rosu: Preface. Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
15 | EE | Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
14 | EE | Grigore Rosu: Equational axiomatizability for coalgebra. Theor. Comput. Sci. 260(1-2): 229-247 (2001) |
2000 | ||
13 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132 |
12 | EE | Samuel R. Buss, Grigore Rosu: Incompleteness of Behavioral Logics. Electr. Notes Theor. Comput. Sci. 33: (2000) |
11 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000) |
10 | EE | Grigore Rosu, Joseph A. Goguen: On Equational Craig Interpolation. J. UCS 6(1): 194-200 (2000) |
9 | EE | Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems: Part Two. J. UCS 6(1): 5-21 (2000) |
1999 | ||
8 | EE | Joseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719 |
7 | EE | Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: (1999) |
6 | EE | Grigore Rosu: Kan Extensions of Institutions. J. UCS 5(8): 482-493 (1999) |
1998 | ||
5 | EE | Grigore Rosu, Joseph A. Goguen: Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266 |
4 | EE | Grigore Rosu: A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. Electr. Notes Theor. Comput. Sci. 11: (1998) |
1997 | ||
3 | EE | Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62 |
2 | Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems. Mathematical Structures in Computer Science 7(2): 195-206 (1997) | |
1994 | ||
1 | Grigore Rosu: The Institution of Order-Sorted Equational Logic. Bulletin of the EATCS 53: 250-255 (1994) |