Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Grigore Rosu
2010 – today
- 2013
[c92]Qingzhou Luo, Grigore Rosu: EnforceMOP: a runtime property enforcement system for multithreaded programs. ISSTA 2013: 156-166- [c91]Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore: One-Path Reachability Logic. LICS 2013: 358-367
- 2012
- [j50]Grigore Rosu, Feng Chen: Semantics and Algorithms for Parametric Monitoring. Logical Methods in Computer Science 8(1) (2012)
- [j49]
- [j48]Mark Hills, Feng Chen, Grigore Rosu: A Rewriting Logic Approach to Static Checking of Units of Measurement in C. Electr. Notes Theor. Comput. Sci. 290: 51-67 (2012)
- [j47]Oleg Sokolsky, Grigore Rosu: Introduction to the special issue on runtime verification. Formal Methods in System Design 41(3): 233-235 (2012)
- [j46]Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu: An overview of the MOP runtime verification framework. STTT 14(3): 249-289 (2012)
- [c90]David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu: Executing Formal Semantics with the K Tool. FM 2012: 267-271
- [c89]
- [c88]Traian-Florin Serbanuta, Grigore Rosu: A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. ICGT 2012: 294-310
- [c87]Grigore Rosu, Andrei Stefanescu: Towards a Unified Theory of Operational and Axiomatic Semantics. ICALP (2) 2012: 351-363
- [c86]Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu: JavaMOP: Efficient parametric runtime monitoring framework. ICSE 2012: 1427-1430
- [c85]
- [c84]Chucky Ellison, Grigore Rosu: An executable formal semantics of C with applications. POPL 2012: 533-544
- [c83]Traian-Florin Serbanuta, Feng Chen, Grigore Rosu: Maximal Causal Models for Sequentially Consistent Systems. RV 2012: 136-150
- [c82]
- [c81]Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu: Making Maude Definitions More Interactive. WRLA 2012: 83-98
- [e5]Holger Giese, Grigore Rosu (Eds.): Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7273, Springer 2012, ISBN 978-3-642-30792-8
- 2011
- [c80]José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project: A Progress Report. FCT 2011: 1-37
- [c79]
- [c78]Grigore Rosu, Andrei Stefanescu: Matching logic: a new program verification approach. ICSE 2011: 868-871
- [c77]Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu: Garbage collection for monitoring parametric properties. PLDI 2011: 415-424
- [c76]Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov: Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233
- 2010
- [j45]Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu: Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17(2): 149-180 (2010)
- [j44]Grigore Rosu, Traian-Florin Serbanuta: An overview of the K semantic framework. J. Log. Algebr. Program. 79(6): 397-434 (2010)
- [c75]Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162
- [c74]Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu: Automating Coinduction with Case Analysis. ICFEM 2010: 220-236
- [c73]Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu: A formal executable semantics of Verilog. MEMOCODE 2010: 179-188
- [c72]Mark Hills, Grigore Rosu: A Rewriting Logic Semantics Approach to Modular Program Analysis. RTA 2010: 151-160
- [c71]
- [c70]Traian-Florin Serbanuta, Grigore Rosu: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. WRLA 2010: 104-122
- [e4]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2
2000 – 2009
- 2009
- [j43]
- [j42]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009)
- [j41]Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu: A semantic approach to interpolation. Theor. Comput. Sci. 410(12-13): 1109-1128 (2009)
- [c69]Eric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14
- [c68]Grigore Rosu, Dorel Lucanu: Circular Coinduction: A Proof Theoretical Foundation. CALCO 2009: 127-144
- [c67]Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu: CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442
- [c66]
- [c65]Feng Chen, Patrick O'Neil Meredith, Dongyun Jin, Grigore Rosu: Efficient Formalism-Independent Monitoring of Parametric Properties. ASE 2009: 383-394
- [c64]Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta: Runtime Verification of C Memory Safety. RV 2009: 132-151
- [c63]
- 2008
- [j40]Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras: Regular Strategies as Proof Tactics for CIRC. Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008)
- [c62]Feng Chen, Traian-Florin Serbanuta, Grigore Rosu: jPredictor: a predictive runtime analysis tool for java. ICSE 2008: 221-230
- [c61]Patrick O'Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu: Efficient Monitoring of Parametric Context-Free Patterns. ASE 2008: 148-157
- [c60]Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu: Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393
- [c59]Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu: Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. RTSS 2008: 481-491
- [c58]Grigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
- [c57]Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu: A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151
- [c56]
- [c55]
- [e3]José Meseguer, Grigore Rosu (Eds.): Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140, Springer 2008, ISBN 978-3-540-79979-5
- [e2]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [j39]Grigore Rosu, Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience 19(3): 311-325 (2007)
- [j38]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)
- [j37]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)
- [j36]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)
- [j35]Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 20(1-2): 1-2 (2007)
- [j34]José Meseguer, Grigore Rosu: The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007)
- [c54]
- [c53]
- [c52]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
- [c51]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
- [c50]Mark Hills, Grigore Rosu: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121
- [c49]Grigore Rosu: An Effective Algorithm for the Membership Problem for Extended Regular Expressions. FoSSaCS 2007: 332-345
- [c48]Feng Chen, Grigore Rosu: Mop: an efficient and generic runtime verification framework. OOPSLA 2007: 569-588
- [c47]Mark Hills, Grigore Rosu: A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828
- [c46]Mark Hills, Grigore Rosu: KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256
- 2006
- [j33]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)
- [j32]José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. Electr. Notes Theor. Comput. Sci. 156(1): 27-56 (2006)
- [j31]Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)
- [c45]Grigore Rosu: Complete Categorical Deduction for Satisfaction as Injectivity. Essays Dedicated to Joseph A. Goguen 2006: 157-172
- [c44]Grigore Rosu, Saddek Bensalem: Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. CAV 2006: 263-277
- [c43]Sumant Kowshik, Grigore Rosu, Lui Sha: Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN 2006: 23-34
- [c42]Andrei Popescu, Traian Serbanuta, Grigore Rosu: A Semantic Approach to Interpolation. FoSSaCS 2006: 307-321
- [c41]
- [c40]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
- [c39]Traian-Florin Serbanuta, Grigore Rosu: Computationally Equivalent Elimination of Conditions. RTA 2006: 19-34
- [c38]
- [e1]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): 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. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8
- 2005
- [j30]Grigore Rosu, Klaus Havelund: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005)
- [j29]
- [j28]Prasanna Thati, Grigore Rosu: Monitoring Algorithms for Metric Temporal Logic Specifications. Electr. Notes Theor. Comput. Sci. 113: 145-162 (2005)
- [j27]
- [j26]Marcelo d'Amorim, Grigore Rosu: An Equational Specification for the Scheme Language. J. UCS 11(7): 1327-1348 (2005)
- [j25]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)
- [c37]
- [c36]
- [c35]Pierre Salverda, Grigore Rosu, Craig B. Zilles: Formally Defining and Verifying Master/Slave Speculative Parallelization. FM 2005: 123-138
- [c34]Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
- [c33]Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh: A Tree Based Router Search Engine Architecture with Single Port Memories. ISCA 2005: 123-133
- [c32]Feng Chen, Grigore Rosu: Java-MOP: A Monitoring Oriented Programming Environment for Java. TACAS 2005: 546-550
- [c31]José Meseguer, Grigore Rosu: Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267
- 2004
- [j24]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)
- [j23]Klaus Havelund, Grigore Rosu: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004)
- [j22]
- [j21]Grigore Rosu: Behavioral abstraction is hiding information. Theor. Comput. Sci. 327(1-2): 197-221 (2004)
- [c30]Azadeh Farzan, José Meseguer, Grigore Rosu: Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147
- [c29]Joseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123
- [c28]José Meseguer, Grigore Rosu: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44
- [c27]Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu: Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505
- [c26]
- [c25]Feng Chen, Marcelo d'Amorim, Grigore Rosu: A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372
- [c24]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
- [c23]Grigore Rosu, Koushik Sen: An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004
- [c22]Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
- [c21]
- 2003
- [j20]Grigore Rosu: Inductive Behavioral Proofs by Unhiding. Electr. Notes Theor. Comput. Sci. 82(1): 285-302 (2003)
- [j19]Feng Chen, Grigore Rosu: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electr. Notes Theor. Comput. Sci. 89(2): 108-127 (2003)
- [j18]Koushik Sen, Grigore Rosu: Generating Optimal Monitors for Extended Regular Expressions. Electr. Notes Theor. Comput. Sci. 89(2): 226-245 (2003)
- [c20]Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
- [c19]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
- [c18]Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
- [c17]Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
- [c16]
- [c15]Feng Chen, Grigore Rosu, Ram Prasad Venkatesan: Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207
- [c14]Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514
- [c13]Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
- 2002
- [j17]José Meseguer, Grigore Rosu: Towards Behavioral Maude: Behavioral Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 65(1): 197-253 (2002)
- [j16]
- [j15]
- [j14]Grigore Rosu: Axiomatizability in Inclusive Equational Logics. Mathematical Structures in Computer Science 12(5): 541-563 (2002)
- [c12]José Meseguer, Grigore Rosu: A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584
- [c11]Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294
- [c10]Grigore Rosu: On implementing behavioral rewriting. ACM SIGPLAN Workshop on Rule-Based Programming 2002: 43-52
- [c9]
- [c8]Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232
- 2001
- [j13]Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): 200-217 (2001)
- [j12]
- [j11]Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): 271-285 (2001)
- [j10]Grigore Rosu: Equational axiomatizability for coalgebra. Theor. Comput. Sci. 260(1-2): 229-247 (2001)
- [c7]
- [c6]Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
- [c5]
- 2000
- [j9]Samuel R. Buss, Grigore Rosu: Incompleteness of Behavioral Logics. Electr. Notes Theor. Comput. Sci. 33: 61-79 (2000)
- [j8]Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: 2-23 (2000)
- [j7]
- [j6]
- [c4]
1990 – 1999
- 1999
- [j5]Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: 3 (1999)
- [j4]
- [c3]Joseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719
- 1998
- [j3]Grigore Rosu: A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. Electr. Notes Theor. Comput. Sci. 11: 176-193 (1998)
- [c2]
- 1997
- [j2]Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems. Mathematical Structures in Computer Science 7(2): 195-206 (1997)
- [c1]Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62
- 1994
- [j1]Grigore Rosu: The Institution of Order-Sorted Equational Logic. Bulletin of the EATCS 53: 250-255 (1994)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team