Sibilla : A Tool for Reasoning about Collective Systems

Almenn færsla
dc.contributor.authorDel Giudice, Nicola
dc.contributor.authorMatteucci, Lorenzo
dc.contributor.authorQuadrini, Michela
dc.contributor.authorRehman, Aniqa
dc.contributor.authorLoreti, Michele
dc.contributor.authorter Beek, Maurice H.
dc.contributor.authorSirjani, Marjan
dc.contributor.departmentDepartment of Computer Science
dc.date.accessioned2026-09-03T13:27:01Z
dc.date.available2026-09-03T13:27:01Z
dc.date.issued2022
dc.descriptionPublisher Copyright: © 2022, IFIP International Federation for Information Processing.en
dc.description.abstractSibilla is a Java framework designed to support the analysis of Collective Adaptive Systems. These are systems composed by a large set of interactive agents that cooperate and compete to reach local and global goals. Sibilla is thought of container where different tools supporting specification and analysis of concurrent and distributed large scaled systems can be integrated. In this paper, a brief overview of Sibilla features is provided together with a simple example showing some of the tool’s practical capabilities.en
dc.description.versionPeer revieweden
dc.format.extent7
dc.format.extent764248
dc.format.extent92-98
dc.format.extent
dc.identifier.citationDel Giudice, N, Matteucci, L, Quadrini, M, Rehman, A & Loreti, M 2022, Sibilla : A Tool for Reasoning about Collective Systems. in M H ter Beek & M Sirjani (eds), Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13271 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 92-98, 24th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, 13/06/22. https://doi.org/10.1007/978-3-031-08143-9_6en
dc.identifier.citationconferenceen
dc.identifier.doi10.1007/978-3-031-08143-9_6
dc.identifier.isbn9783031081453
dc.identifier.issn0302-9743
dc.identifier.other250714499
dc.identifier.other14621dc8-70e3-44eb-b32e-72d868c0a82a
dc.identifier.other85132968312
dc.identifier.urihttps://hdl.handle.net/20.500.11815/8196
dc.language.isoen
dc.publisherSpringer Science and Business Media Deutschland GmbH
dc.relation.ispartofseriesCoordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings; ()en
dc.relation.ispartofseriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13271 LNCS()en
dc.relation.urlhttps://www.scopus.com/pages/publications/85132968312en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.subjectCollective systemsen
dc.subjectProperty specification and verificationen
dc.subjectSpecification languagesen
dc.subjectTheoretical Computer Scienceen
dc.subjectGeneral Computer Scienceen
dc.titleSibilla : A Tool for Reasoning about Collective Systemsen
dc.type/dk/atira/pure/researchoutput/researchoutputtypes/contributiontobookanthology/conferenceen

Skrár

Original bundle

Niðurstöður 1 - 1 af 1
Nafn:
978-3-031-08143-9_6.pdf
Stærð:
746.34 KB
Snið:
Adobe Portable Document Format
Hlaða niður

Undirflokkur

Háskólinn í Reykjavík

Öll gögn í Opnum vísindum eru vernduð af ákvæðum höfundalaga og með öllum réttindum áskildum, nema annað sé tekið fram.