 | 2011 |
|---|
| 9 |       | Marcello M. Bersani,
Stéphane Demri:
The Complexity of Reversal-Bounded Model-Checking.
FroCos 2011: 71-86 |
| 8 | | Marcello M. Bersani,
Achille Frigeri,
Alessandra Cherubini:
On Some Classes of 2D Languages and Their Relations.
IWCIA 2011: 222-234 |
| 7 | | Marcello M. Bersani,
Achille Frigeri,
Matteo Rossi,
Pierluigi San Pietro:
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
RP 2011: 58-71 |
| 2010 |
|---|
| 6 | | Marcello M. Bersani,
Luca Cavallaro,
Achille Frigeri,
Matteo Pradella,
Matteo Rossi:
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
SEFM 2010: 244-254 |
| 5 | | Marcello M. Bersani,
Achille Frigeri,
Angelo Morzenti,
Matteo Pradella,
Matteo Rossi,
Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems.
TIME 2010: 43-50 |
| 4 | | Marcello M. Bersani,
Achille Frigeri,
Angelo Morzenti,
Matteo Pradella,
Matteo Rossi,
Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems
CoRR abs/1004.1077: (2010) |
| 3 | | Marcello M. Bersani,
Luca Cavallaro,
Achille Frigeri,
Matteo Pradella,
Matteo Rossi:
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR abs/1004.2873: (2010) |
| 2009 |
|---|
| 2 | | Marcello M. Bersani,
Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
SEFM 2009: 13-22 |
| 1 | | Marcello M. Bersani,
Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR abs/0907.5074: (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page