Several properties of array languages. - Dorel Lucanu (Inf. Sci., 1987)

Fixed-point Solutions for Ground Term Rewriting Systems. - Dorel Lucanu (Sci. Ann. Cuza Univ., 1994)

On Refinement in Rewriting Logic. - Dorel Lucanu; Nicolae Surpatanu (Sci. Ann. Cuza Univ., 1996)

Axiomatization of the Coherence Property for Categories of Symmetries. - Dorel Lucanu (FCT, 1999)

Bisimulation and Hidden Algebra. - Dorel Lucanu; Ovidiu Gheorghies; Adriana Apetrei (CMCS, 1999)

Mixed Relations as Enriched Semiringal Categories. - Radu Grosu; Dorel Lucanu; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2000)

Initial Logic and Induction in Algebraic Specification. - Dorel Lucanu (Sci. Ann. Cuza Univ., 2002)

Relaxed models for rewriting logic. - Dorel Lucanu (Theor. Comput. Sci., 2003)

Specification and Verification of Synchronizing Concurrent Objects. - Gabriel Ciobanu; Dorel Lucanu (IFM, 2004)

Executable Specifications of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2004)

Cellular Meta-programming over Membranes. - Gabriel Ciobanu; Dorel Lucanu (UPP, 2004)

Model Checking for Object Specifications in Hidden Algebra. - Dorel Lucanu; Gabriel Ciobanu (VMCAI, 2004)

On Hidden Algebra Semantics of Object Oriented Languages. - Gheorghe Grigoras; Dorel Lucanu (Sci. Ann. Cuza Univ., 2004)

Communicating Concurrent Objects in HiddenCCS. - Gabriel Ciobanu; Dorel Lucanu (WRLA, 2004)

Structural Operational Semantics of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2005)

Institution Morphisms for Relating OWL and Z. - Dorel Lucanu; Yuan-Fang Li; Jin Song Dong (SEKE, 2005)

Specification of Coordinated Objects and Verification of Their Temporal Properties. - Mihai Danes; Dorel Lucanu; Gabriel Ciobanu (SYNASC, 2005)

Soundness proof of Z semantics of OWL using institutions. - Dorel Lucanu; Yuan-Fang Li; Jin Song Dong (WWW (Special interest tracks and posters), 2005)

Operational Semantics and Rewriting Logic in Membrane Computing. - Oana Andrei; Dorel Lucanu; Gabriel Ciobanu (SOS@ICALP, 2005)

Semantic Web Languages - Towards an Institutional Perspective. - Dorel Lucanu; Yuan-Fang Li; Jin Song Dong (Essays Dedicated to Joseph A. Goguen, 2006)

Expressing Control Mechanisms of Membranes by Rewriting Strategies. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2006)

A specification language for coordinated objects. - Gabriel Ciobanu; Dorel Lucanu (ACM SIGSOFT Softw. Eng. Notes, 2006)

CIRC : A Circular Coinductive Prover. - Dorel Lucanu; Grigore Rosu (CALCO, 2007)

Events, Causality, and Concurrency in Membrane Systems. - Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2007)

Proving Behavioral Commutativity with CIRC. - Dorel Lucanu (SYNASC, 2007)

Regular Strategies as Proof Tactics for CIRC. - Dorel Lucanu; Grigore Rosu; Gheorghe Grigoras (WRS@RDP, 2007)

A rewriting logic framework for operational semantics of membrane systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Theor. Comput. Sci., 2007)

A Rewrite Stack Machine for ROC!. - Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Gheorghe Grigoras (SYNASC, 2008)

Strategy-Based Proof Calculus for Membrane Systems. - Oana Andrei; Dorel Lucanu (WRLA, 2008)

Patterns for Maude Metalanguage Applications. - Eugen-Ioan Goriac; Georgiana Caltais; Dorel Lucanu; Oana Andrei; Gheorghe Grigoras (WRLA, 2008)

Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. - Dorel Lucanu (WRS@RTA, 2008)

Automated Proving of the Behavioral Attributes. - Gheorghe Grigoras; Dorel Lucanu; Georgiana Caltais; Eugen-Ioan Goriac (BCI, 2009)

CIRC: A Behavioral Verification Tool Based on Circular Coinduction. - Dorel Lucanu; Eugen-Ioan Goriac; Georgiana Caltais; Grigore Rosu (CALCO, 2009)

Circular Coinduction: A Proof Theoretical Foundation. - Grigore Rosu; Dorel Lucanu (CALCO, 2009)

Circular Coinduction with Special Contexts. - Dorel Lucanu; Grigore Rosu (ICFEM, 2009)

Simplification and Generalization in CIRC. - Eugen-Ioan Goriac; Georgiana Caltais; Dorel Lucanu (SYNASC, 2009)

Model-based Testing and Analysis of Coordinated Components. - Gabriel Ciobanu; Dorel Lucanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency. - Dorel Lucanu (Int. J. Found. Comput. Sci., 2009)

Automating Coinduction with Case Analysis. - Eugen-Ioan Goriac; Dorel Lucanu; Grigore Rosu (ICFEM, 2010)

A Decision Procedure for Bisimilarity of Generalized Regular Expressions. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (SBMF, 2010)

Path Directed Symbolic Execution in the K Framework. - Irina Mariuca Asavoae; Mihail Asavoae; Dorel Lucanu (SYNASC, 2010)

Preface to CALCO-Tools. - Dorel Lucanu (CALCO, 2011)

On Abstractions for Timing Analysis in the $ mathbb{K}$ Framework. - Mihail Asavoae; Irina Mariuca Asavoae; Dorel Lucanu (FOPARA, 2011)

A K-Based Formal Framework for Domain-Specific Modelling Languages. - Vlad Rusu; Dorel Lucanu (FoVeOOS, 2011)

Towards a K Semantics for OCL. - Andrei Arusoaie; Dorel Lucanu; Vlad Rusu (K, 2011)

The K Primer (version 3.3). - Traian-Florin Serbanuta; Andrei Arusoaie; David Lazar; Chucky Ellison; Dorel Lucanu; Grigore Rosu (K, 2011)

Executing Formal Semantics with the K Tool. - David Lazar; Andrei Arusoaie; Traian-Florin Serbanuta; Chucky Ellison; Radu Mereuta; Dorel Lucanu; Grigore Rosu (FM, 2012)

Bounded Model Checking of Recursive Programs with Pointers in K. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (WADT, 2012)

K Framework Distilled. - Dorel Lucanu; Traian-Florin Serbanuta; Grigore Rosu (WRLA, 2012)

Interacting via the Heap in the Presence of Recursion - Jurriaan Rot; Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu (ICE, 2012)

A Generic Framework for Symbolic Execution. - Andrei Arusoaie; Dorel Lucanu; Vlad Rusu (SLE, 2013)

Automatic equivalence proofs for non-deterministic coalgebras. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (Sci. Comput. Program., 2013)

On Automation of OTS/CafeOBJ Method. - Daniel Gâinâ; Dorel Lucanu; Kazuhiro Ogata 001; Kokichi Futatsugi (Specification, Algebra, and Software, 2014)

Behavioral Rewrite Systems and Behavioral Productivity. - Grigore Rosu; Dorel Lucanu (Specification, Algebra, and Software, 2014)

A Language-Independent Proof System for Mutual Program Equivalence. - Stefan Ciobaca; Dorel Lucanu; Vlad Rusu; Grigore Rosu (ICFEM, 2014)

A Theoretical Foundation for Programming Languages Aggregation. - Stefan Ciobaca; Dorel Lucanu; Vlad Rusu; Grigore Rosu (WADT, 2014)

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. - Dorel Lucanu; Vlad Rusu; Andrei Arusoaie; David Nowak (Logic, Rewriting, and Concurrency, 2015)

Symbolic execution based on language transformation. - Andrei Arusoaie; Dorel Lucanu; Vlad Rusu (Comput. Lang. Syst. Struct., 2015)

Program equivalence by circular reasoning. - Dorel Lucanu; Vlad Rusu (Formal Aspects Comput., 2015)

Model checking recursive programs interacting via the heap. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (Sci. Comput. Program., 2015)

Towards a mathbb K K ool Future. - Dorel Lucanu; Traian-Florin Serbanuta; Grigore Rosu (Theory and Practice of Formal Methods, 2016)

A language-independent proof system for full program equivalence. - Stefan Ciobaca; Dorel Lucanu; Vlad Rusu; Grigore Rosu (Formal Aspects Comput., 2016)

Language definitions as rewrite theories. - Vlad Rusu; Dorel Lucanu; Traian-Florin Serbanuta; Andrei Arusoaie; Andrei Stefanescu; Grigore Rosu (J. Log. Algebraic Methods Program., 2016)

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. - Andrei Arusoaie; Stefan Ciobaca; Vlad Craciun; Dragos Gavrilut; Dorel Lucanu (SYNASC, 2017)

A Certified Procedure for RL Verification. - Andrei Arusoaie; David Nowak; Vlad Rusu; Dorel Lucanu (SYNASC, 2017)

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. - Bogdan Aman; Jetty Kleijn; Maciej Koutny; Dorel Lucanu (Fundam. Informaticae, 2017)

A generic framework for symbolic execution: A coinductive approach. - Dorel Lucanu; Vlad Rusu; Andrei Arusoaie (J. Symb. Comput., 2017)

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. - Stefan Ciobaca; Dorel Lucanu (IJCAR, 2018)

Proving Reachability Properties by Coinduction (Extended Abstract). - Dorel Lucanu (SYNASC, 2018)

An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. - Marilena Lupascu; Dragos Teodor Gavrilut; Dorel Lucanu (SYNASC, 2018)

Unification Modulo Builtins. - Stefan Ciobaca; Andrei Arusoaie; Dorel Lucanu (WoLLIC, 2018)

Unification in Matching Logic - Extended Version. - Andrei Arusoaie; Dorel Lucanu (CoRR, 2018)

Editor's foreword. - Dorel Lucanu (J. Log. Algebraic Methods Program., 2018)

Unification in Matching Logic. - Andrei Arusoaie; Dorel Lucanu (FM, 2019)

Connecting Constrained Constructor Patterns and Matching Logic. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (WRLA@ETAPS, 2020)

Preface. - Jetty Kleijn; Laurentiu Leustean; Dorel Lucanu (Fundam. Informaticae, 2020)

Matching logic explained. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (J. Log. Algebraic Methods Program., 2021)

A Matching Logic Foundation for Alk. - Alexandru-Ioan Lungu; Dorel Lucanu (ICTAC, 2022)

Supporting Algorithm Analysis with Symbolic Execution in Alk. - Alexandru-Ioan Lungu; Dorel Lucanu (TASE, 2022)

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. - Andrei Arusoaie; Dorel Lucanu (FROM, 2022)

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem. - Mihaela Breaban; Raluca Necula; Dorel Lucanu; Daniel Stamate (KES, 2023)

Full Transparency in DBI frameworks. - Vlad Craciun; Andrei Mogage; Dorel Lucanu (CoRR, 2023)

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. - Dorel Lucanu (FROM, 2023)

Capturing constrained constructor patterns in matching logic. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (J. Log. Algebraic Methods Program., 2023)

Operationally-based program equivalence proofs using LCTRSs. - Stefan Ciobaca; Dorel Lucanu; Andrei-Sebastian Buruiana (J. Log. Algebraic Methods Program., 2023)

A Formal Tainting-Based Framework for Malware Analysis. - Andrei Mogage; Dorel Lucanu (IFM, 2024)

Towards Logical Specification and Checking of Evasive Malware. - Andrei Mogage; Dorel Lucanu (PhD@IFM, 2024)

Interactive Assistance in Malware Dissemination Detection and Analysis. - Raul Zaharia; Dragos Gavrilut; Gheorghita Mutu; Dorel Lucanu (SCID@AsiaCCS, 2024)

MACE: Malware Analysis and Clustering Engine. - Andrei Zaborila; Mihaela Elena Breaban; Dorel Lucanu (SYNASC, 2024)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++. - Vlad-Alexandru Teodorescu; Dorel Lucanu (FROM, 2024)

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. - Alexandru-Ioan Lungu; Vlad Teodorescu; Andrei Zaborila; Oana Andrei; Dorel Lucanu (Sci. Ann. Comput. Sci., 2024)

Proof-carrying parameters in certified symbolic execution. - Andrei Arusoaie; Dorel Lucanu (Log. J. IGPL, 2024)

GView: A versatile assistant for security researchers. - Raul Zaharia; Dragos Gavrilut; Gheorghita Mutu; Dorel Lucanu (SoftwareX, 2024)