Josef Pohl

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2012

AdvoCATE: An Assurance Case Automation Toolset.

[DOI]

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

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

[DOI]

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

2006

Constructive Membership Predicates as Index Types.

[DOI]

Proceedings of the Programming Languages meets Program Verification, 2006