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 61-80 of 99 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Jaroschek, Maximilian Quantifier Elimination Over The RealsPräsentation Presentation2016
62Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef Model Checking of Threshold-based Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2016
63Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Parameterized Verification of Liveness of Distributed AlgorithmsPräsentation Presentation2016
64Reger, Giles ; Suda, Martin ; Voronkov, Andrei New Techniques in Clausal Form GenerationPräsentation Presentation2016
65Kiesl, Benjamin ; Suda, Martin First-Order Logic and Blocked ClausesPräsentation Presentation2016
66Suda, Martin The mystery of QBF tautologiesPräsentation Presentation2016
67Kovacs, Laura Automated Reasoning for Systems EngineeringPräsentation Presentation2016
68Kovacs, Laura Enjoying Research at the Intersection of Math and Computer SciencePräsentation Presentation2016
69Weissenbacher, Georg Interpolation algorithms and their applications in model checkingPräsentation Presentation2016
70Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016
71Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
72Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014
73Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
74Rubin, Sasha Parameterised Verification of Robot Protocols: An Automata Theoretic ApproachPräsentation Presentation2014
75Kotek, Tomer Explaining the decompositionality of monadic second order logic using applications to combinatoricsPräsentation Presentation2014
76Veith, Helmut History of Model CheckingPräsentation Presentation2014
77Veith, Helmut Model Checking of Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2014
78Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
79Rubin, Sasha First Cycle GamesPräsentation Presentation2014
80Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsPräsentation Presentation2014