Dorel Lucanu

According to our database, Dorel Lucanu authored at least 85 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Operationally-based program equivalence proofs using LCTRSs.

Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana

J. Log. Algebraic Methods Program., October, 2023

Capturing constrained constructor patterns in matching logic.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

J. Log. Algebraic Methods Program., 2023

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.

Dorel Lucanu

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Full Transparency in DBI frameworks.

Vlad Craciun, Andrei Mogage, Dorel Lucanu

CoRR, 2023

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem.

Mihaela Breaban, Raluca Necula, Dorel Lucanu, Daniel Stamate

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2022

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification.

Andrei Arusoaie, Dorel Lucanu

Proceedings of the Sixth Working Formal Methods Symposium, 2022

Supporting Algorithm Analysis with Symbolic Execution in Alk.

Lungu Alexandru-Ioan, Dorel Lucanu

Proceedings of the Theoretical Aspects of Software Engineering, 2022

A Matching Logic Foundation for Alk.

Lungu Alexandru-Ioan, Dorel Lucanu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Matching logic explained.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

J. Log. Algebraic Methods Program., 2021

2020

Preface.

Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu

Fundam. Informaticae, 2020

Connecting Constrained Constructor Patterns and Matching Logic.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

2019

Unification in Matching Logic.

Andrei Arusoaie, Dorel Lucanu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Editor's foreword.

Dorel Lucanu

J. Log. Algebraic Methods Program., 2018

Unification in Matching Logic - Extended Version.

Andrei Arusoaie, Dorel Lucanu

CoRR, 2018

Unification Modulo Builtins.

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Proceedings of the Logic, Language, Information, and Computation, 2018

An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts.

Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Proving Reachability Properties by Coinduction (Extended Abstract).

Dorel Lucanu

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.

Stefan Ciobaca, Dorel Lucanu

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

A generic framework for symbolic execution: A coinductive approach.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie

J. Symb. Comput., 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 Certified Procedure for RL Verification.

Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

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

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

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 language-independent proof system for full program equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Formal Aspects Comput., 2016

Towards a \mathbb K K ool Future.

Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Theory and Practice of Formal Methods, 2016

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

Program equivalence by circular reasoning.

Dorel Lucanu, Vlad Rusu

Formal Aspects Comput., 2015

Symbolic execution based on language transformation.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Comput. Lang. Syst. Struct., 2015

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A Theoretical Foundation for Programming Languages Aggregation.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A Language-Independent Proof System for Mutual Program Equivalence.

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2014

Behavioral Rewrite Systems and Behavioral Productivity.

Grigore Rosu, Dorel Lucanu

Proceedings of the Specification, Algebra, and Software, 2014

On Automation of OTS/CafeOBJ Method.

Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the Specification, Algebra, and Software, 2014

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

Sci. Comput. Program., 2013

A Generic Framework for Symbolic Execution.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012

Interacting via the Heap in the Presence of Recursion

Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

K Framework Distilled.

Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Executing Formal Semantics with the K Tool.

David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Proceedings of the FM 2012: Formal Methods, 2012

2011

The K Primer (version 3.3).

Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Towards a K Semantics for OCL.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

A K-Based Formal Framework for Domain-Specific Modelling Languages.

Vlad Rusu, Dorel Lucanu

Proceedings of the Formal Verification of Object-Oriented Software, 2011

On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework.

Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Preface to CALCO-Tools.

Dorel Lucanu

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Path Directed Symbolic Execution in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 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

Proceedings of the Formal Methods: Foundations and Applications, 2010

Automating Coinduction with Case Analysis.

Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency.

Dorel Lucanu

Int. J. Found. Comput. Sci., 2009

Model-based Testing and Analysis of Coordinated Components.

Gabriel Ciobanu, Dorel Lucanu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Simplification and Generalization in CIRC.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Circular Coinduction with Special Contexts.

Dorel Lucanu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2009

Circular Coinduction: A Proof Theoretical Foundation.

Grigore Rosu, Dorel Lucanu

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Automated Proving of the Behavioral Attributes.

Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions.

Dorel Lucanu

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

Patterns for Maude Metalanguage Applications.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Strategy-Based Proof Calculus for Membrane Systems.

Oana Andrei, Dorel Lucanu

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewrite Stack Machine for ROC!.

Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras

Proceedings of the SYNASC 2008, 2008

2007

A rewriting logic framework for operational semantics of membrane systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Theor. Comput. Sci., 2007

Regular Strategies as Proof Tactics for CIRC.

Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Proving Behavioral Commutativity with CIRC.

Dorel Lucanu

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Events, Causality, and Concurrency in Membrane Systems.

Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 8th International Workshop, 2007

CIRC : A Circular Coinductive Prover.

Dorel Lucanu, Grigore Rosu

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

A specification language for coordinated objects.

Gabriel Ciobanu, Dorel Lucanu

ACM SIGSOFT Softw. Eng. Notes, 2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Semantic Web Languages - Towards an Institutional Perspective.

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Operational Semantics and Rewriting Logic in Membrane Computing.

Oana Andrei, Dorel Lucanu, Gabriel Ciobanu

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Soundness proof of Z semantics of OWL using institutions.

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

Proceedings of the 14th international conference on World Wide Web, 2005

Specification of Coordinated Objects and Verification of Their Temporal Properties.

Mihai Danes, Dorel Lucanu, Gabriel Ciobanu

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Institution Morphisms for Relating OWL and Z.

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Structural Operational Semantics of P Systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004

Communicating Concurrent Objects in HiddenCCS.

Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

On Hidden Algebra Semantics of Object Oriented Languages.

Gheorghe Grigoras, Dorel Lucanu

Sci. Ann. Cuza Univ., 2004

Model Checking for Object Specifications in Hidden Algebra.

Dorel Lucanu, Gabriel Ciobanu

Proceedings of the Verification, 2004

Cellular Meta-programming over Membranes.

Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Unconventional Programming Paradigms, 2004

Executable Specifications of P Systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Specification and Verification of Synchronizing Concurrent Objects.

Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Relaxed models for rewriting logic.

Dorel Lucanu

Theor. Comput. Sci., 2003

2002

Initial Logic and Induction in Algebraic Specification.

Dorel Lucanu

Sci. Ann. Cuza Univ., 2002

2000

Mixed Relations as Enriched Semiringal Categories.

Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu

J. Univers. Comput. Sci., 2000

1999

Bisimulation and Hidden Algebra.

Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Axiomatization of the Coherence Property for Categories of Symmetries.

Dorel Lucanu

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1996

On Refinement in Rewriting Logic.

Dorel Lucanu, Nicolae Surpatanu

Sci. Ann. Cuza Univ., 1996

1994

Fixed-point Solutions for Ground Term Rewriting Systems.

Dorel Lucanu

Sci. Ann. Cuza Univ., 1994

1987

Several properties of array languages.

Dorel Lucanu

Inf. Sci., 1987