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

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou-2024-Saturating Sorting without Sorts-smur.pdf.jpgGeorgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura Saturating Sorting without SortsPreprint Preprint 6-Mar-2024
2Niessen-2024-Finding counterexamples to hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
3Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022
4Rawson, Michael Linear Refutation and Clause SplittingPreprint Preprint5-Dec-2022
5Kovacs, Laura Symbolic Computation for Software AnalysisPresentation Vortrag25-Oct-2022
6Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022
7Kovacs, Laura First-Order Theorem Proving - Theory and PracticePresentation Vortrag10-Oct-2022
8Kovacs, Laura Getting Saturated with InductionPresentation Vortrag29-Sep-2022
9Kovacs, Laura Algebra-Based Analysis of Polynomial Probabilistic ProgramsPresentation Vortrag22-Sep-2022
10Eisenhofer, Clemens User-Propagation for Custom Theories in SMT SolvingPresentation Vortrag14-Sep-2022
11Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
12Brugger-2022-Automating Security Analysis of Off-Chain Protocols-am.pdf.jpgBrugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael Automating Security Analysis of Off-Chain ProtocolsPresentation Vortrag 11-Aug-2022
13Petkovic Komel, Anja The essence of type-theoretic elaborationPresentation Vortrag31-Jul-2022
14Kovacs, Laura Automated Reasoning for Trustworthy SoftwarePresentation Vortrag21-Jun-2022
15Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag17-Jun-2022
16Kovacs, Laura Algebraic Synthesis of Loops and their InvariantsPresentation Vortrag6-Jun-2022
17Kovacs, Laura Automated Program ReasoningPresentation Vortrag30-May-2022
18Petkovic Komel, Anja The essence of elaborationPresentation Vortrag20-May-2022
19Kovacs, Laura Enjoying Research at the Intersection of Math and Computer SciencePresentation Vortrag3-Apr-2022
20Kovacs, Laura Getting Saturated with InductionPresentation Vortrag27-Jan-2022