Cover Image

Analyzing Many Simulations of Hybrid Programs in Lince

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arrieta, Reydel, Proença, José, Yomsi, Patrick Meumeu
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Computational Engineering, Finance, and Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

Proceedings of the International Workshop on Verification of Scientific Software
by: Siegel, Stephen F., et al.
Published: (2025)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
by: Zhao, Yuxin, et al.
Published: (2026)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
by: Falda, Pierre
Published: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
by: Pusceddu, Daniele, et al.
Published: (2024)

Forex Trading Robot Using Fuzzy Logic
by: Shabani, Mustafa, et al.
Published: (2025)

Preguss: It Analyzes, It Specifies, It Verifies
by: Wang, Zhongyi, et al.
Published: (2025)

Accelerated Patient-Specific Hemodynamic Simulations with Hybrid Physics-Based Neural Surrogates
by: Rubio, Natalia L., et al.
Published: (2026)

ORCA -- Online Regime Correlation Analyzer
by: Kriuk, Boris, et al.
Published: (2026)

VeBPF Many-Core Architecture for Network Functions in FPGA-based SmartNICs and IoT
by: Tahir, Zaid, et al.
Published: (2025)

Liquidity Fragmentation or Optimization? Analyzing Automated Market Makers Across Ethereum and Rollups
by: Gogol, Krzysztof, et al.
Published: (2024)

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
by: Tranquilli, Julius, et al.
Published: (2025)

The Influence of Biomedical Research on Future Business Funding: Analyzing Scientific Impact and Content in Industrial Investments
by: Khanmohammadi, Reza, et al.
Published: (2024)

Separation Logic for Verifying Physical Collisions of CNC Programs
by: Lee, Yeonseok
Published: (2026)

Earthquake Simulation
by: Chawla, Palak
Published: (2025)

Analyzing Challenges in Deployment of the SLSA Framework for Software Supply Chain Security
by: Tamanna, Mahzabin, et al.
Published: (2024)

A Time Domain Volume Integral Equation Solver to Analyze Electromagnetic Scattering from Nonlinear Dielectric Objects
by: Sayed, Sadeed Bin, et al.
Published: (2022)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
by: Tudor, Alexis R.
Published: (2025)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

Towards an Assisted Simulation Planning for Co-Simulation of Cyber-Physical Energy Systems
by: Schwarz, Jan Sören, et al.
Published: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
by: Brancas, Ricardo, et al.
Published: (2024)

A Game-theoretic model of forex trading with stochastic strategies and information asymmetry
by: Naivasha, Patrick, et al.
Published: (2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
by: Vašíček, Ondřej, et al.
Published: (2024)

An Adequate While-Language for Stochastic Hybrid Computation
by: Neves, Renato, et al.
Published: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
by: Zhang, Yuanrui
Published: (2024)

ADIOSS Automatic Diagnostic Of System Simulations
by: Jiang, Di, et al.
Published: (2026)

Diffusion Transformers with Hybrid Conditioning for Structural Optimization
by: Lutheran, Aaron, et al.
Published: (2026)

A Data-Enhanced Agent-Based Model for Simulating 3D Cancer Spheroid Growth: Integrating Metabolism and Mechanics
by: Garcia-Gomez, Pedro, et al.
Published: (2025)

A Generic Framework for Optimization in Blockchain Simulators
by: Long, Hou-Wan, et al.
Published: (2025)

Modeling and Simulation of Inelastic Effects in Composite Cables
by: Manfredo, Davide, et al.
Published: (2024)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
by: Wang, Zhongyi, et al.
Published: (2025)

The Power of Small LLMs in Geometry Generation for Physical Simulations
by: Shafiq, Ossama, et al.
Published: (2025)

Algorithm Selection in Short-Range Molecular Dynamics Simulations
by: Newcome, Samuel James, et al.
Published: (2025)

Mechanics Simulation with Implicit Neural Representations of Complex Geometries
by: Karki, Samundra, et al.
Published: (2025)

Fully Differentiable Ultrasound Simulation Utilizing Ray-Tracing
by: Spencer, L. River, et al.
Published: (2026)

Wildfire Simulation with Differentiable Randers-Finsler Eikonal Solvers
by: Gahtan, Barak, et al.
Published: (2026)

Simulating anisotropic diffusion processes with smoothed particle hydrodynamics
by: Tang, Xiaojing, et al.
Published: (2024)

Hybrid DeepONet Surrogates for Multiphase Flow in Porous Media
by: Santos, Ezequiel S., et al.
Published: (2025)

Geometric Formalization of First-Order Stochastic Dominance in $N$ Dimensions: A Tractable Path to Multi-Dimensional Economic Decision Analysis
by: Li, Jingyuan
Published: (2025)