Nico Plat

According to our database, Nico Plat authored at least 15 papers between 1990 and 2017.

Collaborative distances:

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

2017

5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).

Stefania Gnesi, Nico Plat, Hernán C. Melgratti

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2015

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015).

Stefania Gnesi, Nico Plat

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

SysML fault modelling in a traffic management system of systems.

Claire Ingram, Zoe Andrews, Richard John Payne, Nico Plat

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

2013

1st FME workshop on formal methods in software engineering (FormaliSE 2013).

Stefania Gnesi, Nico Plat

Proceedings of the 35th International Conference on Software Engineering, 2013

2005

Syntax error repair for a Java-based parser generator.

Peter J. van der Spek, Nico Plat, Cornelis Pronk

ACM SIGPLAN Notices, 2005

2000

The Cash-Point (ATM) 'Problem'.

B. Tim Denvir, José Nuno Oliveira, Nico Plat

Formal Aspects Comput., 2000

1995

The Future of Formal Methods in Industry.

Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

A Formal Semantics of Data Flow Diagrams.

Peter Gorm Larsen, Nico Plat, Hans Toetenel

Formal Aspects Comput., 1994

1992

An overview of the ISO/VDM-SL standard.

Nico Plat, Peter Gorm Larsen

ACM SIGPLAN Notices, 1992

Application and benefits of formal methods in software development.

Nico Plat, Jan van Katwijk, Hans Toetenel

Softw. Eng. J., 1992

Standards for Non- Executable Specification Languages.

Peter Gorm Larsen, Nico Plat

Comput. J., 1992

1991

The Delft VDM-SL Front-End.

Nico Plat, Kees Pronk, Marcel Verhoef

Proceedings of the VDM '91, 1991

A Case for Structured Analysis/Formal Design.

Nico Plat, Jan van Katwijk, Kees Pronk

Proceedings of the VDM '91, 1991

1990

Structured analysis - formal design, using stream and object oriented formal specifications.

Hans Toetenel, Jan van Katwijk, Nico Plat

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Type Checking BSI/VDM-SL.

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel

Proceedings of the VDM '90, 1990