Sfoglia per Autore
Towards Better Trust in Human-Machine Teaming through Explainable Dependability
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
2023-01-01 Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Specification, stochastic modeling and analysis of interactive service robotic applications
2023-01-01 Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
2022-01-01 Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI
Event-sourced, observable software architectures: An experience report
2022-01-01 Alongi, F.; Bersani, M. M.; Ghielmetti, N.; Mirandola, R.; Tamburri, D. A.
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior
2022-01-01 Lestingi, L.; Bersani, M. M.; Rossi, M.
Towards Trust-preserving Continuous Co-evolution of Digital Twins
2022-01-01 Bersani, M. M.; Braghin, C.; Cortellessa, V.; Gargantini, A.; Grassi, V.; Presti, F. L.; Mirandola, R.; Pierantonio, A.; Riccobene, E.; Scandurra, P.
Improved Bounded Model Checking of Timed Automata
2021-01-01 Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
Edge-based Runtime Verification for the Internet of Things
2021-01-01 Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
Using formal verification to evaluate the execution time of Spark applications
2020-01-01 Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M.
Verifying big data topologies by-design: a semi-automated approach
2019-01-01 Bersani, M. M.; Marconi, F.; Tamburri, D. A.; Nodari, A.; Jamshidi, P.
On the Initialization of Clocks in Timed Formalisms
2019-01-01 Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
Trace checking of streaming applications through DICE-TraCT
2018-01-01 Bersani, M. M.; Marconi, F.; Rossi, M.
On the timed analysis of big-data applications
2018-01-01 Marconi, F.; Quattrocchi, G.; Baresi, L.; Bersani, M. M.; Rossi, M.
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
2018-01-01 Bersani, Marcello M.; Garcia-Valls, Marisol
DevOps Service Observability By-Design: Experimenting with Model-View-Controller
2018-01-01 Tamburri, Damian A.; Bersani, Marcello M.; Mirandola, Raffaela; Pea, Giorgio
Formal verification of storm topologies through D-VerT
2017-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap
2017-01-01 Guerriero, Michele; Tamburri, Damian A.; Ridene, Youssef; Marconi, Francesco; Bersani, Marcello M.; Xlab, Matej Artac
A logical characterization of timed regular languages
2017-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Formal verification of data-intensive applications through model checking modulo theories
2017-01-01 Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina; Ghilardi, Silvio
A tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
Continuous architecting of stream-based systems
2016-01-01 Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Jamshidi, Pooyan; Nodari, Andrea
Towards the formal verification of data-intensive applications through metric temporal logic
2016-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Erascu, Madalina; Rossi, MATTEO GIOVANNI
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node
2016-01-01 Bersani, M. M.; Garcia-Valls, M.
A tool for deciding the satisfiability of continuous-time metric temporal logic
2016-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
Towards the formalization of properties of cloud-based elastic systems
2014-01-01 Bersani, MARCELLO MARIA; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstic, Srdan
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering
2014-01-01 Bersani, MARCELLO MARIA; Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An LTL Semantics of BusinessWorkflows with Recovery
2014-01-01 Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca
Deciding the Satisfiability of MITL Specifications
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
On the Satisfiability of Metric Temporal Logics over the Reals
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Expressiveness and complexity of regular pure two-dimensional context-free languages
2013-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile