Franz Rck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | A Counting Semantics for Monitoring LTL Specifications over Finite Traces. | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Rck |
| 2016 | FDL | 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, Grschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Knighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Rck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2016 | FMCAD | Synthesizing adaptive test strategies from temporal logic specifications. | Roderick Bloem, Robert Knighofer, Ingo Pill, Franz Rck |
| 2015 | TAP | Case Study: Automatic Test Case Generation for a Secure Cache Implementation. | Roderick Bloem, Daniel M. Hein, Franz Rck, Richard Schumi |