Projects per year
Abstract
Original language | English |
---|---|
Title of host publication | 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 |
Editors | Nikolaj Bjørner, Arie Gurfinkel |
Publisher | IEEE CS |
Pages | 130 - 138 |
Number of pages | 9 |
ISBN (Electronic) | 978-0-9835678-8-2 |
Publication status | Published - 2018 |
Event | 18th Conference on Formal Methods in Computer-Aided Design - Austin, United States Duration: 30 Oct 2018 → 2 Nov 2018 Conference number: 18 |
Conference
Conference | 18th Conference on Formal Methods in Computer-Aided Design |
---|---|
Abbreviated title | FMCAD 2018 |
Country/Territory | United States |
City | Austin |
Period | 30/10/18 → 2/11/18 |
Fingerprint
Dive into the research topics of 'Automata Learning for Symbolic Execution'. Together they form a unique fingerprint.Projects
- 3 Finished
-
Enable-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Bloem, R., Horn, M., Wotawa, F., Bösch, W. & Eichberger, A.
1/05/16 → 30/04/19
Project: Research project
-
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
-
EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Project: Research project