Marcello M. Bersani
Marcello M. Bersani
Post-doc researcher, Politecnico di Milano
Email verificata su elet.polimi.it
TitoloCitata daAnno
A tool for deciding the satisfiability of continuous-time metric temporal logic
MM Bersani, M Rossi, P San Pietro
Acta Informatica 53 (2), 171-206, 2016
442016
Towards the formalization of properties of cloud-based elastic systems
MM Bersani, D Bianculli, S Dustdar, A Gambi, C Ghezzi, S Krstić
Proceedings of the 6th International Workshop on Principles of Engineering …, 2014
332014
Bounded reachability for temporal logic over constraint systems
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
332010
SMT-based verification of LTL specification with integer constraints and its application to runtime checking of service substitutability
MM Bersani, L Cavallaro, A Frigeri, M Pradella, M Rossi
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
272010
Constraint LTL satisfiability checking without automata
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
Journal of Applied Logic 12 (4), 522-557, 2014
202014
The cost of formal verification in adaptive CPS. An example of a virtualized server node
MM Bersani, M Garcia-Valls
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
192016
Completeness of the bounded satisfiability problem for constraint LTL
MM Bersani, A Frigeri, M Rossi, P San Pietro
International Workshop on Reachability Problems, 58-71, 2011
192011
Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costs
MM Bersani, M García‐Valls
Journal of Software: Evolution and Process 30 (3), 2018
152018
Deciding the satisfiability of MITL specifications
MM Bersani, M Rossi, PS Pietro
arXiv preprint arXiv:1307.4469, 2013
152013
Continuous architecting of stream-based systems
MM Bersani, F Marconi, DA Tamburri, P Jamshidi, A Nodari
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 146-151, 2016
132016
SMT-based checking of SOLOIST over sparse traces
MM Bersani, D Bianculli, C Ghezzi, S Krstić, P San Pietro
International Conference on Fundamental Approaches to Software Engineering …, 2014
132014
Efficient large-scale trace checking using MapReduce
MM Bersani, D Bianculli, C Ghezzi, S Krstić, PS Pietro
Proceedings of the 38th International Conference on Software Engineering …, 2016
122016
A logical characterization of timed (non-) regular languages
MM Bersani, M Rossi, P San Pietro
International Symposium on Mathematical Foundations of Computer Science, 75-86, 2014
112014
On some classes of 2D languages and their relations
MM Bersani, A Frigeri, A Cherubini
International Workshop on Combinatorial Image Analysis, 222-234, 2011
112011
An SMT-based approach to satisfiability checking of MITL
MM Bersani, M Rossi, P San Pietro
Information and Computation 245, 72-97, 2015
102015
Expressiveness and complexity of regular pure two-dimensional context-free languages
MM Bersani, A Frigeri, A Cherubini
International Journal of Computer Mathematics 90 (8), 1708-1733, 2013
92013
On the satisfiability of metric temporal logics over the reals
MM Bersani, MG Rossi, P San Pietro
Electronic Communications of the EASST 66, 2014
82014
Towards the formal verification of data-intensive applications through metric temporal logic
F Marconi, MM Bersani, M Erascu, M Rossi
International Conference on Formal Engineering Methods, 193-209, 2016
72016
DICE verification tool-initial version
M Bersani, M Erascu, F Marconi, M Rossi
Technical report, DICE Consortium, 2016. www. dice-h2020. eu, 2016
72016
Deciding continuous-time metric temporal logic with counting modalities
MM Bersani, M Rossi, P San Pietro
International Workshop on Reachability Problems, 70-82, 2013
72013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20