.- Improved Gas Optimization of Smart Contracts.
.- Distributing Quantum Circuits Using Formal Methods.
.- Automated Test Generation: Taxonomy and Tool Applications.
.- Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
.- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines.
.- Extracting Formal Models for User's Behaviors in Social Networks using Automata and Machine Learning.
.- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.
.- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.
.- On time-sensitive control closure for secure information flow.
.- Automatic Generation of Loop Invariants in Dafny with Large Language Models.
.- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline.
.- Formally Verified Verifiable Group Generators.
