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.languageiso639-1en-
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.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_5794-
item.tuhhseriesidQualITA 2025 : The Fourth Conference on System and Service Quality co-located with 39th International Conference on Modelling and Simulation (ECMS 2025)-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.seriesrefQualITA 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

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