A Simple Analytical Model for the Calculation of Packet Blocking Probability in an Optical Packet Switching Netw. - Franz Röck; John S. Vardakas; Ioannis D. Moscholios; Michael D. Logothetis; Erich Leitgeb (Panhellenic Conference on Informatics, 2010)

Performance Optimizations for DAA Signatures on Java enabled Platforms. - Kurt Dietrich; Franz Röck (J. Univers. Comput. Sci., 2010)

Automating Test-Suite Augmentation. - Roderick Bloem; Robert Könighofer; Franz Röck; Michael Tautschnig (QSIC, 2014)

Case Study: Automatic Test Case Generation for a Secure Cache Implementation. - Roderick Bloem; Daniel M. Hein; Franz Röck; Richard Schumi (TAP@STAF, 2015)

Designing reliable cyber-physical systems overview associated to the special session at FDL'16. - Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon D. ter Braak; Sergei Devadze; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Robert Könighofer; Ingo Pill; Franz Röck (FMCAD, 2016)

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. - Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Franz Röck (CAV (1), 2018)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Görschwin Fey; Fabian Greif; Robert Könighofer; Ingo Pill; Heinz Riener; Franz Röck (Formal Methods Syst. Des., 2019)