Nico Plat

Publication Activity (10 Years)

Years Active: 1990-2017
Publications (10 Years): 2

Top Topics

Provably Correct

Software Engineering

Temporal Properties

Top Venues

Publications

Stefania Gnesi, Nico Plat, Hernán C. Melgratti
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE (2017)
Stefania Gnesi, Nico Plat
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) (2015)
Claire Ingram, Zoe Andrews, Richard John Payne, Nico Plat
SysML fault modelling in a traffic management system of systems. SoSE (2014)
Stefania Gnesi, Nico Plat
1st FME workshop on formal methods in software engineering (FormaliSE 2013). ICSE (2013)
Peter van der Spek, Nico Plat, Cornelis Pronk
Syntax error repair for a Java-based parser generator. ACM SIGPLAN Notices 40 (4) (2005)
B. Tim Denvir, José Nuno Oliveira, Nico Plat
The Cash-Point (ATM) 'Problem'. Formal Aspects Comput. 12 (4) (2000)
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
The Future of Formal Methods in Industry. ZUM (1995)
Peter Gorm Larsen, Nico Plat, Hans Toetenel
A Formal Semantics of Data Flow Diagrams. Formal Aspects Comput. 6 (6) (1994)
Nico Plat, Peter Gorm Larsen
An overview of the ISO/VDM-SL standard. ACM SIGPLAN Notices 27 (8) (1992)
Nico Plat, Jan van Katwijk, Hans Toetenel
Application and benefits of formal methods in software development. Softw. Eng. J. 7 (5) (1992)
Peter Gorm Larsen, Nico Plat
Standards for Non- Executable Specification Languages. Comput. J. 35 (6) (1992)
Nico Plat, Jan van Katwijk, Kees Pronk
A Case for Structured Analysis/Formal Design. VDM Europe (1) (1991)
Nico Plat, Kees Pronk, Marcel Verhoef
The Delft VDM-SL Front-End. VDM Europe (1) (1991)
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)
Hans Toetenel, Jan van Katwijk, Nico Plat
Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development (1990)