Probabilistic Black-Box Reachability Checking

Bernhard Aichernig; Martin Tappler

doi:10.1007/978-3-319-67531-2_4

Probabilistic Black-Box Reachability Checking

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

Original language	English
Title of host publication	Runtime Verification, 17th International Conference
Publisher	Springer International Publishing AG
Pages	50-67
Number of pages	18
ISBN (Electronic)	978-3-319-67531-2
ISBN (Print)	978-3-319-67530-5
DOIs	https://doi.org/10.1007/978-3-319-67531-2_4
Publication status	Published - Sept 2017
Event	Runtime Verification, 17th International Conference - Seattle, United States Duration: 13 Sept 2017 → 16 Sept 2017 http://rv2017.cs.manchester.ac.uk/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing AG
Volume	10548
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Runtime Verification, 17th International Conference
Abbreviated title	RV17
Country/Territory	United States
City	Seattle
Period	13/09/17 → 16/09/17
Internet address	http://rv2017.cs.manchester.ac.uk/

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-319-67531-2_4

Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project

Cite this

Aichernig, B & Tappler, M 2017, Probabilistic Black-Box Reachability Checking. in Runtime Verification, 17th International Conference. Lecture Notes in Computer Science, vol. 10548, Springer International Publishing AG , pp. 50-67, Runtime Verification, 17th International Conference, Seattle, Washington, United States, 13/09/17. https://doi.org/10.1007/978-3-319-67531-2_4

@inproceedings{dbb56d3e7bc847d09eb50ea3191d2e95,

title = "Probabilistic Black-Box Reachability Checking",

author = "Bernhard Aichernig and Martin Tappler",

year = "2017",

month = sep,

doi = "10.1007/978-3-319-67531-2_4",

language = "English",

isbn = "978-3-319-67530-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG ",

pages = "50--67",

booktitle = "Runtime Verification, 17th International Conference",

address = "Switzerland",

note = "Runtime Verification, 17th International Conference, RV17 ; Conference date: 13-09-2017 Through 16-09-2017",

url = "http://rv2017.cs.manchester.ac.uk/",

}

TY - GEN

T1 - Probabilistic Black-Box Reachability Checking

AU - Aichernig, Bernhard

AU - Tappler, Martin

PY - 2017/9

Y1 - 2017/9

U2 - 10.1007/978-3-319-67531-2_4

DO - 10.1007/978-3-319-67531-2_4

M3 - Conference paper

SN - 978-3-319-67530-5

T3 - Lecture Notes in Computer Science

SP - 50

EP - 67

BT - Runtime Verification, 17th International Conference

PB - Springer International Publishing AG

T2 - Runtime Verification, 17th International Conference

Y2 - 13 September 2017 through 16 September 2017

ER -

Probabilistic Black-Box Reachability Checking

Publication series

Conference

Fields of Expertise

Access to Document

Projects

Dependable Internet of Things

Cite this