default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dorel Lucanu
@article{DBLP:journals/cuza/LunguTZAL24,
author = {Alexandru{-}Ioan Lungu and
Vlad Teodorescu and
Andrei Zaborila and
Oana Andrei and
Dorel Lucanu},
title = {Alk: {A} Formal-Methods-based Educational Platform for Enhancing Algorithmic
Thinking},
journal = {Sci. Ann. Comput. Sci.},
volume = {34},
number = {1},
pages = {39--66},
year = {2024},
url = {https://doi.org/10.47743/SACS.2024.1.39},
doi = {10.47743/SACS.2024.1.39},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/LunguTZAL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArusoaieL24,
author = {Andrei Arusoaie and
Dorel Lucanu},
title = {Proof-carrying parameters in certified symbolic execution},
journal = {Log. J. {IGPL}},
volume = {32},
number = {3},
pages = {534--571},
year = {2024},
url = {https://doi.org/10.1093/jigpal/jzad008},
doi = {10.1093/JIGPAL/JZAD008},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArusoaieL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scid/ZahariaGML24,
author = {Raul Zaharia and
Dragos Gavrilut and
Gheorghita Mutu and
Dorel Lucanu},
editor = {Duc{-}Tien Dang{-}Nguyen and
Anh{-}Duy Tran and
Minh{-}Triet Tran},
title = {Interactive Assistance in Malware Dissemination Detection and Analysis},
booktitle = {Proceedings of the 1st Workshop on Security-Centric Strategies for
Combating Information Disorder, {SCID} 2024, Singapore, Singapore,
July 2, 2024},
pages = {7},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3660512.3665526},
doi = {10.1145/3660512.3665526},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scid/ZahariaGML24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-09058,
author = {Raul Zaharia and
Dragos Gavrilut and
Gheorghita Mutu and
Dorel Lucanu},
title = {GView: {A} Versatile Assistant for Security Researchers},
journal = {CoRR},
volume = {abs/2404.09058},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.09058},
doi = {10.48550/ARXIV.2404.09058},
eprinttype = {arXiv},
eprint = {2404.09058},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-09058.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/jlap/CiobacaLB23,
author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Dorel Lucanu and
Andrei{-}Sebastian Buruiana},
title = {Operationally-based program equivalence proofs using LCTRSs},
journal = {J. Log. Algebraic Methods Program.},
volume = {135},
pages = {100894},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100894},
doi = {10.1016/J.JLAMP.2023.100894},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/CiobacaLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BreabanNLS23,
author = {Mihaela Breaban and
Raluca Necula and
Dorel Lucanu and
Daniel Stamate},
editor = {George A. Tsihrintzis and
Carlos Toro and
Sebasti{\'{a}}n A. R{\'{\i}}os and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Joint Decision Making in Ant Colony Systems for Solving the Multiple
Traveling Salesman Problem},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 27th International Conference KES-2023, Athens,
Greece, 6-8 September 2023},
series = {Procedia Computer Science},
volume = {225},
pages = {3498--3507},
publisher = {Elsevier},
year = {2023},
url = {https://doi.org/10.1016/j.procs.2023.10.345},
doi = {10.1016/J.PROCS.2023.10.345},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/BreabanNLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-13798,
author = {Dorel Lucanu},
editor = {Horatiu Cheval and
Laurentiu Leustean and
Andrei Sipos},
title = {Matching-Logic-Based Understanding of Polynomial Functors and their
Initial/Final Models},
booktitle = {Proceedings 7th Symposium on Working Formal Methods, {FROM} 2023,
Bucharest, Romania, 21-22 September 2023},
series = {{EPTCS}},
volume = {389},
pages = {41--55},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.389.4},
doi = {10.4204/EPTCS.389.4},
timestamp = {Tue, 31 Oct 2023 16:42:51 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-13798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-13529,
author = {Vlad Craciun and
Andrei Mogage and
Dorel Lucanu},
title = {Full Transparency in {DBI} frameworks},
journal = {CoRR},
volume = {abs/2306.13529},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.13529},
doi = {10.48550/ARXIV.2306.13529},
eprinttype = {arXiv},
eprint = {2306.13529},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-13529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Alexandru-IoanL22,
author = {Alexandru{-}Ioan Lungu and
Dorel Lucanu},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {A Matching Logic Foundation for Alk},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {290--304},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_19},
doi = {10.1007/978-3-031-17715-6\_19},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Alexandru-IoanL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Alexandru-IoanL22,
author = {Alexandru{-}Ioan Lungu and
Dorel Lucanu},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Supporting Algorithm Analysis with Symbolic Execution in Alk},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {406--423},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_27},
doi = {10.1007/978-3-031-10363-6\_27},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Alexandru-IoanL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-11700,
author = {Andrei Arusoaie and
Dorel Lucanu},
editor = {Vlad Rusu},
title = {Proof-Carrying Parameters in Certified Symbolic Execution: The Case
Study of Antiunification},
booktitle = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
series = {{EPTCS}},
volume = {369},
pages = {1--16},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.369.1},
doi = {10.4204/EPTCS.369.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11700.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}
}
@article{DBLP:journals/fuin/KleijnLL20,
author = {Jetty Kleijn and
Laurentiu Leustean and
Dorel Lucanu},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {173},
number = {2-3},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1917},
doi = {10.3233/FI-2020-1917},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KleijnLL20.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-2001-09649,
author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Dorel Lucanu and
Andrei{-}Sebastian Buruiana},
title = {Operationally-based Program Equivalence Proofs using LCTRSs},
journal = {CoRR},
volume = {abs/2001.09649},
year = {2020},
url = {https://arxiv.org/abs/2001.09649},
eprinttype = {arXiv},
eprint = {2001.09649},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArusoaieL19,
author = {Andrei Arusoaie and
Dorel Lucanu},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Unification in Matching Logic},
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 = {502--518},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_30},
doi = {10.1007/978-3-030-30942-8\_30},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArusoaieL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Lucanu18,
author = {Dorel Lucanu},
title = {Editor's foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {101},
pages = {42--43},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.08.002},
doi = {10.1016/J.JLAMP.2018.08.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Lucanu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CiobacaL18,
author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Dorel Lucanu},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {A Coinductive Approach to Proving Reachability Properties in Logically
Constrained Term Rewriting Systems},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {295--311},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_20},
doi = {10.1007/978-3-319-94205-6\_20},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/CiobacaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Lucanu18,
author = {Dorel Lucanu},
title = {Proving Reachability Properties by Coinduction (Extended Abstract)},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {6--7},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00066},
doi = {10.1109/SYNASC.2018.00066},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/Lucanu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/LupascuGL18,
author = {Marilena Lupascu and
Dragos Teodor Gavrilut and
Dorel Lucanu},
title = {An Overview of Obfuscation Techniques used by Malware in Visual Basic
for Application Scripts},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {280--287},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00051},
doi = {10.1109/SYNASC.2018.00051},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/LupascuGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CiobacaAL18,
author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Andrei Arusoaie and
Dorel Lucanu},
editor = {Lawrence S. Moss and
Ruy J. G. B. de Queiroz and
Maricarmen Mart{\'{\i}}nez},
title = {Unification Modulo Builtins},
booktitle = {Logic, Language, Information, and Computation - 25th International
Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10944},
pages = {179--195},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-57669-4\_10},
doi = {10.1007/978-3-662-57669-4\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CiobacaAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08308,
author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Dorel Lucanu},
title = {A Coinductive Approach to Proving Reachability Properties in Logically
Constrained Term Rewriting Systems},
journal = {CoRR},
volume = {abs/1804.08308},
year = {2018},
url = {http://arxiv.org/abs/1804.08308},
eprinttype = {arXiv},
eprint = {1804.08308},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02835,
author = {Andrei Arusoaie and
Dorel Lucanu},
title = {Unification in Matching Logic - Extended Version},
journal = {CoRR},
volume = {abs/1811.02835},
year = {2018},
url = {http://arxiv.org/abs/1811.02835},
eprinttype = {arXiv},
eprint = {1811.02835},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AmanKKL17,
author = {Bogdan Aman and
Jetty Kleijn and
Maciej Koutny and
Dorel Lucanu},
title = {Methods for Distributed and Concurrent Systems: Special Issue on the
occasion of the 60th Birthday of Professor Gabriel Ciobanu},
journal = {Fundam. Informaticae},
volume = {153},
number = {1-2},
pages = {v--vi},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1528},
doi = {10.3233/FI-2017-1528},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AmanKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LucanuRA17,
author = {Dorel Lucanu and
Vlad Rusu and
Andrei Arusoaie},
title = {A generic framework for symbolic execution: {A} coinductive approach},
journal = {J. Symb. Comput.},
volume = {80},
pages = {125--163},
year = {2017},
url = {https://doi.org/10.1016/j.jsc.2016.07.012},
doi = {10.1016/J.JSC.2016.07.012},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/LucanuRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/ArusoaieNRL17,
author = {Andrei Arusoaie and
David Nowak and
Vlad Rusu and
Dorel Lucanu},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {A Certified Procedure for {RL} Verification},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {129--136},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00031},
doi = {10.1109/SYNASC.2017.00031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/ArusoaieNRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/ArusoaieCCGL17,
author = {Andrei Arusoaie and
{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Vlad Craciun and
Dragos Gavrilut and
Dorel Lucanu},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {A Comparison of Open-Source Static Analysis Tools for Vulnerability
Detection in {C/C++} Code},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {161--168},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00035},
doi = {10.1109/SYNASC.2017.00035},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/ArusoaieCCGL17.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}
}
@proceedings{DBLP:conf/wrla/2016,
editor = {Dorel Lucanu},
title = {Rewriting Logic and Its Applications - 11th International Workshop,
{WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
April 2-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9942},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44802-2},
doi = {10.1007/978-3-319-44802-2},
isbn = {978-3-319-44801-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ArusoaieLR15,
author = {Andrei Arusoaie and
Dorel Lucanu and
Vlad Rusu},
title = {Symbolic execution based on language transformation},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {48--71},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.004},
doi = {10.1016/J.CL.2015.08.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/ArusoaieLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LucanuR15,
author = {Dorel Lucanu and
Vlad Rusu},
title = {Program equivalence by circular reasoning},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {701--726},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0319-6},
doi = {10.1007/S00165-014-0319-6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LucanuR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AsavoaeBBLR15,
author = {Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu and
Jurriaan Rot},
title = {Model checking recursive programs interacting via the heap},
journal = {Sci. Comput. Program.},
volume = {100},
pages = {61--83},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.009},
doi = {10.1016/J.SCICO.2014.09.009},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AsavoaeBBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucanuRAN15,
author = {Dorel Lucanu and
Vlad Rusu and
Andrei Arusoaie and
David Nowak},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Verifying Reachability-Logic Properties on Rewriting-Logic Specifications},
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 = {451--474},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_21},
doi = {10.1007/978-3-319-23165-5\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucanuRAN15.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/birthday/GAinALOF14,
author = {Daniel G{\^{a}}in{\^{a}} and
Dorel Lucanu and
Kazuhiro Ogata and
Kokichi Futatsugi},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {On Automation of OTS/CafeOBJ Method},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {578--602},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_29},
doi = {10.1007/978-3-642-54624-2\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GAinALOF14.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/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/scp/BonsangueCGLRS13,
author = {Marcello M. Bonsangue and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Dorel Lucanu and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Automatic equivalence proofs for non-deterministic coalgebras},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1324--1345},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.001},
doi = {10.1016/J.SCICO.2012.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BonsangueCGLRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LucanuR13,
author = {Dorel Lucanu and
Vlad Rusu},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Program Equivalence by Circular Reasoning},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {362--377},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_25},
doi = {10.1007/978-3-642-38613-8\_25},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LucanuR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/ArusoaieLR13,
author = {Andrei Arusoaie and
Dorel Lucanu and
Vlad Rusu},
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {A Generic Framework for Symbolic Execution},
booktitle = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
pages = {281--301},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1\_16},
doi = {10.1007/978-3-319-02654-1\_16},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sle/ArusoaieLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1994,
author = {Marcello M. Bonsangue and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Dorel Lucanu and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Automatic Equivalence Proofs for Non-deterministic Coalgebras},
journal = {CoRR},
volume = {abs/1303.1994},
year = {2013},
url = {http://arxiv.org/abs/1303.1994},
eprinttype = {arXiv},
eprint = {1303.1994},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-1994.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/wadt/AsavoaeBBLR12,
author = {Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu and
Jurriaan Rot},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Bounded Model Checking of Recursive Programs with Pointers in {K}},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {59--76},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_4},
doi = {10.1007/978-3-642-37635-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AsavoaeBBLR12.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:journals/corr/abs-1212-3879,
author = {Jurriaan Rot and
Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Interacting via the Heap in the Presence of Recursion},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {99--113},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.9},
doi = {10.4204/EPTCS.104.9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Lucanu11,
author = {Dorel Lucanu},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Preface to CALCO-Tools},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {377},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_26},
doi = {10.1007/978-3-642-22944-2\_26},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Lucanu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AsavoaeAL11,
author = {Mihail Asavoae and
Irina Mariuca Asavoae and
Dorel Lucanu},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {On Abstractions for Timing Analysis in the {\textdollar}{\textbackslash}mathbb\{K\}{\textdollar}
Framework},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {90--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_6},
doi = {10.1007/978-3-642-32495-6\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/AsavoaeAL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/RusuL11,
author = {Vlad Rusu and
Dorel Lucanu},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {A K-Based Formal Framework for Domain-Specific Modelling Languages},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {214--231},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_14},
doi = {10.1007/978-3-642-31762-0\_14},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/RusuL11.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 11:31:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SerbanutaALELR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArusoaieLR14,
author = {Andrei Arusoaie and
Dorel Lucanu and
Vlad Rusu},
editor = {Mark Hills},
title = {Towards a {K} Semantics for {OCL}},
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 = {81--96},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2014.05.004},
doi = {10.1016/J.ENTCS.2014.05.004},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArusoaieLR14.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/sbmf/BonsangueCGLRS10,
author = {Marcello M. Bonsangue and
Georgiana Caltais and
Eugen{-}Ioan Goriac and
Dorel Lucanu and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Decision Procedure for Bisimilarity of Generalized Regular Expressions},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {226--241},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_15},
doi = {10.1007/978-3-642-19829-8\_15},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BonsangueCGLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AsavoaeAL10,
author = {Irina Mariuca Asavoae and
Mihail Asavoae and
Dorel Lucanu},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Path Directed Symbolic Execution in the {K} Framework},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {133--141},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.78},
doi = {10.1109/SYNASC.2010.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AsavoaeAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CiobanuL09,
author = {Gabriel Ciobanu and
Dorel Lucanu},
title = {Model-based Testing and Analysis of Coordinated Components},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {20},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.20.281},
doi = {10.14279/TUJ.ECEASST.20.281},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CiobanuL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Lucanu09,
author = {Dorel Lucanu},
title = {Rewriting Logic-Based Semantics of {P} Systems and the Maximal Concurrency},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {3},
pages = {395--410},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006644},
doi = {10.1142/S0129054109006644},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Lucanu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bci/GrigorasLCG09,
author = {Gheorghe Grigoras and
Dorel Lucanu and
Georgiana Caltais and
Eugen{-}Ioan Goriac},
editor = {Petros Kefalas and
Demosthenes Stamatis and
Christos Douligeris},
title = {Automated Proving of the Behavioral Attributes},
booktitle = {2009 Fourth Balkan Conference in Informatics, {BCI} 2009, Thessaloniki,
Greece, 17-19 September 2009},
pages = {33--38},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/BCI.2009.40},
doi = {10.1109/BCI.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bci/GrigorasLCG09.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/synasc/GoriacCL09,
author = {Eugen{-}Ioan Goriac and
Georgiana Caltais and
Dorel Lucanu},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Simplification and Generalization in {CIRC}},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.54},
doi = {10.1109/SYNASC.2009.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/GoriacCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CaltaisGLG08,
author = {Georgiana Caltais and
Eugen{-}Ioan Goriac and
Dorel Lucanu and
Gheorghe Grigoras},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Rewrite Stack Machine for ROC!},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {85--91},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.76},
doi = {10.1109/SYNASC.2008.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CaltaisGLG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiL09,
author = {Oana Andrei and
Dorel Lucanu},
editor = {Grigore Rosu},
title = {Strategy-Based Proof Calculus for Membrane Systems},
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 = {23--43},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.011},
doi = {10.1016/J.ENTCS.2009.05.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucanu09,
author = {Dorel Lucanu},
editor = {Aart Middeldorp},
title = {Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal
Concurrency of Evolution Rule Actions},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {107--125},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.038},
doi = {10.1016/J.ENTCS.2009.03.038},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucanu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoriacCLAG09,
author = {Eugen{-}Ioan Goriac and
Georgiana Caltais and
Dorel Lucanu and
Oana Andrei and
Gheorghe Grigoras},
editor = {Grigore Rosu},
title = {Patterns for Maude Metalanguage Applications},
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 = {121--138},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.016},
doi = {10.1016/J.ENTCS.2009.05.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoriacCLAG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndreiCL07,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
title = {A rewriting logic framework for operational semantics of membrane
systems},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {3},
pages = {163--181},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.016},
doi = {10.1016/J.TCS.2006.12.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndreiCL07.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/membrane/CiobanuL07,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Events, Causality, and Concurrency in Membrane Systems},
booktitle = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki,
Greece, June 25-28, 2007 Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4860},
pages = {209--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77312-2\_13},
doi = {10.1007/978-3-540-77312-2\_13},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/CiobanuL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Lucanu07,
author = {Dorel Lucanu},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Proving Behavioral Commutativity with {CIRC}},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.70},
doi = {10.1109/SYNASC.2007.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Lucanu07.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}
}
@article{DBLP:journals/sigsoft/CiobanuL06,
author = {Gabriel Ciobanu and
Dorel Lucanu},
title = {A specification language for coordinated objects},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123062},
doi = {10.1145/1118537.1123062},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CiobanuL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucanuLD06,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Semantic Web Languages - Towards an Institutional Perspective},
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 = {99--123},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_6},
doi = {10.1007/11780274\_6},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucanuLD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL06,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Expressing Control Mechanisms of Membranes by Rewriting Strategies},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {154--169},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_10},
doi = {10.1007/11963516\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL05,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Structural Operational Semantics of {P} Systems},
booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna,
Austria, July 18-21, 2005, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3850},
pages = {31--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_2},
doi = {10.1007/11603047\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LucanuLD05,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Institution Morphisms for Relating {OWL} and {Z}},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {286--291},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/LucanuLD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Gary T. Leavens},
title = {A specification language for coordinated objects},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {3},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123062},
doi = {10.1145/1123058.1123062},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DanesLC05,
author = {Mihai Danes and
Dorel Lucanu and
Gabriel Ciobanu},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Specification of Coordinated Objects and Verification of Their Temporal
Properties},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {259--266},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.67},
doi = {10.1109/SYNASC.2005.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DanesLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LucanuLD05,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Soundness proof of {Z} semantics of {OWL} using institutions},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {1048--1049},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062862},
doi = {10.1145/1062745.1062862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/LucanuLD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiLC06,
author = {Oana Andrei and
Dorel Lucanu and
Gabriel Ciobanu},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Operational Semantics and Rewriting Logic in Membrane Computing},
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 = {57--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.028},
doi = {10.1016/J.ENTCS.2005.10.028},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GrigorasL04,
author = {Gheorghe Grigoras and
Dorel Lucanu},
title = {On Hidden Algebra Semantics of Object Oriented Languages},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {51--68},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&\#38;a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GrigorasL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CiobanuL04,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Specification and Verification of Synchronizing Concurrent Objects},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {307--327},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_17},
doi = {10.1007/978-3-540-24756-2\_17},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/CiobanuL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AndreiCL04,
author = {Oana Andrei and
Gabriel Ciobanu and
Dorel Lucanu},
editor = {Giancarlo Mauri and
Gheorghe Paun and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Executable Specifications of {P} Systems},
booktitle = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3365},
pages = {126--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31837-8\_7},
doi = {10.1007/978-3-540-31837-8\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AndreiCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/upp/CiobanuL04,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Jean{-}Pierre Ban{\^{a}}tre and
Pascal Fradet and
Jean{-}Louis Giavitto and
Olivier Michel},
title = {Cellular Meta-programming over Membranes},
booktitle = {Unconventional Programming Paradigms, International Workshop {UPP}
2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3566},
pages = {196--206},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527800\_16},
doi = {10.1007/11527800\_16},
timestamp = {Thu, 17 Aug 2023 17:06:47 +0200},
biburl = {https://dblp.org/rec/conf/upp/CiobanuL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LucanuC04,
author = {Dorel Lucanu and
Gabriel Ciobanu},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Model Checking for Object Specifications in Hidden Algebra},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {97--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_10},
doi = {10.1007/978-3-540-24622-0\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LucanuC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Communicating Concurrent Objects in HiddenCCS},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {353--373},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.018},
doi = {10.1016/J.ENTCS.2004.06.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu03,
author = {Dorel Lucanu},
title = {Initial Logic and Induction in Algebraic Specification},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {143},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&\#38;a=8},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lucanu03,
author = {Dorel Lucanu},
title = {Relaxed models for rewriting logic},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {265--289},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00331-0},
doi = {10.1016/S0304-3975(01)00331-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lucanu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu02,
author = {Dorel Lucanu},
title = {Initial Logic and Induction in Algebraic Specification},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {79--108},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&\#38;a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GrosuLS00,
author = {Radu Grosu and
Dorel Lucanu and
Gheorghe Stefanescu},
title = {Mixed Relations as Enriched Semiringal Categories},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {1},
pages = {112--129},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-01-0112},
doi = {10.3217/JUCS-006-01-0112},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GrosuLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Lucanu99,
author = {Dorel Lucanu},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Axiomatization of the Coherence Property for Categories of Symmetries},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {386--397},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_32},
doi = {10.1007/3-540-48321-7\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Lucanu99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucanuGA99,
author = {Dorel Lucanu and
Ovidiu Gheorghies and
Adriana Apetrei},
editor = {Bart Jacobs and
Jan J. M. M. Rutten},
title = {Bisimulation and Hidden Algebra},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
Netherlands, March 20-21, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {19},
pages = {181--200},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80276-2},
doi = {10.1016/S1571-0661(05)80276-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucanuGA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LucanuS96,
author = {Dorel Lucanu and
Nicolae Surpatanu},
title = {On Refinement in Rewriting Logic},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {67--84},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/LucanuS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu94,
author = {Dorel Lucanu},
title = {Fixed-point Solutions for Ground Term Rewriting Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {75--84},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Lucanu87,
author = {Dorel Lucanu},
title = {Several properties of array languages},
journal = {Inf. Sci.},
volume = {43},
number = {3},
pages = {185--203},
year = {1987},
url = {https://doi.org/10.1016/0020-0255(87)90038-7},
doi = {10.1016/0020-0255(87)90038-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Lucanu87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:14 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:
