Marcello M. Bersani

600 total citations
42 papers, 266 citations indexed

About

Marcello M. Bersani is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Marcello M. Bersani has authored 42 papers receiving a total of 266 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 15 papers in Computer Networks and Communications. Recurrent topics in Marcello M. Bersani's work include Formal Methods in Verification (24 papers), Advanced Software Engineering Methodologies (12 papers) and Model-Driven Software Engineering Techniques (10 papers). Marcello M. Bersani is often cited by papers focused on Formal Methods in Verification (24 papers), Advanced Software Engineering Methodologies (12 papers) and Model-Driven Software Engineering Techniques (10 papers). Marcello M. Bersani collaborates with scholars based in Italy, Luxembourg and Austria. Marcello M. Bersani's co-authors include Matteo Rossi, Pierluigi San Pietro, Marisol García‐Valls, Domenico Bianculli, Srđan Krstić, Carlo Ghezzi, Schahram Dustdar, Matteo Pradella, Christos Tsigkanos and Claudio Menghi and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Access and Robotics and Autonomous Systems.

In The Last Decade

Marcello M. Bersani

39 papers receiving 259 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Marcello M. Bersani Italy 11 136 128 92 82 73 42 266
Helen Treharne United Kingdom 11 142 1.0× 94 0.7× 78 0.8× 52 0.6× 84 1.2× 45 269
Jan Oliver Ringert Israel 13 206 1.5× 148 1.2× 274 3.0× 63 0.8× 155 2.1× 48 423
Nuno Macedo Portugal 11 123 0.9× 65 0.5× 196 2.1× 53 0.6× 105 1.4× 24 278
Alcino Cunha Portugal 12 165 1.2× 59 0.5× 209 2.3× 85 1.0× 141 1.9× 39 329
Alexei Iliasov United Kingdom 8 65 0.5× 63 0.5× 70 0.8× 64 0.8× 48 0.7× 43 186
Loek Cleophas Netherlands 9 151 1.1× 45 0.4× 77 0.8× 49 0.6× 104 1.4× 66 268
Borzoo Bonakdarpour United States 11 161 1.2× 175 1.4× 94 1.0× 156 1.9× 53 0.7× 57 352
Falk Howar Germany 10 121 0.9× 85 0.7× 138 1.5× 36 0.4× 73 1.0× 45 260
Karl Palmskog Sweden 6 98 0.7× 81 0.6× 93 1.0× 50 0.6× 51 0.7× 22 226
Charles Pecheur Belgium 12 167 1.2× 205 1.6× 147 1.6× 53 0.6× 40 0.5× 41 367

Countries citing papers authored by Marcello M. Bersani

Since Specialization
Citations

This map shows the geographic impact of Marcello M. Bersani's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marcello M. Bersani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marcello M. Bersani more than expected).

Fields of papers citing papers by Marcello M. Bersani

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marcello M. Bersani. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marcello M. Bersani. The network helps show where Marcello M. Bersani may publish in the future.

Co-authorship network of co-authors of Marcello M. Bersani

This figure shows the co-authorship network connecting the top 25 collaborators of Marcello M. Bersani. A scholar is included among the top collaborators of Marcello M. Bersani based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Marcello M. Bersani. Marcello M. Bersani is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Frigerio, Nicla, et al.. (2024). Data-Driven Energy Modeling of Machining Centers Through Automata Learning. IEEE Transactions on Automation Science and Engineering. 22. 5769–5780.
2.
Bersani, Marcello M., et al.. (2023). Towards Better Trust in Human-Machine Teaming through Explainable Dependability. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 86–90. 3 indexed citations
3.
Bersani, Marcello M., et al.. (2023). A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 309–315.
4.
Bersani, Marcello M., et al.. (2023). Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics and Autonomous Systems. 163. 104387–104387. 12 indexed citations
5.
Bersani, Marcello M., et al.. (2023). Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Software & Systems Modeling. 23(2). 473–502. 2 indexed citations
6.
Bersani, Marcello M., et al.. (2022). Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intelligent Systems. 37(6). 48–56. 6 indexed citations
7.
Bersani, Marcello M., et al.. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access. 9. 136616–136635. 8 indexed citations
8.
Tsigkanos, Christos, Marcello M. Bersani, Pantelis A. Frangoudis, & Schahram Dustdar. (2021). Edge-Based Runtime Verification for the Internet of Things. IEEE Transactions on Services Computing. 15(5). 2713–2727. 7 indexed citations
9.
Tsigkanos, Christos, Claudio Menghi, Radu Călinescu, et al.. (2021). RoboMAX: Robotic Mission Adaptation eXemplars. Aisberg (University of Bergamo). 245–251. 11 indexed citations
10.
Baresi, Luciano, Marcello M. Bersani, F. Marconi, Giovanni Quattrocchi, & Matteo Rossi. (2020). Using formal verification to evaluate theexecution time of Spark applications. Formal Aspects of Computing. 32(1). 33–70. 3 indexed citations
11.
Bersani, Marcello M., et al.. (2020). A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 1907–1914. 5 indexed citations
12.
Menghi, Claudio, et al.. (2020). Mind the gap. Open Repository and Bibliography (University of Luxembourg). 55–65. 3 indexed citations
13.
Bersani, Marcello M., et al.. (2020). PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing. 32(2-3). 187–227. 10 indexed citations
14.
Bersani, Marcello M. & Marisol García‐Valls. (2017). Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costs. Journal of Software Evolution and Process. 30(3). 16 indexed citations
15.
Bersani, Marcello M., Matteo Rossi, & Pierluigi San Pietro. (2016). A logical characterization of timed regular languages. Theoretical Computer Science. 658. 46–59. 3 indexed citations
16.
Bersani, Marcello M., et al.. (2016). A tool for verification of big-data applications. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 44–45. 7 indexed citations
17.
Bersani, Marcello M., et al.. (2014). Constraint LTL satisfiability checking without automata. Journal of Applied Logic. 12(4). 522–557. 10 indexed citations
18.
Bersani, Marcello M., Domenico Bianculli, Schahram Dustdar, et al.. (2014). Towards the formalization of properties of cloud-based elastic systems. Open Repository and Bibliography (University of Luxembourg). 38–47. 20 indexed citations
19.
Bersani, Marcello M., et al.. (2014). An LTL Semantics of BusinessWorkflows with Recovery. CINECA IRIS Institutial research information system (University of Pisa). 29–40. 1 indexed citations
20.
Bersani, Marcello M., et al.. (2010). SMT-based Bounded Model Checking with Difference Logic Constraints. arXiv (Cornell University). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Helen Treharne Breakdown of academic impact, for papers by Jan Oliver Ringert Breakdown of academic impact, for papers by Nuno Macedo Breakdown of academic impact, for papers by Alcino Cunha Breakdown of academic impact, for papers by Alexei Iliasov Breakdown of academic impact, for papers by Loek Cleophas Breakdown of academic impact, for papers by Borzoo Bonakdarpour Breakdown of academic impact, for papers by Falk Howar Breakdown of academic impact, for papers by Karl Palmskog Breakdown of academic impact, for papers by Charles Pecheur
Rankless by CCL
2026