Josef Pohl

According to our database, Josef Pohl authored at least 3 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

AdvoCATE: An Assurance Case Automation Toolset.

Ewen Denney, Ganesh Pai, Josef Pohl

Proceedings of the Computer Safety, Reliability, and Security, 2012

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.

Ewen Denney, Ganesh Pai, Josef Pohl

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2006

Constructive Membership Predicates as Index Types.

James L. Caldwell, Josef Pohl

Proceedings of the Programming Languages meets Program Verification, 2006