Publications

Filters: Author is Lijun Zhang [Clear All Filters]

2019

P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., “Measuring Masking Fault-Tolerance”, in Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, vol. 11428, T. Vojnar and Zhang, L., Eds. Springer, 2019, pp. 375–392.

paper-790.pdf (509.7 KB)

2011

M. Fränzle, Hahn, E. M., Hermanns, H., Wolovick, N., and Zhang, L., “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.

2010

G. Calin, Crouzen, P., D'Argenio, P. R., Hahn, E. M., and Zhang, L., “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211.

paper-11.pdf (315.45 KB)