The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grigore Rosu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Azadeh Farzan, José Meseguer, Grigore Rosu
    Formal JVM Code Analysis in JavaFAN. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:132-147 [Conf]
  2. Koushik Sen, Grigore Rosu, Gul Agha
    Generating Optimal Linear Temporal Logic Monitors by Coinduction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:260-275 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:87-107 [Conf]
  4. Joseph A. Goguen, Grigore Rosu
    Composing Hidden Information Modules over Inclusive Institutions. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:96-123 [Conf]
  5. Grigore Rosu
    Complete Categorical Deduction for Satisfaction as Injectivity. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:157-172 [Conf]
  6. José Meseguer, Grigore Rosu
    Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:1-44 [Conf]
  7. Andrei Popescu, Grigore Rosu
    Behavioral Extensions of Institutions. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:331-347 [Conf]
  8. Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
    Formal Analysis of Java Programs in JavaFAN. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:501-505 [Conf]
  9. Grigore Rosu, Saddek Bensalem
    Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:263-277 [Conf]
  10. Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
    Certifying Optimality of State Estimation Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:301-314 [Conf]
  11. Marcelo d'Amorim, Grigore Rosu
    Efficient Monitoring of omega-Languages. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:364-378 [Conf]
  12. Grigore Rosu
    Complete Categorical Equational Deduction. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:528-538 [Conf]
  13. Sumant Kowshik, Grigore Rosu, Lui Sha
    Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:23-34 [Conf]
  14. Joseph A. Goguen, Grigore Rosu
    Hiding More of Hidden Algebra. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1704-1719 [Conf]
  15. Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
    Certifying and Synthesizing Membership Equational Proofs. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:359-380 [Conf]
  16. Pierre Salverda, Grigore Rosu, Craig B. Zilles
    Formally Defining and Verifying Master/Slave Speculative Parallelization. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:123-138 [Conf]
  17. Koushik Sen, Grigore Rosu, Gul Agha
    Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:211-226 [Conf]
  18. Andrei Popescu, Traian Serbanuta, Grigore Rosu
    A Semantic Approach to Interpolation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:307-321 [Conf]
  19. Grigore Rosu, Joseph A. Goguen
    Hidden Congruent Deduction. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:251-266 [Conf]
  20. José Meseguer, Grigore Rosu
    A Total Approach to Partial Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:572-584 [Conf]
  21. Grigore Rosu
    Extensional Theories and Rewriting. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:1066-1079 [Conf]
  22. Feng Chen, Marcelo d'Amorim, Grigore Rosu
    A Formal Monitoring-Based Framework for Software Development and Analysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:357-372 [Conf]
  23. Grigore Rosu
    Equality of streams is a Pi0 over 2-complete problem. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:184-191 [Conf]
  24. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Efficient Decentralized Monitoring of Safety in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:418-427 [Conf]
  25. Grigore Rosu, Koushik Sen
    An Instrumentation Technique for Online Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  26. Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    Decentralized runtime analysis of multithreaded applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  27. Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh
    A Tree Based Router Search Engine Architecture with Single Port Memories. [Citation Graph (0, 0)][DBLP]
    ISCA, 2005, pp:123-133 [Conf]
  28. Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato
    Distributed Cooperative Formal Methods Tools. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:55-62 [Conf]
  29. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Circular Coinductive Rewriting. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:123-132 [Conf]
  30. Klaus Havelund, Grigore Rosu
    Monitoring Programs Using Rewriting. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:135-143 [Conf]
  31. Michael R. Lowry, Thomas Pressburger, Grigore Rosu
    Certifying Domain-Specific Policies. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:81-90 [Conf]
  32. Grigore Rosu, Feng Chen
    Certifying Measurement Unit Safety Polic. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:304-309 [Conf]
  33. Grigore Rosu, Jon Whittle
    Towards Certifying Domain-Specific Properties of Synthesized Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:289-294 [Conf]
  34. Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
    Rule-Based Analysis of Dimensional Safety. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:197-207 [Conf]
  35. Grigore Rosu, Mahesh Viswanathan
    Testing Extended Regular Language Membership Incrementally by Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:499-514 [Conf]
  36. Traian-Florin Serbanuta, Grigore Rosu
    Computationally Equivalent Elimination of Conditions. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:19-34 [Conf]
  37. Grigore Rosu
    On implementing behavioral rewriting. [Citation Graph (0, 0)][DBLP]
    ACM SIGPLAN Workshop on Rule-Based Programming, 2002, pp:43-52 [Conf]
  38. Feng Chen, Grigore Rosu
    Parametric and Termination-Sensitive Control Dependence. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:387-404 [Conf]
  39. Koushik Sen, Grigore Rosu, Gul Agha
    Runtime safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:337-346 [Conf]
  40. Feng Chen, Grigore Rosu
    Java-MOP: A Monitoring Oriented Programming Environment for Java. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:546-550 [Conf]
  41. Klaus Havelund, Grigore Rosu
    Synthesizing Monitors for Safety Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:342-356 [Conf]
  42. Koushik Sen, Grigore Rosu, Gul Agha
    Online Efficient Predictive Safety Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:123-138 [Conf]
  43. Grigore Rosu
    From Conditional to Unconditional Rewriting. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:218-233 [Conf]
  44. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Conditional Circular Coinductive Rewriting with Case Analysis. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:216-232 [Conf]
  45. Grigore Rosu, Klaus Havelund
    Rewriting-Based Techniques for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:2, pp:151-197 [Journal]
  46. Grigore Rosu
    The Institution of Order-Sorted Equational Logic. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:250-255 [Journal]
  47. Samuel R. Buss, Grigore Rosu
    Incompleteness of Behavioral Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  48. Feng Chen, Grigore Rosu
    Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  49. Feng Chen, Marcelo d'Amorim, Grigore Rosu
    Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:3-20 [Journal]
  50. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Behavioral and Coinductive Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  51. Joseph A. Goguen, Grigore Rosu
    A protocol for distributed cooperative work. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
  52. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  53. Klaus Havelund, Grigore Rosu
    Monitoring Java Programs with Java PathExplorer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  54. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  55. Klaus Havelund, Grigore Rosu
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:1-2 [Journal]
  56. José Meseguer, Grigore Rosu
    Towards Behavioral Maude: Behavioral Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  57. José Meseguer, Grigore Rosu
    The Rewriting Logic Semantics Project. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:27-56 [Journal]
  58. Grigore Rosu
    Inductive Behavioral Proofs by Unhiding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  59. Grigore Rosu
    A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  60. Koushik Sen, Grigore Rosu
    Generating Optimal Monitors for Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  61. Prasanna Thati, Grigore Rosu
    Monitoring Algorithms for Metric Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:145-162 [Journal]
  62. Joseph A. Goguen, Grigore Rosu
    Institution Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:274-307 [Journal]
  63. Klaus Havelund, Grigore Rosu
    Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:2, pp:99-100 [Journal]
  64. Klaus Havelund, Grigore Rosu
    An Overview of the Runtime Verification Tool Java PathExplorer. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:2, pp:189-215 [Journal]
  65. Klaus Havelund, Grigore Rosu
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:3, pp:211-212 [Journal]
  66. Virgil Emil Cazanescu, Grigore Rosu
    Weak Inclusion Systems: Part Two. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:5-21 [Journal]
  67. Grigore Rosu
    Kan Extensions of Institutions. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:8, pp:482-493 [Journal]
  68. Grigore Rosu, Joseph A. Goguen
    On Equational Craig Interpolation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:194-200 [Journal]
  69. Marcelo d'Amorim, Grigore Rosu
    An Equational Specification for the Scheme Language. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1327-1348 [Journal]
  70. Virgil Emil Cazanescu, Grigore Rosu
    Weak Inclusion Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:195-206 [Journal]
  71. Grigore Rosu
    Axiomatizability in Inclusive Equational Logics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:5, pp:541-563 [Journal]
  72. Klaus Havelund, Grigore Rosu
    Efficient monitoring of safety properties. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:158-173 [Journal]
  73. Koushik Sen, Grigore Rosu, Gul Agha
    Online efficient predictive safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:248-260 [Journal]
  74. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  75. Bernd Fischer, Grigore Rosu
    Interpreting Abstract Interpretations in Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  76. Grigore Rosu
    Equational axiomatizability for coalgebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:229-247 [Journal]
  77. Grigore Rosu
    Behavioral abstraction is hiding information. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:197-221 [Journal]
  78. José Meseguer, Grigore Rosu
    The rewriting logic semantics project. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:213-237 [Journal]
  79. Dorel Lucanu, Grigore Rosu
    CIRC : A Circular Coinductive Prover. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:372-378 [Conf]
  80. Feng Chen, Grigore Rosu
    Parametric and Sliced Causality. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:240-253 [Conf]
  81. Mark Hills, Grigore Rosu
    On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:107-121 [Conf]
  82. Grigore Rosu
    An Effective Algorithm for the Membership Problem for Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:332-345 [Conf]
  83. Feng Chen, Grigore Rosu
    Mop: an efficient and generic runtime verification framework. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:569-588 [Conf]
  84. Mark Hills, Grigore Rosu
    A rewriting approach to the design and evolution of object-oriented languages. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:827-828 [Conf]
  85. Mark Hills, Grigore Rosu
    KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:246-256 [Conf]
  86. Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
    Rewriting Logic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:233-247 [Journal]
  87. Mark Hills, Traian Serbanuta, Grigore Rosu
    A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:215-231 [Journal]
  88. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:1-2 [Journal]

  89. Dependent advice: a general approach to optimizing history-based aspects. [Citation Graph (, )][DBLP]


  90. CIRC: A Behavioral Verification Tool Based on Circular Coinduction. [Citation Graph (, )][DBLP]


  91. Circular Coinduction: A Proof Theoretical Foundation. [Citation Graph (, )][DBLP]


  92. 07011 Abstracts Collection -- Runtime Verification. [Citation Graph (, )][DBLP]


  93. 07011 Executive Summary -- Runtime Verification. [Citation Graph (, )][DBLP]


  94. Circular Coinduction with Special Contexts. [Citation Graph (, )][DBLP]


  95. jPredictor: a predictive runtime analysis tool for java. [Citation Graph (, )][DBLP]


  96. Efficient Monitoring of Parametric Context-Free Patterns. [Citation Graph (, )][DBLP]


  97. Efficient Formalism-Independent Monitoring of Parametric Properties. [Citation Graph (, )][DBLP]


  98. Defining and Executing P Systems with Structured Data in K. [Citation Graph (, )][DBLP]


  99. A Rewriting Logic Semantics Approach to Modular Program Analysis. [Citation Graph (, )][DBLP]


  100. Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. [Citation Graph (, )][DBLP]


  101. Parametric Trace Slicing and Monitoring. [Citation Graph (, )][DBLP]


  102. Towards a Module System for K. [Citation Graph (, )][DBLP]


  103. Term-Generic Logic. [Citation Graph (, )][DBLP]


  104. A Rewriting Logic Approach to Type Inference. [Citation Graph (, )][DBLP]


  105. Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. [Citation Graph (, )][DBLP]


  106. Runtime Verification of C Memory Safety. [Citation Graph (, )][DBLP]


  107. Computational Logical Frameworks and Generic Program Analysis Technologies. [Citation Graph (, )][DBLP]


  108. Efficient monitoring of parametric context-free patterns. [Citation Graph (, )][DBLP]


  109. An instrumentation technique for online analysis of multithreaded programs. [Citation Graph (, )][DBLP]


  110. A Rewriting Logic Approach to Operational Semantics (Extended Abstract). [Citation Graph (, )][DBLP]


  111. Regular Strategies as Proof Tactics for CIRC. [Citation Graph (, )][DBLP]


  112. Preface. [Citation Graph (, )][DBLP]


Search in 0.056secs, Finished in 0.063secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002