In this section, we present a list of all the publications that include the Sibilla framework or it is used as a simulation tool.

If you use Sibilla in any way in your research, please let us know by sending an e-mail to [email protected]

If you want to cite Sibilla, please use the following .bibtex:

@article{Sibilla2024,
title = {Sibilla: A tool for reasoning about collective systemsImage 1},
journal = {Science of Computer Programming},
volume = {235},
pages = {103095},
year = {2024},
issn = {0167-6423},
doi = {https://doi.org/10.1016/j.scico.2024.103095},
url = {https://www.sciencedirect.com/science/article/pii/S0167642324000182},
author = {Nicola {Del Giudice} and Lorenzo Matteucci and Michela Quadrini and Aniqa Rehman and Michele Loreti},
keywords = {Collective systems, Specification languages, Property specification, Verification},
abstract = {Formal approaches and tools have been defined, implemented and successfully applied to support the design and development of Collective Adaptive Systems. These tools are highly specialised in their fields, and their integration requires an effort. In this paper, we introduce Sibilla, a Java modular tool that facilitates the integration of multiple specification languages for supporting quantitative analysis of systems. After a description of the general architecture of Sibilla, the main features of the tool are discussed via simple examples.}
}

List of Papers about Sibilla

• Del Giudice, N., Matteucci, L., Quadrini, M., Rehman, A., & Loreti, M. (2024). Sibilla: A tool for reasoning about collective systems. Science of Computer Programming, 103095.
• Del Giudice, N., Matteucci, L., Quadrini, M., Rehman, A., & Loreti, M. (2022). Sibilla: A Tool for Reasoning about Collective Systems. In International Conference on Coordination Languages and Models (pp. 92-98). Springer, Cham.

List of Papers that use Sibilla

• Del Giudice, N., & Loreti, M. (2022, September). YODA: Yet anOther agent Description lAnguage. In 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 82-87). IEEE.

• Loreti, M., & Rehman, A. (2022). A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. In International Conference on Quantitative Evaluation of Systems (pp. 133-149). Springer, Cham.