Localizing Faults in Simulink/Stateflow Models with STL

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath (Speaker), Dejan Nickovic

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control
Pages	197-206
Number of pages	10
DOIs	https://doi.org/10.1145/3178126.3178131
Publication status	Published - 2018
Event	HSCC 2018 - Duration: 11 Apr 2018 → 13 Apr 2018

Conference	HSCC 2018
Period	11/04/18 → 13/04/18

Research Field

@inproceedings{114b565357504bb1a235703e24acd56f,

title = "Localizing Faults in Simulink/Stateflow Models with STL",

author = "Ezio Bartocci and Thomas Ferr{\`e}re and Niveditha Manjunath and Dejan Nickovic",

year = "2018",

doi = "10.1145/3178126.3178131",

language = "English",

isbn = "978-1-4503-5642-8",

pages = "197--206",

booktitle = "Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control",

note = "HSCC 2018 ; Conference date: 11-04-2018 Through 13-04-2018",

}

TY - GEN

T1 - Localizing Faults in Simulink/Stateflow Models with STL

AU - Bartocci, Ezio

AU - Ferrère, Thomas

AU - Nickovic, Dejan

A2 - Manjunath, Niveditha

PY - 2018

Y1 - 2018

U2 - 10.1145/3178126.3178131

DO - 10.1145/3178126.3178131

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-4503-5642-8

SP - 197

EP - 206

BT - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control

T2 - HSCC 2018

Y2 - 11 April 2018 through 13 April 2018

ER -