Publisher
Springer International Publishing
Reference10 articles.
1. Bergenhem, C., Meinke, K., Ström, F.: Quantitative safety analysis of a coordinated emergency brake protocol for vehicle platoons. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 386–404 (2018)
2. Cai, S., Gallina, B., Nyström D., Seceleanu, C.: Effective test suite design for detecting concurrency control faults in distributed transaction systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 355–374 (2018)
3. Lecture Notes in Computer Science,2007
4. Konnov, I., Widder, J.: ByMC: Byzantine model checker. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 327–342 (2018)
5. Konnov, I., Veith, H., Widder, J.: On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Inf. Comput. 252, 95–109 (2017)