7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.SE2015★ 7 cited
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B
Yongwang Zhao, Zhibin Yang, David Sanan +1
Standards play the key role in safety-critical systems. Errors in standards could mislead system developer's understanding and introduce bugs into system implementations. In this p…
cs.SE2015
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu, Sjouke Mauw
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on Jun…
cs.SE2014
Proceedings Third International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers…