Pub Date : 2013-10-03DOI: 10.1007/978-3-642-40894-6_6
Yasir Imtiaz Khan
{"title":"Optimizing Verification of Structurally Evolving Algebraic Petri Nets","authors":"Yasir Imtiaz Khan","doi":"10.1007/978-3-642-40894-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-40894-6_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121634060","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_9
A. Gorbenko, A. Romanovsky, V. Kharchenko, O. Tarasyuk
{"title":"Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling","authors":"A. Gorbenko, A. Romanovsky, V. Kharchenko, O. Tarasyuk","doi":"10.1007/978-3-642-33176-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_9","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123858581","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_12
Alessio Ferrari, M. Itria, S. Chiaradonna, G. Spagnolo
{"title":"Model-Based Evaluation of the Availability of a CBTC System","authors":"Alessio Ferrari, M. Itria, S. Chiaradonna, G. Spagnolo","doi":"10.1007/978-3-642-33176-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_12","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126255546","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_6
Yasir Imtiaz Khan, Matteo Risoldi
{"title":"Language Enrichment for Resilient MDE","authors":"Yasir Imtiaz Khan, Matteo Risoldi","doi":"10.1007/978-3-642-33176-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124355458","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_5
B. Hamid, Jacob Geisel, A. Ziani, David González
{"title":"Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain","authors":"B. Hamid, Jacob Geisel, A. Ziani, David González","doi":"10.1007/978-3-642-33176-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_5","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134451577","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_10
Amira Ben Hamida, A. Bertolino, Antonello Calabrò, G. D. Angelis, Nelson Lago, J. Lesbegueries
{"title":"Monitoring Service Choreographies from Multiple Sources","authors":"Amira Ben Hamida, A. Bertolino, Antonello Calabrò, G. D. Angelis, Nelson Lago, J. Lesbegueries","doi":"10.1007/978-3-642-33176-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_10","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128419455","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_1
Yannis Lilis, Anthony Savidis
{"title":"Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming","authors":"Yannis Lilis, Anthony Savidis","doi":"10.1007/978-3-642-33176-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_1","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121840183","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_4
Y. Prokhorova, E. Troubitsyna
{"title":"Linking Modelling in Event-B with Safety Cases","authors":"Y. Prokhorova, E. Troubitsyna","doi":"10.1007/978-3-642-33176-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_4","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117137510","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_2
Inna Pereverzeva, E. Troubitsyna, L. Laibinis
{"title":"A Case Study in Formal Development of a Fault Tolerant Multi-robotic System","authors":"Inna Pereverzeva, E. Troubitsyna, L. Laibinis","doi":"10.1007/978-3-642-33176-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_2","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129051435","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}
Pub Date : 2012-09-27DOI: 10.1007/978-3-642-33176-3_3
Camille Fayollas, J. Fabre, D. Navarre, Philippe A. Palanque, Y. Déléris
{"title":"Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach","authors":"Camille Fayollas, J. Fabre, D. Navarre, Philippe A. Palanque, Y. Déléris","doi":"10.1007/978-3-642-33176-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_3","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"213 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122661599","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：