Frantz Iwu

According to our database, Frantz Iwu authored at least 4 papers between 2003 and 2010.

Collaborative distances:

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

2010

Scalable Fualt Detection for FPGAs.

Frantz Iwu

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2007

Integrating safety and formal analyses using UML and PFS.

Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn

Reliab. Eng. Syst. Saf., 2007

2005

On the Formal Development of Safety-Critical Software.

Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn

Proceedings of the Verified Software: Theories, 2005

2003

Modelling and Analysing Fault Propagation in Safety-Related Systems.

Frantz Iwu, Ian Toyn

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003