@inproceedings{8ddbbdbc353e4e209075577edcfc6a5e,
title = "Verification and Validation of Concurrent and Distributed Systems (Track Summary)",
abstract = "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.",
author = "Marieke Huisman and Cristina Seceleanu",
year = "2020",
doi = "10.1007/978-3-030-61362-4_24",
language = "English",
isbn = "978-3-030-61361-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Singapore",
pages = "421--425",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I",
address = "Singapore",
note = "9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",
url = {https://doi.org/10.1007/978-3-030-61362-4_24}
}

{"_id":"M5qxW5Ftznj4PCBBT","bibbaseid":"huisman-seceleanu-verificationandvalidationofconcurrentanddistributedsystemstracksummary-2020","authorIDs":[],"author_short":["Huisman, M.","Seceleanu, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verification and Validation of Concurrent and Distributed Systems (Track Summary)","abstract":"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.","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Cristina"],"propositions":[],"lastnames":["Seceleanu"],"suffixes":[]}],"year":"2020","doi":"10.1007/978-3-030-61362-4_24","language":"English","isbn":"978-3-030-61361-7","series":"Lecture Notes in Computer Science","publisher":"Springer Singapore","pages":"421–425","editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"booktitle":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I","address":"Singapore","note":"9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020","url":"https://doi.org/10.1007/978-3-030-61362-4_24","bibtex":"@inproceedings{8ddbbdbc353e4e209075577edcfc6a5e,\ntitle = \"Verification and Validation of Concurrent and Distributed Systems (Track Summary)\",\nabstract = \"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.\",\nauthor = \"Marieke Huisman and Cristina Seceleanu\",\nyear = \"2020\",\ndoi = \"10.1007/978-3-030-61362-4_24\",\nlanguage = \"English\",\nisbn = \"978-3-030-61361-7\",\nseries = \"Lecture Notes in Computer Science\",\npublisher = \"Springer Singapore\",\npages = \"421--425\",\neditor = \"Tiziana Margaria and Bernhard Steffen\",\nbooktitle = \"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I\",\naddress = \"Singapore\",\nnote = \"9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020\",\nurl = {https://doi.org/10.1007/978-3-030-61362-4_24}\n}\n\n\n\n","author_short":["Huisman, M.","Seceleanu, C."],"editor_short":["Margaria, T.","Steffen, B."],"key":"8ddbbdbc353e4e209075577edcfc6a5e","id":"8ddbbdbc353e4e209075577edcfc6a5e","bibbaseid":"huisman-seceleanu-verificationandvalidationofconcurrentanddistributedsystemstracksummary-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-61362-4_24"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2021-03-09T09:25:27.689Z","downloads":0,"keywords":[],"search_terms":["verification","validation","concurrent","distributed","systems","track","summary","huisman","seceleanu"],"title":"Verification and Validation of Concurrent and Distributed Systems (Track Summary)","year":2020,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}