Forschungsbereich Formal Methods in Systems Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Code Kennzahl
E192-04
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 521-540 of 565 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
521Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon ValidationKonferenzbeitrag Inproceedings 2012
522Sastry, Srikanth ; Welch, Jennifer L. ; Widder, Josef Wait-Free Stabilizing Dining Using Regular RegistersKonferenzbeitrag Inproceedings 2012
523Konnov, Igor ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
524John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
525Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
526Weissenbacher, Georg Interpolant Strength RevisitedKonferenzbeitrag Inproceedings 2012
527Rabinovich, Alexander ; Rubin, Sasha Interpretations in Trees with Countably Many BranchesKonferenzbeitrag Inproceedings 2012
528Veith, Helmut Special Issue: Games in Verification (foreword)Artikel Article2012
529Weissenbacher, Georg Labelled Interpolation SystemsPräsentation Presentation2012
530John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
531Veith, Helmut Secure Two-Party Computation in ANSI CPräsentation Presentation2012
532John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012
533Widder, Josef ; Biely, Martin ; Gridling, Günther ; Weiss, Bettina ; Blanquart, Jean-Paul Consensus in the presence of mortal Byzantine faulty processesArtikel Article 2012
534Dawar, Anuj ; Veith, Helmut Selected Papers of the Conference "Computer Science Logic CSL 2010": PrefaceArtikel Article2012
535Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut Secure two-party computations in ANSI CKonferenzbeitrag Inproceedings 2012
536Zuleger, Florian Bound Analysis of Imperative Programs with the Size-change AbstractionPräsentation Presentation2011
537Zuleger, Florian Bound Analysis of Imperative Programs with the Size-change AbstractionPräsentation Presentation2011
538Függer, Matthias ; Widder, Josef On Efficient Checking of Link-reversal-based Concurrent SystemsPräsentation Presentation2011
539Zuleger, Florian Bound Analysis of Imperative Programs with the Size-change AbstractionPräsentation Presentation2011
540Zuleger, Florian Bound Analysis of Imperative Programs with the Size-change AbstractionPräsentation Presentation2011