Nico Plat

24 papers A* 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — ed.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024
FormaliSE@ICSE
Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes
2022 — ed.
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022
FormaliSE@ICSE
Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat
2021 — ed.
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021
FormaliSE@ICSE
Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini
2020 — ed.
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020
FormaliSE@ICSE
Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat
2019 — ed.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.
FormaliSE@ICSE
Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi
2018 — ed.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018
FormaliSE@ICSE
Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione
2017 — conf
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).
FormaliSE@ICSE
Stefania Gnesi, Nico Plat, Hernán C. Melgratti
2015 — conf
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015).
ICSE (2)
Stefania Gnesi, Nico Plat
2015 — ed.
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015
FormaliSE
Stefania Gnesi, Nico Plat
2014 — ed.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014
FormaliSE
Stefania Gnesi, Nico Plat
2014 — conf
SysML fault modelling in a traffic management system of systems.
SoSE
Claire Ingram, Zoe Andrews, Richard John Payne, Nico Plat
2013 A* conf
1st FME workshop on formal methods in software engineering (FormaliSE 2013).
ICSE
Stefania Gnesi, Nico Plat
2012 — ed.
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012
FormSERA@ICSE
Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe
2005 J jnl
Syntax error repair for a Java-based parser generator.
ACM SIGPLAN Notices
Peter J. van der Spek, Nico Plat, Cornelis Pronk
2000 J jnl
The Cash-Point (ATM) 'Problem'.
Formal Aspects Comput.
B. Tim Denvir, José Nuno Oliveira, Nico Plat
1995 — conf
The Future of Formal Methods in Industry.
ZUM
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
1994 J jnl
A Formal Semantics of Data Flow Diagrams.
Formal Aspects Comput.
Peter Gorm Larsen, Nico Plat, Hans Toetenel
1992 J jnl
An overview of the ISO/VDM-SL standard.
ACM SIGPLAN Notices
Nico Plat, Peter Gorm Larsen
1992 J jnl
Application and benefits of formal methods in software development.
Softw. Eng. J.
Nico Plat, Jan van Katwijk, Hans Toetenel
1992 J jnl
Standards for Non- Executable Specification Languages.
Comput. J.
Peter Gorm Larsen, Nico Plat
1991 — conf
A Case for Structured Analysis/Formal Design.
VDM Europe (1)
Nico Plat, Jan van Katwijk, Kees Pronk
1991 — conf
The Delft VDM-SL Front-End.
VDM Europe (1)
Nico Plat, Kees Pronk, Marcel Verhoef
1990 — conf
Structured analysis - formal design, using stream and object oriented formal specifications.
Formal Methods in Software Development
Hans Toetenel, Jan van Katwijk, Nico Plat
1990 — conf
Type Checking BSI/VDM-SL.
VDM Europe
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel