_id,doi,title
1705,10.1007/s10009-015-0393-y,Guided search for hybrid systems based on coarse-grained space abstractions
479,10.1145/2889160.2889233,Use runtime verification to improve the quality of medical care practice
1439,10.1145/2837614.2837650,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
1524,10.1007/978-3-319-26916-0_10,Efficient reduction of kappa models by static inspection of the rule-set
1526,10.1007/978-3-662-49122-5_12,Lipschitz robustness of timed I/O systems
1335,10.1007/978-3-662-53413-7_2,Quantitative monitor automata
1341,10.1007/978-3-662-53354-3_13,Dynamic resource allocation games
1390,10.1007/978-3-319-41540-6_21,QLOSE: Program repair with quantitative objectives
1391,10.1007/978-3-319-41540-6_13,Array folds logic
1421,10.1145/2883817.2883837,Scalable static hybridization methods for analysis of nonlinear systems
1205,10.1007/978-3-319-48989-6_47,Safety assured formal model driven design of the multifunction vehicle bus controller
1227,10.1007/978-3-319-47151-8_9,Discrete abstraction of multiaffine systems
1230,10.1007/978-3-662-49122-5_16,Abstraction-driven concolic testing
1234,10.1007/978-3-662-49674-9_7,Faster statistical model checking for unbounded temporal properties
1256,10.1109/RTAS.2016.7461337,From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
10794,10.3389/fenvs.2015.00042,Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
1656,10.1109/LICS.2015.72,Nested weighted automata
1657,10.1109/LICS.2015.32,Unifying two views on multiple mean-payoff objectives in Markov decision processes
1658,10.1007/978-3-319-23401-4_8,Adaptive moment closure for parameter inference of biochemical reaction networks
1659,10.1109/LICS.2015.74,The target discounted-sum problem