Marcello M. Bersani

Orcid: 0000-0001-5137-940X

According to our database1, Marcello M. Bersani authored at least 60 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model., April, 2024

2023
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst., May, 2023

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Explainable Service Robots.
Proceedings of the Software Architecture - 17th European Conference, 2023

2022
Edge-Based Runtime Verification for the Internet of Things.
IEEE Trans. Serv. Comput., 2022

Event-sourced, observable software architectures: An experience report.
Softw. Pract. Exp., 2022

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst., 2022

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021
A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Improved Bounded Model Checking of Timed Automata.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.
ACM Trans. Comput. Log., 2020

On the initialization of clocks in timed formalisms.
Theor. Comput. Sci., 2020

PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput., 2020

Using formal verification to evaluate the execution time of Spark applications.
Formal Aspects Comput., 2020

Statistical Model Checking of Human-Robot Interaction Scenarios.
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019
Verifying big data topologies by-design : a semi-automated approach.
J. Big Data, 2019

Teaching Formal Methods: An Experience Report.
Proceedings of the Frontiers in Software Engineering Education, 2019

2018
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
J. Softw. Evol. Process., 2018

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
CoRR, 2018

Trace Checking of Streaming Applications through DICE-TraCT.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

On the Timed Analysis of Big-Data Applications.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

DevOps Service Observability By-Design: Experimenting with Model-View-Controller.
Proceedings of the Service-Oriented and Cloud Computing, 2018

2017
A logical characterization of timed regular languages.
Theor. Comput. Sci., 2017

Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Formal verification of data-intensive applications through model checking modulo theories.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Formal verification of storm topologies through D-VerT.
Proceedings of the Symposium on Applied Computing, 2017

2016
A tool for deciding the satisfiability of continuous-time metric temporal logic.
Acta Informatica, 2016

Continuous Architecting of Stream-Based Systems.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

A tool for verification of big-data applications.
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Efficient large-scale trace checking using mapreduce.
Proceedings of the 38th International Conference on Software Engineering, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2016

The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
An SMT-based approach to satisfiability checking of MITL.
Inf. Comput., 2015

2014
Constraint LTL satisfiability checking without automata.
J. Appl. Log., 2014

An LTL Semantics of Business Workflows with Recovery.
CoRR, 2014

A Logical Characterization of Timed (non-)Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

An LTL Semantics of BusinessWorkflows with Recovery.
Proceedings of the ICSOFT-PT 2014, 2014

A Timed Semantics of Workflows.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Towards the formalization of properties of cloud-based elastic systems.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Expressiveness and complexity of regular pure two-dimensional context-free languages.
Int. J. Comput. Math., 2013

On the Satisfiability of Metric Temporal Logics over the Reals.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Deciding the Satisfiability of MITL Specifications.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012
Bounded approaches for verification of infinite-state systems.
PhD thesis, 2012

2011
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

On Some Classes of 2D Languages and Their Relations.
Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011

The Complexity of Reversal-Bounded Model-Checking.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2010
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR, 2010

Bounded Reachability for Temporal Logic over Constraint Systems.
Proceedings of the TIME 2010, 2010

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009


  Loading...