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 41-60 of 99 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Kovacs, Laura Symbol Elimination in Program AnalysisPräsentation Presentation2018
42Kovacs, Laura ; Voronkov, Andrei First-Order Theorem Proving in Rigorous Systems EngineeringPräsentation Presentation2018
43Kovacs, Laura First-Order InterpolationPräsentation Presentation2018
44Kovacs, Laura Automated Reasoning for Systems EngineeringPräsentation Presentation2018
45Kovacs, Laura Automated Reasoning for Rigorous Systems EngineeringPräsentation Presentation2018
46Reger, Giles ; Suda, Martin ; Voronkov, Andrei Instantiation and Pretending to be an SMT Solver with VampirePräsentation Presentation2017
47Reger, Giles ; Suda, Martin ; Voronkov, Andrei Recent Improvements of Theory Reasoning in VampirePräsentation Presentation2017
48Reger, Giles ; Suda, Martin Local proofs and AVATARPräsentation Presentation2017
49Reger, Giles ; Suda, Martin Incremental Solving with VampirePräsentation Presentation2017
50Kovacs, Laura Algebraic Reasoning for Program AnalysisPräsentation Presentation2017
51Weissenbacher, Georg Interpolation-based Model Checking and IC3Präsentation Presentation2017
52Kovacs, Laura Symbol Elimination for Program AnalysisPräsentation Presentation2017
53Reger, Giles ; Suda, Martin Measuring progress to predict success: Can a good proof strategy be evolved?Präsentation Presentation2017
54Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Polynomial Invariant Generation for Multi-Path LoopsPräsentation Presentation2017
55Reger, Giles ; Suda, Martin When Should We Add Theory Axioms And Which Ones?Präsentation Presentation2016
56Reger, Giles ; Suda, Martin Revisiting Global SubsumptionPräsentation Presentation2016
57Kovacs, Laura With a Timisoara Background in the Scientific World of Computer Science andPräsentation Presentation2016
58Kovacs, Laura First-Order Theorem Proving and VampirePräsentation Presentation2016
59Barkatou, Moulay ; Jaroschek, Maximilian Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016
60Jaroschek, Maximilian ; Barkatou, Moulay Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016