Marcello Maria Bersani

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Concurrent Systems

Propositional Logic

Bounded Model Checking

Mazurkiewicz Traces

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
SMT-Based Checking of SOLOIST over Sparse Traces. FASE (2014)
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
Deciding the Satisfiability of MITL Specifications. GandALF (2013)
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
On the Satisfiability of Metric Temporal Logics over the Reals. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)