The FMCAD 2017 graduate student forum

Keijo Heljanko

doi:10.23919/FMCAD.2017.8102234

The FMCAD 2017 graduate student forum

Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

8 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017
Editors	Daryl Stewart, Georg Weissenbacher
Publisher	IEEE
Pages	10
Number of pages	1
ISBN (Print)	978-0-9835678-7-5
DOIs	https://doi.org/10.23919/FMCAD.2017.8102234
Publication status	Published - 2 Oct 2017
MoE publication type	B3 Non-refereed conference publication
Event	International Conference on Formal Methods in Computer-Aided Design - TU Wien, Vienna, Austria Duration: 2 Oct 2017 → 6 Oct 2017 Conference number: 17

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Abbreviated title	FMCAD
Country/Territory	Austria
City	Vienna
Period	02/10/2017 → 06/10/2017

Keywords

Software
Design Automation
Model Checking
Engineering profession
Hardware
Concurrent computing

Access to Document

10.23919/FMCAD.2017.8102234

Cite this

@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 = oct,

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",

address = "United States",

note = "International Conference on Formal Methods in Computer-Aided Design, FMCAD ; Conference date: 02-10-2017 Through 06-10-2017",

}

TY - GEN

T1 - The FMCAD 2017 graduate student forum

AU - Heljanko, Keijo

N1 - Conference code: 17

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 article in proceedings

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

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 2 October 2017 through 6 October 2017

ER -

The FMCAD 2017 graduate student forum

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this