Dorel Lucanu

105 papers A 1B 14C 6Misc 11Journal 34Unranked 38
YearRankTypeTitle / Venue / Authors
2026 B conf
$\mathbb {K}$ Definitions as Matching Logic Theories, Formally.
FoSSaCS
Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu
2025 — conf
Navigating the Python Type Jungle.
FROM
Andrei Nacu, Dorel Lucanu
2025 — conf
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models.
FROM
Stefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
2024 B conf
A Formal Tainting-Based Framework for Malware Analysis.
IFM
Andrei Mogage, Dorel Lucanu
2024 J jnl
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.
Sci. Ann. Comput. Sci.
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu
2024 J jnl
GView: A Versatile Assistant for Security Researchers.
CoRR
Raul Zaharia, Dragos Gavrilut, Gheorghita Mutu, Dorel Lucanu
2024 J jnl
GView: A versatile assistant for security researchers.
SoftwareX
Raul Zaharia, Dragos Gavrilut, Gheorghita Mutu, Dorel Lucanu
2024 — conf
Interactive Assistance in Malware Dissemination Detection and Analysis.
SCID@AsiaCCS
Raul Zaharia, Dragos Gavrilut, Gheorghita Mutu, Dorel Lucanu
2024 Misc conf
MACE: Malware Analysis and Clustering Engine.
SYNASC
Andrei Zaborila, Mihaela Elena Breaban, Dorel Lucanu
2024 J jnl
Proof-carrying parameters in certified symbolic execution.
Log. J. IGPL
Andrei Arusoaie, Dorel Lucanu
2024 — conf
Static Analysis Framework for Detecting Use-After-Free Bugs in C++.
FROM
Vlad-Alexandru Teodorescu, Dorel Lucanu
2024 — conf
Towards Logical Specification and Checking of Evasive Malware.
PhD@IFM
Andrei Mogage, Dorel Lucanu
2023 J jnl
Capturing constrained constructor patterns in matching logic.
J. Log. Algebraic Methods Program.
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2023 J jnl
Full Transparency in DBI frameworks.
CoRR
Vlad Craciun, Andrei Mogage, Dorel Lucanu
2023 B conf
Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem.
KES
Mihaela Breaban, Raluca Necula, Dorel Lucanu, Daniel Stamate
2023 — conf
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.
FROM
Dorel Lucanu
2023 J jnl
Operationally-based program equivalence proofs using LCTRSs.
J. Log. Algebraic Methods Program.
Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana
2022 C conf
A Matching Logic Foundation for Alk.
ICTAC
Alexandru-Ioan Lungu, Dorel Lucanu
2022 — conf
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification.
FROM
Andrei Arusoaie, Dorel Lucanu
2022 Misc conf
Supporting Algorithm Analysis with Symbolic Execution in Alk.
TASE
Alexandru-Ioan Lungu, Dorel Lucanu
2021 J jnl
Matching logic explained.
J. Log. Algebraic Methods Program.
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2020 — conf
Connecting Constrained Constructor Patterns and Matching Logic.
WRLA
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2020 J jnl
Operationally-based Program Equivalence Proofs using LCTRSs.
CoRR
Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana
2020 J jnl
Preface.
Fundam. Informaticae
Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu
2019 B conf
Unification in Matching Logic.
FM
Andrei Arusoaie, Dorel Lucanu
2018 A conf
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.
IJCAR
Stefan Ciobaca, Dorel Lucanu
2018 J jnl
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.
CoRR
Stefan Ciobaca, Dorel Lucanu
2018 Misc conf
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts.
SYNASC
Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu
2018 J jnl
Editor's foreword.
J. Log. Algebraic Methods Program.
Dorel Lucanu
2018 Misc conf
Proving Reachability Properties by Coinduction (Extended Abstract).
SYNASC
Dorel Lucanu
2018 C conf
Unification Modulo Builtins.
WoLLIC
Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu
2018 J jnl
Unification in Matching Logic - Extended Version.
CoRR
Andrei Arusoaie, Dorel Lucanu
2017 Misc conf
A Certified Procedure for RL Verification.
SYNASC
Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
2017 Misc conf
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code.
SYNASC
Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu
2017 J jnl
A generic framework for symbolic execution: A coinductive approach.
J. Symb. Comput.
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
2017 J jnl
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.
Fundam. Informaticae
Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
2016 J jnl
A language-independent proof system for full program equivalence.
Formal Aspects Comput.
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
2016 J jnl
Language definitions as rewrite theories.
J. Log. Algebraic Methods Program.
Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu
2016 — ed.
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
WRLA
Dorel Lucanu
2016 — conf
Towards a \mathbb K K ool Future.
Theory and Practice of Formal Methods
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu
2015 J jnl
Model checking recursive programs interacting via the heap.
Sci. Comput. Program.
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2015 J jnl
Program equivalence by circular reasoning.
Formal Aspects Comput.
Dorel Lucanu, Vlad Rusu
2015 J jnl
Symbolic execution based on language transformation.
Comput. Lang. Syst. Struct.
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2015 — conf
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.
Logic, Rewriting, and Concurrency
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
2014 C conf
A Language-Independent Proof System for Mutual Program Equivalence.
ICFEM
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
2014 — conf
A Theoretical Foundation for Programming Languages Aggregation.
WADT
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
2014 — conf
Behavioral Rewrite Systems and Behavioral Productivity.
Specification, Algebra, and Software
Grigore Rosu, Dorel Lucanu
2014 — conf
Language Definitions as Rewrite Theories.
WRLA
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu
2014 — conf
On Automation of OTS/CafeOBJ Method.
Specification, Algebra, and Software
Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
2013 B conf
A Generic Framework for Symbolic Execution.
SLE
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2013 J jnl
Automatic Equivalence Proofs for Non-deterministic Coalgebras
CoRR
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 J jnl
Automatic equivalence proofs for non-deterministic coalgebras.
Sci. Comput. Program.
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 B conf
Program Equivalence by Circular Reasoning.
IFM
Dorel Lucanu, Vlad Rusu
2012 — conf
Bounded Model Checking of Recursive Programs with Pointers in K.
WADT
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2012 B conf
Executing Formal Semantics with the K Tool.
FM
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
2012 — conf
Interacting via the Heap in the Presence of Recursion
ICE
Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
2012 — conf
K Framework Distilled.
WRLA
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu
2011 — conf
A K-Based Formal Framework for Domain-Specific Modelling Languages.
FoVeOOS
Vlad Rusu, Dorel Lucanu
2011 — conf
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework.
FOPARA
Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu
2011 B conf
Preface to CALCO-Tools.
CALCO
Dorel Lucanu
2011 — conf
The K Primer (version 3.3).
K
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu
2011 — conf
Towards a K Semantics for OCL.
K
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2010 — conf
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
SBMF
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2010 C conf
Automating Coinduction with Case Analysis.
ICFEM
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu
2010 Misc conf
Path Directed Symbolic Execution in the K Framework.
SYNASC
Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu
2009 — conf
Automated Proving of the Behavioral Attributes.
BCI
Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac
2009 B conf
CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
CALCO
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu
2009 C conf
Circular Coinduction with Special Contexts.
ICFEM
Dorel Lucanu, Grigore Rosu
2009 B conf
Circular Coinduction: A Proof Theoretical Foundation.
CALCO
Grigore Rosu, Dorel Lucanu
2009 J jnl
Model-based Testing and Analysis of Coordinated Components.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Gabriel Ciobanu, Dorel Lucanu
2009 J jnl
Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency.
Int. J. Found. Comput. Sci.
Dorel Lucanu
2009 Misc conf
Simplification and Generalization in CIRC.
SYNASC
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu
2008 Misc conf
A Rewrite Stack Machine for ROC!.
SYNASC
Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras
2008 — conf
Patterns for Maude Metalanguage Applications.
WRLA
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras
2008 — conf
Strategy-Based Proof Calculus for Membrane Systems.
WRLA
Oana Andrei, Dorel Lucanu
2008 — conf
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions.
WRS@RTA
Dorel Lucanu
2007 J jnl
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci.
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2007 B conf
CIRC : A Circular Coinductive Prover.
CALCO
Dorel Lucanu, Grigore Rosu
2007 — conf
Events, Causality, and Concurrency in Membrane Systems.
Workshop on Membrane Computing
Gabriel Ciobanu, Dorel Lucanu
2007 Misc conf
Proving Behavioral Commutativity with CIRC.
SYNASC
Dorel Lucanu
2007 — conf
Regular Strategies as Proof Tactics for CIRC.
WRS@RDP
Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras
2006 J jnl
A specification language for coordinated objects.
ACM SIGSOFT Softw. Eng. Notes
Gabriel Ciobanu, Dorel Lucanu
2006 — conf
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2006 — conf
Semantic Web Languages - Towards an Institutional Perspective.
Essays Dedicated to Joseph A. Goguen
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2005 — conf
A specification language for coordinated objects.
SAVCBS@ESEC/FSE
Gabriel Ciobanu, Dorel Lucanu
2005 C conf
Institution Morphisms for Relating OWL and Z.
SEKE
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2005 — conf
Operational Semantics and Rewriting Logic in Membrane Computing.
SOS@ICALP
Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
2005 — conf
Soundness proof of Z semantics of OWL using institutions.
WWW (Special interest tracks and posters)
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2005 Misc conf
Specification of Coordinated Objects and Verification of Their Temporal Properties.
SYNASC
Mihai Danes, Dorel Lucanu, Gabriel Ciobanu
2005 — conf
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2004 — conf
Cellular Meta-programming over Membranes.
UPP
Gabriel Ciobanu, Dorel Lucanu
2004 — conf
Communicating Concurrent Objects in HiddenCCS.
WRLA
Gabriel Ciobanu, Dorel Lucanu
2004 — conf
Executable Specifications of P Systems.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2004 B conf
Model Checking for Object Specifications in Hidden Algebra.
VMCAI
Dorel Lucanu, Gabriel Ciobanu
2004 J jnl
On Hidden Algebra Semantics of Object Oriented Languages.
Sci. Ann. Cuza Univ.
Gheorghe Grigoras, Dorel Lucanu
2004 B conf
Specification and Verification of Synchronizing Concurrent Objects.
IFM
Gabriel Ciobanu, Dorel Lucanu
2003 J jnl
Initial Logic and Induction in Algebraic Specification.
Sci. Ann. Cuza Univ.
Dorel Lucanu
2003 J jnl
Relaxed models for rewriting logic.
Theor. Comput. Sci.
Dorel Lucanu
2002 J jnl
Initial Logic and Induction in Algebraic Specification.
Sci. Ann. Cuza Univ.
Dorel Lucanu
2000 J jnl
Mixed Relations as Enriched Semiringal Categories.
J. Univers. Comput. Sci.
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
1999 B conf
Axiomatization of the Coherence Property for Categories of Symmetries.
FCT
Dorel Lucanu
1999 — conf
Bisimulation and Hidden Algebra.
CMCS
Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei
1996 J jnl
On Refinement in Rewriting Logic.
Sci. Ann. Cuza Univ.
Dorel Lucanu, Nicolae Surpatanu
1994 J jnl
Fixed-point Solutions for Ground Term Rewriting Systems.
Sci. Ann. Cuza Univ.
Dorel Lucanu
1987 J jnl
Several properties of array languages.
Inf. Sci.
Dorel Lucanu