Person:
Zeige 1 bis 10 von 78 Ergebnissen
Zeige 1 bis 10 von 78 Ergebnissen
Herber P; Osama M; Wijs A (2026) In: Science of Computer Programming, 248. Research article (journal) | |
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: . Research article in edited proceedings (conference) | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024. Switzerland: . Research article in edited proceedings (conference) | |
Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (eds.), Software Engineering and Formal Methods. SEFM 2024. Cham: . Research article in edited proceedings (conference) | |
Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods. Cham: . Research article in edited proceedings (conference) | |
Tasche Philip; Herber Paula; Huisman Marieke (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods. Cham: . Research article in edited proceedings (conference) | |
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Switzerland: . Research article in edited proceedings (conference) | |
Tasche P; Herber P; Huisman M (2025) In: Transactions on Embedded Computing Systems, 24(5s). Research article (journal) | |
Herber P; Wijs A (2025) In: Formal Aspects of Computing, 37(4). Research article (journal) | |
Herber, Paula; Wijs, Anton (eds.) (2024) Leiden: . Conference proceedings |