Produzione Scientifica - Alessandro Cimatti

IT | EN

mappa

Produzione Scientifica Alessandro Cimatti

A. Cimatti, R. Sebastiani (a cura di), "Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference.", Berlin: Springer, 2012, 364 p. - (LNCS; 5749). - ISBN: 9783642316111. - DOI: 10.1007/978-3-642-31612-8 - vedi dettaglio
A. Cimatti, A. Griggio, R. Sebastiani, "Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories" in THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, v. Volume 40, April 2011, (2011), p. 701-728. - DOI: 10.1613/jair.3196 - vedi dettaglio
A. Franzen, A. Cimatti, A. Nadel, R. Sebastiani, J. Shalev, "Applying SMT in Symbolic Execution of Microcode" in Formal Methods in Computer Aided Design: FMCAD 2010, Piscataway, NJ: IEEE, 2010, p. 121-128. - ISBN: 9781457707346. Atti di: FMCAD 2010, Lugano, 20th-23rd October 2010. - URL: http://fmcad10.iaik.tugraz.at/ - vedi dettaglio
A. Cimatti, A. Griggio, R. Sebastiani, , "Efficient Interpolant Generation in Satisfiability Modulo Theories" in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, v. vol. 12, n. 1 (2010), p. 397-412. - URL: http://dl.acm.org/citation.cfm?doid=1838552.1838559 . - DOI: 10.1145/1838552.1838559 - vedi dettaglio
H. T. Thieu Le, L. Palopoli, R. Passerone, Y. Ramadian, A. Cimatti, "Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study" in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA10), Bilbao, Spain: IEEE, 2010, p. 1-8. - ISBN: 9781424468485. Atti di: ETFA10, Bilbao, Spain, 2010-September 13-16,. - DOI: 10.1109/ETFA.2010.5641315 - vedi dettaglio
A. Cimatti, A. Franzen, A. Griggio, R. Sebastiani, C. Stenico, "Satisfiability Modulo the Theory of Costs: Foundations and Applications" in Tools and Algorithms for the Construction and Analysis of Systems, Berlin: Springer, 2010, p. 99-113 -(Lecture Notes in Computer Science; 6015). - ISBN: 9783642120015. Atti di: 16th International Conference TACAS 2010, Paphos, Cyprus, 20th-28th March 2010. - DOI: 10.1007/978-3-642-12002-2_8 - vedi dettaglio
R. Bruttomesso, A. Cimatti, A. Franzen, A. Griggio, R. Sebastiani, "Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis" in ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, v. 55, n. 1-2 (2009), p. 63-99. - URL: http://www.springerlink.com/content/467531nu2526k26j/ . - DOI: 10.1007/s10472-009-9152-7 - vedi dettaglio
D. Beyer, A. Cimatti, A. Griggio, E. Keremoglu, R. Sebastiani, "Software Model Checking via Large-Block Encoding." in In Proceedings of the 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009, Austin (TX), November 15-18), 2009. IEEE Computer Society Press, Los Alamitos (CA, LOS ALAMITOS, CA: IEEE Computer Society Press, 2009, p. 25-32. - ISBN: 9781424449668. Atti di: 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009), Austin, TX, USA, November 2009. - DOI: 10.1109/FMCAD.2009.5351147 - vedi dettaglio
A. Cimatti, A. Griggio, R. Sebastiani, "Efficient Interpolant Generation in Satisfiability Modulo Theories" in Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08, Heidelberg: Springer, 2008, p. 397-412 -(LNCS; 4963). - ISBN: 9783540787990. Atti di: TACAS 2008, Budapest, April 2008. - DOI: 10.1007/978-3-540-78800-3_30 - vedi dettaglio
A. Cimatti, A. Griggio, R. Sebastiani, "A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories" in Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings, Berlin: Springer, 2007, p. 334-339. - ISBN: 9783540727873. Atti di: SAT 2007, Lisbon, 28th-31th May 2007 - vedi dettaglio
A. Cimatti, R. Sebastiani, "Building Efficient Decision Procedures on top of SAT solvers" in ED. Marco Bernardo (a cura di), Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures, Berlin: Springer, 2006, p. 144-175. - ISBN: 978-3-540-34304-2. - DOI: 10.1007/11757283_6 - vedi dettaglio
M. Bozzano, R. Bruttomesso, A. Cimatti, T. Junttila, P. Van Rossum, S. Ranise, R. Sebastiani, "Efficient theory combination via Boolean search" in INFORMATION AND COMPUTATION, v. 204, n. 10 (2006), p. 1493-1525. - DOI: 10.1016/j.ic.2005.05.011 - vedi dettaglio
M. Bozzano, R. Bruttomesso, A. Cimatti, T. Junttila, P. Van Rossum, R. Sebastiani, S. Schulz, "An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic" in Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2005, Berlin: Springer, 2005, p. 317-333 -(LNCS; 3440). - ISBN: 3540253335. Atti di: Springer, Edinburgh, Scotland, 2005 - vedi dettaglio
M. Bozzano, R. Bruttomesso, A. Cimatti, T. Junttila, P. Van Rossum, S. Schulz, R. Sebastiani, "MathSAT: Tight Integration of SAT and Mathematical Decision Procedures" in JOURNAL OF AUTOMATED REASONING, v. 35, n. 1-3 (2005), p. 265-293. - DOI: 10.1007/978-1-4020-5571-3_12 - vedi dettaglio
G. Audemard, M. Bozzano, A. Cimatti, R. Sebastiani, "Verifying Industrial Hybrid Systems with MathSAT" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 119, n. 2 (2005), p. 17-32. - DOI: 10.1016/j.entcs.2004.12.022 - vedi dettaglio