Franz Röck

According to our database, Franz Röck authored at least 8 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces.

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Synthesizing adaptive test strategies from temporal logic specifications.

Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Case Study: Automatic Test Case Generation for a Secure Cache Implementation.

Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi

Proceedings of the Tests and Proofs - 9th International Conference, 2015

2014

Automating Test-Suite Augmentation.

Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig

Proceedings of the 2014 14th International Conference on Quality Software, 2014

2010

Performance Optimizations for DAA Signatures on Java enabled Platforms.

Kurt Dietrich, Franz Röck

J. Univers. Comput. Sci., 2010

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

Proceedings of the 14th Panhellenic Conference on Informatics, 2010