default search action
Dorel Lucanu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu:
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. Sci. Ann. Comput. Sci. 34(1): 39-66 (2024) - [j27]Andrei Arusoaie, Dorel Lucanu:
Proof-carrying parameters in certified symbolic execution. Log. J. IGPL 32(3): 534-571 (2024) - [j26]Raul Zaharia, Dragos Gavrilut, Gheorghita Mutu, Dorel Lucanu:
GView: A versatile assistant for security researchers. SoftwareX 28: 101940 (2024) - [c65]Andrei Mogage, Dorel Lucanu:
A Formal Tainting-Based Framework for Malware Analysis. IFM 2024: 3-23 - [c64]Andrei Mogage, Dorel Lucanu:
Towards Logical Specification and Checking of Evasive Malware. PhD@IFM 2024: 30-37 - [c63]Raul Zaharia
, Dragos Gavrilut
Interactive Assistance in Malware Dissemination Detection and Analysis. SCID@AsiaCCS 2024: 7 - [i7]Raul Zaharia
GView: A Versatile Assistant for Security Researchers. CoRR abs/2404.09058 (2024) - [i6]Vlad-Alexandru Teodorescu, Dorel Lucanu:
Static Analysis Framework for Detecting Use-After-Free Bugs in C++. CoRR abs/2410.23764 (2024) - 2023
- [j25]Xiaohong Chen
Capturing constrained constructor patterns in matching logic. J. Log. Algebraic Methods Program. 130: 100810 (2023) - [j24]Stefan Ciobaca, Dorel Lucanu
Operationally-based program equivalence proofs using LCTRSs. J. Log. Algebraic Methods Program. 135: 100894 (2023) - [c62]Mihaela Breaban, Raluca Necula, Dorel Lucanu, Daniel Stamate:
Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem. KES 2023: 3498-3507 - [c61]Dorel Lucanu:
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. FROM 2023: 41-55 - [i5]Vlad Craciun, Andrei Mogage, Dorel Lucanu:
Full Transparency in DBI frameworks. CoRR abs/2306.13529 (2023) - 2022
- [c60]Alexandru-Ioan Lungu, Dorel Lucanu:
A Matching Logic Foundation for Alk. ICTAC 2022: 290-304 - [c59]Alexandru-Ioan Lungu, Dorel Lucanu:
Supporting Algorithm Analysis with Symbolic Execution in Alk. TASE 2022: 406-423 - [c58]Andrei Arusoaie, Dorel Lucanu:
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. FROM 2022: 1-16 - 2021
- [j23]Xiaohong Chen, Dorel Lucanu
Matching logic explained. J. Log. Algebraic Methods Program. 120: 100638 (2021) - 2020
- [j22]Jetty Kleijn, Laurentiu Leustean
Preface. Fundam. Informaticae 173(2-3) (2020) - [c57]Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. WRLA@ETAPS 2020: 19-37 - [i4]Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana:
Operationally-based Program Equivalence Proofs using LCTRSs. CoRR abs/2001.09649 (2020)
2010 – 2019
- 2019
- [c56]Andrei Arusoaie, Dorel Lucanu:
Unification in Matching Logic. FM 2019: 502-518 - 2018
- [j21]Dorel Lucanu
Editor's foreword. J. Log. Algebraic Methods Program. 101: 42-43 (2018) - [c55]Stefan Ciobaca, Dorel Lucanu:
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. IJCAR 2018: 295-311 - [c54]Dorel Lucanu
Proving Reachability Properties by Coinduction (Extended Abstract). SYNASC 2018: 6-7 - [c53]Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. SYNASC 2018: 280-287 - [c52]Stefan Ciobaca, Andrei Arusoaie
Unification Modulo Builtins. WoLLIC 2018: 179-195 - [i3]Stefan Ciobaca, Dorel Lucanu:
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. CoRR abs/1804.08308 (2018) - [i2]Andrei Arusoaie, Dorel Lucanu:
Unification in Matching Logic - Extended Version. CoRR abs/1811.02835 (2018) - 2017
- [j20]Bogdan Aman
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017) - [j19]Dorel Lucanu
A generic framework for symbolic execution: A coinductive approach. J. Symb. Comput. 80: 125-163 (2017) - [c51]Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
A Certified Procedure for RL Verification. SYNASC 2017: 129-136 - [c50]Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. SYNASC 2017: 161-168 - 2016
- [j18]Stefan Ciobaca, Dorel Lucanu
A language-independent proof system for full program equivalence. Formal Aspects Comput. 28(3): 469-497 (2016) - [j17]Vlad Rusu, Dorel Lucanu
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85(1): 98-120 (2016) - [c49]Dorel Lucanu
Towards a \mathbb K K ool Future. Theory and Practice of Formal Methods 2016: 325-343 - [e1]Dorel Lucanu:
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. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5 [contents] - 2015
- [j16]Andrei Arusoaie
Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44: 48-71 (2015) - [j15]Dorel Lucanu
Program equivalence by circular reasoning. Formal Aspects Comput. 27(4): 701-726 (2015) - [j14]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100: 61-83 (2015) - [c48]Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency 2015: 451-474 - 2014
- [c47]Grigore Rosu, Dorel Lucanu:
Behavioral Rewrite Systems and Behavioral Productivity. Specification, Algebra, and Software 2014: 296-314 - [c46]Daniel Gâinâ
On Automation of OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 578-602 - [c45]Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Language-Independent Proof System for Mutual Program Equivalence. ICFEM 2014: 75-90 - [c44]Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Theoretical Foundation for Programming Languages Aggregation. WADT 2014: 30-47 - [c43]Andrei Arusoaie
Language Definitions as Rewrite Theories. WRLA 2014: 97-112 - 2013
- [j13]Marcello M. Bonsangue
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78(9): 1324-1345 (2013) - [c42]Dorel Lucanu, Vlad Rusu:
Program Equivalence by Circular Reasoning. IFM 2013: 362-377 - [c41]Andrei Arusoaie
A Generic Framework for Symbolic Execution. SLE 2013: 281-301 - [i1]Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
Automatic Equivalence Proofs for Non-deterministic Coalgebras. CoRR abs/1303.1994 (2013) - 2012
- [c40]David Lazar, Andrei Arusoaie
Executing Formal Semantics with the K Tool. FM 2012: 267-271 - [c39]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Bounded Model Checking of Recursive Programs with Pointers in K. WADT 2012: 59-76 - [c38]Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
K Framework Distilled. WRLA 2012: 31-53 - [c37]Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Interacting via the Heap in the Presence of Recursion. ICE 2012: 99-113 - 2011
- [c36]Dorel Lucanu:
Preface to CALCO-Tools. CALCO 2011: 377 - [c35]Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu:
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. FOPARA 2011: 90-107 - [c34]Vlad Rusu, Dorel Lucanu:
A K-Based Formal Framework for Domain-Specific Modelling Languages. FoVeOOS 2011: 214-231 - [c33]Traian-Florin Serbanuta, Andrei Arusoaie
The K Primer (version 3.3). K 2011: 57-80 - [c32]Andrei Arusoaie
Towards a K Semantics for OCL. K 2011: 81-96 - 2010
- [c31]Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu:
Automating Coinduction with Case Analysis. ICFEM 2010: 220-236 - [c30]Marcello M. Bonsangue
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF 2010: 226-241 - [c29]Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu:
Path Directed Symbolic Execution in the K Framework. SYNASC 2010: 133-141
2000 – 2009
- 2009
- [j12]Gabriel Ciobanu, Dorel Lucanu:
Model-based Testing and Analysis of Coordinated Components. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009) - [j11]Dorel Lucanu:
Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency. Int. J. Found. Comput. Sci. 20(3): 395-410 (2009) - [c28]Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac:
Automated Proving of the Behavioral Attributes. BCI 2009: 33-38 - [c27]Grigore Rosu, Dorel Lucanu:
Circular Coinduction: A Proof Theoretical Foundation. CALCO 2009: 127-144 - [c26]Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442 - [c25]Dorel Lucanu, Grigore Rosu:
Circular Coinduction with Special Contexts. ICFEM 2009: 639-659 - [c24]Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu:
Simplification and Generalization in CIRC. SYNASC 2009: 85-92 - 2008
- [c23]Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras:
A Rewrite Stack Machine for ROC!. SYNASC 2008: 85-91 - [c22]Oana Andrei
Strategy-Based Proof Calculus for Membrane Systems. WRLA 2008: 23-43 - [c21]Dorel Lucanu:
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. WRS@RTA 2008: 107-125 - [c20]Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei
Patterns for Maude Metalanguage Applications. WRLA 2008: 121-138 - 2007
- [j10]Oana Andrei
A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007) - [c19]Dorel Lucanu, Grigore Rosu:
CIRC : A Circular Coinductive Prover. CALCO 2007: 372-378 - [c18]Gabriel Ciobanu
Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227 - [c17]Dorel Lucanu:
Proving Behavioral Commutativity with CIRC. SYNASC 2007: 85-92 - [c16]Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC. WRS@RDP 2007: 83-98 - 2006
- [j9]Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c15]Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen 2006: 99-123 - [c14]Oana Andrei
Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169 - 2005
- [c13]Oana Andrei
Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48 - [c12]Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291 - [c11]Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. SAVCBS@ESEC/FSE 2005: 3 - [c10]Mihai Danes, Dorel Lucanu
Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266 - [c9]Dorel Lucanu, Yuan-Fang Li
Soundness proof of Z semantics of OWL using institutions. WWW (Special interest tracks and posters) 2005: 1048-1049 - [c8]Oana Andrei
Operational Semantics and Rewriting Logic in Membrane Computing. SOS@ICALP 2005: 57-78 - 2004
- [j8]Gheorghe Grigoras, Dorel Lucanu:
On Hidden Algebra Semantics of Object Oriented Languages. Sci. Ann. Cuza Univ. 14: 51-68 (2004) - [c7]Gabriel Ciobanu
Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327 - [c6]Oana Andrei, Gabriel Ciobanu
Executable Specifications of P Systems. Workshop on Membrane Computing 2004: 126-145 - [c5]Gabriel Ciobanu
Cellular Meta-programming over Membranes. UPP 2004: 196-206 - [c4]Dorel Lucanu, Gabriel Ciobanu
Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109 - [c3]Gabriel Ciobanu
Communicating Concurrent Objects in HiddenCCS. WRLA 2004: 353-373 - 2003
- [j7]Dorel Lucanu:
Initial Logic and Induction in Algebraic Specification. Sci. Ann. Cuza Univ. 13: 143- (2003) - [j6]Dorel Lucanu:
Relaxed models for rewriting logic. Theor. Comput. Sci. 290(1): 265-289 (2003) - 2002
- [j5]Dorel Lucanu:
Initial Logic and Induction in Algebraic Specification. Sci. Ann. Cuza Univ. 12: 79-108 (2002) - 2000
- [j4]Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories. J. Univers. Comput. Sci. 6(1): 112-129 (2000)
1990 – 1999
- 1999
- [c2]Dorel Lucanu:
Axiomatization of the Coherence Property for Categories of Symmetries. FCT 1999: 386-397 - [c1]Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei:
Bisimulation and Hidden Algebra. CMCS 1999: 181-200 - 1996
- [j3]Dorel Lucanu, Nicolae Surpatanu:
On Refinement in Rewriting Logic. Sci. Ann. Cuza Univ. 5: 67-84 (1996) - 1994
- [j2]Dorel Lucanu:
Fixed-point Solutions for Ground Term Rewriting Systems. Sci. Ann. Cuza Univ. 3: 75-84 (1994)
1980 – 1989
- 1987
- [j1]Dorel Lucanu:
Several properties of array languages. Inf. Sci. 43(3): 185-203 (1987)
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:56 CET 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: