Projects per year
Abstract
Original language | English |
---|---|
Title of host publication | Automated Technology for Verification and Analysis - ATVA 2021 |
Editors | Zhe Hou, Vijay Ganesh |
Place of Publication | Cham |
Publisher | Springer |
Pages | 67-73 |
Number of pages | 7 |
ISBN (Electronic) | 978-3-030-88885-5 |
ISBN (Print) | 978-3-030-88884-8 |
DOIs | |
Publication status | Published - 2021 |
Event | 19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australia Duration: 18 Oct 2021 → 22 Oct 2021 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 12971 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA 2021 |
Country/Territory | Australia |
City | Virtuell |
Period | 18/10/21 → 22/10/21 |
Keywords
- Active automata learning
- Model inference
- Python
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project