先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Theoretical Aspects of Software Engineering
会议名16th International Symposium on Theoretical Aspects of Software Engineering (TASE 2022)
中译名《第十六届国际软件工程的理论问题研讨会》
机构Babes-Bolyai University
会议日期July 8-10, 2022
会议地点Cluj-Napoca, Romania
出版年2022
馆藏号344085


题名作者出版年
Practical Theory of Computation on StructuresKlaus-Dieter Schewe2022
Complexity of Distributed Petri Net SynthesisRaymond Devillers; Ronny Tredup2022
Repairing Adversarial Texts Through PerturbationGuoliang Dong; Jingyi Wang; Jun Sun; Sudipta Chattopadhyay; Xinyu Wang; Ting Dai; Jie Shi; Jin Song Dong2022
Formal Verification of a KeystoreJaap Boender; Goran Badevic2022
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent VerificationNicholas Moore; Mark Lawford2022
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service AttacksFrancesco Parolini; Antoine Mine2022
On Verification of Smart Contracts via Model CheckingYulong Bao; Xue-Yang Zhu; Wenhui Zhang; Wuwei Shen; Pengfei Sun; Yingqi Zhao2022
Equivalence of Denotational and Operational Semantics for Interaction LanguagesErwan Mahe; Christophe Gaston; Pascale Le Gall2022
Automatic Classification of Bug Reports Based on Multiple Text Information and Reports' IntentionFanqi Meng; Xuesong Wang; Jingdong Wang; Peifang Wang2022
Collaborative Verification of Uninterpreted ProgramsYide Du; Weijiang Hong; Zhenbang Chen; Ji Wang2022
MSDetector: A Static PHP Webshell Detection System Based on Deep-LearningBaijun Cheng; Yanhui Guo; Yan Ren; Gang Yang; Guosheng Xu2022
Extending Process Algebra with an Undefined ActionS. Arun-Kumar2022
Machine-Assisted Proofs for Institutions in CoqConor Reynolds; Rosemary Monahan2022
Optimizing Trans-Compilers in Runtime Verification Makes Sense - SometimesHannes Kallwies; Martin Leucker; Meiko Prilop; Malte Schmitz2022
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX ProgramsHaitao Zhang; Bowen Pu2022
Dynamic Specification Mining Based on TransformerYing Gao; Meng Wang; Bin Yu2022
Dynamic Environment Simulation for Database Performance EvaluationChunxi Zhang; Rong Zhang; Kai Liu2022
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B SpecificationsRacem Bougacha; Regine Laleau; Simon Collart-Dutilleul; Rahma Ben Ayed2022
Development of Monitoring Systems for Anomaly Detection Using ASTD SpecificationsEl Jabri Chaymae; Frappier Marc; Ecarot Thibaud; Tardif Pierre-Martin2022
A Language-Based Causal Model for SafetyMarcello Bonsangue; Georgiana Caltais; Hui Feng; Hunkar Can Tunc2022
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024