FSMC+, a tool for the generation of Java code from statecharts. - Roberto Tiella; Adolfo Villafiorita; Silvia Tomasi (PPPJ, 2007)

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. - Alberto Griggio; Quoc-Sang Phan; Roberto Sebastiani; Silvia Tomasi (FroCoS, 2011)

Optimization in SMT with ${ mathcal LA}$ (ℚ) Cost Functions. - Roberto Sebastiani; Silvia Tomasi (IJCAR, 2012)

Optimization in SMT with LA(Q) Cost Functions - Roberto Sebastiani; Silvia Tomasi (CoRR, 2012)

Optimization Modulo Theories with Linear Rational Costs. - Silvia Tomasi (2014)

Optimization Modulo Theories with Linear Rational Costs. - Roberto Sebastiani; Silvia Tomasi (ACM Trans. Comput. Log., 2015)