{"title":"Risk Assessment Based Cloudification","authors":"Szilárd Bozóki, Gábor Koronka, A. Pataricza","doi":"10.1007/978-3-319-23129-7_6","DOIUrl":"https://doi.org/10.1007/978-3-319-23129-7_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121475433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Engineering Cross-Layer Fault Tolerance in Many-Core Systems","authors":"Rem Gensh, A. Romanovsky, A. Yakovlev","doi":"10.1007/978-3-319-23129-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-23129-7_5","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"18 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114106409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Resiliency Variance in Workflows with Choice","authors":"John C. Mace, C. Morisset, A. Moorsel","doi":"10.1007/978-3-319-23129-7_10","DOIUrl":"https://doi.org/10.1007/978-3-319-23129-7_10","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"22 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125606958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Turenne, A. Kanso, Abdelouahed Gherbi, Ronan Barrett
{"title":"Automatic Generation of Description Files for Highly Available Services","authors":"M. Turenne, A. Kanso, Abdelouahed Gherbi, Ronan Barrett","doi":"10.1007/978-3-319-12241-0_4","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_4","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115873451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pontus Boström, Mikko Heikkilä, M. Huova, M. Waldén, M. Linjama
{"title":"Verification and Validation of a Pressure Control Unit for Hydraulic Systems","authors":"Pontus Boström, Mikko Heikkilä, M. Huova, M. Waldén, M. Linjama","doi":"10.1007/978-3-319-12241-0_8","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_8","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117155522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Applying FMEA to SOAs: A Proposal and Open Challenges","authors":"Cristiana Areias, Nuno Antunes, J. Cunha","doi":"10.1007/978-3-319-12241-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_7","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122854744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation","authors":"A. Iliasov, R. Palacin, A. Romanovsky","doi":"10.1007/978-3-319-12241-0_10","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_10","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125526627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simulation Testing and Model Checking: A Case Study Comparing these Approaches","authors":"Richard Lipka, M. Paska, T. Potuzak","doi":"10.1007/978-3-319-12241-0_9","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_9","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125132214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Role of Parts in the System Behaviour","authors":"D. D. Ruscio, I. Malavolta, Patrizio Pelliccione","doi":"10.1007/978-3-319-12241-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_3","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121811057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Community Resilience Engineering: Reflections and Preliminary Contributions","authors":"V. D. Florio, Hong Sun, C. Blondia","doi":"10.1007/978-3-319-12241-0_1","DOIUrl":"https://doi.org/10.1007/978-3-319-12241-0_1","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130482365","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}