https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verification and Validation of Concurrent and Distributed Systems (Track Summary)
University of TwenteEnschede, The Netherlands.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2870-2680
2020 (English)In: Lect. Notes Comput. Sci., Springer Science and Business Media Deutschland GmbH , 2020, p. 421-425Conference paper, Published paper (Refereed)
Abstract [en]

Usually, greater concurrency is the goal of any distributed system, yet distribution also introduces issues of consistency and separate failure domains. With the increase of device connectivity and virtualization techniques, developing correct and reliable concurrent and distributed systems characterized by high performance is notoriously difficult. This requires novel verification techniques, or extensions, adaptations and improvements of existing ones, to address emergent problems. The track on Verification and Validation of Concurrent and Distributed Systems aims to discuss key challenges that need to be tackled in order to enable the efficient and scalable assurance of modern concurrent and distributed systems, as well as present methods and tools that bear the promise to achieve the latter.

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2020. p. 421-425
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 12476 LNCS
Keywords [en]
Distributed database systems, Formal methods, Concurrent and distributed systems, Distributed systems, Failure domains, Verification techniques, Verification-and-validation, Virtualization Techniques, Distributed computer systems
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-52971DOI: 10.1007/978-3-030-61362-4_24Scopus ID: 2-s2.0-85097375305ISBN: 9783030613617 (print)OAI: oai:DiVA.org:mdh-52971DiVA, id: diva2:1514843
Conference
20 October 2020 through 30 October 2020
Available from: 2021-01-07 Created: 2021-01-07 Last updated: 2021-01-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Seceleanu, Cristina

Search in DiVA

By author/editor
Seceleanu, Cristina
By organisation
Embedded Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 91 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf