Publications
6229787 . 2011 [1] A.-L. Lamprecht, S. Naujokat, T. Margaria, and B. Steffen, “Semantics-based composition of EMBOSS services,” Journal of biomedical semantics , vol. 2, no. Suppl 1, pp. 1–21, 2011, doi: [...] the International Conference on Operations Research (GOR 2023) URL: https://fiona.uni-hamburg.de/27c1a194/program-gor2023.pdf Preprint Learning Symbolic Timed Models from Concrete Timed Data Simon Dierl [...] Lorber, Malte Mauritz In: NASA Formal Methods (NFM 2023) DOI: https://doi.org/0.1007/978-3-031-33170-1_7 Preprint The integration of multi-color taint-analysis with dynamic symbolic execution for Java web …
