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 493 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ayala, Pablo ; Naghdi, Shaghayegh ; Nandan, Sreejith P. ; Myakala, Stephen Nagaraju ; Rath, Jakob ; Saito, Hikaru ; Guggenberger, Patrick ; Lakhanlal, Lakhanlal ; Kleitz, Freddy ; Toroker, Maytal Caspary ; Cherevan, Alexey ; Eder, Dominik The Emergence of 2D Building Units in Metal‐Organic Frameworks for Photocatalytic Hydrogen Evolution: A Case Study with COK‐47Article Artikel 18-Aug-2023
2Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James ; Dickenstein, Alicia ; Tsigaridas, Elias ; Jeronimo, Gabriela The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023
3Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James ; Etessami, Kousha ; Feige, Uriel ; Puppis, Gabriele Positivity Problems for Reversible Linear Recurrence SequencesInproceedings Konferenzbeitrag 5-Jul-2023
4Kenison, George James ; Kovacs, Laura ; Varonka, Anton ; Dickenstein, Alicia ; Tsigaridas, Elias ; Jeronimo, Gabriela From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
5Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura ; Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
6Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Raskin, Jean-Francois ; Chatterjee, Krishnendu ; Doyen, Laurent ; Majumdar, Rupak Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
7Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022
8Rawson, Michael Linear Refutation and Clause SplittingPreprint Preprint5-Dec-2022
9Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
10Kovacs, Laura Symbolic Computation for Software AnalysisPresentation Vortrag25-Oct-2022
11Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022
12Kovacs, Laura First-Order Theorem Proving - Theory and PracticePresentation Vortrag10-Oct-2022
13Kaivola-2022-Timed Causal Fanin Analysis for Symbolic Circuit Simulation-vor.pdf.jpgKaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha Timed Causal Fanin Analysis for Symbolic Circuit SimulationKonferenzbeitrag Inproceedings Oct-2022
14Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark ; Griggio, Alberto ; Rungta, Neha Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
15Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha Compact Symmetry Breaking for TournamentsKonferenzbeitrag Inproceedings Oct-2022
16Preiner-2022-The FMCAD 2022 Student Forum-vor.pdf.jpgPreiner, Mathias ; Griggio, Alberto ; Rungta, Neha The FMCAD 2022 Student ForumKonferenzbeitrag Inproceedings Oct-2022
17Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
18Andronick-2022-The seL4 Verification Journey How Have the Challenges and ...-vor.pdf.jpgAndronick, June ; Griggio, Alberto ; Rungta, Neha The seL4 Verification Journey: How Have the Challenges and Opportunities EvolvedInproceedings Konferenzbeitrag Oct-2022
19Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
20Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha ACORN Network Control Plane Abstraction using Route NondeterminismKonferenzbeitrag Inproceedings Oct-2022