Publications

My profile at Google Scholar can be found here. A subset of my publications in DLBP.

 

2016

Modelling Collaborative Systems and Automated Negotiations. Nico Plat, Peter Gorm Larsen, and Ken Pierce. In: Proceedings of the 14th Overture Workshop, 7 November 2016, Limassol, Cyprus. Pages 108-122.

Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. Luis Diogo Couto, Kenneth Lausdahl, Nico Plat, Peter Gorm Larsen, and Ken Pierce. In: Proceedings of the 14th Overture Workshop, 7 November 2016, Limassol, Cyprus. Pages 123-136.

Proceedings of the14th Overture Workshop: Towards Analytical Tool Chains. Peter Gorm Larsen, Nico Plat and Nick Battle (Eds.), 2016. Department of Engineering, Aarhus University. Denmark. Technical report ECE-TR-28. November 2016, Limassol, Cyprus. 

4th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2016). Stefania Gnesi, Nico Plat (Eds.). In: Proceedings of the 2016 International Conference on Software Engineering. May 2016.

 

2015

Integrating an Upgraded Constituent System in a System of Systems: A SysML Case Study. Claire Ingram, John Fitzgerald, John Holt, Nico Plat. In: INCOSE 2015, Seattle, Washington, USA. July 2015.

Third FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). Stefania Gnesi, Nico Plat (Eds.). In: Proceedings of the 2015 International Conference on Software Engineering. May 2015.

2014

SysML Fault Modelling in a Traffic Management System of Systems. C. Ingram, Z. Andrews, R. Payne, N. Plat. In: SoSE 2014 - 9th Annual International Conference on System of Systems Engineering (IEEE SoSE), Adelaide, Austrialia. June 2014.

Second FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014). Stefania Gnesi, Nico Plat (Eds.). In: Proceedings of the 2014 International Conference on Software Engineering. June 2014.

2013

The Overture Approach to VDM Language Evolution. Nick Battle, Anne Haxthausen, Sako Hiroshi, Peter W. V. Jørgensen, Nico Plat, Shin Sahara, and Marcel Verhoef. Click here for slides of the presentation. In: Proceedings of the 11th Overture Workshop. Technical Report ECE-TR-17. Aarhus University. 2013.

First FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013). Stefania Gnesi, Nico Plat (Eds.). Click here for abstracts. In: Proceedings of the 2013 International Conference on Software Engineering. Pages 1519-1520. IEEE Press Piscataway. ISBN: 978-1-4673-3076-3. May 2013.

2012

Proceedings of the 10th Overture Workshop. Nico Plat, Claus Nielsen and Steve Riddle (Eds.). CS-TR-1345, Newcastle University. 2012.

Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe (Eds.). IEEE Catalog Number: CFP1286S-ART. ISBN: 978-1-4673-1906-5. June 2012.

2010

Proceedings of the 8th Overture Workshop. Ken Pierce, Nico Plat, and Sune Wolff (eds.). CS-TR-1226, Newcastle University. 2010.

2009

Veilige webapplicaties. Arthur de Jong and Nico Plat. In: ICT Security in de praktijk. ISBN: 978-90-814070-3-8. In Dutch. 2009.

2006

Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop. J.S. Fitzgerald, P.G. Larsen and N. Plat (eds.). Technical Report CS-TR-969, University of Newcastle upon Tyne, UK. June 2006.

2005

Validated Designs for Object-oriented Systems. John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef. Springer Verlag, New York. ISBN: 1-85233-881-4. 2005.

Adding Syntax Error Repair to a Java-based Parser Generator. P. van der Spek, N. Plat and C. Pronk. ACM SIGPLAN Notices, 40(4):47-50. April 2005.

2000

The Cash-Point (ATM) `Problem'. Tim Denvir, Jose Oliveira and Nico Plat. Formal Aspects of Computing Journal, 12:211-215. 2000.

1998

Architecture Development for Traffic Control on the Dutch Motorway Network. Jos Vrancken, Victor Avontuur, Jan Blonk, Marcel Westerman and Nico Plat. In: proceedings of the 5th World Congress on Intelligent Transport Systems. 12-16 October 1998, Seoul, Korea.1998.

Formal Software Development Methods: an Engineering Perspective. Leon Bun, Jan van Katwijk, Ronald Lutje Spelberg, Hans Toetenel and Nico Plat. In: Encyclopedia of Computer Science and Technology. Volume 38, Supplement 23. Allen kent, James G. Williams (Eds.). Marcel Dekker, Inc. New York. pp. 117-147. 1998.

The Syntax Mapping. F. Damm, J. Dawes, B.S. Hansen, P.G. Larsen, G. Parkin, N. Plat and W.J. Toetenel. In: A Formal Definition of VDM-SL. University of Leicester, Leicester, UK. D.J. Andrews (Eds.). pp. 218-263. 1998. 

1996

The Use and Construction of Tools for checking large Language Definitions. C. Pronk, N. Plat and A.W.W.M. Biegstraaten. High Integrity Systems, 1(6):557-567. 1996.

1995

CombiCom: Tracking and Tracing Rail Traffic using VDM++. Eugène Dürr, Nico Plat and Michiel de Boer. In: Applications of Formal Methods. Michael G. Hinchey, Jonathan P. Bowen (Eds.). Prentice Hall International Series in Computer Science. pp. 203-225. 1995.

The Future of Formal Methods in Industry. Nico Plat. In: proceedings of ZUM'95: The Z Formal Specification Notation. Jonathan P. Bowen, Michael G. Hinchey (eds.). Springer-Verlag. LNCS 967. pp. 237-242. 1995.

1994

Checking the Formal Definition of Modula-2. C. Pronk, N. Plat and A.W.W.M. Biegstraaten. In: Proc. Safety through Quality Conference, Berkshire, UK. E. Hill (Ed.). 1994.

A Formal Semantics of Data Flow Diagrams. Peter Gorm Larsen, Nico Plat and Hans Toetenel. Formal Aspects of Computing Journal, 6(6):585-606. 1994.

1993

Experiments with Formal Methods in Software Engineering. Nico Plat. PhD thesis. ISBN 90-9006392-7. 1993. Propositions to the thesis.

AEVDM Action-Event Modeling using an extended VDM-SL. Ronald Huijsman, Jan van Katwijk, Nico Plat and Hans Toetenel. Technical Report 93-117, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1993.

Specifying a Lift System in VDM-SL or From Operations to Events. R.D. Huijsman, J. van Katwijk, N. Plat and K. Sima'an. Technical Report, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1993.

1992

A formal transformation from the BSI/VDM-SL concrete syntax to the core Abstract syntax. Nico Plat and Hans Toetenel. Technical Report 92-07, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1992.

Standards for Non-Executable Specification Languages. P.G. Larsen and N. Plat. The Computer Journal, 35(6):567-574. 1992.

An Overview of the ISO/VDM-SL Standard. Nico Plat and Peter Gorm Larsen. Sigplan Notices, 27(8):76-82. 1992.

SVDM: An Integrated Combination of SA and VDM. P.G. Larsen, J. van Katwijk, N. Plat, C. Pronk and W.J. Toetenel. In: Proc. of the Methods Integration Workshop, Leeds, UK, September 92. Springer Verlag, Heidelberg, 1992.

1991

A Case for Structured Analysis/Formal Design. Nico Plat, Jan van Katwijk and Kees Pronk. In: proceedings of VDM'91: Formal Software Development Methods. S. Prehn and W.J. Toetenel (Eds.). Springer-Verlag, LNCS 551. pp. 81-105. 1991.

The Delft VDM-SL front-end. Nico Plat, Kees Pronk and Marcel Verhoef. In: proceedings of VDM'91: Formal Software Development Methods. S. Prehn and W.J. Toetenel (Eds.). Springer-Verlag, LNCS 551. pp. 677-680. 1991.

Applications and benefits of formal methods in software development. Nico Plat, Jan van Katwijk and Hans Toetenel. Software Engineering Journal, 7(5):335-346. 1992. Also appeared in as: Technical Report 91-33, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1991.

1990

Type checking BSI/VDM-SL. Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk and Hans Toetenel. In: proceedings of VDM'90: VDM and Z - Formal Methods in Software Development. D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). Springer-Verlag. LNCS 428. pp. 399-425. 1990.

Structured Analysis - Formal Design, using Stream & Object Oriented Formal Specification. Hans Toetenel, Jan van Katwijk and Nico Plat. In: proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development. Napa, California, 9-11 May 1990. Software Engineering Notes, ACM Press, 15(4):118-127. 1990.

1989

Tool Support for VDM. Nico Plat and Hans Toetenel. Technical Report 89-81, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1989.

1988

Towards a VDM-SL Compiler. Nico Plat. MsC. Thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics. 1988.

English