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 284 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Sastry, Srikanth ; Welch, Jennifer L. ; Widder, Josef Wait-Free Stabilizing Dining Using Regular RegistersKonferenzbeitrag Inproceedings 2012
2Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
3Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
4Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
527_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
6Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef Verification of Randomized Consensus Algorithms Under Round-Rigid AdversariesKonferenzbeitrag Inproceedings 2019
7Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
826_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
9Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian Using Loop Bound Analysis For Invariant GenerationKonferenzbeitrag Inproceedings 2018
10Reger, Giles ; Suda, Martin ; Voronkov, Andrei ; Beyer, Dirk ; Huisman, Marieke Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
1103_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin ; Ivrii, Alexander ; Strichman, Ofer Tutorial on World-Level Model CheckingKonferenzbeitrag Inproceedings 2020
12Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
13Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016
14Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
1533_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
16Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings2018
17Amir-2021-Towards Scalable Verification of Deep Reinforcement Learning-vor.pdf.jpgAmir, Guy ; Schapira, Michael ; Katz, Guy Towards Scalable Verification of Deep Reinforcement LearningKonferenzbeitrag Inproceedings Oct-2021
18John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
19Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosKonferenzbeitrag Inproceedings Oct-2021
20Schmid, Ulrich ; Steininger, Andreas ; Veith, Helmut Towards a Systematic Design of Fault-Tolerant Asynchronous CircuitsKonferenzbeitrag Inproceedings 2007