| 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 | 51 | 2016 |
| 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 | 45 | 2014 |
| 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 | 36 | 2010 |
| 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 | 26 | 2010 |
| 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 | 21 | 2018 |
| 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 | 21 | 2016 |
| 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 | 21 | 2016 |
| Completeness of the bounded satisfiability problem for constraint LTL MM Bersani, A Frigeri, M Rossi, PS Pietro International Workshop on Reachability Problems, 58-71, 2011 | 21 | 2011 |
| Efficient large-scale trace checking using MapReduce MM Bersani, D Bianculli, C Ghezzi, S Krstic, P San Pietro 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 19 | 2016 |
| 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 | 19 | 2014 |
| 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 | 18 | 2014 |
| Deciding the satisfiability of MITL specifications MM Bersani, M Rossi, PS Pietro arXiv preprint arXiv:1307.4469, 2013 | 17 | 2013 |
| An SMT-based approach to satisfiability checking of MITL MM Bersani, M Rossi, P San Pietro Information and Computation 245, 72-97, 2015 | 13 | 2015 |
| PuRSUE-from specification of robotic environments to synthesis of controllers MM Bersani, M Soldo, C Menghi, P Pelliccione, M Rossi Formal Aspects of Computing 32 (2), 187-227, 2020 | 11 | 2020 |
| 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 | 11 | 2014 |
| 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 | 11 | 2013 |
| On some classes of 2D languages and their relations MM Bersani, A Frigeri, A Cherubini International Workshop on Combinatorial Image Analysis, 222-234, 2011 | 11 | 2011 |
| On the timed analysis of big-data applications F Marconi, G Quattrocchi, L Baresi, MM Bersani, M Rossi NASA Formal Methods Symposium, 315-332, 2018 | 10 | 2018 |
| DevOps Service Observability By-Design: Experimenting with Model-View-Controller DA Tamburri, MM Bersani, R Mirandola, G Pea European Conference on Service-Oriented and Cloud Computing, 49-64, 2018 | 9 | 2018 |
| 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 | 9 | 2016 |
