| 2026 | COMPSAC | Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions. | Stefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu |
| 2026 | CSEDU | From Disassembly to Learning Analytics: Using GView for Learning and Assessment. | Raul Zaharia, Dragos Gavrilut, Dorel Lucanu |
| 2026 | FOSSACS | $\mathbb {K}$ Definitions as Matching Logic Theories, Formally. | Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu |
| 2025 | SYNASC | Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture. | Raul Zaharia, Dragos Gavrilut, Dorel Lucanu |
| 2024 | IFM | A Formal Tainting-Based Framework for Malware Analysis. | Andrei Mogage, Dorel Lucanu |
| 2024 | IFM | Towards Logical Specification and Checking of Evasive Malware. | Andrei Mogage, Dorel Lucanu |
| 2024 | SYNASC | MACE: Malware Analysis and Clustering Engine. | Andrei Zaborila, Mihaela Elena Breaban, Dorel Lucanu |
| 2023 | KES | Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem. | Mihaela Breaban, Raluca Necula, Dorel Lucanu, Daniel Stamate |
| 2022 | ICTAC | A Matching Logic Foundation for Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |
| 2022 | TASE | Supporting Algorithm Analysis with Symbolic Execution in Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |
| 2019 | FM | Unification in Matching Logic. | Andrei Arusoaie, Dorel Lucanu |
| 2018 | CADE | A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems. | Stefan Ciobaca, Dorel Lucanu |
| 2018 | SYNASC | Proving Reachability Properties by Coinduction (Extended Abstract). | Dorel Lucanu |
| 2018 | SYNASC | An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. | Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu |
| 2018 | WoLLIC | Unification Modulo Builtins. | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
| 2017 | SYNASC | 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 |
| 2017 | SYNASC | A Certified Procedure for RL Verification. | Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu |
| 2014 | ICFEM | A Language-Independent Proof System for Mutual Program Equivalence. | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu |
| 2013 | IFM | Program Equivalence by Circular Reasoning. | Dorel Lucanu, Vlad Rusu |
| 2013 | SLE | A Generic Framework for Symbolic Execution. | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
| 2012 | FM | Executing Formal Semantics with the K Tool. | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
| 2011 | CALCO | Preface to CALCO-Tools. | Dorel Lucanu |
| 2010 | ICFEM | Automating Coinduction with Case Analysis. | Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
| 2010 | SYNASC | Path Directed Symbolic Execution in the K Framework. | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |
| 2009 | CALCO | CIRC: A Behavioral Verification Tool Based on Circular Coinduction. | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
| 2009 | CALCO | Circular Coinduction: A Proof Theoretical Foundation. | Grigore Rosu, Dorel Lucanu |
| 2009 | ICFEM | Circular Coinduction with Special Contexts. | Dorel Lucanu, Grigore Rosu |
| 2009 | SYNASC | Simplification and Generalization in CIRC. | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu |
| 2008 | SYNASC | A Rewrite Stack Machine for ROC!. | Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras |
| 2007 | CALCO | CIRC : A Circular Coinductive Prover. | Dorel Lucanu, Grigore Rosu |
| 2007 | SYNASC | Proving Behavioral Commutativity with CIRC. | Dorel Lucanu |
| 2005 | WWW | Soundness proof of Z semantics of OWL using institutions. | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
| 2005 | SEKE | Institution Morphisms for Relating OWL and Z. | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
| 2005 | SYNASC | Specification of Coordinated Objects and Verification of Their Temporal Properties. | Mihai Danes, Dorel Lucanu, Gabriel Ciobanu |
| 2004 | IFM | Specification and Verification of Synchronizing Concurrent Objects. | Gabriel Ciobanu, Dorel Lucanu |
| 2004 | VMCAI | Model Checking for Object Specifications in Hidden Algebra. | Dorel Lucanu, Gabriel Ciobanu |
| 1999 | FCT | Axiomatization of the Coherence Property for Categories of Symmetries. | Dorel Lucanu |