default search action

combined dblp search
author search
venue search
publication search

ask others

Marcello M. Bersani

Marcello Maria Bersani

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/it/Bersani12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Bersani12
Marcello M. Bersani:
Bounded approaches for verification of infinite-state systems. Polytechnic University of Milan, Italy, 2012

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/LestingiMMMABR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LestingiMMMABR24
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Softw. Syst. Model. 23(2): 473-502 (2024)
2023
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ras/LestingiZBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/LestingiZBR23
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi:
Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics Auton. Syst. 163: 104387 (2023)
2022
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/expert/LestingiBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/LestingiBR22
Livia Lestingi, Marcello M. Bersani, Matteo Rossi:
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intell. Syst. 37(6): 48-56 (2022)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/spe/AlongiBGMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/AlongiBGMT22
Francesco Alongi, Marcello M. Bersani, Nicolò Ghielmetti, Raffaela Mirandola, Damian A. Tamburri:
Event-sourced, observable software architectures: An experience report. Softw. Pract. Exp. 52(10): 2127-2151 (2022)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tsc/TsigkanosBFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/TsigkanosBFD22
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar:
Edge-Based Runtime Verification for the Internet of Things. IEEE Trans. Serv. Comput. 15(5): 2713-2727 (2022)
2021
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/LestingiABR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LestingiABR21
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9: 136616-136635 (2021)
2020
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BaresiBMQR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BaresiBMQR20
Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi:
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32(1): 33-70 (2020)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BersaniSMPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BersaniSMPR20
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi:
PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32(2-3): 187-227 (2020)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BersaniRP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BersaniRP20
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
On the initialization of clocks in timed formalisms. Theor. Comput. Sci. 813: 175-198 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/MenghiBRP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/MenghiBRP20
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. ACM Trans. Comput. Log. 21(3): 26:1-26:44 (2020)
2019
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jbd/BersaniMTNJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbd/BersaniMTNJ19
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi:
Verifying big data topologies by-design : a semi-automated approach. J. Big Data 6: 40 (2019)
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/BersaniG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/BersaniG18
Marcello M. Bersani, Marisol García-Valls:
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. J. Softw. Evol. Process. 30(3) (2018)
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BersaniRP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BersaniRP17
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A logical characterization of timed regular languages. Theor. Comput. Sci. 658: 46-59 (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BersaniRP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BersaniRP16
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A tool for deciding the satisfiability of continuous-time metric temporal logic. Acta Informatica 53(2): 171-206 (2016)
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BersaniRP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BersaniRP15
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
An SMT-based approach to satisfiability checking of MITL. Inf. Comput. 245: 72-97 (2015)
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BersaniFMPRP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BersaniFMPRP14
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12(4): 522-557 (2014)
2013
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BersaniRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BersaniRP13
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
On the Satisfiability of Metric Temporal Logics over the Reals. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcm/BersaniFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcm/BersaniFC13
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini:
Expressiveness and complexity of regular pure two-dimensional context-free languages. Int. J. Comput. Math. 90(8): 1708-1733 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BersaniCLMRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BersaniCLMRS23
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Architecting Explainable Service Robots. ECSA 2023: 153-169
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/BersaniCLMRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/BersaniCLMRS23
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/BersaniCLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/BersaniCLMR23
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi:
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE 2023: 18-28
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BersaniCLMRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BersaniCLMRS23
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315
2022
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BersaniBGMRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BersaniBGMRS22
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) 2022: 467-482
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/BersaniBCGGPMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/BersaniBCGGPMPR22
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/LestingiSSRBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/LestingiSSRBR22
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi:
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. FormaliSE@ICSE 2022: 80-90
2021
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SmithBRP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SmithBRP21
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Improved Bounded Model Checking of Timed Automata. FormaliSE@ICSE 2021: 97-110
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/seams/AskarpourTMCP0C21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seams/AskarpourTMCP0C21
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues:
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 2021: 245-251
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/services/TsigkanosBFD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/TsigkanosBFD21
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar:
Edge-Based Runtime Verification for the Internet of Things. SERVICES 2021: 16
2020
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AskarpourMBBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AskarpourMBBP20
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione:
Mind the gap: Robotic Mission Planning Meets Software Engineering. FormaliSE@ICSE 2020: 55-65
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LestingiABR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LestingiABR20
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. SEFM 2020: 303-324
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/LestingiABR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/LestingiABR20
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. SMC 2020: 1907-1914
[c27]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2007-11738
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-11738
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Statistical Model Checking of Human-Robot Interaction Scenarios. AREA@ECAI 2020: 9-17
2019
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/AskarpourB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/AskarpourB19
Mehrnoosh Askarpour, Marcello M. Bersani:
Teaching Formal Methods: An Experience Report. FISEE 2019: 3-18
2018
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/TamburriBMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/TamburriBMP18
Damian A. Tamburri, Marcello M. Bersani, Raffaela Mirandola, Giorgio Pea:
DevOps Service Observability By-Design: Experimenting with Model-View-Controller. ESOCC 2018: 49-64
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MarconiQBBR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MarconiQBBR18
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi:
On the Timed Analysis of Big-Data Applications. NFM 2018: 315-332
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/BersaniMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/BersaniMR18
Marcello M. Bersani, Francesco Marconi, Matteo Rossi:
Trace Checking of Streaming Applications through DICE-TraCT. ICPE Companion 2018: 159-160
2017
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MarconiBR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MarconiBR17
Francesco Marconi, Marcello M. Bersani, Matteo Rossi:
Formal verification of storm topologies through D-VerT. SAC 2017: 1168-1174
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BersaniMREG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BersaniMREG17
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi:
Formal verification of data-intensive applications through model checking modulo theories. SPIN 2017: 98-101
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/GuerrieroTRMBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/GuerrieroTRMBA17
Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac:
Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap. ICPE Companion 2017: 139-144
2016
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/BersaniG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/BersaniG16
Marcello M. Bersani, Marisol García-Valls:
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node. HASE 2016: 39-46
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MarconiBER16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MarconiBER16
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi:
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. ICFEM 2016: 193-209
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BersaniBGKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BersaniBGKP16
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient large-scale trace checking using mapreduce. ICSE 2016: 888-898
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BersaniMRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BersaniMRE16
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu:
A tool for verification of big-data applications. QUDOS@ISSTA 2016: 44-45
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/BersaniMTJN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/BersaniMTJN16
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Pooyan Jamshidi, Andrea Nodari:
Continuous Architecting of Stream-Based Systems. WICSA 2016: 146-151
2014
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BersaniBGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BersaniBGKP14
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
SMT-Based Checking of SOLOIST over Sparse Traces. FASE 2014: 276-290
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BersaniBDGGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BersaniBDGGK14
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic:
Towards the formalization of properties of cloud-based elastic systems. PESOS 2014: 38-47
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/FerrucciBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/FerrucciBM14
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of BusinessWorkflows with Recovery. ICSOFT PT 2014: 29-40
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/BersaniDFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BersaniDFM14
Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara:
A Timed Semantics of Workflows. ICSOFT (Selected Papers) 2014: 365-383
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BersaniRP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BersaniRP14
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A Logical Characterization of Timed (non-)Regular Languages. MFCS (1) 2014: 75-86
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BersaniRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BersaniRP13
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. RP 2013: 70-82
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BersaniRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BersaniRP13
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. TIME 2013: 99-106
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BersaniRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniRP13
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding the Satisfiability of MITL Specifications. GandALF 2013: 64-78
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BersaniD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BersaniD11
Marcello M. Bersani, Stéphane Demri:
The Complexity of Reversal-Bounded Model-Checking. FroCoS 2011: 71-86
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcia/BersaniFC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcia/BersaniFC11
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini:
On Some Classes of 2D Languages and Their Relations. IWCIA 2011: 222-234
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BersaniFRP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BersaniFRP11
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro:
Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP 2011: 58-71
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BersaniCFPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BersaniCFPR10
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BersaniFMPRP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BersaniFMPRP10
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BersaniFPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BersaniFPR09
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2014
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BersaniBFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniBFM14
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-12444
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-12444
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Improved Bounded Model Checking of Timed Automata. CoRR abs/2104.12444 (2021)
2018
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-08684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-08684
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. CoRR abs/1806.08684 (2018)
2015
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BersaniBGKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniBGKP15
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient Large-scale Trace Checking Using MapReduce. CoRR abs/1508.06613 (2015)
2014
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FerrucciBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FerrucciBM14
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of Business Workflows with Recovery. CoRR abs/1406.1395 (2014)
2012
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1205-0946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-0946
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012)
2010
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-1077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-1077
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2873
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010)
2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0907-5074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0907-5074
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.