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 321-340 of 565 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
321Kovacs, Laura Symbol Elimination for Program AnalysisPräsentation Presentation2018
322Kovacs, Laura Symbol Elimination in Program AnalysisPräsentation Presentation2018
323Barkatou, Moulay A. ; Jaroschek, Maximilian Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsKonferenzbeitrag Inproceedings 2018
324Suda, Martin ; Gleiss, Bernhard Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018
325Reger, Giles ; Suda, Martin Incremental Solving with VampireKonferenzbeitrag Inproceedings 2018
326Reger, Giles ; Suda, Martin Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
327Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings2018
328Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian Efficient Algorithms for Asymptotic Bounds on Termination Time in VASSKonferenzbeitrag Inproceedings 2018
329Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018
330Zuleger, Florian Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change AbstractionKonferenzbeitrag Inproceedings 2018
331Kovacs, Laura ; Voronkov, Andrei First-Order Theorem Proving in Rigorous Systems EngineeringPräsentation Presentation2018
332Kovacs, Laura First-Order InterpolationPräsentation Presentation2018
333Kovacs, Laura Automated Reasoning for Systems EngineeringPräsentation Presentation2018
334Kovacs, Laura Automated Reasoning for Rigorous Systems EngineeringPräsentation Presentation2018
335Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
336Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsKonferenzbeitrag Inproceedings 2018
337Pagel, Jens ; Jovanovic, Dejan ; Weissenbacher, Georg A Separation Logic with Data: Small Models and AutomationKonferenzbeitrag Inproceedings 2018
338Dragoi, Cezara ; Lazić, Marijana ; Widder, Josef Communication-Closed Layers as Paradigm for Distributed Systems: A ManifestoKonferenzbeitrag Inproceedings2018
339Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura Aligator.jl – A Julia Package for Loop Invariant GenerationKonferenzbeitrag Inproceedings 2018
340Radicek, Ivan ; Gulwani, Sumit ; Zuleger, Florian Automated clustering and program repair for introductory programming assignmentsKonferenzbeitrag Inproceedings 2018