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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 20th International Conference on Software Architecture, 2023
Proceedings of the Software Architecture - 17th European Conference, 2023
2022
IEEE Trans. Serv. Comput., 2022
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
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
2021
IEEE Access, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
2020
ACM Trans. Comput. Log., 2020
Formal Aspects Comput., 2020
Formal Aspects Comput., 2020
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
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
2019
J. Big Data, 2019
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
CoRR, 2018
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Service-Oriented and Cloud Computing, 2018
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
Proceedings of the Symposium on Applied Computing, 2017
2016
Acta Informatica, 2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016
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
2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the ICSOFT-PT 2014, 2014
Proceedings of the Software Technologies - 9th International Joint Conference, 2014
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
2012
2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011
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
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