Marcello M. Bersani - Concepedia

Author

Marcello M. Bersani

Also Known As

Bersani, Marcello, Bersani, Marcello M., Bersani, Marcello Maria, M. M. Bersani, Marcello Bersani, Marcello M. Bersani, Marcello Maria Bersani, Marcello M. Bersani

Publications

598

Citations

H-Index

Concepts

All Affiliations

Politecnico di Milano Institute of Electronics, Computer and Telecommunication Engineering University of Luxembourg TU Wien Chalmers University of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	280
2	Computer Science	13	14	280
3	Computer Engineering	7	7	144
4	Data Science	2	2	28
5	Operations Research	1	1	35

Marcello M. Bersani

Publications

365

Citations

H-Index

Page 1

	Year	Citations
Towards the formalization of properties of cloud-based elastic systems Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Provisioning (Technology)Resource OrchestrationEngineeringCloud Computing ArchitectureCloud Load Balancing	2014	35
A tool for deciding the satisfiability of continuous-time metric temporal logic Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro Acta Informatica EngineeringAutomated ReasoningPropositional LogicVerificationDynamic Logic	2015	31
Bounded Reachability for Temporal Logic over Constraint Systems Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Bounded ReachabilityConstraint SolvingFormal SpecificationBoolean LogicEngineering	2010	25
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, EngineeringVerificationComputer-aided VerificationSoftware EngineeringInteger Variables	2010	22
PuRSUE -from specification of robotic environments to synthesis of controllers Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Formal Aspects of Computing Artificial IntelligenceRobotic SystemsEngineeringRobotic AgentField Robotics	2020	20
Specification, stochastic modeling and analysis of interactive service robotic applications Livia Lestingi, Davide Zerla, Marcello M. Bersani, Robotics and Autonomous Systems	2023	20
Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costs Marcello M. Bersani, Marisol García‐Valls Journal of Software Evolution and Process EngineeringAbstract Cyber‐physical SystemsInformation SecurityVerificationSoftware Systems	2017	19
RoboMAX: Robotic Mission Adaptation eXemplars Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Artificial IntelligenceRobomax RepositoryRobotic SystemsEngineeringSpace Robotics	2021	19
An SMT-based approach to satisfiability checking of MITL Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro Information and Computation EngineeringAutomated ReasoningSoftware TestingVerificationSmt-based Approach	2015	19
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro EngineeringVerificationConstraint Ltl-over-clocksComputer-aided VerificationModel Checking	2013	18

Page 1