Paul Mukherjee

According to our database, Paul Mukherjee authored at least 10 papers between 1992 and 2000.

Collaborative distances:

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

2000

Using VDMTools to Model and Validate the Cash Dispenser Example.

Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen

Formal Aspects Comput., 2000

1998

Decomposition in Real-Time Safety-Critical Systems.

Paul Mukherjee, Victoria Stavridou

Real Time Syst., 1998

The Ammunition Control System.

Paul Mukherjee, John S. Fitzgerald

Proceedings of the Proof in VDM: Case Studies, 1998

1997

Automatic Translation of VDM-SL Specifications into Gofer.

Paul Mukherjee

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

System Refinement in VDM-SL.

Paul Mukherjee

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Computer-aided validation of formal specifications.

Paul Mukherjee

Softw. Eng. J., 1995

A Theory pf Orwellian Specifications with NewThink.

Paul Mukherjee, Victoria Stavridou

Formal Aspects Comput., 1995

1994

A Semantics for NewSpeak in VDM-SL.

Paul Mukherjee

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

The Formal Specification of Safety Requirements for Storing Explosives.

Paul Mukherjee, Victoria Stavridou

Formal Aspects Comput., 1993

1992

Newthink - An Orwellian specification language for real-time safety critical systems.

Paul Mukherjee, Victoria Stavridou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992