Eingebettete Intelligenz

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020) March 9-13 Grenoble France IEEE 2020.

In: Peter Csaba Ölveczky, Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings.. International Conference on Software Engineering and Formal Methods (SEFM-2019) September 16-20 Oslo Norway Seiten 454-468 Lecture Notes in Computer Science (LNCS) 11724 ISBN 978-3-030-30446-1 Springer Cham 9/2019.

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017) 6th September 20-23 Noida India IEEE 9/2017.

In: Serge Autexier, Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016) befindet sich International Joint Conference on Automated Reasoning IJCAR 2016 July 2 Coimbra Portugal Seiten 43-52 Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 Open Publishing Association 1/2017.

In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-16) March 18 Dresden Germany 3/2016.

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

In: G. Klein, R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014) befindet sich Vienna Summer of Logic July 14-17 Wien Austria Seiten 467-482 Lecture Notes in Computer Science (LNCS) 8558 Springer Verlag 7/2014.

In: Heather Miller, Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14) 5th Annual Scala Workshop befindet sich ECOOP 2014 July 28-29 Uppsala Sweden Seiten 63-66 ISBN 978-1-4503-2868-5 ACM New York 7/2014.

In: Jacques Carette (Hrsg.). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13) Seiten 326-329 Lecture Notes in Artificial Intelligence (LNAI) 7961 Springer 7/2013.