Laura Bussi

According to our database, Laura Bussi authored at least 10 papers between 2019 and 2023.

Collaborative distances:

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

2023

A toolchain for strategy synthesis with spatial properties.

Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

Int. J. Softw. Tools Technol. Transf., December, 2023

A Spatial Logic with Time and Quantifiers.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022

On Binding in the Spatial Logics for Closure Spaces.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Soft Concurrent Constraint Programming with Local Variables.

Laura Bussi, Fabio Gadducci, Francesco Santini

Proceedings of the Coordination Models and Languages, 2022

2021

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).

Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Preserving landmark legacy software with the Software Heritage Acquisition Process.

Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi

Proceedings of the 17th International Conference on Digital Preservation, 2021

Towards a Spatial Model Checker on GPU.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Towards Model Checking Video Streams Using VoxLogicA on GPUs.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink

Proceedings of the From Data to Models and Back, 2021

2020

A spatial model checker in GPU (extended version).

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

CoRR, 2020

2019

Polyadic Soft Constraints.

Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019