Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Grigore Rosu
@inproceedings{DBLP:conf/tacas/RodriguesSCR24, author = {Nishant Rodrigues and Mircea Sebe and Xiaohong Chen and Grigore Rosu}, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {A Logical Treatment of Finite Automata}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14570}, pages = {350--369}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57246-3\_20}, doi = {10.1007/978-3-031-57246-3\_20}, timestamp = {Sun, 14 Apr 2024 18:32:16 +0200}, biburl = {https://dblp.org/rec/conf/tacas/RodriguesSCR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/ChenLR23, author = {Xiaohong Chen and Dorel Lucanu and Grigore Rosu}, title = {Capturing constrained constructor patterns in matching logic}, journal = {J. Log. Algebraic Methods Program.}, volume = {130}, pages = {100810}, year = {2023}, url = {https://doi.org/10.1016/j.jlamp.2022.100810}, doi = {10.1016/J.JLAMP.2022.100810}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/ChenLR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LinCTWR23, author = {Zhengyao Lin and Xiaohong Chen and Minh{-}Thai Trinh and John Wang and Grigore Rosu}, title = {Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA1}}, pages = {56--84}, year = {2023}, url = {https://doi.org/10.1145/3586029}, doi = {10.1145/3586029}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/LinCTWR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/spin/2022, editor = {Owolabi Legunsen and Grigore Rosu}, title = {Model Checking Software - 28th International Symposium, {SPIN} 2022, Virtual Event, May 21, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13255}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15077-7}, doi = {10.1007/978-3-031-15077-7}, isbn = {978-3-031-15076-0}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2022-1, editor = {Dana Fisman and Grigore Rosu}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13243}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99524-9}, doi = {10.1007/978-3-030-99524-9}, isbn = {978-3-030-99523-2}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2022-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2022-2, editor = {Dana Fisman and Grigore Rosu}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13244}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99527-0}, doi = {10.1007/978-3-030-99527-0}, isbn = {978-3-030-99526-3}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2022-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/ChenLR21, author = {Xiaohong Chen and Dorel Lucanu and Grigore Rosu}, title = {Matching logic explained}, journal = {J. Log. Algebraic Methods Program.}, volume = {120}, pages = {100638}, year = {2021}, url = {https://doi.org/10.1016/j.jlamp.2021.100638}, doi = {10.1016/J.JLAMP.2021.100638}, timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/ChenLR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/Kasampalis0LAR21, author = {Theodoros Kasampalis and Daejun Park and Zhengyao Lin and Vikram S. Adve and Grigore Rosu}, editor = {Tim Sherwood and Emery D. Berger and Christos Kozyrakis}, title = {Language-parametric compiler validation with application to {LLVM}}, booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021}, pages = {1004--1019}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3445814.3446751}, doi = {10.1145/3445814.3446751}, timestamp = {Sat, 30 Sep 2023 09:34:47 +0200}, biburl = {https://dblp.org/rec/conf/asplos/Kasampalis0LAR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/0002R21, author = {Xiaohong Chen and Grigore Rosu}, editor = {Ezio Bartocci and Yli{\`{e}}s Falcone and Martin Leucker}, title = {The {K} Vision for the Future of Programming Language Design and Analysis}, booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13065}, pages = {3--9}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-87348-6\_1}, doi = {10.1007/978-3-030-87348-6\_1}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/0002R21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenLTR20, author = {Xiaohong Chen and Zhengyao Lin and Minh{-}Thai Trinh and Grigore Rosu}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Towards a Trustworthy Semantics-Based Language Framework via Proof Generation}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {477--499}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_23}, doi = {10.1007/978-3-030-81688-9\_23}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/ChenLTR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/BjornerCMR21, author = {Nikolaj S. Bj{\o}rner and Maria Christakis and Matteo Maffei and Grigore Rosu}, title = {Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)}, journal = {Dagstuhl Reports}, volume = {11}, number = {9}, pages = {80--101}, year = {2021}, url = {https://doi.org/10.4230/DagRep.11.9.80}, doi = {10.4230/DAGREP.11.9.80}, timestamp = {Wed, 20 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BjornerCMR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ChenR20, author = {Xiaohong Chen and Grigore Rosu}, title = {A general approach to define binders using matching logic}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{ICFP}}, pages = {88:1--88:32}, year = {2020}, url = {https://doi.org/10.1145/3408970}, doi = {10.1145/3408970}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ChenR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0002TRPR20, author = {Xiaohong Chen and Minh{-}Thai Trinh and Nishant Rodrigues and Lucas Pe{\~{n}}a and Grigore Rosu}, title = {Towards a unified proof framework for automated fixpoint reasoning using matching logic}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {161:1--161:29}, year = {2020}, url = {https://doi.org/10.1145/3428229}, doi = {10.1145/3428229}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/0002TRPR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Rosu20, author = {Grigore Rosu}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Formal Design, Implementation and Verification of Blockchain Languages Using {K} (Invited Talk)}, booktitle = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {84}, pages = {1:1--1:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/OASIcs.FMBC.2020.1}, doi = {10.4230/OASICS.FMBC.2020.1}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/cav/Rosu20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/0001ZR20, author = {Daejun Park and Yi Zhang and Grigore Rosu}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12224}, pages = {151--164}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53288-8\_8}, doi = {10.1007/978-3-030-53288-8\_8}, timestamp = {Wed, 12 Aug 2020 15:15:42 +0200}, biburl = {https://dblp.org/rec/conf/cav/0001ZR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/Rosu020, author = {Grigore Rosu and Xiaohong Chen}, editor = {Jasmin Blanchette and Catalin Hritcu}, title = {Matching logic: the foundation of the {K} framework (invited talk)}, booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January 20-21, 2020}, pages = {1}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3372885.3378574}, doi = {10.1145/3372885.3378574}, timestamp = {Sun, 02 Oct 2022 15:58:04 +0200}, biburl = {https://dblp.org/rec/conf/cpp/Rosu020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icbc2/LiSDZR20, author = {Elaine Li and Traian Serbanuta and Denisa Diaconescu and Vlad Zamfir and Grigore Rosu}, title = {Formalizing Correct-by-Construction Casper in Coq}, booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency, {ICBC} 2020, Toronto, ON, Canada, May 2-6, 2020}, pages = {1--3}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICBC48266.2020.9169468}, doi = {10.1109/ICBC48266.2020.9169468}, timestamp = {Wed, 26 Aug 2020 16:18:40 +0200}, biburl = {https://dblp.org/rec/conf/icbc2/LiSDZR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/0002LR20, author = {Xiaohong Chen and Dorel Lucanu and Grigore Rosu}, editor = {Santiago Escobar and Narciso Mart{\'{\i}}{-}Oliet}, title = {Connecting Constrained Constructor Patterns and Matching Logic}, booktitle = {Rewriting Logic and Its Applications - 13th International Workshop, {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12328}, pages = {19--37}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63595-4\_2}, doi = {10.1007/978-3-030-63595-4\_2}, timestamp = {Mon, 14 Dec 2020 17:03:10 +0100}, biburl = {https://dblp.org/rec/conf/wrla/0002LR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-02124, author = {Elaine Li and Karl Palmskog and Mircea Sebe and Grigore Rosu}, title = {Specification of the Giskard Consensus Protocol}, journal = {CoRR}, volume = {abs/2010.02124}, year = {2020}, url = {https://arxiv.org/abs/2010.02124}, eprinttype = {arXiv}, eprint = {2010.02124}, timestamp = {Mon, 12 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-02124.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/LegunsenAXHRM19, author = {Owolabi Legunsen and Nader Al Awar and Xinyue Xu and Wajih Ul Hassan and Grigore Rosu and Darko Marinov}, title = {How effective are existing Java {API} specifications for finding bugs during runtime verification?}, journal = {Autom. Softw. Eng.}, volume = {26}, number = {4}, pages = {795--837}, year = {2019}, url = {https://doi.org/10.1007/s10515-019-00267-1}, doi = {10.1007/S10515-019-00267-1}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/LegunsenAXHRM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/StefanescuCMMSR19, author = {Andrei Stefanescu and {\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Radu Mereuta and Brandon M. Moore and Traian{-}Florin Serbanuta and Grigore Rosu}, title = {All-Path Reachability Logic}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {2}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(2:5)2019}, doi = {10.23638/LMCS-15(2:5)2019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/StefanescuCMMSR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/HathhornR19, author = {Chris Hathhorn and Grigore Rosu}, title = {Dealing With C's Original Sin}, journal = {{IEEE} Softw.}, volume = {36}, number = {5}, pages = {24--28}, year = {2019}, url = {https://doi.org/10.1109/MS.2019.2921226}, doi = {10.1109/MS.2019.2921226}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/HathhornR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BartocciFBCDHJK19, author = {Ezio Bartocci and Yli{\`{e}}s Falcone and Borzoo Bonakdarpour and Christian Colombo and Normann Decker and Klaus Havelund and Yogi Joshi and Felix Klaedtke and Reed Milewicz and Giles Reger and Grigore Rosu and Julien Signoles and Daniel Thoma and Eugen Zalinescu and Yi Zhang}, title = {First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of {CRV} 2014}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {21}, number = {1}, pages = {31--70}, year = {2019}, url = {https://doi.org/10.1007/s10009-017-0454-5}, doi = {10.1007/S10009-017-0454-5}, timestamp = {Sat, 12 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/0002R19, author = {Xiaohong Chen and Grigore Rosu}, editor = {Markus Roggenbach and Ana Sokolova}, title = {Matching mu-Logic: Foundation of {K} Framework (Invited Paper)}, booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2019, June 3-6, 2019, London, United Kingdom}, series = {LIPIcs}, volume = {139}, pages = {1:1--1:4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.1}, doi = {10.4230/LIPICS.CALCO.2019.1}, timestamp = {Thu, 28 Nov 2019 12:28:06 +0100}, biburl = {https://dblp.org/rec/conf/calco/0002R19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/AlturkiR19, author = {Musab A. Alturki and Grigore Rosu}, editor = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Creissac Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas}, title = {Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies}, booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12232}, pages = {337--349}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-54994-7\_25}, doi = {10.1007/978-3-030-54994-7\_25}, timestamp = {Mon, 05 Feb 2024 20:31:40 +0100}, biburl = {https://dblp.org/rec/conf/fm/AlturkiR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/AlturkiCLMPPR19, author = {Musab A. Alturki and Jing Chen and Victor Luchangco and Brandon M. Moore and Karl Palmskog and Lucas Pe{\~{n}}a and Grigore Rosu}, editor = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Creissac Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas}, title = {Towards a Verified Model of the Algorand Consensus Protocol in Coq}, booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12232}, pages = {362--367}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-54994-7\_27}, doi = {10.1007/978-3-030-54994-7\_27}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/AlturkiCLMPPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/KasampalisGMSZF19, author = {Theodoros Kasampalis and Dwight Guth and Brandon M. Moore and Traian{-}Florin Serbanuta and Yi Zhang and Daniele Filaretti and Virgil Nicolae Serbanuta and Ralph Johnson and Grigore Rosu}, editor = {Maurice H. ter Beek and Annabelle McIver and Jos{\'{e}} N. Oliveira}, title = {{IELE:} {A} Rigorously Designed Language and Tool Ecosystem for the Blockchain}, booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11800}, pages = {593--610}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30942-8\_35}, doi = {10.1007/978-3-030-30942-8\_35}, timestamp = {Mon, 23 Sep 2019 13:47:30 +0200}, biburl = {https://dblp.org/rec/conf/fm/KasampalisGMSZF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/LegunsenZHRM19, author = {Owolabi Legunsen and Yi Zhang and Milica Hadzi{-}Tanovic and Grigore Rosu and Darko Marinov}, title = {Techniques for Evolution-Aware Runtime Verification}, booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019}, pages = {300--311}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICST.2019.00037}, doi = {10.1109/ICST.2019.00037}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/icst/LegunsenZHRM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/0002R19, author = {Xiaohong Chen and Grigore Rosu}, title = {Matching {\(\mu\)}-Logic}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--13}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785675}, doi = {10.1109/LICS.2019.8785675}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/0002R19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/Dasgupta0KAR19, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Rosu}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {A complete formal semantics of x86-64 user-level instruction set architecture}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {1133--1148}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314601}, doi = {10.1145/3314221.3314601}, timestamp = {Sun, 09 Jun 2019 18:52:19 +0200}, biburl = {https://dblp.org/rec/conf/pldi/Dasgupta0KAR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/0002R19, author = {Xiaohong Chen and Grigore Rosu}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {{\textdollar}{\textbackslash}mathbb \{K\}{\textdollar} - {A} Semantic Framework for Programming Languages and Formal Analysis}, booktitle = {Engineering Trustworthy Software Systems - 5th International School, {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {12154}, pages = {122--158}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-55089-9\_4}, doi = {10.1007/978-3-030-55089-9\_4}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setss/0002R19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/HavelundRR19, author = {Klaus Havelund and Giles Reger and Grigore Rosu}, editor = {Bernhard Steffen and Gerhard J. Woeginger}, title = {Runtime Verification Past Experiences and Future Projections}, booktitle = {Computing and Software Science - State of the Art and Perspectives}, series = {Lecture Notes in Computer Science}, volume = {10000}, pages = {532--562}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-319-91908-9\_25}, doi = {10.1007/978-3-319-91908-9\_25}, timestamp = {Tue, 12 Sep 2023 07:58:41 +0200}, biburl = {https://dblp.org/rec/series/lncs/HavelundRR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-05523, author = {Musab A. Alturki and Jing Chen and Victor Luchangco and Brandon M. Moore and Karl Palmskog and Lucas Pe{\~{n}}a and Grigore Rosu}, title = {Towards a Verified Model of the Algorand Consensus Protocol in Coq}, journal = {CoRR}, volume = {abs/1907.05523}, year = {2019}, url = {http://arxiv.org/abs/1907.05523}, eprinttype = {arXiv}, eprint = {1907.05523}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-05523.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Rosu18, author = {Grigore Rosu}, title = {Finite-trace linear temporal logic: coinductive completeness}, journal = {Formal Methods Syst. Des.}, volume = {53}, number = {1}, pages = {138--163}, year = {2018}, url = {https://doi.org/10.1007/s10703-018-0321-3}, doi = {10.1007/S10703-018-0321-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Rosu18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/HildenbrandtSRZ18, author = {Everett Hildenbrandt and Manasvi Saxena and Nishant Rodrigues and Xiaoran Zhu and Philip Daian and Dwight Guth and Brandon M. Moore and Daejun Park and Yi Zhang and Andrei Stefanescu and Grigore Rosu}, title = {{KEVM:} {A} Complete Formal Semantics of the Ethereum Virtual Machine}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {204--217}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00022}, doi = {10.1109/CSF.2018.00022}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csfw/HildenbrandtSRZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/MoorePR18, author = {Brandon M. Moore and Lucas Pe{\~{n}}a and Grigore Rosu}, editor = {Amal Ahmed}, title = {Program Verification by Coinduction}, booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, pages = {589--618}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_21}, doi = {10.1007/978-3-319-89884-1\_21}, timestamp = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/esop/MoorePR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ChenR18, author = {Xiaohong Chen and Grigore Rosu}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {A Language-Independent Program Verification Framework}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11245}, pages = {92--102}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03421-4\_7}, doi = {10.1007/978-3-030-03421-4\_7}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/ChenR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/Chen0R18, author = {Xiaohong Chen and Daejun Park and Grigore Rosu}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {A Language-Independent Approach to Smart Contract Verification}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {IV}}, series = {Lecture Notes in Computer Science}, volume = {11247}, pages = {405--413}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03427-6\_30}, doi = {10.1007/978-3-030-03427-6\_30}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/Chen0R18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Rosu18, author = {Grigore Rosu}, editor = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)}, booktitle = {3rd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}}, series = {LIPIcs}, volume = {108}, pages = {2:1--2:6}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.2}, doi = {10.4230/LIPICS.FSCD.2018.2}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/Rosu18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/HavelundR18, author = {Klaus Havelund and Grigore Rosu}, editor = {Christian Colombo and Martin Leucker}, title = {Runtime Verification - 17 Years Later}, booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11237}, pages = {3--17}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03769-7\_1}, doi = {10.1007/978-3-030-03769-7\_1}, timestamp = {Sat, 12 Jun 2021 11:01:04 +0200}, biburl = {https://dblp.org/rec/conf/rv/HavelundR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/0001ZSDR18, author = {Daejun Park and Yi Zhang and Manasvi Saxena and Philip Daian and Grigore Rosu}, editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu}, title = {A formal verification tool for Ethereum {VM} bytecode}, booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09, 2018}, pages = {912--915}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3236024.3264591}, doi = {10.1145/3236024.3264591}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/0001ZSDR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-01468, author = {Ali Kheradmand and Grigore Rosu}, title = {{P4K:} {A} Formal Semantics of {P4} and Applications}, journal = {CoRR}, volume = {abs/1804.01468}, year = {2018}, url = {http://arxiv.org/abs/1804.01468}, eprinttype = {arXiv}, eprint = {1804.01468}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-01468.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-10826, author = {Andrei Stefanescu and {\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Radu Mereuta and Brandon M. Moore and Traian{-}Florin Serbanuta and Grigore Rosu}, title = {All-Path Reachability Logic}, journal = {CoRR}, volume = {abs/1810.10826}, year = {2018}, url = {http://arxiv.org/abs/1810.10826}, eprinttype = {arXiv}, eprint = {1810.10826}, timestamp = {Wed, 31 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-10826.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/Rosu17, author = {Grigore Rosu}, title = {Matching Logic}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {4}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(4:28)2017}, doi = {10.23638/LMCS-13(4:28)2017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/Rosu17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/Rosu17, author = {Grigore Rosu}, editor = {Alexander Pretschner and Doron Peled and Thomas Hutzelmann}, title = {{\(\mathbb{K}\)}: {A} Semantic Framework for Programming Languages and Formal Analysis Tools}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {50}, pages = {186--206}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-810-5-186}, doi = {10.3233/978-1-61499-810-5-186}, timestamp = {Tue, 06 Aug 2019 09:52:02 +0200}, biburl = {https://dblp.org/rec/series/natosec/Rosu17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kbse/2017, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, title = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://ieeexplore.ieee.org/xpl/conhome/8106906/proceeding}, isbn = {978-1-5386-2684-9}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Rosu17, author = {Grigore Rosu}, title = {Matching Logic}, journal = {CoRR}, volume = {abs/1705.06312}, year = {2017}, url = {http://arxiv.org/abs/1705.06312}, eprinttype = {arXiv}, eprint = {1705.06312}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Rosu17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/CiobacaLRR16, author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Dorel Lucanu and Vlad Rusu and Grigore Rosu}, title = {A language-independent proof system for full program equivalence}, journal = {Formal Aspects Comput.}, volume = {28}, number = {3}, pages = {469--497}, year = {2016}, url = {https://doi.org/10.1007/s00165-016-0361-7}, doi = {10.1007/S00165-016-0361-7}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/CiobacaLRR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/RusuLSASR16, author = {Vlad Rusu and Dorel Lucanu and Traian{-}Florin Serbanuta and Andrei Arusoaie and Andrei Stefanescu and Grigore Rosu}, title = {Language definitions as rewrite theories}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {1}, pages = {98--120}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.09.001}, doi = {10.1016/J.JLAMP.2015.09.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/RusuLSASR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/LucanuSR16, author = {Dorel Lucanu and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Erika {\'{A}}brah{\'{a}}m and Marcello M. Bonsangue and Einar Broch Johnsen}, title = {Towards a {\textbackslash}mathbb {K} {K} ool Future}, booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9660}, pages = {325--343}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30734-3\_22}, doi = {10.1007/978-3-319-30734-3\_22}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/LucanuSR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GuthHSR16, author = {Dwight Guth and Chris Hathhorn and Manasvi Saxena and Grigore Rosu}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {RV-Match: Practical Semantics-Based Program Analysis}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, pages = {447--453}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_24}, doi = {10.1007/978-3-319-41528-4\_24}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/GuthHSR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LegunsenHXRM16, author = {Owolabi Legunsen and Wajih Ul Hassan and Xinyue Xu and Grigore Rosu and Darko Marinov}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {How good are the specs? a study of the bug-finding effectiveness of existing Java {API} specifications}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {602--613}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970356}, doi = {10.1145/2970276.2970356}, timestamp = {Sat, 30 Sep 2023 09:51:40 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LegunsenHXRM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/StefanescuPYLR16, author = {Andrei Stefanescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Rosu}, editor = {Eelco Visser and Yannis Smaragdakis}, title = {Semantics-based program verifiers for all languages}, booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016}, pages = {74--91}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2983990.2984027}, doi = {10.1145/2983990.2984027}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/StefanescuPYLR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DaianGHLPSSR16, author = {Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {Runtime Verification at Work: {A} Tutorial}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {46--67}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_5}, doi = {10.1007/978-3-319-46982-9\_5}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/DaianGHLPSSR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Rosu16, author = {Grigore Rosu}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {Finite-Trace Linear Temporal Logic: Coinductive Completeness}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {333--350}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_21}, doi = {10.1007/978-3-319-46982-9\_21}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/Rosu16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/0001R15, author = {Andrei Popescu and Grigore Rosu}, title = {Term-generic logic}, journal = {Theor. Comput. Sci.}, volume = {577}, pages = {1--24}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2015.01.047}, doi = {10.1016/J.TCS.2015.01.047}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/0001R15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Rosu15, author = {Grigore Rosu}, editor = {Narciso Mart{\'{\i}}{-}Oliet and Peter Csaba {\"{O}}lveczky and Carolyn L. Talcott}, title = {From Rewriting Logic, to Programming Language Semantics, to Program Verification}, booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}} Meseguer on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9200}, pages = {598--616}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23165-5\_28}, doi = {10.1007/978-3-319-23165-5\_28}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Rosu15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LegunsenMR15, author = {Owolabi Legunsen and Darko Marinov and Grigore Rosu}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {Evolution-Aware Monitoring-Oriented Programming}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, pages = {615--618}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.206}, doi = {10.1109/ICSE.2015.206}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LegunsenMR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HuangLR15, author = {Jeff Huang and Qingzhou Luo and Grigore Rosu}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {GPredict: Generic Predictive Concurrency Analysis}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1}, pages = {847--857}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.96}, doi = {10.1109/ICSE.2015.96}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HuangLR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HathhornER15, author = {Chris Hathhorn and Chucky Ellison and Grigore Rosu}, editor = {David Grove and Stephen M. Blackburn}, title = {Defining the undefinedness of {C}}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015}, pages = {336--345}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2737924.2737979}, doi = {10.1145/2737924.2737979}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/HathhornER15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ParkSR15, author = {Daejun Park and Andrei Stefanescu and Grigore Rosu}, editor = {David Grove and Stephen M. Blackburn}, title = {{KJS:} a complete formal semantics of JavaScript}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015}, pages = {346--356}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2737924.2737991}, doi = {10.1145/2737924.2737991}, timestamp = {Wed, 23 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ParkSR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BogdanasR15, author = {Denis Bogdanas and Grigore Rosu}, editor = {Sriram K. Rajamani and David Walker}, title = {K-Java: {A} Complete Semantics of Java}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {445--456}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2676982}, doi = {10.1145/2676726.2676982}, timestamp = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/BogdanasR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Rosu15, author = {Grigore Rosu}, editor = {Maribel Fern{\'{a}}ndez}, title = {Matching Logic - Extended Abstract (Invited Talk)}, booktitle = {26th International Conference on Rewriting Techniques and Applications, {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland}, series = {LIPIcs}, volume = {36}, pages = {5--21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.RTA.2015.5}, doi = {10.4230/LIPICS.RTA.2015.5}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/Rosu15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DaianFMSSIR15, author = {Philip Daian and Yli{\`{e}}s Falcone and Patrick O'Neil Meredith and Traian{-}Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu}, editor = {Ezio Bartocci and Rupak Majumdar}, title = {RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial}, booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9333}, pages = {342--357}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23820-3\_24}, doi = {10.1007/978-3-319-23820-3\_24}, timestamp = {Fri, 04 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/DaianFMSSIR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/EndrullisHBR14, author = {J{\"{o}}rg Endrullis and Dimitri Hendriks and Rena Bakhshi and Grigore Rosu}, title = {On the complexity of stream equality}, journal = {J. Funct. Program.}, volume = {24}, number = {2-3}, pages = {166--217}, year = {2014}, url = {https://doi.org/10.1017/S0956796813000324}, doi = {10.1017/S0956796813000324}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/EndrullisHBR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/RosuL14, author = {Grigore Rosu and Dorel Lucanu}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {Behavioral Rewrite Systems and Behavioral Productivity}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {296--314}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_15}, doi = {10.1007/978-3-642-54624-2\_15}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/RosuL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/CiobacaLRR14, author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Dorel Lucanu and Vlad Rusu and Grigore Rosu}, editor = {Stephan Merz and Jun Pang}, title = {A Language-Independent Proof System for Mutual Program Equivalence}, booktitle = {Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8829}, pages = {75--90}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11737-9\_6}, doi = {10.1007/978-3-319-11737-9\_6}, timestamp = {Sat, 31 Aug 2019 23:49:22 +0200}, biburl = {https://dblp.org/rec/conf/icfem/CiobacaLRR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HuangMR14, author = {Jeff Huang and Patrick O'Neil Meredith and Grigore Rosu}, editor = {Michael F. P. O'Boyle and Keshav Pingali}, title = {Maximal sound predictive race detection with control flow abstraction}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014}, pages = {337--348}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2594291.2594315}, doi = {10.1145/2594291.2594315}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/pldi/HuangMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/StefanescuCMMSR14, author = {Andrei Stefanescu and {\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Radu Mereuta and Brandon M. Moore and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Gilles Dowek}, title = {All-Path Reachability Logic}, booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference, {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8560}, pages = {425--440}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08918-8\_29}, doi = {10.1007/978-3-319-08918-8\_29}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/StefanescuCMMSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/HuangEZMLSR14, author = {Jeff Huang and Cansu Erdogan and Yi Zhang and Brandon M. Moore and Qingzhou Luo and Aravind Sundaresan and Grigore Rosu}, editor = {Borzoo Bonakdarpour and Scott A. Smolka}, title = {{ROSRV:} Runtime Verification for Robots}, booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8734}, pages = {247--254}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11164-3\_20}, doi = {10.1007/978-3-319-11164-3\_20}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/HuangEZMLSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/LuoZLJMSR14, author = {Qingzhou Luo and Yi Zhang and Choonghwan Lee and Dongyun Jin and Patrick O'Neil Meredith and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Borzoo Bonakdarpour and Scott A. Smolka}, title = {RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties}, booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8734}, pages = {285--300}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11164-3\_24}, doi = {10.1007/978-3-319-11164-3\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/LuoZLJMSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/CiobacaLRR14, author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Dorel Lucanu and Vlad Rusu and Grigore Rosu}, editor = {Mihai Codescu and Razvan Diaconescu and Ionut Tutu}, title = {A Theoretical Foundation for Programming Languages Aggregation}, booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9463}, pages = {30--47}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-28114-8\_3}, doi = {10.1007/978-3-319-28114-8\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/CiobacaLRR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/ArusoaieLRSSR14, author = {Andrei Arusoaie and Dorel Lucanu and Vlad Rusu and Traian{-}Florin Serbanuta and Andrei Stefanescu and Grigore Rosu}, editor = {Santiago Escobar}, title = {Language Definitions as Rewrite Theories}, booktitle = {Rewriting Logic and Its Applications - 10th International Workshop, {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8663}, pages = {97--112}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12904-4\_5}, doi = {10.1007/978-3-319-12904-4\_5}, timestamp = {Tue, 10 Nov 2020 12:25:00 +0100}, biburl = {https://dblp.org/rec/conf/wrla/ArusoaieLRSSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/MeseguerR13, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {The rewriting logic semantics project: {A} progress report}, journal = {Inf. Comput.}, volume = {231}, pages = {38--69}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2013.08.004}, doi = {10.1016/J.IC.2013.08.004}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/MeseguerR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/LuoR13, author = {Qingzhou Luo and Grigore Rosu}, editor = {Mauro Pezz{\`{e}} and Mark Harman}, title = {EnforceMOP: a runtime property enforcement system for multithreaded programs}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013}, pages = {156--166}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2483760.2483766}, doi = {10.1145/2483760.2483766}, timestamp = {Sun, 02 Oct 2022 16:10:12 +0200}, biburl = {https://dblp.org/rec/conf/issta/LuoR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MeredithR13, author = {Patrick O'Neil Meredith and Grigore Rosu}, editor = {Ewen Denney and Tevfik Bultan and Andreas Zeller}, title = {Efficient parametric runtime verification with deterministic string rewriting}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, pages = {70--80}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ASE.2013.6693067}, doi = {10.1109/ASE.2013.6693067}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/kbse/MeredithR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/RosuSCM13, author = {Grigore Rosu and Andrei Stefanescu and {\c{S}}tefan Ciob{\^{a}}c{\u{a}} and Brandon M. Moore}, title = {One-Path Reachability Logic}, booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2013, New Orleans, LA, USA, June 25-28, 2013}, pages = {358--367}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/LICS.2013.42}, doi = {10.1109/LICS.2013.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/RosuSCM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/Rosu13, author = {Grigore Rosu}, editor = {Nikolaj S. Bj{\o}rner and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Specifying Languages and Verifying Programs with {K}}, booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013}, pages = {28--31}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SYNASC.2013.81}, doi = {10.1109/SYNASC.2013.81}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/Rosu13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1112-5761, author = {Grigore Rosu and Feng Chen}, title = {Semantics and Algorithms for Parametric Monitoring}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {1}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(1:9)2012}, doi = {10.2168/LMCS-8(1:9)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1112-5761.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Rosu12, author = {Grigore Rosu}, title = {On Safety Properties and Their Monitoring}, journal = {Sci. Ann. Comput. Sci.}, volume = {22}, number = {2}, pages = {327--365}, year = {2012}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&\#38;a=2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/Rosu12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SokolskyR12, author = {Oleg Sokolsky and Grigore Rosu}, title = {Introduction to the special issue on runtime verification}, journal = {Formal Methods Syst. Des.}, volume = {41}, number = {3}, pages = {233--235}, year = {2012}, url = {https://doi.org/10.1007/s10703-012-0174-0}, doi = {10.1007/S10703-012-0174-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/SokolskyR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/MeredithJGCR12, author = {Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Grigore Rosu}, title = {An overview of the {MOP} runtime verification framework}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {14}, number = {3}, pages = {249--289}, year = {2012}, url = {https://doi.org/10.1007/s10009-011-0198-6}, doi = {10.1007/S10009-011-0198-6}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/MeredithJGCR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/LazarASEMLR12, author = {David Lazar and Andrei Arusoaie and Traian{-}Florin Serbanuta and Chucky Ellison and Radu Mereuta and Dorel Lucanu and Grigore Rosu}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {Executing Formal Semantics with the {K} Tool}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {267--271}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_23}, doi = {10.1007/978-3-642-32759-9\_23}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/LazarASEMLR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/RosuS12, author = {Grigore Rosu and Andrei Stefanescu}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {From Hoare Logic to Matching Logic Reachability}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {387--402}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_32}, doi = {10.1007/978-3-642-32759-9\_32}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/RosuS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/SerbanutaR12, author = {Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {A Truly Concurrent Semantics for the {K} Framework Based on Graph Transformations}, booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, pages = {294--310}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6\_20}, doi = {10.1007/978-3-642-33654-6\_20}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/SerbanutaR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/RosuS12, author = {Grigore Rosu and Andrei Stefanescu}, editor = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer}, title = {Towards a Unified Theory of Operational and Axiomatic Semantics}, booktitle = {Automata, Languages, and Programming - 39th International Colloquium, {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7392}, pages = {351--363}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31585-5\_33}, doi = {10.1007/978-3-642-31585-5\_33}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/RosuS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/JinMLR12, author = {Dongyun Jin and Patrick O'Neil Meredith and Choonghwan Lee and Grigore Rosu}, editor = {Martin Glinz and Gail C. Murphy and Mauro Pezz{\`{e}}}, title = {JavaMOP: Efficient parametric runtime monitoring framework}, booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland}, pages = {1427--1430}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICSE.2012.6227231}, doi = {10.1109/ICSE.2012.6227231}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/JinMLR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/RosuS12, author = {Grigore Rosu and Andrei Stefanescu}, editor = {Gary T. Leavens and Matthew B. Dwyer}, title = {Checking reachability using matching logic}, booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2012, part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012}, pages = {555--574}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2384616.2384656}, doi = {10.1145/2384616.2384656}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/RosuS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HusseinMR12, author = {Soha Hussein and Patrick O'Neil Meredith and Grigore Rosu}, editor = {Sergio Maffeis and Tamara Rezk}, title = {Security-policy monitoring and enforcement with JavaMOP}, booktitle = {Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, {PLAS} 2012, Beijing, China, 15 June, 2012}, pages = {3}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2336717.2336720}, doi = {10.1145/2336717.2336720}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/HusseinMR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EllisonR12, author = {Chucky Ellison and Grigore Rosu}, editor = {John Field and Michael Hicks}, title = {An executable formal semantics of {C} with applications}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {533--544}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103656.2103719}, doi = {10.1145/2103656.2103719}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/EllisonR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/SerbanutaCR12, author = {Traian{-}Florin Serbanuta and Feng Chen and Grigore Rosu}, editor = {Shaz Qadeer and Serdar Tasiran}, title = {Maximal Causal Models for Sequentially Consistent Systems}, booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7687}, pages = {136--150}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35632-2\_16}, doi = {10.1007/978-3-642-35632-2\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/SerbanutaCR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/LucanuSR12, author = {Dorel Lucanu and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Francisco Dur{\'{a}}n}, title = {K Framework Distilled}, booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7571}, pages = {31--53}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34005-5\_3}, doi = {10.1007/978-3-642-34005-5\_3}, timestamp = {Mon, 28 Jun 2021 11:09:20 +0200}, biburl = {https://dblp.org/rec/conf/wrla/LucanuSR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/ArusoaieSER12, author = {Andrei Arusoaie and Traian{-}Florin Serbanuta and Chucky Ellison and Grigore Rosu}, editor = {Francisco Dur{\'{a}}n}, title = {Making Maude Definitions More Interactive}, booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7571}, pages = {83--98}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34005-5\_5}, doi = {10.1007/978-3-642-34005-5\_5}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/ArusoaieSER12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2012, editor = {Holger Giese and Grigore Rosu}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {7273}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30793-5}, doi = {10.1007/978-3-642-30793-5}, isbn = {978-3-642-30792-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/MeseguerR11, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Olaf Owe and Martin Steffen and Jan Arne Telle}, title = {The Rewriting Logic Semantics Project: {A} Progress Report}, booktitle = {Fundamentals of Computation Theory - 18th International Symposium, {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6914}, pages = {1--37}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22953-4\_1}, doi = {10.1007/978-3-642-22953-4\_1}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/MeseguerR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LeeCR11, author = {Choonghwan Lee and Feng Chen and Grigore Rosu}, editor = {Richard N. Taylor and Harald C. Gall and Nenad Medvidovic}, title = {Mining parametric specifications}, booktitle = {Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011}, pages = {591--600}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1985793.1985874}, doi = {10.1145/1985793.1985874}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LeeCR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/RosuS11, author = {Grigore Rosu and Andrei Stefanescu}, editor = {Richard N. Taylor and Harald C. Gall and Nenad Medvidovic}, title = {Matching logic: a new program verification approach}, booktitle = {Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011}, pages = {868--871}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1985793.1985928}, doi = {10.1145/1985793.1985928}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/RosuS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/JinMGR11, author = {Dongyun Jin and Patrick O'Neil Meredith and Dennis Griffith and Grigore Rosu}, editor = {Mary W. Hall and David A. Padua}, title = {Garbage collection for monitoring parametric properties}, booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA, June 4-8, 2011}, pages = {415--424}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993498.1993547}, doi = {10.1145/1993498.1993547}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/pldi/JinMGR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/JagannathGJLRM11, author = {Vilas Jagannath and Milos Gligoric and Dongyun Jin and Qingzhou Luo and Grigore Rosu and Darko Marinov}, editor = {Tibor Gyim{\'{o}}thy and Andreas Zeller}, title = {Improved multithreaded unit testing}, booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, pages = {223--233}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2025113.2025145}, doi = {10.1145/2025113.2025145}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/JagannathGJLRM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RosuS14, author = {Grigore Rosu and Traian{-}Florin Serbanuta}, editor = {Mark Hills}, title = {K Overview and {SIMPLE} Case Study}, booktitle = {Proceedings of the Second International Workshop on the {K} Framework and its Applications, {K} 2011, Cheile Gr{\u{a}}di{\c{s}}tei, Romania, August 8-12, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {304}, pages = {3--56}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2014.05.002}, doi = {10.1016/J.ENTCS.2014.05.002}, timestamp = {Tue, 22 Nov 2022 11:31:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RosuS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SerbanutaALELR14, author = {Traian{-}Florin Serbanuta and Andrei Arusoaie and David Lazar and Chucky Ellison and Dorel Lucanu and Grigore Rosu}, editor = {Mark Hills}, title = {The {K} Primer (version 3.3)}, booktitle = {Proceedings of the Second International Workshop on the {K} Framework and its Applications, {K} 2011, Cheile Gr{\u{a}}di{\c{s}}tei, Romania, August 8-12, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {304}, pages = {57--80}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2014.05.003}, doi = {10.1016/J.ENTCS.2014.05.003}, timestamp = {Tue, 22 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SerbanutaALELR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GirleaR14, author = {Codruta G{\^{\i}}rlea and Grigore Rosu}, editor = {Mark Hills}, title = {Abstract Semantics for {K} Module Composition}, booktitle = {Proceedings of the Second International Workshop on the {K} Framework and its Applications, {K} 2011, Cheile Gr{\u{a}}di{\c{s}}tei, Romania, August 8-12, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {304}, pages = {127--149}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2014.05.007}, doi = {10.1016/J.ENTCS.2014.05.007}, timestamp = {Tue, 22 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GirleaR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/MeredithJCR10, author = {Patrick O'Neil Meredith and Dongyun Jin and Feng Chen and Grigore Rosu}, title = {Efficient monitoring of parametric context-free patterns}, journal = {Autom. Softw. Eng.}, volume = {17}, number = {2}, pages = {149--180}, year = {2010}, url = {https://doi.org/10.1007/s10515-010-0063-y}, doi = {10.1007/S10515-010-0063-Y}, timestamp = {Tue, 28 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ase/MeredithJCR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/RosuS10, author = {Grigore Rosu and Traian{-}Florin Serbanuta}, title = {An overview of the {K} semantic framework}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {6}, pages = {397--434}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2010.03.012}, doi = {10.1016/J.JLAP.2010.03.012}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/RosuS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/RosuES10, author = {Grigore Rosu and Chucky Ellison and Wolfram Schulte}, editor = {Michael Johnson and Dusko Pavlovic}, title = {Matching Logic: An Alternative to Hoare/Floyd Logic}, booktitle = {Algebraic Methodology and Software Technology - 13th International Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6486}, pages = {142--162}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17796-5\_9}, doi = {10.1007/978-3-642-17796-5\_9}, timestamp = {Sun, 25 Oct 2020 23:16:25 +0100}, biburl = {https://dblp.org/rec/conf/amast/RosuES10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/GoriacLR10, author = {Eugen{-}Ioan Goriac and Dorel Lucanu and Grigore Rosu}, editor = {Jin Song Dong and Huibiao Zhu}, title = {Automating Coinduction with Case Analysis}, booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {220--236}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4\_16}, doi = {10.1007/978-3-642-16901-4\_16}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/GoriacLR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/JagannathGJRM10, author = {Vilas Jagannath and Milos Gligoric and Dongyun Jin and Grigore Rosu and Darko Marinov}, editor = {Victor Pankratius and Michael Philippsen}, title = {IMUnit: improved multithreaded unit testing}, booktitle = {Proceedings of the 3rd International Workshop on Multicore Software Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010}, pages = {48--49}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1808954.1808966}, doi = {10.1145/1808954.1808966}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/JagannathGJRM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/MeredithKMR10, author = {Patrick O'Neil Meredith and Michael Katelman and Jos{\'{e}} Meseguer and Grigore Rosu}, title = {A formal executable semantics of Verilog}, booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010}, pages = {179--188}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/MEMCOD.2010.5558634}, doi = {10.1109/MEMCOD.2010.5558634}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/MeredithKMR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/HillsR10, author = {Mark Hills and Grigore Rosu}, editor = {Christopher Lynch}, title = {A Rewriting Logic Semantics Approach to Modular Program Analysis}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland, {UK}}, series = {LIPIcs}, volume = {6}, pages = {151--160}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2010}, url = {https://doi.org/10.4230/LIPIcs.RTA.2010.151}, doi = {10.4230/LIPICS.RTA.2010.151}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/HillsR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/MeredithR10, author = {Patrick O'Neil Meredith and Grigore Rosu}, editor = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, title = {Runtime Verification with the {RV} System}, booktitle = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6418}, pages = {136--152}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16612-9\_12}, doi = {10.1007/978-3-642-16612-9\_12}, timestamp = {Thu, 26 Jan 2023 14:05:55 +0100}, biburl = {https://dblp.org/rec/conf/rv/MeredithR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/SerbanutaR10, author = {Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Peter Csaba {\"{O}}lveczky}, title = {K-Maude: {A} Rewriting Based Tool for Semantics of Programming Languages}, booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6381}, pages = {104--122}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16310-4\_8}, doi = {10.1007/978-3-642-16310-4\_8}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/wrla/SerbanutaR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2010, editor = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, title = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6418}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16612-9}, doi = {10.1007/978-3-642-16612-9}, isbn = {978-3-642-16611-2}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/SerbanutaRM09, author = {Traian{-}Florin Serbanuta and Grigore Rosu and Jos{\'{e}} Meseguer}, title = {A rewriting logic approach to operational semantics}, journal = {Inf. Comput.}, volume = {207}, number = {2}, pages = {305--340}, year = {2009}, url = {https://doi.org/10.1016/j.ic.2008.03.026}, doi = {10.1016/J.IC.2008.03.026}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/SerbanutaRM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PopescuSR09, author = {Andrei Popescu and Traian{-}Florin Serbanuta and Grigore Rosu}, title = {A semantic approach to interpolation}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {12-13}, pages = {1109--1128}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2008.09.038}, doi = {10.1016/J.TCS.2008.09.038}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PopescuSR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aosd/BoddenCR09, author = {Eric Bodden and Feng Chen and Grigore Rosu}, editor = {Kevin J. Sullivan and Ana Moreira and Christa Schwanninger and Jeff Gray}, title = {Dependent advice: a general approach to optimizing history-based aspects}, booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented Software Development, {AOSD} 2009, Charlottesville, Virginia, USA, March 2-6, 2009}, pages = {3--14}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1509239.1509243}, doi = {10.1145/1509239.1509243}, timestamp = {Mon, 21 Jun 2021 12:26:27 +0200}, biburl = {https://dblp.org/rec/conf/aosd/BoddenCR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/RosuL09, author = {Grigore Rosu and Dorel Lucanu}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {Circular Coinduction: {A} Proof Theoretical Foundation}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {127--144}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_10}, doi = {10.1007/978-3-642-03741-2\_10}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/RosuL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/LucanuGCR09, author = {Dorel Lucanu and Eugen{-}Ioan Goriac and Georgiana Caltais and Grigore Rosu}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {{CIRC:} {A} Behavioral Verification Tool Based on Circular Coinduction}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {433--442}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_30}, doi = {10.1007/978-3-642-03741-2\_30}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/LucanuGCR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/LucanuR09, author = {Dorel Lucanu and Grigore Rosu}, editor = {Karin K. Breitman and Ana Cavalcanti}, title = {Circular Coinduction with Special Contexts}, booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5885}, pages = {639--659}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10373-5\_33}, doi = {10.1007/978-3-642-10373-5\_33}, timestamp = {Mon, 21 Feb 2022 14:40:49 +0100}, biburl = {https://dblp.org/rec/conf/icfem/LucanuR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ChenMJR09, author = {Feng Chen and Patrick O'Neil Meredith and Dongyun Jin and Grigore Rosu}, title = {Efficient Formalism-Independent Monitoring of Parametric Properties}, booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009}, pages = {383--394}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ASE.2009.50}, doi = {10.1109/ASE.2009.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ChenMJR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/RosuSS09, author = {Grigore Rosu and Wolfram Schulte and Traian{-}Florin Serbanuta}, editor = {Saddek Bensalem and Doron A. Peled}, title = {Runtime Verification of {C} Memory Safety}, booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble, France, June 26-28, 2009. Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5779}, pages = {132--151}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04694-0\_10}, doi = {10.1007/978-3-642-04694-0\_10}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/RosuSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenR09, author = {Feng Chen and Grigore Rosu}, editor = {Stefan Kowalewski and Anna Philippou}, title = {Parametric Trace Slicing and Monitoring}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {246--261}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_23}, doi = {10.1007/978-3-642-00768-2\_23}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChenR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrla/2008, editor = {Grigore Rosu}, title = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {3}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/238/issue/3}, timestamp = {Tue, 14 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wrla/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChenSR08, author = {Feng Chen and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Wilhelm Sch{\"{a}}fer and Matthew B. Dwyer and Volker Gruhn}, title = {jPredictor: a predictive runtime analysis tool for java}, booktitle = {30th International Conference on Software Engineering {(ICSE} 2008), Leipzig, Germany, May 10-18, 2008}, pages = {221--230}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1368088.1368119}, doi = {10.1145/1368088.1368119}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ChenSR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MeredithJCR08, author = {Patrick O'Neil Meredith and Dongyun Jin and Feng Chen and Grigore Rosu}, title = {Efficient Monitoring of Parametric Context-Free Patterns}, booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy}, pages = {148--157}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ASE.2008.25}, doi = {10.1109/ASE.2008.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MeredithJCR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/membrane/SerbanutaSR08, author = {Traian Serbanuta and Gheorghe Stefanescu and Grigore Rosu}, editor = {David W. Corne and Pierluigi Frisco and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Defining and Executing {P} Systems with Structured Data in {K}}, booktitle = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5391}, pages = {374--393}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-95885-7\_26}, doi = {10.1007/978-3-540-95885-7\_26}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/membrane/SerbanutaSR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtss/PellizzoniMCR08, author = {Rodolfo Pellizzoni and Patrick O'Neil Meredith and Marco Caccamo and Grigore Rosu}, title = {Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems}, booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS} 2008, Barcelona, Spain, 30 November - 3 December 2008}, pages = {481--491}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/RTSS.2008.43}, doi = {10.1109/RTSS.2008.43}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtss/PellizzoniMCR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/RosuCB08, author = {Grigore Rosu and Feng Chen and Thomas Ball}, editor = {Martin Leucker}, title = {Synthesizing Monitors for Safety Properties: This Time with Calls and Returns}, booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest, Hungary, March 30, 2008. Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5289}, pages = {51--68}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89247-2\_4}, doi = {10.1007/978-3-540-89247-2\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/RosuCB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/EllisonSR08, author = {Chucky Ellison and Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Andrea Corradini and Ugo Montanari}, title = {A Rewriting Logic Approach to Type Inference}, booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5486}, pages = {135--151}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03429-9\_10}, doi = {10.1007/978-3-642-03429-9\_10}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/wadt/EllisonSR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/HillsR08, author = {Mark Hills and Grigore Rosu}, editor = {Andrea Corradini and Ugo Montanari}, title = {Towards a Module System for {K}}, booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5486}, pages = {187--205}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03429-9\_13}, doi = {10.1007/978-3-642-03429-9\_13}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/HillsR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/PopescuR08, author = {Andrei Popescu and Grigore Rosu}, editor = {Andrea Corradini and Ugo Montanari}, title = {Term-Generic Logic}, booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5486}, pages = {290--307}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-03429-9\_19}, doi = {10.1007/978-3-642-03429-9\_19}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/PopescuR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rosu09, author = {Grigore Rosu}, editor = {Grigore Rosu}, title = {Preface}, booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {3}, pages = {1--3}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.05.009}, doi = {10.1016/J.ENTCS.2009.05.009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rosu09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HillsCR12, author = {Mark Hills and Feng Chen and Grigore Rosu}, editor = {G{\"{u}}nter Kniesel and Jorge Sousa Pinto}, title = {A Rewriting Logic Approach to Static Checking of Units of Measurement in {C}}, booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {290}, pages = {51--67}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2012.11.011}, doi = {10.1016/J.ENTCS.2012.11.011}, timestamp = {Fri, 25 Nov 2022 14:52:44 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HillsCR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/amast/2008, editor = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {Algebraic Methodology and Software Technology, 12th International Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5140}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79980-1}, doi = {10.1007/978-3-540-79980-1}, isbn = {978-3-540-79979-5}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7011, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/portals/07011/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/RosuS07, author = {Grigore Rosu and Koushik Sen}, title = {An instrumentation technique for online analysis of multithreaded programs}, journal = {Concurr. Comput. Pract. Exp.}, volume = {19}, number = {3}, pages = {311--325}, year = {2007}, url = {https://doi.org/10.1002/cpe.1066}, doi = {10.1002/CPE.1066}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/RosuS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Marti-OlietRT07, author = {Narciso Mart{\'{\i}}{-}Oliet and Grigore Rosu and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {1--2}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9005-1}, doi = {10.1007/S10990-007-9005-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Marti-OlietRT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MeseguerR07, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {The rewriting logic semantics project}, journal = {Theor. Comput. Sci.}, volume = {373}, number = {3}, pages = {213--237}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2006.12.018}, doi = {10.1016/J.TCS.2006.12.018}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MeseguerR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/LucanuR07, author = {Dorel Lucanu and Grigore Rosu}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {{CIRC} : {A} Circular Coinductive Prover}, booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4624}, pages = {372--378}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_25}, doi = {10.1007/978-3-540-73859-6\_25}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/LucanuR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenR07, author = {Feng Chen and Grigore Rosu}, editor = {Werner Damm and Holger Hermanns}, title = {Parametric and Sliced Causality}, booktitle = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4590}, pages = {240--253}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73368-3\_27}, doi = {10.1007/978-3-540-73368-3\_27}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/ChenR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/HillsR07, author = {Mark Hills and Grigore Rosu}, editor = {Marcello M. Bonsangue and Einar Broch Johnsen}, title = {On Formal Analysis of {OO} Languages Using Rewriting Logic: Designing for Performance}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4468}, pages = {107--121}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72952-5\_7}, doi = {10.1007/978-3-540-72952-5\_7}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/HillsR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Rosu07, author = {Grigore Rosu}, editor = {Helmut Seidl}, title = {An Effective Algorithm for the Membership Problem for Extended Regular Expressions}, booktitle = {Foundations of Software Science and Computational Structures, 10th International Conference, {FOSSACS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4423}, pages = {332--345}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71389-0\_24}, doi = {10.1007/978-3-540-71389-0\_24}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Rosu07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/ChenR07, author = {Feng Chen and Grigore Rosu}, editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.}, title = {Mop: an efficient and generic runtime verification framework}, booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada}, pages = {569--588}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1297027.1297069}, doi = {10.1145/1297027.1297069}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/ChenR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/HillsR07, author = {Mark Hills and Grigore Rosu}, editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.}, title = {A rewriting approach to the design and evolution of object-oriented languages}, booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada}, pages = {827--828}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1297846.1297908}, doi = {10.1145/1297846.1297908}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/HillsR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/HillsR07, author = {Mark Hills and Grigore Rosu}, editor = {Franz Baader}, title = {{KOOL:} An Application of Rewriting Logic to Language Prototyping and Analysis}, booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, pages = {246--256}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9\_19}, doi = {10.1007/978-3-540-73449-9\_19}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/HillsR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LucanuRG08, author = {Dorel Lucanu and Grigore Rosu and Gheorghe Grigoras}, editor = {J{\"{u}}rgen Giesl}, title = {Regular Strategies as Proof Tactics for {CIRC}}, booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {204}, pages = {83--98}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.055}, doi = {10.1016/J.ENTCS.2008.03.055}, timestamp = {Mon, 13 Feb 2023 13:51:35 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LucanuRG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SerbanutaRM07, author = {Traian{-}Florin Serbanuta and Grigore Rosu and Jos{\'{e}} Meseguer}, editor = {Rob van Glabbeek and Matthew Hennessy}, title = {A Rewriting Logic Approach to Operational Semantics (Extended Abstract)}, booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {192}, number = {1}, pages = {125--141}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.08.020}, doi = {10.1016/J.ENTCS.2007.08.020}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/SerbanutaRM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/FinkbeinerHRS07, author = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {07011 Executive Summary -- Runtime Verification}, booktitle = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1369}, timestamp = {Thu, 10 Jun 2021 13:02:06 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/FinkbeinerHRS07a, author = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {07011 Abstracts Collection -- Runtime Verification}, booktitle = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1376}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/SenRA06, author = {Koushik Sen and Grigore Rosu and Gul Agha}, title = {Online efficient predictive safety analysis of multithreaded programs}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {8}, number = {3}, pages = {248--260}, year = {2006}, url = {https://doi.org/10.1007/s10009-005-0192-y}, doi = {10.1007/S10009-005-0192-Y}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/SenRA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Rosu06, author = {Grigore Rosu}, editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, title = {Complete Categorical Deduction for Satisfaction as Injectivity}, booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4060}, pages = {157--172}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780274\_9}, doi = {10.1007/11780274\_9}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Rosu06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RosuB06, author = {Grigore Rosu and Saddek Bensalem}, editor = {Thomas Ball and Robert B. Jones}, title = {Allen Linear (Interval) Temporal Logic - Translation to {LTL} and Monitor Synthesis}, booktitle = {Computer Aided Verification, 18th International Conference, {CAV} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4144}, pages = {263--277}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817963\_25}, doi = {10.1007/11817963\_25}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/RosuB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/KowshikRS06, author = {Sumant Kowshik and Grigore Rosu and Lui Sha}, title = {Static Analysis to Enforce Safe Value Flow in Embedded Control Systems}, booktitle = {2006 International Conference on Dependable Systems and Networks {(DSN} 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings}, pages = {23--34}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/DSN.2006.66}, doi = {10.1109/DSN.2006.66}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/KowshikRS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/PopescuSR06, author = {Andrei Popescu and Traian Serbanuta and Grigore Rosu}, editor = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {A Semantic Approach to Interpolation}, booktitle = {Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 25-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3921}, pages = {307--321}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11690634\_21}, doi = {10.1007/11690634\_21}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/PopescuSR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Rosu06, author = {Grigore Rosu}, editor = {John H. Reppy and Julia Lawall}, title = {Equality of streams is a Pi0 over 2-complete problem}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September 16-21, 2006}, pages = {184--191}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159803.1159827}, doi = {10.1145/1159803.1159827}, timestamp = {Mon, 17 Jan 2022 15:20:18 +0100}, biburl = {https://dblp.org/rec/conf/icfp/Rosu06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/SenVAR06, author = {Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Rosu}, title = {Decentralized runtime analysis of multithreaded applications}, booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS} 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/IPDPS.2006.1639591}, doi = {10.1109/IPDPS.2006.1639591}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/SenVAR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/SerbanutaR06, author = {Traian{-}Florin Serbanuta and Grigore Rosu}, editor = {Frank Pfenning}, title = {Computationally Equivalent Elimination of Conditions}, booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA} 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4098}, pages = {19--34}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11805618\_3}, doi = {10.1007/11805618\_3}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/SerbanutaR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ChenR06, author = {Feng Chen and Grigore Rosu}, editor = {Kwangkeun Yi}, title = {Parametric and Termination-Sensitive Control Dependence}, booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul, Korea, August 29-31, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4134}, pages = {387--404}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11823230\_25}, doi = {10.1007/11823230\_25}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/ChenR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HillsSR07, author = {Mark Hills and Traian Serbanuta and Grigore Rosu}, editor = {Grit Denker and Carolyn L. Talcott}, title = {A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters}, booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {4}, pages = {215--231}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.06.017}, doi = {10.1016/J.ENTCS.2007.06.017}, timestamp = {Tue, 24 Jan 2023 12:37:22 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HillsSR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DenkerTRBES07, author = {Grit Denker and Carolyn L. Talcott and Grigore Rosu and Mark van den Brand and Steven Eker and Traian{-}Florin Serbanuta}, editor = {Grit Denker and Carolyn L. Talcott}, title = {Rewriting Logic Systems}, booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {4}, pages = {233--247}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.06.018}, doi = {10.1016/J.ENTCS.2007.06.018}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DenkerTRBES07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fates/2006, editor = {Klaus Havelund and Manuel N{\'{u}}{\~{n}}ez and Grigore Rosu and Burkhart Wolff}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {4262}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11940197}, doi = {10.1007/11940197}, isbn = {3-540-49699-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fates/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/RosuH05, author = {Grigore Rosu and Klaus Havelund}, title = {Rewriting-Based Techniques for Runtime Verification}, journal = {Autom. Softw. Eng.}, volume = {12}, number = {2}, pages = {151--197}, year = {2005}, url = {https://doi.org/10.1007/s10515-005-6205-y}, doi = {10.1007/S10515-005-6205-Y}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/RosuH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HavelundR05, author = {Klaus Havelund and Grigore Rosu}, title = {Foreword}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {211--212}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3397-5}, doi = {10.1007/S10703-005-3397-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HavelundR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/dAmorimR05, author = {Marcelo d'Amorim and Grigore Rosu}, title = {An Equational Specification for the Scheme Language}, journal = {J. Univers. Comput. Sci.}, volume = {11}, number = {7}, pages = {1327--1348}, year = {2005}, url = {https://doi.org/10.3217/jucs-011-07-1327}, doi = {10.3217/JUCS-011-07-1327}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/dAmorimR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05, author = {Cyrille Artho and Howard Barringer and Allen Goldberg and Klaus Havelund and Sarfraz Khurshid and Michael R. Lowry and Corina S. Pasareanu and Grigore Rosu and Koushik Sen and Willem Visser and Richard Washington}, title = {Combining test case generation and runtime verification}, journal = {Theor. Comput. Sci.}, volume = {336}, number = {2-3}, pages = {209--234}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2004.11.007}, doi = {10.1016/J.TCS.2004.11.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/PopescuR05, author = {Andrei Popescu and Grigore Rosu}, editor = {Jos{\'{e}} Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten}, title = {Behavioral Extensions of Institutions}, booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3629}, pages = {331--347}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11548133\_21}, doi = {10.1007/11548133\_21}, timestamp = {Wed, 19 May 2021 08:32:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/PopescuR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/dAmorimR05, author = {Marcelo d'Amorim and Grigore Rosu}, editor = {Kousha Etessami and Sriram K. Rajamani}, title = {Efficient Monitoring of omega-Languages}, booktitle = {Computer Aided Verification, 17th International Conference, {CAV} 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3576}, pages = {364--378}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11513988\_36}, doi = {10.1007/11513988\_36}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/dAmorimR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/SalverdaRZ05, author = {Pierre Salverda and Grigore Rosu and Craig B. Zilles}, editor = {John S. Fitzgerald and Ian J. Hayes and Andrzej Tarlecki}, title = {Formally Defining and Verifying Master/Slave Speculative Parallelization}, booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3582}, pages = {123--138}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11526841\_10}, doi = {10.1007/11526841\_10}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/SalverdaRZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/SenRA05, author = {Koushik Sen and Grigore Rosu and Gul Agha}, editor = {Martin Steffen and Gianluigi Zavattaro}, title = {Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3535}, pages = {211--226}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494881\_14}, doi = {10.1007/11494881\_14}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/SenRA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isca/BaboescuTRS05, author = {Florin Baboescu and Dean M. Tullsen and Grigore Rosu and Sumeet Singh}, title = {A Tree Based Router Search Engine Architecture with Single Port Memories}, booktitle = {32st International Symposium on Computer Architecture {(ISCA} 2005), 4-8 June 2005, Madison, Wisconsin, {USA}}, pages = {123--133}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ISCA.2005.7}, doi = {10.1109/ISCA.2005.7}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isca/BaboescuTRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenR05, author = {Feng Chen and Grigore Rosu}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Java-MOP: {A} Monitoring Oriented Programming Environment for Java}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {546--550}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_36}, doi = {10.1007/978-3-540-31980-1\_36}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChenR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/MeseguerR05, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Bertrand Meyer and Jim Woodcock}, title = {Computational Logical Frameworks and Generic Program Analysis Technologies}, booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC} 2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions}, series = {Lecture Notes in Computer Science}, volume = {4171}, pages = {256--267}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-69149-5\_28}, doi = {10.1007/978-3-540-69149-5\_28}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/MeseguerR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChendR06, author = {Feng Chen and Marcelo d'Amorim and Grigore Rosu}, editor = {Howard Barringer and Bernd Finkbeiner and Yuri Gurevich and Henny Sipma}, title = {Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP}, booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {144}, number = {4}, pages = {3--20}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.02.002}, doi = {10.1016/J.ENTCS.2006.02.002}, timestamp = {Fri, 16 Dec 2022 11:10:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ChendR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MeseguerR06, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Peter D. Mosses and Irek Ulidowski}, title = {The Rewriting Logic Semantics Project}, booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {156}, number = {1}, pages = {27--56}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.10.027}, doi = {10.1016/J.ENTCS.2005.10.027}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/MeseguerR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2004, editor = {Klaus Havelund and Grigore Rosu}, title = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {113}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/113/suppl/C}, timestamp = {Fri, 16 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HavelundR04, author = {Klaus Havelund and Grigore Rosu}, title = {Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01)}, journal = {Formal Methods Syst. Des.}, volume = {24}, number = {2}, pages = {99--100}, year = {2004}, url = {https://doi.org/10.1023/B:FORM.0000017842.17301.bc}, doi = {10.1023/B:FORM.0000017842.17301.BC}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HavelundR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HavelundR04a, author = {Klaus Havelund and Grigore Rosu}, title = {An Overview of the Runtime Verification Tool Java PathExplorer}, journal = {Formal Methods Syst. Des.}, volume = {24}, number = {2}, pages = {189--215}, year = {2004}, url = {https://doi.org/10.1023/B:FORM.0000017721.39909.4b}, doi = {10.1023/B:FORM.0000017721.39909.4B}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HavelundR04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/HavelundR04, author = {Klaus Havelund and Grigore Rosu}, title = {Efficient monitoring of safety properties}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {2}, pages = {158--173}, year = {2004}, url = {https://doi.org/10.1007/s10009-003-0117-6}, doi = {10.1007/S10009-003-0117-6}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/HavelundR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Rosu04, author = {Grigore Rosu}, title = {Behavioral abstraction is hiding information}, journal = {Theor. Comput. Sci.}, volume = {327}, number = {1-2}, pages = {197--221}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.07.027}, doi = {10.1016/J.TCS.2004.07.027}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Rosu04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/FarzanMR04, author = {Azadeh Farzan and Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {Formal {JVM} Code Analysis in JavaFAN}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {132--147}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_14}, doi = {10.1007/978-3-540-27815-3\_14}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/FarzanMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GoguenR04, author = {Joseph A. Goguen and Grigore Rosu}, editor = {Olaf Owe and Stein Krogdahl and Tom Lyche}, title = {Composing Hidden Information Modules over Inclusive Institutions}, booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl}, series = {Lecture Notes in Computer Science}, volume = {2635}, pages = {96--123}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-39993-3\_7}, doi = {10.1007/978-3-540-39993-3\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GoguenR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MeseguerR04, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {1--44}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_1}, doi = {10.1007/978-3-540-25984-8\_1}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MeseguerR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanCMR04, author = {Azadeh Farzan and Feng Chen and Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Rajeev Alur and Doron A. Peled}, title = {Formal Analysis of Java Programs in JavaFAN}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {501--505}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_46}, doi = {10.1007/978-3-540-27813-9\_46}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanCMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Rosu04, author = {Grigore Rosu}, editor = {Josep D{\'{\i}}az and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Donald Sannella}, title = {Extensional Theories and Rewriting}, booktitle = {Automata, Languages and Programming: 31st International Colloquium, {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {1066--1079}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27836-8\_89}, doi = {10.1007/978-3-540-27836-8\_89}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Rosu04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ChendR04, author = {Feng Chen and Marcelo d'Amorim and Grigore Rosu}, editor = {Jim Davies and Wolfram Schulte and Michael Barnett}, title = {A Formal Monitoring-Based Framework for Software Development and Analysis}, booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3308}, pages = {357--372}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30482-1\_31}, doi = {10.1007/978-3-540-30482-1\_31}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/ChendR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SenVAR04, author = {Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Rosu}, editor = {Anthony Finkelstein and Jacky Estublier and David S. Rosenblum}, title = {Efficient Decentralized Monitoring of Safety in Distributed Systems}, booktitle = {26th International Conference on Software Engineering {(ICSE} 2004), 23-28 May 2004, Edinburgh, United Kingdom}, pages = {418--427}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICSE.2004.1317464}, doi = {10.1109/ICSE.2004.1317464}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/SenVAR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/RosuS04, author = {Grigore Rosu and Koushik Sen}, title = {An Instrumentation Technique for Online Analysis of Multithreaded Programs}, booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS} 2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/IPDPS.2004.1303344}, doi = {10.1109/IPDPS.2004.1303344}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/RosuS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SenRA04, author = {Koushik Sen and Grigore Rosu and Gul Agha}, editor = {Kurt Jensen and Andreas Podelski}, title = {Online Efficient Predictive Safety Analysis of Multithreaded Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2988}, pages = {123--138}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24730-2\_9}, doi = {10.1007/978-3-540-24730-2\_9}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SenRA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/Rosu04, author = {Grigore Rosu}, editor = {Jos{\'{e}} Luiz Fiadeiro and Peter D. Mosses and Fernando Orejas}, title = {From Conditional to Unconditional Rewriting}, booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3423}, pages = {218--233}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31959-7\_13}, doi = {10.1007/978-3-540-31959-7\_13}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/Rosu04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HavelundR05, author = {Klaus Havelund and Grigore Rosu}, editor = {Klaus Havelund and Grigore Rosu}, title = {Preface}, booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {113}, pages = {1--2}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.12.011}, doi = {10.1016/J.ENTCS.2004.12.011}, timestamp = {Fri, 16 Dec 2022 11:10:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HavelundR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ThatiR05, author = {Prasanna Thati and Grigore Rosu}, editor = {Klaus Havelund and Grigore Rosu}, title = {Monitoring Algorithms for Metric Temporal Logic Specifications}, booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {113}, pages = {145--162}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.01.029}, doi = {10.1016/J.ENTCS.2004.01.029}, timestamp = {Fri, 16 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ThatiR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/SenRA03, author = {Koushik Sen and Grigore Rosu and Gul Agha}, editor = {Vijay A. Saraswat}, title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction}, booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2896}, pages = {260--275}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40965-6\_17}, doi = {10.1007/978-3-540-40965-6\_17}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/SenRA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ArthoDGHLPRV03, author = {Cyrille Artho and Doron Drusinsky and Allen Goldberg and Klaus Havelund and Michael R. Lowry and Corina S. Pasareanu and Grigore Rosu and Willem Visser}, editor = {Egon B{\"{o}}rger and Angelo Gargantini and Elvinia Riccobene}, title = {Experiments with Test Case Generation and Runtime Analysis}, booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2589}, pages = {87--107}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36498-6\_5}, doi = {10.1007/3-540-36498-6\_5}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/ArthoDGHLPRV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RosuVWL03, author = {Grigore Rosu and Ram Prasad Venkatesan and Jon Whittle and Laurentiu Leustean}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Certifying Optimality of State Estimation Programs}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {301--314}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_30}, doi = {10.1007/978-3-540-45069-6\_30}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/RosuVWL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/RosuELM03, author = {Grigore Rosu and Steven Eker and Patrick Lincoln and Jos{\'{e}} Meseguer}, editor = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli}, title = {Certifying and Synthesizing Membership Equational Proofs}, booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2805}, pages = {359--380}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45236-2\_21}, doi = {10.1007/978-3-540-45236-2\_21}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/RosuELM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RosuC03, author = {Grigore Rosu and Feng Chen}, title = {Certifying Measurement Unit Safety Polic}, booktitle = {18th {IEEE} International Conference on Automated Software Engineering {(ASE} 2003), 6-10 October 2003, Montreal, Canada}, pages = {304--309}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ASE.2003.1240326}, doi = {10.1109/ASE.2003.1240326}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/RosuC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/ChenRV03, author = {Feng Chen and Grigore Rosu and Ram Prasad Venkatesan}, editor = {Robert Nieuwenhuis}, title = {Rule-Based Analysis of Dimensional Safety}, booktitle = {Rewriting Techniques and Applications, 14th International Conference, {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2706}, pages = {197--207}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44881-0\_15}, doi = {10.1007/3-540-44881-0\_15}, timestamp = {Sun, 02 Oct 2022 16:14:20 +0200}, biburl = {https://dblp.org/rec/conf/rta/ChenRV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/RouV03, author = {Grigore Rosu and Mahesh Viswanathan}, editor = {Robert Nieuwenhuis}, title = {Testing Extended Regular Language Membership Incrementally by Rewriting}, booktitle = {Rewriting Techniques and Applications, 14th International Conference, {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2706}, pages = {499--514}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44881-0\_35}, doi = {10.1007/3-540-44881-0\_35}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/RouV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SenRA03, author = {Koushik Sen and Grigore Rosu and Gul Agha}, editor = {Jukka Paakki and Paola Inverardi}, title = {Runtime safety analysis of multithreaded programs}, booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September 1-5, 2003}, pages = {337--346}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/940071.940116}, doi = {10.1145/940071.940116}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SenRA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChenR03, author = {Feng Chen and Grigore Rosu}, editor = {Oleg Sokolsky and Mahesh Viswanathan}, title = {Towards Monitoring-Oriented Programming: {A} Paradigm Combining Specification and Implementation}, booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {89}, number = {2}, pages = {108--127}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)81045-4}, doi = {10.1016/S1571-0661(04)81045-4}, timestamp = {Fri, 16 Dec 2022 11:03:30 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ChenR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SenR03, author = {Koushik Sen and Grigore Rosu}, editor = {Oleg Sokolsky and Mahesh Viswanathan}, title = {Generating Optimal Monitors for Extended Regular Expressions}, booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {89}, number = {2}, pages = {226--245}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)81051-X}, doi = {10.1016/S1571-0661(04)81051-X}, timestamp = {Fri, 16 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SenR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rosu03, author = {Grigore Rosu}, editor = {H. Peter Gumm}, title = {Inductive Behavioral Proofs by Unhiding}, booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {1}, pages = {285--302}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80645-5}, doi = {10.1016/S1571-0661(04)80645-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rosu03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/GoguenR02, author = {Joseph A. Goguen and Grigore Rosu}, title = {Institution Morphisms}, journal = {Formal Aspects Comput.}, volume = {13}, number = {3-5}, pages = {274--307}, year = {2002}, url = {https://doi.org/10.1007/s001650200013}, doi = {10.1007/S001650200013}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/GoguenR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Rosu02, author = {Grigore Rosu}, title = {Axiomatizability in Inclusive Equational Logics}, journal = {Math. Struct. Comput. Sci.}, volume = {12}, number = {5}, pages = {541--563}, year = {2002}, url = {https://doi.org/10.1017/S0960129501003474}, doi = {10.1017/S0960129501003474}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Rosu02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/MeseguerR02, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Peter Widmayer and Francisco Triguero Ruiz and Rafael Morales Bueno and Matthew Hennessy and Stephan J. Eidenbenz and Ricardo Conejo}, title = {A Total Approach to Partial Algebraic Specification}, booktitle = {Automata, Languages and Programming, 29th International Colloquium, {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2380}, pages = {572--584}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45465-9\_49}, doi = {10.1007/3-540-45465-9\_49}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/MeseguerR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RosuW02, author = {Grigore Rosu and Jon Whittle}, title = {Towards Certifying Domain-Specific Properties of Synthesized Code}, booktitle = {17th {IEEE} International Conference on Automated Software Engineering {(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}}, pages = {289--294}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ASE.2002.1115032}, doi = {10.1109/ASE.2002.1115032}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/RosuW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rule/Rosu02, author = {Grigore Rosu}, editor = {Bernd Fischer and Eelco Visser}, title = {On implementing behavioral rewriting}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002}, pages = {43--52}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/570186.570190}, doi = {10.1145/570186.570190}, timestamp = {Fri, 25 Nov 2022 14:50:36 +0100}, biburl = {https://dblp.org/rec/conf/rule/Rosu02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HavelundR02, author = {Klaus Havelund and Grigore Rosu}, editor = {Joost{-}Pieter Katoen and Perdita Stevens}, title = {Synthesizing Monitors for Safety Properties}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, {TACAS} 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2280}, pages = {342--356}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46002-0\_24}, doi = {10.1007/3-540-46002-0\_24}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HavelundR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/GoguenLR02, author = {Joseph A. Goguen and Kai Lin and Grigore Rosu}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {Conditional Circular Coinductive Rewriting with Case Analysis}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {216--232}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_12}, doi = {10.1007/978-3-540-40020-2\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/GoguenLR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MeseguerR02, author = {Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Lawrence S. Moss}, title = {Towards Behavioral Maude: Behavioral Membership Equational Logic}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April 6-7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {1}, pages = {197--253}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80366-9}, doi = {10.1016/S1571-0661(04)80366-9}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/MeseguerR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HavelundR02, author = {Klaus Havelund and Grigore Rosu}, editor = {Klaus Havelund and Grigore Rosu}, title = {Preface}, booktitle = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {4}, pages = {201--202}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80585-7}, doi = {10.1016/S1571-0661(05)80585-7}, timestamp = {Fri, 16 Dec 2022 10:59:39 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HavelundR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2002, editor = {Klaus Havelund and Grigore Rosu}, title = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {4}, publisher = {Elsevier}, year = {2002}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/4}, timestamp = {Fri, 16 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Rosu01, author = {Grigore Rosu}, title = {Equational axiomatizability for coalgebra}, journal = {Theor. Comput. Sci.}, volume = {260}, number = {1-2}, pages = {229--247}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00129-8}, doi = {10.1016/S0304-3975(00)00129-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Rosu01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Rosu01, author = {Grigore Rosu}, editor = {Laurent Fribourg}, title = {Complete Categorical Equational Deduction}, booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2142}, pages = {528--538}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44802-0\_37}, doi = {10.1007/3-540-44802-0\_37}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Rosu01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LowryPR01, author = {Michael R. Lowry and Thomas Pressburger and Grigore Rosu}, title = {Certifying Domain-Specific Policies}, booktitle = {16th {IEEE} International Conference on Automated Software Engineering {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA, {USA}}, pages = {81--90}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ASE.2001.989793}, doi = {10.1109/ASE.2001.989793}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LowryPR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HavelundR01, author = {Klaus Havelund and Grigore Rosu}, title = {Monitoring Programs Using Rewriting}, booktitle = {16th {IEEE} International Conference on Automated Software Engineering {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA, {USA}}, pages = {135--143}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ASE.2001.989799}, doi = {10.1109/ASE.2001.989799}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/HavelundR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HavelundR01a, author = {Klaus Havelund and Grigore Rosu}, editor = {Klaus Havelund and Grigore Rosu}, title = {Monitoring Java Programs with Java PathExplorer}, booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV} 2001, Paris, France, July 23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {55}, number = {2}, pages = {200--217}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00253-1}, doi = {10.1016/S1571-0661(04)00253-1}, timestamp = {Mon, 05 Dec 2022 12:32:56 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HavelundR01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HavelundR01, author = {Klaus Havelund and Grigore Rosu}, editor = {Klaus Havelund and Grigore Rosu}, title = {Preface}, booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV} 2001, Paris, France, July 23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {55}, number = {2}, pages = {287--288}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80577-8}, doi = {10.1016/S1571-0661(05)80577-8}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HavelundR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/FischerR01, author = {Bernd Fischer and Grigore Rosu}, editor = {Mark van den Brand and Rakesh M. Verma}, title = {Interpreting Abstract Interpretations in Membership Equational Logic}, booktitle = {Second International Workshop on Rule-Based Programming, {RULE} 2001, Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, number = {4}, pages = {271--285}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00292-0}, doi = {10.1016/S1571-0661(04)00292-0}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FischerR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2001, editor = {Klaus Havelund and Grigore Rosu}, title = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV} 2001, Paris, France, July 23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {55}, number = {2}, publisher = {Elsevier}, year = {2001}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/55/issue/2}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/CazanescuR00, author = {Virgil Emil Cazanescu and Grigore Rosu}, title = {Weak Inclusion Systems: Part Two}, journal = {J. Univers. Comput. Sci.}, volume = {6}, number = {1}, pages = {5--21}, year = {2000}, url = {https://doi.org/10.3217/jucs-006-01-0005}, doi = {10.3217/JUCS-006-01-0005}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/CazanescuR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/RosuG00, author = {Grigore Rosu and Joseph A. Goguen}, title = {On Equational Craig Interpolation}, journal = {J. Univers. Comput. Sci.}, volume = {6}, number = {1}, pages = {194--200}, year = {2000}, url = {https://doi.org/10.3217/jucs-006-01-0194}, doi = {10.3217/JUCS-006-01-0194}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/RosuG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/GoguenLR00, author = {Joseph A. Goguen and Kai Lin and Grigore Rosu}, title = {Circular Coinductive Rewriting}, booktitle = {The Fifteenth {IEEE} International Conference on Automated Software Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000}, pages = {123--132}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ASE.2000.873657}, doi = {10.1109/ASE.2000.873657}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/GoguenLR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GoguenLR00, author = {Joseph A. Goguen and Kai Lin and Grigore Rosu}, editor = {Kokichi Futatsugi}, title = {Behavioral and Coinductive Rewriting}, booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications, {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {36}, pages = {2--23}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80128-8}, doi = {10.1016/S1571-0661(05)80128-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GoguenLR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BussR00, author = {Samuel R. Buss and Grigore Rosu}, editor = {Horst Reichel}, title = {Incompleteness of Behavioral Logics}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2000, Berlin, Germany, March 25-26, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {33}, pages = {61--79}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80756-X}, doi = {10.1016/S1571-0661(05)80756-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BussR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/Rosu99, author = {Grigore Rosu}, title = {Kan Extensions of Institutions}, journal = {J. Univers. Comput. Sci.}, volume = {5}, number = {8}, pages = {482--493}, year = {1999}, url = {https://doi.org/10.3217/jucs-005-08-0482}, doi = {10.3217/JUCS-005-08-0482}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/Rosu99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/GoguenR99, author = {Joseph A. Goguen and Grigore Rosu}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, title = {Hiding More of Hidden Algebra}, booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1709}, pages = {1704--1719}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48118-4\_40}, doi = {10.1007/3-540-48118-4\_40}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/GoguenR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GoguenR99, author = {Joseph A. Goguen and Grigore Rosu}, editor = {Gheorghe Stefanescu}, title = {A protocol for distributed cooperative work}, booktitle = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop to {FCT} 1999, Iassy, Romania, September 2-3, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {28}, pages = {3}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80625-5}, doi = {10.1016/S1571-0661(05)80625-5}, timestamp = {Wed, 23 Nov 2022 16:22:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GoguenR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftp/RosuG98, author = {Grigore Rosu and Joseph A. Goguen}, editor = {Ricardo Caferra and Gernot Salzer}, title = {Hidden Congruent Deduction}, booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1761}, pages = {251--266}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-46508-1\_17}, doi = {10.1007/3-540-46508-1\_17}, timestamp = {Mon, 05 Feb 2024 20:35:45 +0100}, biburl = {https://dblp.org/rec/conf/ftp/RosuG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rosu98, author = {Grigore Rosu}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {176--193}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00058-1}, doi = {10.1016/S1571-0661(04)00058-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rosu98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CazanescuR97, author = {Virgil Emil Cazanescu and Grigore Rosu}, title = {Weak Inclusion Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {7}, number = {2}, pages = {195--206}, year = {1997}, url = {https://doi.org/10.1017/S0960129596002253}, doi = {10.1017/S0960129596002253}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CazanescuR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/GoguenLMRS97, author = {Joseph A. Goguen and Kai Lin and Akira Mori and Grigore Rosu and Akiyoshi Sato}, title = {Distributed Cooperative Formal Methods Tools}, booktitle = {1997 International Conference on Automated Software Engineering, {ASE} 1997, Lake Tahoe, CA, USA, November 2-5, 1997}, pages = {55--62}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ASE.1997.632824}, doi = {10.1109/ASE.1997.632824}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/GoguenLMRS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Grigore94, author = {Grigore Rosu}, title = {The Institution of Order-Sorted Equational Logic}, journal = {Bull. {EATCS}}, volume = {53}, pages = {250--255}, year = {1994}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Grigore94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.