Name Card

Full name Familienname, Vorname
Dutertre, Bruno
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-76 of 76 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Dutertre-2026-Proceedings of the 26th Conference on Formal Methods in Com...-vor.pdf.jpgDutertre, Bruno ; Könighofer, Bettina Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026Proceedings Tagungsband Sep-2026
2Barth-2006-Multi-Threaded Software Model Checking via Parallel Trace Abst...-vor.pdf.jpgBarth, Max ; Jakobs, Marie-Christine Multi-Threaded Software Model Checking via Parallel Trace Abstraction RefinementInproceedings Konferenzbeitrag Sep-2026
3Kinska-2026-61dtControl2 Trading Optimality for Explainability in MDPs vi...-vor.pdf.jpgKinská, Tereza ; Kretinsky, Jan ; Meggendorfer, Tobias ; Rieder, Sabine ; Weininger, Maximilian dtControl2+ε: Trading Optimality for Explainability in MDPs via Decision TreesInproceedings Konferenzbeitrag Sep-2026
4Looney-2026-Weight-Aware Transformations for MaxSAT-vor.pdf.jpgLooney, Jesse ; Bjørner, Nikolaj ; Wu, Haoze ; Narodytska, Nina Weight-Aware Transformations for MaxSATInproceedings Konferenzbeitrag Sep-2026
5Tan-2026-Verified Real-time Proof Checking for Large-Scale SAT Solving-vor.pdf.jpgTan, Yong Kiam ; Schreiber, Dominik ; Åman Pohjola, Johannes ; Myreen, Magnus O. Verified Real-time Proof Checking for Large-Scale SAT SolvingInproceedings Konferenzbeitrag Sep-2026
6Onderka-2026-Lean Certified Bitvector Solving without Bitblasting-vor.pdf.jpgOnderka, Jan ; Biere, Armin ; Fleury, Mathias Lean Certified Bitvector Solving without BitblastingInproceedings Konferenzbeitrag Sep-2026
7Nadel-2026-Aperture an Anytime, Complete and Incremental MaxSAT Solver-vor.pdf.jpgNadel, Alexander ; Slonimski, Yam ; Strichman, Ofer Aperture: an Anytime, Complete and Incremental MaxSAT SolverInproceedings Konferenzbeitrag Sep-2026
8Mohamed-2026-Solving LIA Constraints Using Hilbert Bases-vor.pdf.jpgMohamed, Mudathir ; Reynolds, Andrew ; Tinelli, Cesare ; Barrett, Clark Solving LIA⋆ Constraints Using Hilbert BasesInproceedings Konferenzbeitrag Sep-2026
9Kovacs-2026-The Vampire Diary-vor.pdf.jpgKovacs, Laura The Vampire DiaryInproceedings Konferenzbeitrag Sep-2026
10Wolf-2026-The Parable of the Square-Dancing Witches and Wizards-vor.pdf.jpgWolf, Claire Xenia The Parable of the Square-Dancing Witches and WizardsInproceedings Konferenzbeitrag Sep-2026
11Barrett-2026-CSLib Building a Platform for AI-assisted Formal Verificatio...-vor.pdf.jpgBarrett, Clark CSLib: Building a Platform for AI-assisted Formal Verification in LeanInproceedings Konferenzbeitrag Sep-2026
12Hance-2026-Verifying Rust code with Verus-vor.pdf.jpgHance, Travis Verifying Rust code with VerusInproceedings Konferenzbeitrag Sep-2026
13Alshnakat-2026-PolyGram A Certifying Compiler for Network Policies-vor.pdf.jpgAlshnakat, Anoud ; Guanciale, Roberto ; Dam, Mads PolyGram: A Certifying Compiler for Network PoliciesInproceedings Konferenzbeitrag Sep-2026
14frankel-2026-Synthesis with Counterexample Guided Observational Equivalen...-vor.pdf.jpgfrankel, guy ; Schneider, Rudi ; Steuwer, Michel ; Polgreen, Elizabeth Synthesis with Counterexample Guided Observational Equivalence GraphsInproceedings Konferenzbeitrag Sep-2026
15Saccomani-2026-Proof Production for Satisfiability Modulo Finite Fields w...-vor.pdf.jpgSaccomani, Pedro ; Mohamed, Abdalrhman ; Pertseva, Elisaveta ; Kaufmann, Daniela ; Tinelli, Cesare ; Barrett, Clark ; Barbosa, Haniel Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and LeanInproceedings Konferenzbeitrag Sep-2026
16Gallego Hernandez-2026-MCSAT Modulo Transcendental Arithmetics-vor.pdf.jpgGallego Hernández, Jorge ; Lipparini, Enrico ; Mansutti, Alessio MCSAT Modulo Transcendental ArithmeticsInproceedings Konferenzbeitrag Sep-2026
17Kafshdar Goharshady-2026-Randomized Satisfiability Checking for Non-Linea...-vor.pdf.jpgKafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite FieldsInproceedings Konferenzbeitrag Sep-2026
18Cheung-2026-Conditional Rewrite Rule Synthesis Using E-Graphs and Implica...-vor.pdf.jpgCheung, Andrew ; Nandi, Chandrakana ; Lerner, Sorin Conditional Rewrite Rule Synthesis Using E-Graphs and Implication PropagationInproceedings Konferenzbeitrag Sep-2026
19Shalmon-2026-NobleCount Revisiting a Forgotten Data Structure for Local S...-vor.pdf.jpgShalmon, Yogev ; Nadel, Alexander ; Strichman, Ofer NobleCount: Revisiting a Forgotten Data Structure for Local Search in SATInproceedings Konferenzbeitrag Sep-2026
20Ehlers-2026-Translating LTL to Lasso Automata-vor.pdf.jpgEhlers, Rüdiger ; Hölzner, Nils ; Kühnel, Tobias Translating LTL to Lasso AutomataInproceedings Konferenzbeitrag Sep-2026
21Wojciechowski-2026-F-QLPs over unit relative constraints-vor.pdf.jpgWojciechowski, Piotr ; Subramani, K. F-QLPs over unit relative constraintsInproceedings Konferenzbeitrag Sep-2026
22Isac-2026-66PICID Proof-Driven Clause Learning in Neural Network Verifica...-vor.pdf.jpgIsac, Omri ; Refaeli, Idan ; Wu, Haoze ; Barrett, Clark ; Katz, Guy PICID: Proof-Driven Clause Learning in Neural Network VerificationInproceedings Konferenzbeitrag Sep-2026
23Sankur-2026-Requirement-Based Testing Enhancing Reinforcement Learning wi...-vor.pdf.jpgSankur, Ocan ; Jeron, Thierry ; Markey, Nicolas ; David, Mentré ; Noguchi, Reiya Requirement-Based Testing: Enhancing Reinforcement Learning with Game TheoryInproceedings Konferenzbeitrag Sep-2026
24Zhang-2026-Understanding CDCL Solvers via Scalability Studies and Proofdoors-vor.pdf.jpgZhang, Shimin ; Xia, Yechuan ; Li, Chunxiao ; Li, Jianwen ; M.Y. Vardi ; Ganesh, Vijay Understanding CDCL Solvers via Scalability Studies and ProofdoorsInproceedings Konferenzbeitrag Sep-2026
25Paul-2026-Multi-Agent Planning with Spatio-Temporal and Topological Const...-vor.pdf.jpgPaul, Sheryl ; Kudalkar, Vidisha ; Balakrishnan, Anand ; Lindemann, Lars ; Speranzon, Alberto ; Deshmukh, Jyotirmoy V. Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GOInproceedings Konferenzbeitrag Sep-2026
26Elsaleh-2026-67Incremental Neural Network Verification via Learned Conflicts-vor.pdf.jpgElsaleh, Raya ; Davis, Liam ; Wu, Haoze ; Katz, Guy Incremental Neural Network Verification via Learned ConflictsInproceedings Konferenzbeitrag Sep-2026
27Aniva-2026-73Nazrin An Atomic Neural Proof Automation Tactic in Lean 4-vor.pdf.jpgAniva, Leni ; Oikawa, Iori ; Dill, David ; Barrett, Clark Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4Inproceedings Konferenzbeitrag Sep-2026
28Looney-2026-Solution Space Partitioning for Extremal Set Theory-cvor.pdf.jpgLooney, Jesse ; McDonald, Jonah ; Klingler, Allison ; Wu, Gloria ; Pulaj, Jonad ; Wu, Haoze Solution Space Partitioning for Extremal Set TheoryInproceedings Konferenzbeitrag Sep-2026
29Gupta-2026-An Extension API for the Concurrent Program Verifier Raven-vor.pdf.jpgGupta, Ekanshdeep ; Wies, Thomas An Extension API for the Concurrent Program Verifier RavenInproceedings Konferenzbeitrag Sep-2026
30Kakishita-2026-Verifying a Memory Allocator for Rust-vor.pdf.jpgKakishita, Sinai ; Hasegawa, Akira ; Aoki, Toshiaki ; Kambe, Ryuta ; Takano, Yuuki Verifying a Memory Allocator for RustInproceedings Konferenzbeitrag Sep-2026
31Choi-2026-Binary Decision Diagrams Unchained-vor.pdf.jpgChoi, Jaehyeok ; Miner, Andrew Binary Decision Diagrams UnchainedInproceedings Konferenzbeitrag Sep-2026
32Kabra-2026-71LLM-Powered Automatic Theorem Proving and Synthesis for Hybr...-vor.pdf.jpgKabra, Aditi ; Laurent, Jonathan ; Martins, Ruben ; Mitsch, Stefan ; Platzer, André LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and GamesInproceedings Konferenzbeitrag Sep-2026
33Bartoletti-2026-Certifying optimal MEV strategies with Lean-vor.pdf.jpgBartoletti, Massimo ; Marchesin, Riccardo ; Zunino, Roberto Certifying optimal MEV strategies with LeanInproceedings Konferenzbeitrag Sep-2026
34Campos-2026-IsaAbduct A Multi-Strategy Abduction Pipeline for IsabelleHOL-vor.pdf.jpgCampos, Tiago ; Tourret, Sophie ; Jasmin Blanchette ; Barbosa, Haniel IsaAbduct: A Multi-Strategy Abduction Pipeline for Isabelle/HOLInproceedings Konferenzbeitrag Sep-2026
352026-Shrinking Mission-time LTL Runtime Monitors with Equality Saturation-vor.pdf.jpgChristopher Johannsen ; Kristin Y. Rozier Shrinking Mission-time LTL Runtime Monitors with Equality SaturationInproceedings Konferenzbeitrag Sep-2026
362026-Efficient Enumeration of Cloud Access Permissions-vor.pdf.jpgLee A. Barnett ; D’Antoni, Loris ; Goel, Amit ; Kıcı, Rami Gökhan ; King, Tim ; Luckow, Kasper ; Rungta, Neha ; Sharoda, Yasmine Efficient Enumeration of Cloud Access PermissionsInproceedings Konferenzbeitrag Sep-2026
37Weiss-2026-63Conditional Sampling of Symbolic Markov Chains-vor.pdf.jpgWeiss, Gera ; Zisser, Jules Conditional Sampling of Symbolic Markov ChainsInproceedings Konferenzbeitrag Sep-2026
38Schmidt-2026-62Property-driven Causal Abstractions for Markov Decision Pr...-vor.pdf.jpgSchmidt, Jule ; Weininger, Maximilian ; Dubslaff, Clemens ; Parker, David ; Jansen, Nils Property-driven Causal Abstractions for Markov Decision ProcessesInproceedings Konferenzbeitrag Sep-2026
392026-Verifiable Checks for Business Rule Consistency-vor.pdf.jpgJoseph Tafese ; Gurfinkel, Arie ; Bayless, Sam ; Feng, Nick ; Hooshyar, Milad Verifiable Checks for Business Rule ConsistencyInproceedings Konferenzbeitrag Sep-2026
40Torlak-2026-SymCert Verifying SMT-Based Policy Analyses-vor.pdf.jpgTorlak, Emina SymCert: Verifying SMT-Based Policy AnalysesInproceedings Konferenzbeitrag Sep-2026
41Fantinato-2026-Symbolic Automata for MTL0 with Super-Dense Semantics-vor.pdf.jpgFantinato, Filippo ; Cimatti, Alessandro ; Tonetta, Stefano Symbolic Automata for MTL∞0 with Super-Dense SemanticsInproceedings Konferenzbeitrag Sep-2026
42Adame-2026-74Trimming Pseudo-Boolean Proofs-vor.pdf.jpgAdame, Berhan Oumer ; Bogaerts, Bart ; Bogø, Benjamin ; Dold, Simon ; GONTIER, Arthur ; Koops, Wietze ; McCreesh, Ciaran ; McIlree, Matthew ; Nordström, Jakob ; Oertel, Andy ; Rebola Pardo, Adrian ; Turnbull, Mark Paul Trimming Pseudo-Boolean ProofsInproceedings Konferenzbeitrag Sep-2026
43Rowney-2026-DSLean A Framework for Type-Correct Interoperability Between ...-vor.pdf.jpgRowney, Tate ; Ahuja, Riyaz ; Avigad, Jeremy ; Welleck, Sean DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLsInproceedings Konferenzbeitrag Sep-2026
44Rigi-Luperti-2026-Parallel SAT Sweeping on CNFs-vor.pdf.jpgRigi-Luperti, Niccolò ; Biere, Armin ; Schreiber, Dominik Parallel SAT Sweeping on CNFsInproceedings Konferenzbeitrag Sep-2026
45Lyu-2026-SATDiv An Effective Solver for Diverse SAT Problem-vor.pdf.jpgLyu, Shuangyu ; Luo, Chuan ; Shi, Ruizhi ; Duan, Yuechen ; Hu, Chunming SATDiv: An Effective Solver for Diverse SAT ProblemInproceedings Konferenzbeitrag Sep-2026
46Fiege-2026-Optimising Constant Matrix Multiplication Circuits is NP-complete-vor.pdf.jpgFiege, Nicolai ; Lange, Martin Optimising Constant Matrix Multiplication Circuits is NP-completeInproceedings Konferenzbeitrag Sep-2026
47Kouteili-2026-Learning GR1 Specifications from Traces-vor.pdf.jpgKouteili, Sam ; Fishell, William ; Santolucito, Mark ; Piskac, Ruzica Learning GR(1) Specifications from TracesInproceedings Konferenzbeitrag Sep-2026
48Schindler-2026-The FMCAD 2026 Student Forum-vor.pdf.jpgSchindler, Tanja ; Lee A. Barnett The FMCAD 2026 Student ForumInproceedings Konferenzbeitrag Sep-2026
49Sheth-2026-Lemma Pattern Matching for SMT-based Verification of Analog Mi...-vor.pdf.jpgSheth, Kunal ; Achour, Sara Lemma Pattern Matching for SMT-based Verification of Analog Mixed-Signal HardwareInproceedings Konferenzbeitrag Sep-2026
50Seufert-2026-Certified Sequential Sweep Without Unrolling-vor.pdf.jpgSeufert, Tobias ; Scholl, Christoph Certified Sequential Sweep Without UnrollingInproceedings Konferenzbeitrag Sep-2026
51Shapiro-2026-Parallel SMT Solving via Dynamic Partitioning, Core-Guided P...-vor.pdf.jpgShapiro, Ilana ; Lerner, Sorin ; Bjørner, Nikolaj Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone DetectionInproceedings Konferenzbeitrag Sep-2026
52Ng-2026-64Stochastic Boolean Satisfiability for Two-Player Sequential Gam...-vor.pdf.jpgNg, Chi-Kit ; Chuang, Chih-Hsiang ; Jiang, Jie-Hong R. Stochastic Boolean Satisfiability for Two-Player Sequential Games under UncertaintyInproceedings Konferenzbeitrag Sep-2026
53Grieskamp-2026-Formal Verification of Imperative First-Class Functions in...-vor.pdf.jpgGrieskamp, Wolfgang ; Zhang, Teng ; Kashyap, Vineeth ; Silverman, Jake Formal Verification of Imperative First-Class Functions in MoveInproceedings Konferenzbeitrag Sep-2026
54Ceragioli-2026-Checking Information Flow in Cloud-based IoT Access Contro...-vor.pdf.jpgCeragioli, Lorenzo ; GALLETTA, LETTERIO ; Lunati, Edoardo Checking Information Flow in Cloud-based IoT Access Control PoliciesInproceedings Konferenzbeitrag Sep-2026
55Koll-2026-Privacy-Preserving Robust Monitoring of Dense-Time Temporal Logic-vor.pdf.jpgKoll, Charles ; Rosulek, Mike ; Abbas, Houssam Privacy-Preserving Robust Monitoring of Dense-Time Temporal LogicInproceedings Konferenzbeitrag Sep-2026
56Ratners-2026-Ordering-Relation Abstraction for Formal Verification of Bub...-vor.pdf.jpgRatners, Jakovs ; Tihomorskis, Nikolajs ; Aboltins, Arturs Ordering-Relation Abstraction for Formal Verification of Bubble Errors in CARRY8-Based Tapped Delay LinesInproceedings Konferenzbeitrag Sep-2026
57Jonas-2026-On the Complexity of Word-Level Model Checking with Arrays-vor.pdf.jpgJonáš, Martin ; Petřivalská, Lea ; Šárník, Jakub On the Complexity of Word-Level Model Checking with ArraysInproceedings Konferenzbeitrag Sep-2026
58Michael-2026-Validated Binary Decompilation Without Tears-vor.pdf.jpgMichael, Alicia ; Coughlin, Nicholas ; Lam, Kait ; Winter, Kirsten Validated Binary Decompilation Without TearsInproceedings Konferenzbeitrag Sep-2026
59Egolf-2026-70Can LLMs Perform Synthesis-vor.pdf.jpgEgolf, Derek ; Zhou, Yuhao ; Tripakis, Stavros Can LLMs Perform Synthesis?Inproceedings Konferenzbeitrag Sep-2026
60Shih-2026-72SVAEval An Evaluation Framework for LLM-based SVA Property Ge...-vor.pdf.jpgShih, Yu-An ; Cho, Soohyuk ; Gupta, Aarti ; Malik, Sharad SVAEval: An Evaluation Framework for LLM-based SVA Property GeneratorsInproceedings Konferenzbeitrag Sep-2026
61Liu-2026-Formal Verification of a Memory Allocator for Rust Hypervisors F...-vor.pdf.jpgLiu, Jun ; Liu, Jingxuan ; Yuan, Shenghao ; Sanan, David ; Chen, Kang ; Cao, Donggang ; Zhao, Yongwang Formal Verification of a Memory Allocator for Rust Hypervisors: From Verified to Deployable Code with Functional Equivalence GuaranteesInproceedings Konferenzbeitrag Sep-2026
62Demir-2026-Multi-Property Temporal Logic Monitoring-vor.pdf.jpgDemir, Arınç ; Ulus, Dogan Multi-Property Temporal Logic MonitoringInproceedings Konferenzbeitrag Sep-2026
63Frenkel-2026-On the Hierarchy of Finite-Word Hyperlanguages-vor.pdf.jpgFrenkel, Hadar ; Sheinvald, Sarai On the Hierarchy of Finite-Word HyperlanguagesInproceedings Konferenzbeitrag Sep-2026
64Kent-2026-Parallelizing Congruence Closure-vor.pdf.jpgKent, Zachary ; Shah, Amar Parallelizing Congruence ClosureInproceedings Konferenzbeitrag Sep-2026
65Vlacic-2026-Beyond Lemma Sharing Novel Parallelization Strategies for PDR-vor.pdf.jpgVlačić, Verner Beyond Lemma Sharing – Novel Parallelization Strategies for PDRInproceedings Konferenzbeitrag Sep-2026
66Peyrer-2026-ParaProofa A Certifying Parallel Cube-and-Conquer QBF-Solving...-vor.pdf.jpgPeyrer, Cynthia ; Maximilian Heisinger ; Seidl, Martina ParaProofa: A Certifying Parallel Cube-and-Conquer QBF-Solving FrameworkInproceedings Konferenzbeitrag Sep-2026
67Austin-2026-65The Game Graph Gym-vor.pdf.jpgAustin, Pete ; Dell'Erba, Daniele ; Totzke, Patrick The Game Graph GymInproceedings Konferenzbeitrag Sep-2026
68Schwartz-2026-69Optimized Piecewise Affine Abstractions of Neural Network...-vor.pdf.jpgSchwartz, Noah ; Nagesh, Chandra Kanth ; Sankaranarayanan, Sriram ; Kaur, Ramneet ; Sahai, Tuhin ; Jha, Susmit Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation FunctionsInproceedings Konferenzbeitrag Sep-2026
69Chang-2026-Semantics, Operations, and Properties of P3109 Floating-Point ...-vor.pdf.jpgChang, Tung-Che ; Park, Sehyeok ; Lim, Jay ; Nagarakatte, Santosh Semantics, Operations, and Properties of P3109 Floating-Point Representations in LeanInproceedings Konferenzbeitrag Sep-2026
70Ferdowsi-2026-Certificate-Aware Property-Directed Reachability-vor.pdf.jpgFerdowsi, Arman ; Kovacs, Laura Certificate-Aware Property-Directed ReachabilityInproceedings Konferenzbeitrag Sep-2026
71Elboher-2026-68Talking with Verifiers Automatic Specification Generation ...-vor.pdf.jpgElboher, Yizhak ; Peleg, Reuven ; Shi, Zhouxing ; Katz, Guy ; Kretinsky, Jan Talking with Verifiers: Automatic Specification Generation for Neural Network VerificationInproceedings Konferenzbeitrag Sep-2026
72Zhang-2026-CB-VER A Stable Foundation for Modular Network Control Plane V...-vor.pdf.jpgZhang, Dexin ; Alberdingk Thijm, Timothy ; Walker, David ; Gupta, Aarti CB-VER: A Stable Foundation for Modular Network Control Plane VerificationInproceedings Konferenzbeitrag Sep-2026
73Yang-2026-Prophecy Variables and Invariants in the Move Prover-vor.pdf.jpgYang, Dao Bo ; Gurfinkel, Arie ; Trefler, Richard Prophecy Variables and Invariants in the Move ProverInproceedings Konferenzbeitrag Sep-2026
74Bai-2026-Tunable Automation in Automated Program Verification-vor.pdf.jpgBai, Alexander ; Hawblitzel, Chris ; Lattuada, Andrea Tunable Automation in Automated Program VerificationInproceedings Konferenzbeitrag Sep-2026
75Mafra-2026-Formal Verification of Mixed-Signal Systems Using Real Number ...-vor.pdf.jpgMafra, Augusto ; Barbosa, Haniel Formal Verification of Mixed-Signal Systems Using Real Number Modeling with SMT-based Model CheckingInproceedings Konferenzbeitrag Sep-2026
76Li-2026-PSouffle Scaling Exact Probabilistic Logic Inference for Program ...-vor.pdf.jpgLi, Xuyang ; Xia, Jiahao ; Adnan, Ahmed ; Wang, Jingbo PSouffĺe: Scaling Exact Probabilistic Logic Inference for Program AnalysisInproceedings Konferenzbeitrag Sep-2026