Forschungsbereich Formal Methods in Systems Engineering

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
 


Results 1-20 of 406 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovacs, Laura With a Timisoara Background in the Scientific World of Computer Science andPräsentation Presentation2016
2Chockler-2022-Why Do Things Go Wrong or RightApplications of Causal Reaso...-vor.pdf.jpgChockler, Hana ; Griggio, Alberto ; Rungta, Neha Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to VerificationInproceedings Oct-2022
3Konnov, Igor ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
4John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
5Reger, Giles ; Suda, Martin When Should We Add Theory Axioms And Which Ones?Präsentation Presentation2016
6Sastry, Srikanth ; Welch, Jennifer L. ; Widder, Josef Wait-Free Stabilizing Dining Using Regular RegistersKonferenzbeitrag Inproceedings 2012
7Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
8Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
9Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
10Kovacs, Laura Verifying Relational Properties using Trace LogicPräsentation Presentation2019
11Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
1227_Verifying Properties of Bit_vector Multiplication Using Cutting Planes Reasoning.pdf.jpgLiew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob ; Ivrii, Alexander ; Strichman, Ofer Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningKonferenzbeitrag Inproceedings 2020
13Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha Verification-Aided Deep Ensemble SelectionInproceedings Oct-2022
14Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef Verification of Randomized Consensus Algorithms Under Round-Rigid AdversariesKonferenzbeitrag Inproceedings 2019
15Padon-2022-Verification of Distributed Protocols Decidable Modeling and I...-vor.pdf.jpgPadon, Oded ; Griggio, Alberto ; Rungta, Neha Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceInproceedings Oct-2022
16Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
17Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
18Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
19Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
2026_Using model checking tools to triage the severity of security bugs in the Xen hypervisor.pdf.jpgCook, Byron ; Döbel, Björn ; Kroening, Daniel ; Manthey, Norbert ; Pohlack, Martin ; Polgreen, Elizabeth ; Tautschnig, Michael ; Wieczorkiewicz, Pawel ; Ivrii, Alexander ; Strichman, Ofer Using model checking tools to triage the severity of security bugs in the Xen hypervisorKonferenzbeitrag Inproceedings 2020