Formal Understanding of Tradeoffs among Liveness and Safety Requirements

Özgür Kafali; Nirav Ajmeri; Munindar P. Singh

doi:10.1109/REW.2016.017

Formal Understanding of Tradeoffs among Liveness and Safety Requirements

Özgür Kafali, Nirav Ajmeri, Munindar P. Singh

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Original language	English
Title of host publication	Proceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)
Place of Publication	Beijing
Publisher	IEEE Computer Society
Pages	17-18
Number of pages	2
DOIs	https://doi.org/10.1109/REW.2016.017
Publication status	Published - 1 Sep 2016

Bibliographical note

Extended abstract

Access to Document

10.1109/REW.2016.017

Cite this

@inproceedings{d97ca86f725a4585aaa9803fcd3ccbe6,

title = "Formal Understanding of Tradeoffs among Liveness and Safety Requirements",

author = "{\"O}zg{\"u}r Kafali and Nirav Ajmeri and Singh, {Munindar P.}",

note = "Extended abstract",

year = "2016",

month = sep,

day = "1",

doi = "10.1109/REW.2016.017",

language = "English",

pages = "17--18",

booktitle = "Proceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)",

publisher = "IEEE Computer Society",

address = "United States",

}

Formal Understanding of Tradeoffs among Liveness and Safety Requirements. / Kafali, Özgür; Ajmeri, Nirav; Singh, Munindar P.

Proceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Beijing : IEEE Computer Society, 2016. p. 17-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - Formal Understanding of Tradeoffs among Liveness and Safety Requirements

AU - Kafali, Özgür

AU - Ajmeri, Nirav

AU - Singh, Munindar P.

N1 - Extended abstract

PY - 2016/9/1

Y1 - 2016/9/1

U2 - 10.1109/REW.2016.017

DO - 10.1109/REW.2016.017

M3 - Conference Contribution (Conference Proceeding)

SP - 17

EP - 18

BT - Proceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)

PB - IEEE Computer Society

CY - Beijing

ER -