Get started
Author

Marco Zamponi

Observed names: Zamponi Marco, Zamponi, Marco
ORCID: 0009-0002-1855-4469
Observed ORCID: 0009-0002-1855-4469
OpenAlex ID: A5117457429
Certified Inductive Synthesis for Online Mixed-Integer Optimization
2025 · Marco Zamponi, Emilio Incerto, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 3
PDF
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
2026 · Zamponi, Marco, Lammel, Florian, et al. · arXiv (Cornell University) · 1
PDF
Intelligent automatic load test generation for elastic microservice applications: A falsification-based approach
2026 · Marco Zamponi, Daniele Masti, et al. · Journal of Systems and Software · 1
STLSat: A Satisfiability Checker for Discrete-Time Signal Temporal Logic (Artifact)
2026 · Bartocci, Ezio, Chiari, Michele, et al. · Zenodo (CERN European Organization for Nuclear Research)
Replication package for the paper "STLSat—An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas"
2026 · Zamponi, Marco, Chiari, Michele, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 7
Citation count: 5
H-index: 1
I10-index:
Year
Topic
Type