Dorel Lucanu

Log. J. IGPL, 2024

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2024

GView: A Versatile Assistant for Security Researchers.

[BibT_eX]

[DOI]

CoRR, 2024

Interactive Assistance in Malware Dissemination Detection and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Security-Centric Strategies for Combating Information Disorder, 2024

2023

Operationally-based program equivalence proofs using LCTRSs.

[BibT_eX]

[DOI]

Stefan Ciobaca

Andrei-Sebastian Buruiana

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

Capturing constrained constructor patterns in matching logic.

[BibT_eX]

[DOI]

Xiaohong Chen

J. Log. Algebraic Methods Program., 2023

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

[BibT_eX]

[DOI]

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

Full Transparency in DBI frameworks.

[BibT_eX]

[DOI]

Vlad Craciun

Andrei Mogage

CoRR, 2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Sixth Working Formal Methods Symposium, 2022

Supporting Algorithm Analysis with Symbolic Execution in Alk.

[BibT_eX]

[DOI]

Alexandru-Ioan Lungu

Proceedings of the Theoretical Aspects of Software Engineering, 2022

A Matching Logic Foundation for Alk.

[BibT_eX]

[DOI]

Alexandru-Ioan Lungu

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

2021

Matching logic explained.

[BibT_eX]

[DOI]

Xiaohong Chen

J. Log. Algebraic Methods Program., 2021

2020

Preface.

[BibT_eX]

[DOI]

Jetty Kleijn

Laurentiu Leustean

Fundam. Informaticae, 2020

Connecting Constrained Constructor Patterns and Matching Logic.

[BibT_eX]

[DOI]

Xiaohong Chen

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

2019

Unification in Matching Logic.

[BibT_eX]

[DOI]

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

2018

Editor's foreword.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Unification in Matching Logic - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2018

Unification Modulo Builtins.

[BibT_eX]

[DOI]

Stefan Ciobaca

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

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

[BibT_eX]

[DOI]

Marilena Lupascu

Dragos Teodor Gavrilut

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

Proving Reachability Properties by Coinduction (Extended Abstract).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stefan Ciobaca

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

2017

A generic framework for symbolic execution: A coinductive approach.

[BibT_eX]

[DOI]

J. Symb. Comput., 2017

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

A Certified Procedure for RL Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2016

Language definitions as rewrite theories.

[BibT_eX]

[DOI]

Andrei Stefanescu

J. Log. Algebraic Methods Program., 2016

A language-independent proof system for full program equivalence.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Towards a \mathbb K K ool Future.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Model checking recursive programs interacting via the heap.

[BibT_eX]

[DOI]

Frank S. de Boer

Jurriaan Rot

Sci. Comput. Program., 2015

Program equivalence by circular reasoning.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Symbolic execution based on language transformation.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2015

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A Theoretical Foundation for Programming Languages Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A Language-Independent Proof System for Mutual Program Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Behavioral Rewrite Systems and Behavioral Productivity.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

On Automation of OTS/CafeOBJ Method.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Automatic equivalence proofs for non-deterministic coalgebras.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

A Generic Framework for Symbolic Execution.

[BibT_eX]

[DOI]

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

2012

Interacting via the Heap in the Presence of Recursion

[BibT_eX]

[DOI]

Jurriaan Rot

Frank S. de Boer

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

K Framework Distilled.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.

[BibT_eX]

[DOI]

Frank S. de Boer

Jurriaan Rot

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Executing Formal Semantics with the K Tool.

[BibT_eX]

[DOI]

David Lazar

Proceedings of the FM 2012: Formal Methods, 2012

2011

The K Primer (version 3.3).

[BibT_eX]

[DOI]

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

Towards a K Semantics for OCL.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Mihail Asavoae

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

Preface to CALCO-Tools.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Path Directed Symbolic Execution in the K Framework.

[BibT_eX]

[DOI]

Mihail Asavoae

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2010

Automating Coinduction with Case Analysis.

[BibT_eX]

[DOI]

Eugen-Ioan Goriac

Proceedings of the Formal Methods and Software Engineering, 2010

2009

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

[BibT_eX]

[DOI]

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

Model-based Testing and Analysis of Coordinated Components.

[BibT_eX]

[DOI]

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

Simplification and Generalization in CIRC.

[BibT_eX]

[DOI]

Eugen-Ioan Goriac

Georgiana Caltais

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

Circular Coinduction with Special Contexts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Circular Coinduction: A Proof Theoretical Foundation.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Automated Proving of the Behavioral Attributes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Patterns for Maude Metalanguage Applications.

[BibT_eX]

[DOI]

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

Strategy-Based Proof Calculus for Membrane Systems.

[BibT_eX]

[DOI]

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

A Rewrite Stack Machine for ROC!.

[BibT_eX]

[DOI]

Proceedings of the SYNASC 2008, 2008

2007

A rewriting logic framework for operational semantics of membrane systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Regular Strategies as Proof Tactics for CIRC.

[BibT_eX]

[DOI]

Gheorghe Grigoras

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

Proving Behavioral Commutativity with CIRC.

[BibT_eX]

[DOI]

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

Events, Causality, and Concurrency in Membrane Systems.

[BibT_eX]

[DOI]

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

CIRC : A Circular Coinductive Prover.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

A specification language for coordinated objects.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

[BibT_eX]

[DOI]

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

Semantic Web Languages - Towards an Institutional Perspective.

[BibT_eX]

[DOI]

Yuan-Fang Li

Jin Song Dong

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Operational Semantics and Rewriting Logic in Membrane Computing.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Soundness proof of Z semantics of OWL using institutions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mihai Danes

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

Institution Morphisms for Relating OWL and Z.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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

2004

Communicating Concurrent Objects in HiddenCCS.

[BibT_eX]

[DOI]

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

On Hidden Algebra Semantics of Object Oriented Languages.

[BibT_eX]

[DOI]

Gheorghe Grigoras

Sci. Ann. Cuza Univ., 2004

Model Checking for Object Specifications in Hidden Algebra.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

Cellular Meta-programming over Membranes.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Executable Specifications of P Systems.

[BibT_eX]

[DOI]

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

Specification and Verification of Synchronizing Concurrent Objects.

[BibT_eX]

[DOI]

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

2003

Relaxed models for rewriting logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

Initial Logic and Induction in Algebraic Specification.

[BibT_eX]

[DOI]

Sci. Ann. Cuza Univ., 2002

2000

Mixed Relations as Enriched Semiringal Categories.

[BibT_eX]

[DOI]

Radu Grosu

Gheorghe Stefanescu

J. Univers. Comput. Sci., 2000

1999

Bisimulation and Hidden Algebra.

[BibT_eX]

[DOI]

Ovidiu Gheorghies

Adriana Apetrei

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Axiomatization of the Coherence Property for Categories of Symmetries.

[BibT_eX]

[DOI]

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

1996

On Refinement in Rewriting Logic.

[BibT_eX]

Nicolae Surpatanu

Sci. Ann. Cuza Univ., 1996

1994

Fixed-point Solutions for Ground Term Rewriting Systems.

[BibT_eX]

Sci. Ann. Cuza Univ., 1994

1987

Several properties of array languages.

[BibT_eX]

[DOI]