Research output per year
Research output per year
Search results
-
2023
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., May 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 141-160 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
2022
Adaptive testing for specification coverage and refinement in CPS models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., Nov 2022, In: Nonlinear Analysis: Hybrid Systems. 46, 16 p., 101254.Research output: Contribution to journal › Article › peer-review
Open Access -
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study
Bloem, R., Larrauri Borroto, L. A., Lengfeldner, R., Mateis, C., Ničković, D. & Ziegler, B., 2022, Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022. Institute of Electrical and Electronics Engineers, p. 21-24 4 p. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2021
Adaptive Testing for Specification Coverage in CPS Models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 5, p. 229-234 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access