D’Antoni, Loris, Roopsha Samanta, and Rishabh Singh. “QLOSE: Program Repair with Quantitative Objectives,”https://doi.org/10.1007/978-3-319-41540-6_21__9780:383–401. Springer, 2016.https://doi.org/10.1007/978-3-319-41540-6_21 .

Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, Taylor Johnson, and Pradyot Prakash. “Scalable Static Hybridization Methods for Analysis of Nonlinear Systems,”https://doi.org/10.1145/2883817.2883837__155–64. Springer, 2016.https://doi.org/10.1145/2883817.2883837 .

Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms,”https://doi.org/10.1145/2837614.2837650__20–22:400–415. ACM, 2016.https://doi.org/10.1145/2837614.2837650 .

Beica, Andreea, Calin C Guet, and Tatjana Petrov. “Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set,”https://doi.org/10.1007/978-3-319-26916-0_10__9271:173–91. Springer, 2016.https://doi.org/10.1007/978-3-319-26916-0_10 .

Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,”https://doi.org/10.1007/978-3-662-49122-5_12__9583:250–67. Springer, 2016.https://doi.org/10.1007/978-3-662-49122-5_12 .

Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”https://doi.org/10.1016/j.biosystems.2016.07.005__Biosystems. Elsevier, 2016.https://doi.org/10.1016/j.biosystems.2016.07.005 .

Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.”https://doi.org/10.1007/s10009-015-0393-y__International Journal on Software Tools for Technology Transfer. Springer, 2016.https://doi.org/10.1007/s10009-015-0393-y .

Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.”https://doi.org/10.1145/2889160.2889233__In Proceedings of the 38th International Conference on Software Engineering Companion , 112–21. IEEE, 2016.https://doi.org/10.1145/2889160.2889233 .

Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016:3225–32. AAAI Press, 2016.

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,”https://doi.org/10.1007/978-3-662-53354-3_13__9928:153–66. Springer, 2016.https://doi.org/10.1007/978-3-662-53354-3_13 .