Dorel Lucanu

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 31

Top Topics

Symbolic Execution

Static Analysis

Rewrite Systems

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

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