Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems

Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins

doi:10.1007/978-3-031-35361-1_5

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems

Carlos Mão de Ferro
, Tiago Cogumbreiro
, Francisco Martins

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings
Editors	Sung-Shik Jongmans, Antónia Lopes
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	93-114
Number of pages	22
ISBN (Print)	9783031353604
DOIs	https://doi.org/10.1007/978-3-031-35361-1_5
State	Published - 2023
Event	25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 - Lisbon, Portugal Duration: Jun 19 2023 → Jun 23 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13908 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023
Country/Territory	Portugal
City	Lisbon
Period	6/19/23 → 6/23/23

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-35361-1_5

Cite this

de Ferro, C. M., Cogumbreiro, T., & Martins, F. (2023). Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. In S.-S. Jongmans, & A. Lopes (Eds.), Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings (pp. 93-114). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13908 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-35361-1_5

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. / de Ferro, Carlos Mão; Cogumbreiro, Tiago; Martins, Francisco.
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. ed. / Sung-Shik Jongmans; Antónia Lopes. Springer Science and Business Media Deutschland GmbH, 2023. p. 93-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13908 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

de Ferro, CM, Cogumbreiro, T & Martins, F 2023, Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. in S-S Jongmans & A Lopes (eds), Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13908 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 93-114, 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 6/19/23. https://doi.org/10.1007/978-3-031-35361-1_5

de Ferro CM, Cogumbreiro T, Martins F. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. In Jongmans SS, Lopes A, editors, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 93-114. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-35361-1_5

de Ferro, Carlos Mão ; Cogumbreiro, Tiago ; Martins, Francisco. / Shelley : A Framework for Model Checking Call Ordering on Hierarchical Systems. Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. editor / Sung-Shik Jongmans ; Antónia Lopes. Springer Science and Business Media Deutschland GmbH, 2023. pp. 93-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f3ab4e122d5a496bb7e23bb53710da3a,

title = "Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems",

author = "\{de Ferro\}, \{Carlos M{\~a}o\} and Tiago Cogumbreiro and Francisco Martins",

note = "Publisher Copyright: {\textcopyright} 2023, IFIP International Federation for Information Processing.; 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 ; Conference date: 19-06-2023 Through 23-06-2023",

year = "2023",

doi = "10.1007/978-3-031-35361-1\_5",

language = "English",

isbn = "9783031353604",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "93--114",

editor = "Sung-Shik Jongmans and Ant{\'o}nia Lopes",

booktitle = "Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings",

}

TY - GEN

T1 - Shelley

T2 - 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023

AU - de Ferro, Carlos Mão

AU - Cogumbreiro, Tiago

AU - Martins, Francisco

PY - 2023

Y1 - 2023

UR - https://www.scopus.com/pages/publications/85164658891

UR - https://www.scopus.com/pages/publications/85164658891#tab=citedBy

U2 - 10.1007/978-3-031-35361-1_5

DO - 10.1007/978-3-031-35361-1_5

M3 - Conference contribution

AN - SCOPUS:85164658891

SN - 9783031353604

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 93

EP - 114

BT - Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings

A2 - Jongmans, Sung-Shik

A2 - Lopes, Antónia

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 19 June 2023 through 23 June 2023

ER -