Franz Röck

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 6

Top Topics

Formal Verification

Transition Systems

Bounded Model Checking

Top Venues

Publications

Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55 (2) (2019)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR (2018)
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) (2018)
Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. FMCAD (2016)
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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL (2016)
Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. TAP@STAF (2015)
Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig
Automating Test-Suite Augmentation. QSIC (2014)
Kurt Dietrich, Franz Röck
Performance Optimizations for DAA Signatures on Java enabled Platforms. J. Univers. Comput. Sci. 16 (4) (2010)
Franz Röck, John S. Vardakas, Ioannis D. Moscholios, Michael D. Logothetis, Erich Leitgeb
A Simple Analytical Model for the Calculation of Packet Blocking Probability in an Optical Packet Switching Netw. Panhellenic Conference on Informatics (2010)