The FMCAD 2017 graduate student forum

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Standard

The FMCAD 2017 graduate student forum. / Heljanko, Keijo.

Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. ed. / Daryl Stewart; Georg Weissenbacher. IEEE, 2017. p. 10.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Harvard

Heljanko, K 2017, The FMCAD 2017 graduate student forum. in D Stewart & G Weissenbacher (eds), Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. IEEE, pp. 10, International Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, 02/10/2017. https://doi.org/10.23919/FMCAD.2017.8102234

APA

Heljanko, K. (2017). The FMCAD 2017 graduate student forum. In D. Stewart, & G. Weissenbacher (Eds.), Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017 (pp. 10). IEEE. https://doi.org/10.23919/FMCAD.2017.8102234

Vancouver

Heljanko K. The FMCAD 2017 graduate student forum. In Stewart D, Weissenbacher G, editors, Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. IEEE. 2017. p. 10 https://doi.org/10.23919/FMCAD.2017.8102234

Author

Heljanko, Keijo. / The FMCAD 2017 graduate student forum. Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017. editor / Daryl Stewart ; Georg Weissenbacher. IEEE, 2017. pp. 10

Bibtex - Download

@inproceedings{77ab7db9e3db4ef7ab14407a20ca4615,
title = "The FMCAD 2017 graduate student forum",
abstract = "The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In 2017, the event took place in Vienna, Austria, as integral part of the FMCAD conference. Thirteen students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification, such as automated reasoning, model checking of hardware, software, as well as parameterized systems, verification of concurrent programs, and checking of floating point properties.",
keywords = "Software, Design Automation, Model Checking, Engineering profession, Hardware, Concurrent computing",
author = "Keijo Heljanko",
year = "2017",
month = "10",
day = "2",
doi = "10.23919/FMCAD.2017.8102234",
language = "English",
isbn = "978-0-9835678-7-5",
pages = "10",
editor = "Daryl Stewart and Georg Weissenbacher",
booktitle = "Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017",
publisher = "IEEE",

}

RIS - Download

TY - GEN

T1 - The FMCAD 2017 graduate student forum

AU - Heljanko, Keijo

PY - 2017/10/2

Y1 - 2017/10/2

N2 - The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In 2017, the event took place in Vienna, Austria, as integral part of the FMCAD conference. Thirteen students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification, such as automated reasoning, model checking of hardware, software, as well as parameterized systems, verification of concurrent programs, and checking of floating point properties.

AB - The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In 2017, the event took place in Vienna, Austria, as integral part of the FMCAD conference. Thirteen students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification, such as automated reasoning, model checking of hardware, software, as well as parameterized systems, verification of concurrent programs, and checking of floating point properties.

KW - Software

KW - Design Automation

KW - Model Checking

KW - Engineering profession

KW - Hardware

KW - Concurrent computing

U2 - 10.23919/FMCAD.2017.8102234

DO - 10.23919/FMCAD.2017.8102234

M3 - Conference contribution

SN - 978-0-9835678-7-5

SP - 10

BT - Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017

A2 - Stewart, Daryl

A2 - Weissenbacher, Georg

PB - IEEE

ER -

ID: 16846748