Marcello M. Bersani

Identifiers

• name variant Marcello M. Bersani 0.60 · backfill

Papers (6)

1. Efficient Large-scale Trace Checking Using MapReduce cs.SE · 2015 · author #1
2. An LTL Semantics of Business Workflows with Recovery cs.SE · 2014 · author #2
3. Constraint LTL Satisfiability Checking without Automata cs.LO · 2012 · author #1
4. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability cs.LO · 2010 · author #1
5. Bounded Reachability for Temporal Logic over Constraint Systems cs.LO · 2010 · author #1
6. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms cs.LO · 2009 · author #1

Mentions

• 1406.1395 #2 · backfill · confidence 0.70 Marcello M. Bersani
• 1205.0946 #1 · backfill · confidence 0.70 Marcello M. Bersani
• 1004.2873 #1 · backfill · confidence 0.70 Marcello M. Bersani
• 1004.1077 #1 · backfill · confidence 0.70 Marcello M. Bersani
• 0907.5074 #1 · backfill · confidence 0.70 Marcello M. Bersani

Frequent Coauthors

• Matteo Pradella 4 shared papers
• Matteo Rossi 4 shared papers
• Achille Frigeri 3 shared papers
• Pierluigi San Pietro 3 shared papers
• Angelo Morzenti 2 shared papers
• Carlo A. Furia 1 shared papers
• Carlo Ghezzi 1 shared papers
• Domenico Bianculli 1 shared papers
• Luca Cavallaro 1 shared papers
• Luca Ferrucci 1 shared papers
• Manuel Mazzara 1 shared papers
• Srdan Krstic 1 shared papers