Comparative modelling and verification of Pthreads and Dthreads-Reference-Cited by-同舟云学术

Comparative modelling and verification of Pthreads and Dthreads

Published:2017-11-17 Issue:3 Volume:30 Page:e1919
ISSN:2047-7473
Container-title:Journal of Software: Evolution and Process
language:en
Short-container-title:J Softw Evol Proc

Author:

Fei Yuan¹^ORCID,Zhu Huibiao¹,Wu Xi¹²,Fang Huixing³,Qin Shengchao⁴⁵

Affiliation:

1. Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy Software; East China Normal University; Shanghai China

2. School of Information Technology and Electrical Engineering; University of Queensland; Brisbane Australia

3. School of Information Engineering; Yangzhou University; Jiangsu China

4. School of Computing; University of Teesside; Middlesbrough UK

5. School of Computer Science and Software Engineering; Shenzhen University; Shenzhen China

Funder

Danish National Research Foundation and the National Natural Science Foundation of China

Danish-Chinese Center for Cyber Physical Systems

National Natural Science Foundation of China

Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things

Publisher

Wiley

Subject

Software

Reference41 articles.

1. Liu T Curtsinger C Berger ED Dthreads: Efficient deterministic multithreading 2011 Cascais, Portugal 327 336

2. Fei Y Zhu H Wu X Fang H Comparative modeling and verification of Pthreads and Dthreads January 7-9, 2016 Orlando, FL, USA 132 140

3. A general noise-reduction framework for fault localization of java programs;Xu;Inf Software Technol,2013

4. Flanagan C Freund SN Fasttrack: Efficient and precise dynamic race detection June 15-21, 2009 Dublin, Ireland 121 133

5. Agarwal R Wang L Stoller SD Detecting potential deadlocks with static analysis and run-time monitoring Haifa, Israel 191 207

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT;Formal Aspects of Computing;2023-11-20

2. Formal Modelling and Verification of the RTPS Behavior Module;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08

3. Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra;Science of Computer Programming;2020-02

4. Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP;Formal Aspects of Computing;2020-02

5. Formalization and Analysis of Haystack Architecture from Process Algebra Perspective;Mobile Networks and Applications;2019-12-09