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 261-280 of 565 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
26110_Runtime Verification on FPGAs with LTLf Specifications.pdf.jpgTracy II, Tommy ; Tabajara, Lucas ; Vardi, Moshe ; Skadron, Kevin Runtime Verification on FPGAs with LTLf SpecificationsInproceedings Konferenzbeitrag 2020
26212_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem EUFicient Reachability for Software with ArraysInproceedings Konferenzbeitrag 2020
26311_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash Distributed Bounded Model CheckingInproceedings Konferenzbeitrag 2020
26415_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf.jpgCimatti, Alessandro ; GEATTI, Luca ; Gigante, Nicola ; MONTANARI, Angelo ; Tonetta, Stefano Reactive Synthesis from Extended Bounded Response LTL SpecificationsInproceedings Konferenzbeitrag 2020
26507_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen ; Schmaltz, Julien Effective System Level Liveness VerificationInproceedings Konferenzbeitrag 2020
26614_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha Incremental Verification by SMT-based Summary RepairInproceedings Konferenzbeitrag 2020
26708_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Kristin Y. Rozier Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings Konferenzbeitrag 2020
26817_Learning Properties in LTL ∩ ACTL from Positive Examples Only.pdf.jpgEhlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel Learning Properties in LTL ∩ ACTL from Positive Examples OnlyKonferenzbeitrag Inproceedings 2020
26903_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin Tutorial on World-Level Model CheckingKonferenzbeitrag Inproceedings 2020
27002_Formal Verification for Natural and Engineered Biological Systems.pdf.jpgKugler, Hillel Formal Verification for Natural and Engineered Biological SystemsInproceedings Konferenzbeitrag 2020
27118_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. Automating Compositional Analysis of Authentication ProtocolsKonferenzbeitrag Inproceedings 2020
27234_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020
27330_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
27429_Ternary Propagation-Based Local Search for More Bit_Precise Reasoning.pdf.jpgNiemetz, Aina ; Preiner, Mathias Ternary Propagation-Based Local Search for More Bit-Precise ReasoningKonferenzbeitrag Inproceedings 2020
27532_Smart Induction for Isabelle_HOL (Tool Paper).pdf.jpgNagashima, Yutaka Smart Induction for Isabelle/HOL (Tool Paper)Konferenzbeitrag Inproceedings 2020
27631_SWITSS Computing Small Witnessing Subsystems.pdf.jpgJantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel SWITSS: Computing Small Witnessing SubsystemsKonferenzbeitrag Inproceedings 2020
27720_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
27823_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti Automating Modular Verification of Secure Information FlowKonferenzbeitrag Inproceedings 2020
27921_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna Formal Methods with a Touch of MagicKonferenzbeitrag Inproceedings 2020
28022_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksKonferenzbeitrag Inproceedings 2020