SETTA 2018 Accepted Papers

Chung-Ling Lin, Wuwei Shen, Tao Yue and Guangyuan Li. Automatic Support of the Generation and Maintenance of Assurance Cases

Stephan Adelsberger, Anton Setzer and Eric Walkingshaw. Developing GUI Applications in a Verified Setting

Eun-Young Kang and Li Huang. Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems using Simulink Design Verifier

Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Insup Lee, Oleg Sokolsky, Clément Pit-Claudel and Gregory Eakman. Correct-by-construction implementation of runtime monitors using stepwise refinement

Zhishan Guo, Luca Santinelli and Kecheng Yang. Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors

Bai Xue, Naijun Zhan, Yangjia Li and Qiuye Wang. Robust Non-termination Analysis of Numerical Software

Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai and Lingzhong Zhao. Improvement in JavaMOP by Simplifying Büchi Automaton (Short Paper)

Shmuel Tyszberowicz, Robert Heinrich, Bo Liu and Zhiming Liu. Identifying Microservices Using Functional Decomposition

James Snook, Thai Son Hoang and Michael Butler. Developing a Language to Build Constructive Mathemathics for Rodin (Short Paper)

Bernhard K. Aichernig, Severin Kann and Richard Schumi. Statistical Model Checking of Response Times for Different System Deployments

Soumya Paul, Jun Pang and Cui Su. Towards the Existential Control of Boolean Networks: A Preliminary Report (Short Paper)

Yang Chen, Zhenya Zhang, Peng Wu and Yu Zhang. Automatic Localization of Linearizability Faults