Dorel Lucanu

Orcid: 0000-0001-8097-040X

According to our database1, Dorel Lucanu authored at least 89 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Proof-carrying parameters in certified symbolic execution.
Log. J. IGPL, 2024

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.
Sci. Ann. Comput. Sci., 2024

GView: A Versatile Assistant for Security Researchers.
CoRR, 2024

Interactive Assistance in Malware Dissemination Detection and Analysis.
Proceedings of the 1st Workshop on Security-Centric Strategies for Combating Information Disorder, 2024

2023
Operationally-based program equivalence proofs using LCTRSs.
J. Log. Algebraic Methods Program., October, 2023

Capturing constrained constructor patterns in matching logic.
J. Log. Algebraic Methods Program., 2023

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.
Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Full Transparency in DBI frameworks.
CoRR, 2023

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem.
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.
Proceedings of the Sixth Working Formal Methods Symposium, 2022

Supporting Algorithm Analysis with Symbolic Execution in Alk.
Proceedings of the Theoretical Aspects of Software Engineering, 2022

A Matching Logic Foundation for Alk.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021
Matching logic explained.
J. Log. Algebraic Methods Program., 2021

2020
Preface.
Fundam. Informaticae, 2020

Connecting Constrained Constructor Patterns and Matching Logic.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

2019
Unification in Matching Logic.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Editor's foreword.
J. Log. Algebraic Methods Program., 2018

Unification in Matching Logic - Extended Version.
CoRR, 2018

Unification Modulo Builtins.
Proceedings of the Logic, Language, Information, and Computation, 2018

An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Proving Reachability Properties by Coinduction (Extended Abstract).
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.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
A generic framework for symbolic execution: A coinductive approach.
J. Symb. Comput., 2017

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.
Fundam. Informaticae, 2017

A Certified Procedure for RL Verification.
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.
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016
Language definitions as rewrite theories.
J. Log. Algebraic Methods Program., 2016

A language-independent proof system for full program equivalence.
Formal Aspects Comput., 2016

Towards a \mathbb K K ool Future.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Model checking recursive programs interacting via the heap.
Sci. Comput. Program., 2015

Program equivalence by circular reasoning.
Formal Aspects Comput., 2015

Symbolic execution based on language transformation.
Comput. Lang. Syst. Struct., 2015

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
A Theoretical Foundation for Programming Languages Aggregation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A Language-Independent Proof System for Mutual Program Equivalence.
Proceedings of the Formal Methods and Software Engineering, 2014

Behavioral Rewrite Systems and Behavioral Productivity.
Proceedings of the Specification, Algebra, and Software, 2014

On Automation of OTS/CafeOBJ Method.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Automatic equivalence proofs for non-deterministic coalgebras.
Sci. Comput. Program., 2013

A Generic Framework for Symbolic Execution.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012
Interacting via the Heap in the Presence of Recursion
Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

K Framework Distilled.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Executing Formal Semantics with the K Tool.
Proceedings of the FM 2012: Formal Methods, 2012

2011
The K Primer (version 3.3).
Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Towards a K Semantics for OCL.
Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

A K-Based Formal Framework for Domain-Specific Modelling Languages.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Preface to CALCO-Tools.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Path Directed Symbolic Execution in the K Framework.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Automating Coinduction with Case Analysis.
Proceedings of the Formal Methods and Software Engineering, 2010

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

Model-based Testing and Analysis of Coordinated Components.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Simplification and Generalization in CIRC.
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Circular Coinduction with Special Contexts.
Proceedings of the Formal Methods and Software Engineering, 2009

Circular Coinduction: A Proof Theoretical Foundation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Automated Proving of the Behavioral Attributes.
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.
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

Patterns for Maude Metalanguage Applications.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Strategy-Based Proof Calculus for Membrane Systems.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewrite Stack Machine for ROC!.
Proceedings of the SYNASC 2008, 2008

2007
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci., 2007

Regular Strategies as Proof Tactics for CIRC.
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Proving Behavioral Commutativity with CIRC.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Events, Causality, and Concurrency in Membrane Systems.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

CIRC : A Circular Coinductive Prover.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
A specification language for coordinated objects.
ACM SIGSOFT Softw. Eng. Notes, 2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Semantic Web Languages - Towards an Institutional Perspective.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Operational Semantics and Rewriting Logic in Membrane Computing.
Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Soundness proof of Z semantics of OWL using institutions.
Proceedings of the 14th international conference on World Wide Web, 2005

Specification of Coordinated Objects and Verification of Their Temporal Properties.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Institution Morphisms for Relating OWL and Z.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Structural Operational Semantics of P Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004
Communicating Concurrent Objects in HiddenCCS.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

On Hidden Algebra Semantics of Object Oriented Languages.
Sci. Ann. Cuza Univ., 2004

Model Checking for Object Specifications in Hidden Algebra.
Proceedings of the Verification, 2004

Cellular Meta-programming over Membranes.
Proceedings of the Unconventional Programming Paradigms, 2004

Executable Specifications of P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Specification and Verification of Synchronizing Concurrent Objects.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Relaxed models for rewriting logic.
Theor. Comput. Sci., 2003

2002
Initial Logic and Induction in Algebraic Specification.
Sci. Ann. Cuza Univ., 2002

2000
Mixed Relations as Enriched Semiringal Categories.
J. Univers. Comput. Sci., 2000

1999
Bisimulation and Hidden Algebra.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

Axiomatization of the Coherence Property for Categories of Symmetries.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1996
On Refinement in Rewriting Logic.
Sci. Ann. Cuza Univ., 1996

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

1987
Several properties of array languages.
Inf. Sci., 1987


  Loading...