Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 55
Titolo Data di pubblicazione Autori File
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Architecting Explainable Service Robots 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo
Specification, stochastic modeling and analysis of interactive service robotic applications 1-gen-2023 Lestingi, LiviaBersani, Marcello M.Rossi, Matteo +
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 1-gen-2023 Lestingi, LiviaManglaviti, AndreaMarinaro, DavideAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo +
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 1-gen-2022 Livia LestingiCristian SbrolliPasquale ScarmozzinoGiorgio RomeoMarcello M. BersaniMatteo Rossi
Event-sourced, observable software architectures: An experience report 1-gen-2022 Alongi F.Bersani M. M.Mirandola R.Tamburri D. A. +
Towards Trust-preserving Continuous Co-evolution of Digital Twins 1-gen-2022 Bersani M. M.Mirandola R. +
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 1-gen-2022 Lestingi L.Bersani M. M.Rossi M.
Improved Bounded Model Checking of Timed Automata 1-gen-2021 Smith, Robert L.Bersani, Marcello M.Rossi, MatteoPietro, Pierluigi San
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
Edge-based Runtime Verification for the Internet of Things 1-gen-2021 Christos TsigkanosMarcello M. Bersani +
RoboMAX: Robotic Mission Adaptation eXemplars 1-gen-2021 Askarpour, MehrnooshTsigkanos, ChristosMenghi, ClaudioRossi, MatteoBersani, Marcello M. +
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 1-gen-2020 Menghi C.Bersani M. M.Rossi M.San Pietro P.
Statistical Model Checking of Human-Robot Interaction Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshMarcello M. BersaniRossi, Matteo
PuRSUE -from specification of robotic environments to synthesis of controllers 1-gen-2020 Bersani, Marcello M.Menghi, ClaudioRossi, Matteo +
Using formal verification to evaluate the execution time of Spark applications 1-gen-2020 Baresi L.Bersani M. M.Marconi F.Quattrocchi G.Rossi M.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
Verifying big data topologies by-design: a semi-automated approach 1-gen-2019 Bersani M. M.Marconi F.Tamburri D. A.Nodari A. +
On the Initialization of Clocks in Timed Formalisms 1-gen-2019 Bersani, Marcello M.Rossi, MatteoPietro, Pierluigi San
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 1-gen-2018 Tamburri, Damian A.Bersani, Marcello M.Mirandola, RaffaelaPea, Giorgio
Trace checking of streaming applications through DICE-TraCT 1-gen-2018 Bersani M. M.Marconi F.Rossi M.
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 1-gen-2018 Marcello M. Bersani +
On the timed analysis of big-data applications 1-gen-2018 Marconi F.Quattrocchi G.Baresi L.Bersani M. M.Rossi M.
Formal verification of storm topologies through D-VerT 1-gen-2017 MARCONI, FRANCESCOBERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNI
A logical characterization of timed regular languages 1-gen-2017 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Formal verification of data-intensive applications through model checking modulo theories 1-gen-2017 Bersani, Marcello M.Marconi, FrancescoRossi, Matteo +
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 1-gen-2017 Guerriero, MicheleTamburri, Damian A.Marconi, FrancescoBersani, Marcello M. +
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 1-gen-2017 Marconi, FBersani, MMRossi, M
A tool for verification of big-data applications 1-gen-2016 BERSANI, MARCELLO MARIAMARCONI, FRANCESCOROSSI, MATTEO GIOVANNI +
Efficient large-scale trace checking using mapreduce 1-gen-2016 Bersani, Marcello M.Bianculli, DomenicoGhezzi, CarloKrstic, SrdanPietro, Pierluigi San
Continuous architecting of stream-based systems 1-gen-2016 Bersani, Marcello M.Marconi, FrancescoTamburri, Damian A. +
Towards the formal verification of data-intensive applications through metric temporal logic 1-gen-2016 MARCONI, FRANCESCOBERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNI +
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 1-gen-2016 Bersani M. M. +
A tool for deciding the satisfiability of continuous-time metric temporal logic 1-gen-2016 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
An SMT-based approach to satisfiability checking of MITL 1-gen-2015 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A timed semantics of workflows 1-gen-2015 Bersani M. M.Distefano S.Ferrucci L.Mazzara M.
An LTL Semantics of BusinessWorkflows with Recovery 1-gen-2014 MAZZARA, MANUELBERSANI, MARCELLO MARIAFERRUCCI, LUCA
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 1-gen-2014 BERSANI, MARCELLO MARIAGHEZZI, CARLOKRSTIC, SRDANSAN PIETRO, PIERLUIGI +
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Logical Characterization of Timed (non-)Regular Languages 1-gen-2014 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Towards the formalization of properties of cloud-based elastic systems 1-gen-2014 BERSANI, MARCELLO MARIABIANCULLI, DOMENICOGHEZZI, CARLOKRSTIC, SRDAN +
Deciding the Satisfiability of MITL Specifications 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Expressiveness and complexity of regular pure two-dimensional context-free languages 1-gen-2013 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
On the Satisfiability of Metric Temporal Logics over the Reals 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
The Complexity of Reversal-Bounded Model-Checking. 1-gen-2011 BERSANI, MARCELLO MARIA +
Mostrati risultati da 1 a 50 di 55
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