Parse Tree Structure in LTL Requirements Diagnosis

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	The 26th International Symposium on Software Reliability Engineering Workshops
Publisher	.
Pages	100-107
Publication status	Published - 2015
Event	International Symposium on Software Reliability Engineering - Gaithersburg, MD, United States Duration: 2 Nov 2015 → 5 Nov 2015

Conference	International Symposium on Software Reliability Engineering
Country/Territory	United States
City	Gaithersburg, MD
Period	2/11/15 → 5/11/15

Fields of Expertise

eDAS - Holistic Energy Management for third and fourth generation of EVs: eDAS = efficiency powered by smart Design meaningful Architecture connected Systems
Wotawa, F. (Project manager on research unit)
1/10/13 → 30/09/16
Project: Research project
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Attendee / Assistant) & Pill, I. H. (Project manager)
1/11/10 → 30/06/15
Project: Research project
Artificial Intelligence & Applications
Haase, V. (Attendee), Wotawa, F. (Contact person) & Pill, I. H. (Attendee)
16/11/00 → 31/12/24
Project: Research area

@inproceedings{7214bb298d174827a3f7b5d77e302609,

title = "Parse Tree Structure in LTL Requirements Diagnosis",

author = "Pill, \{Ingo Hans\} and Thomas Quaritsch and Franz Wotawa",

year = "2015",

language = "English",

pages = "100--107",

booktitle = "The 26th International Symposium on Software Reliability Engineering Workshops",

publisher = ".",

note = "International Symposium on Software Reliability Engineering ; Conference date: 02-11-2015 Through 05-11-2015",

}

TY - GEN

T1 - Parse Tree Structure in LTL Requirements Diagnosis

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

AU - Wotawa, Franz

PY - 2015

Y1 - 2015

M3 - Conference paper

SP - 100

EP - 107

BT - The 26th International Symposium on Software Reliability Engineering Workshops

PB - .

T2 - International Symposium on Software Reliability Engineering

Y2 - 2 November 2015 through 5 November 2015

ER -