Francesco Marconi

According to our database, Francesco Marconi authored at least 11 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Using formal verification to evaluate the execution time of Spark applications.

Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi

Formal Aspects Comput., 2020

2019

Verifying big data topologies by-design : a semi-automated approach.

Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi

J. Big Data, 2019

2018

Formal verification of timed properties for data-intensive applications.

Francesco Marconi

PhD thesis, 2018

Trace Checking of Streaming Applications through DICE-TraCT.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

On the Timed Analysis of Big-Data Applications.

Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap.

Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Formal verification of data-intensive applications through model checking modulo theories.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Formal verification of storm topologies through D-VerT.

Francesco Marconi, Marcello M. Bersani, Matteo Rossi

Proceedings of the Symposium on Applied Computing, 2017

2016

Continuous Architecting of Stream-Based Systems.

Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Pooyan Jamshidi, Andrea Nodari

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

A tool for verification of big-data applications.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.

Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi

Proceedings of the Formal Methods and Software Engineering, 2016