Concepedia

Marcello M. Bersani

MM

21

Publications

365

Citations

13

H-Index

2010

Active since

Affiliations

Politecnico di Milano(Current)

Institute of Electronics, Computer and Telecommunication Engineering

University of Luxembourg

Chalmers University of Technology

Marcello M. Bersani is an author at Politecnico di Milano specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationVerificationAutomated ReasoningComputer EngineeringSoftware AnalysisFormal Specification

Publications per year

2010–2023

21

Publications

21

Towards the formalization of properties of cloud-based elastic systems

Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar et al. · 2014 · 35 citations

Provisioning (Technology), Resource Orchestration, Engineering +18

A tool for deciding the satisfiability of continuous-time metric temporal logic

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro · Acta Informatica · 2015 · 31 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +9

Bounded Reachability for Temporal Logic over Constraint Systems

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti et al. · 2010 · 25 citations

Bounded Reachability, Constraint Solving, Formal Specification +15

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri et al. · 2010 · 22 citations

Engineering, Verification, Computer-aided Verification +22

PuRSUE -from specification of robotic environments to synthesis of controllers

Marcello M. Bersani, Matteo Soldo, Claudio Menghi et al. · Formal Aspects of Computing · 2020 · 20 citations · Full text

Artificial Intelligence, Robotic Systems, Engineering +22

Rows per page

1–5 of 21