Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
