https://creativecommons.org/licenses/by/4.0/
DC FieldValueLanguage
dc.contributor.authorCapra, Lorenzo-
dc.contributor.authorGribaudo, Marco-
dc.contributor.authorIacono, Mauro-
dc.contributor.authorKöhler-Bußmeier, Michael-
dc.date.accessioned2025-12-05T13:03:23Z-
dc.date.available2025-12-05T13:03:23Z-
dc.date.issued2025-10-27-
dc.identifier.issn1613-0073en_US
dc.identifier.urihttps://hdl.handle.net/20.500.12738/18462-
dc.description.abstractThe modeling and analysis of adaptive distributed systems, specifically those that possess (self-)reconfiguration or modification capabilities, present a considerable challenge, necessitating the use of appropriate formalisms and techniques. Traditional quantitative analysis frameworks demonstrate constrained expressiveness and should be amalgamated with innovative methodologies. Rewriting-based frameworks appear to be more suitable, despite their predominant application in formal verification. This paper examines the use of Maude as a framework for performance or probabilistic analysis in adaptive distributed systems, highlighting recent advances.en
dc.language.isoenen_US
dc.publisherRWTH Aachenen_US
dc.relation.ispartofCEUR workshop proceedingsen_US
dc.subjectdistributed systemsen_US
dc.subjectMaudeen_US
dc.subjectPerformance evaluationen_US
dc.subjectPetri netsen_US
dc.subjectrewriting systemsen_US
dc.subjectself-adaptationen_US
dc.subject.ddc004: Informatiken_US
dc.titleUsing rewriting systems for performance analysisen
dc.typeinProceedingsen_US
dc.relation.conferenceConference on System and Service Quality 2025en_US
dc.relation.conferenceInternational Conference on Modelling and Simulation 2025en_US
dc.description.versionPeerRevieweden_US
local.contributorPerson.editorColarusso, Carmine-
local.contributorPerson.editorFalco, Ida-
local.contributorPerson.editorSuchacka, Grazyna-
local.contributorPerson.editorMazzara, Manuel-
local.contributorPerson.editorTalanov, Max-
local.contributorPerson.editorGiacobbe, Maurizio-
local.contributorPerson.editorMastroianni, Michele-
local.contributorPerson.editorAhmad, Muhammad-
tuhh.container.volume4080en_US
tuhh.oai.showtrueen_US
tuhh.publication.instituteFakultät für Informatik und Digitale Gesellschaften_US
tuhh.publisher.urlhttps://ceur-ws.org/Vol-4080/paper6.pdf-
tuhh.publisher.urlhttps://nbn-resolving.org/urn:nbn:de:0074-4080-x-
tuhh.relation.ispartofseriesQualITA 2025 : The Fourth Conference on System and Service Quality co-located with 39th International Conference on Modelling and Simulation (ECMS 2025)en_US
tuhh.type.opusInProceedings (Aufsatz / Paper einer Konferenz etc.)-
dc.rights.cchttps://creativecommons.org/licenses/by/4.0/en_US
dc.type.casraiConference Paper-
dc.type.dinicontributionToPeriodical-
dc.type.drivercontributionToPeriodical-
dc.type.statusinfo:eu-repo/semantics/publishedVersionen_US
dcterms.DCMITypeText-
item.openairetypeinProceedings-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.creatorGNDCapra, Lorenzo-
item.creatorGNDGribaudo, Marco-
item.creatorGNDIacono, Mauro-
item.creatorGNDKöhler-Bußmeier, Michael-
item.creatorOrcidCapra, Lorenzo-
item.creatorOrcidGribaudo, Marco-
item.creatorOrcidIacono, Mauro-
item.creatorOrcidKöhler-Bußmeier, Michael-
item.seriesrefQualITA 2025 : The Fourth Conference on System and Service Quality co-located with 39th International Conference on Modelling and Simulation (ECMS 2025)-
item.languageiso639-1en-
item.tuhhseriesidQualITA 2025 : The Fourth Conference on System and Service Quality co-located with 39th International Conference on Modelling and Simulation (ECMS 2025)-
crisitem.author.deptDepartment Informatik (ehemalig, aufgelöst 10.2025)-
crisitem.author.orcid0000-0002-3074-4145-
crisitem.author.parentorgFakultät Technik und Informatik (ehemalig, aufgelöst 10.2025)-
Appears in Collections:Publications without full text
Show simple item record

Page view(s)

73
checked on Jan 14, 2026

Google ScholarTM

Check

HAW Katalog

Check

Add Files to Item

Note about this record

Export

This item is licensed under a Creative Commons License Creative Commons