Julia J. Tillman

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Process Algebra

Smart Environments

Top Venues

Publications

Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CSF (2023)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)