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