Neel Madhav

According to our database, Neel Madhav authored at least 7 papers between 1990 and 2020.

Collaborative distances:

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

2020

Analysis of demagnetized BLDC Motor using MATLAB Simulink model and AWT analysis.

Neel Madhav, Ranjit Sadakale

Proceedings of the 11th International Conference on Computing, 2020

1996

Testing Ada 95 Programs for Conformance to Rapide Architectures.

Neel Madhav

Proceedings of the Reliable Software Technologies, 1996

1993

Correctness and error detection in a partial order model of distributed program executions.

Neel Madhav

PhD thesis, 1993

1991

An Extension of Standard ML Modules with Subtyping and Inheritance.

John C. Mitchell, Sigurd Meldal, Neel Madhav

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

An object-oriented approach to formal specification of reactive systems.

Neel Madhav, Sigurd Meldal

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Application of formal specification to software maintenance.

Neel Madhav, Sriram Sankar

Proceedings of the Conference on Software Maintenance, 1990

A methodology for formal specification and implementation of Ada packages.

Neel Madhav, Walter Mann

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990