Research output per year
Research output per year
Research output
Search results
-
2021
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
Barbot, B., Bollig, B., Finkel, A., Haddad, S., Khmelnitsky, I., Leucker, M., Neider, D., Roy, R. & Ye, L., 2021, p. 113-129.Research output: Contribution to conference › Conference Papers › peer-review
-
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Khmelnitsky, I., Neider, D., Roy, R., Xie, X., Barbot, B., Bollig, B., Finkel, A., Haddad, S., Leucker, M. & Ye, L., 2021, p. 364-380.Research output: Contribution to conference › Conference Papers › peer-review
-
2016
Integration of Runtime Verification into Metamodeling
Macias, F., Scheffel, T., Schmitz, M., Wang, R., Leucker, M., Rutle, A. & Stolz, V., 01.11.2016, p. 1-3. 3 p.Research output: Contribution to conference › Conference Papers › peer-review
-
2015
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE
Busshaus, T. B., Fischer, S., Kühn, F., Leucker, M., Schmitz, M. & Mildner, A., 01.05.2015, p. 243-248. 6 p.Research output: Contribution to conference › Conference Papers › peer-review
-
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente textendash Technologietransfer im CMSSE
Busshaus, T., Fischer, S., Kühn, F., Leucker, M., Mildner, A. & Schmitz, M., 01.03.2015, p. 1-6. 6 p.Research output: Contribution to conference › Conference Papers › peer-review
-
2014
CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs
Sachenbacher, M., Blankenburg, M. & Leucker, M., 01.09.2014, p. 1-6. 6 p.Research output: Contribution to conference › Conference Papers › peer-review
-
2012
Towards 2nd-Life Application of Lithium-Ion Batteries for Stationary Energy Storage in Photovoltaic Systems
Mayer, T., Leucker, M., Jossen, A., Sachenbacher, M. & Brand, S. M., 2012.Research output: Contribution to conference › Conference Papers › peer-review
-
2005
Runtime verification revisited
Arafat, O., Bauer, A., Leucker, M. & Schallhart, C., 01.10.2005, p. 1-22. 22 p.Research output: Contribution to conference › Conference Papers › peer-review