Pub Date : 2019-10-28DOI: 10.1007/978-3-030-31784-3_14
H. M. Le
{"title":"KLUZZER: Whitebox Fuzzing on Top of LLVM","authors":"H. M. Le","doi":"10.1007/978-3-030-31784-3_14","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_14","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129160647","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_23
Rüdiger Ehlers, Keerthi Adabala
{"title":"Reactive Synthesis of Graphical User Interface Glue Code","authors":"Rüdiger Ehlers, Keerthi Adabala","doi":"10.1007/978-3-030-31784-3_23","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_23","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"3 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126114646","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_29
R. Bloem, Swen Jacobs, Y. Vizel
{"title":"Efficient Information-Flow Verification Under Speculative Execution","authors":"R. Bloem, Swen Jacobs, Y. Vizel","doi":"10.1007/978-3-030-31784-3_29","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_29","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131325856","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_16
P. Abdulla, M. Atig, Bui Phi Diep, L. Holík, Petr Janku
{"title":"Chain-Free String Constraints","authors":"P. Abdulla, M. Atig, Bui Phi Diep, L. Holík, Petr Janku","doi":"10.1007/978-3-030-31784-3_16","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_16","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122034909","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 : 2019-10-28DOI: 10.1007/978-3-030-31784-3_13
P. Parízek
{"title":"BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment","authors":"P. Parízek","doi":"10.1007/978-3-030-31784-3_13","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_13","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129737682","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 : 2019-07-25DOI: 10.1007/978-3-030-31784-3_27
T. Brázdil, K. Chatterjee, A. Kucera, Petr Novotný, Dominik Velan
{"title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","authors":"T. Brázdil, K. Chatterjee, A. Kucera, Petr Novotný, Dominik Velan","doi":"10.1007/978-3-030-31784-3_27","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_27","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130853412","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 : 2019-07-01DOI: 10.1007/978-3-030-31784-3_7
É. André, Jun Sun
{"title":"Parametric Timed Model Checking for Guaranteeing Timed Opacity","authors":"É. André, Jun Sun","doi":"10.1007/978-3-030-31784-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_7","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134647355","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 : 2019-05-07DOI: 10.1007/978-3-030-31784-3_15
E. Bartocci, L. Kovács, Miroslav Stankovič
{"title":"Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops","authors":"E. Bartocci, L. Kovács, Miroslav Stankovič","doi":"10.1007/978-3-030-31784-3_15","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_15","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117110105","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 : 2019-05-05DOI: 10.1007/978-3-030-31784-3_31
S. Khoussi, Ayoub Nouri, Junxiao Shi, J. Filliben, L. Benmohamed, A. Battou, S. Bensalem
{"title":"Performance Evaluation of the NDN Data Plane Using Statistical Model Checking","authors":"S. Khoussi, Ayoub Nouri, Junxiao Shi, J. Filliben, L. Benmohamed, A. Battou, S. Bensalem","doi":"10.1007/978-3-030-31784-3_31","DOIUrl":"https://doi.org/10.1007/978-3-030-31784-3_31","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130841812","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 : 2018-10-07DOI: 10.1007/978-3-030-01090-4_2
S. Seshia, Ankush Desai, T. Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward J. Kim, S. Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
{"title":"Formal Specification for Deep Neural Networks","authors":"S. Seshia, Ankush Desai, T. Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward J. Kim, S. Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue","doi":"10.1007/978-3-030-01090-4_2","DOIUrl":"https://doi.org/10.1007/978-3-030-01090-4_2","url":null,"abstract":"","PeriodicalId":335085,"journal":{"name":"Automated Technology for Verification and Analysis","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114951037","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
扫码关注我们
求助内容：
应助结果提醒方式：