SETTA 2018 Accepted Papers

Chung-Ling Lin, Wuwei Shen, Tao Yue and Guangyuan Li. Automatically Support Generation and Maintenance of An Assurance Case
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 Verification of Numerical Software
Junyan Qian. 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 control of Boolean networks (a preliminary report) (Short Paper)
Yang Chen, Zhenya Zhang, Peng Wu and Yu Zhang. Automatic Localization of Linearizability Faults