Pauline Kan

According to our database, Pauline Kan authored at least 6 papers between 1998 and 2006.

Collaborative distances:

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

2006

Structuring specifications of reactive systems using B.

Pauline Kan

PhD thesis, 2006

2000

Structuring Reactive Systems in B AMN.

Kevin Lano, Kelly Androutsopoulos, Pauline Kan

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Invariant-Based Synthesis of Fault-Tolerant Systems.

Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998

Compositional Specification of Controllers for Batch Process Operations.

Kevin Lano, Pauline Kan, Arturo Sanchez

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Linking Hazard Analysis to Formal Specification and Design in B.

Kevin Lano, Pauline Kan, Arturo Sanchez

Proceedings of the Computer Safety, 1998

Systematising Reactive System Design.

T. S. E. Maibaum, Pauline Kan, Kevin Lano

Proceedings of the Algebraic Methodology and Software Technology, 1998