Research output per year
Research output per year
Research output
- 3 Conference contribution
Search results
-
2023
Learning Through Imitation by Using Formal Verification
Raviv, A., Bronshtein, E., Reginiano, O., Aluf-Medina, M. & Kugler, H., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (ed.). Springer Science and Business Media Deutschland GmbH, p. 342-355 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Simulation and Verification of Network-Based Biocomputation Circuits
Aluf-Medina, M., Raviv, A., Arora, H., Korten, T. & Kugler, H., 2023, ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2023-May).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2021
Formal Semantics and Verification of Network-Based Biocomputation Circuits
Aluf-Medina, M., Korten, T., Raviv, A., Nicolau, D. V. & Kugler, H., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 464-485 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access5 Scopus citations