Felix Nikolas Gigler
Projektass.(FWF) Dipl.-Ing.
Role
-
PreDoc Researcher
Cyber-Physical Systems, E191-01
Publications
-
Uniform sampling of timed regular expressions
/
Gigler, F. N. (2025). Uniform sampling of timed regular expressions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.129120
Download: PDF (1.04 MB) - Mining Shape Expressions from Positive Examples / Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., & Qin, X. (2020). Mining Shape Expressions from Positive Examples. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3809–3820. https://doi.org/10.1109/tcad.2020.3012240