Sfoglia per Autore
Continuous architecting of stream-based systems
2016-01-01 Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Jamshidi, Pooyan; Nodari, Andrea
A tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
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
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
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
Formal verification of storm topologies through D-VerT
2017-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI
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
DevOps Service Observability By-Design: Experimenting with Model-View-Controller
2018-01-01 Tamburri, Damian A.; Bersani, Marcello M.; Mirandola, Raffaela; Pea, Giorgio
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
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
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; 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.
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
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.
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