Collection's Items (Sorted by Submit Date in descending order): 1 to 20 of 694
PreviewAuthors / EditorsTitleTypeIssue Date
Peer-2022-Transformation statt Leerstand Zwischennutzung als Chance und H...-vor.pdf.jpgPeer, Christian ; Kobras, Vanessa Transformation statt Leerstand. Zwischennutzung als Chance und HerausforderungReport Bericht 2022
Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles ; Griggio, Alberto ; Rungta, Neha The RAPID Software Verification FrameworkInproceedings Konferenzbeitrag Oct-2022
Rath-2022-First-Order Subsumption via SAT Solving-vor.pdf.jpgRath, Jakob ; Biere, Armin ; Kovacs, Laura ; Griggio, Alberto ; Rungta, Neha First-Order Subsumption via SAT SolvingInproceedings Konferenzbeitrag Oct-2022
Esen-2022-TRICERA Verifying C Programs Using the Theory of Heaps-vor.pdf.jpgEsen, Zafer ; Ruemmer, Philipp ; Griggio, Alberto ; Rungta, Neha TRICERA Verifying C Programs Using the Theory of HeapsInproceedings Konferenzbeitrag Oct-2022
Schlichtkrull-2022-Differential Testing of Pushdown Reachability with a F...-vor.pdf.jpgSchlichtkrull, Anders ; Konggaard Schou, Morten ; Srba, Jiri ; Traytel, Dmitriy ; Griggio, Alberto ; Rungta, Neha Differential Testing of Pushdown Reachability with a Formally Verified OracleInproceedings Konferenzbeitrag Oct-2022
Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste ; Griggio, Alberto ; Rungta, Neha Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha ; Griggio, Alberto ; Rungta, Neha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor ; Griggio, Alberto ; Rungta, Neha Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022
Lauffer-2022-Learning Deterministic Finite Automata Decompositions from E...-vor.pdf.jpgLauffer, Niklas ; Yalcinkaya, Beyazit ; Vazquez-Chanlatte, Marcell ; Shah, Ameesh ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha Learning Deterministic Finite Automata Decompositions from Examples and DemonstrationsInproceedings Konferenzbeitrag Oct-2022
Maderbacher-2022-Reactive Synthesis Modulo Theories using Abstraction Ref...-vor.pdf.jpgMaderbacher, Benedikt ; Bloem, Roderick ; Griggio, Alberto ; Rungta, Neha Reactive Synthesis Modulo Theories using Abstraction RefinementInproceedings Konferenzbeitrag Oct-2022
Kalita-2022-Synthesis of Semantic Actions in Attribute Grammars-vor.pdf.jpgKalita, Pankaj Kumar ; Kumar, Miriyala Jeevan ; Roy, Subhajit ; Griggio, Alberto ; Rungta, Neha Synthesis of Semantic Actions in Attribute GrammarsInproceedings Konferenzbeitrag Oct-2022
Grover-2022-Synthesizing Transducers from Complex Specifications-vor.pdf.jpgGrover, Anvay ; Ehlers, Alexander ; D'Antoni, Loris ; Griggio, Alberto ; Rungta, Neha Synthesizing Transducers from Complex SpecificationsInproceedings Konferenzbeitrag Oct-2022
Jonsson-2022-Awaiting for Godot Stateless Model Checking that Avoids Exec...-vor.pdf.jpgJonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing HappensInproceedings Konferenzbeitrag Oct-2022
Schultz-2022-Plain and Simple Inductive Invariant Inference for Distribut...-vor.pdf.jpgSchultz, William ; Dardik, Ian ; Tripakis, Stavros ; Griggio, Alberto ; Rungta, Neha Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+Inproceedings Konferenzbeitrag Oct-2022
Raghunathan-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 NondeterminismInproceedings Oct-2022
Ebnenasir-2022-Synthesizing Self-Stabilizing Parameterized Protocols with...-vor.pdf.jpgEbnenasir, Ali ; Griggio, Alberto ; Rungta, Neha Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded VariablesInproceedings Oct-2022
Zhang-2022-Synthesizing Locally Symmetric Parameterized Protocols from Te...-vor.pdf.jpgZhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar ; Griggio, Alberto ; Rungta, Neha Synthesizing Locally Symmetric Parameterized Protocols from Temporal SpecificationsInproceedings Oct-2022
Jacobs-2022-Automatic Repair and Deadlock Detection for Parameterized Sys...-vor.pdf.jpgJacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus ; Griggio, Alberto ; Rungta, Neha Automatic Repair and Deadlock Detection for Parameterized SystemsInproceedings Oct-2022
Priya-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 LLVMInproceedings Oct-2022
Collection's Items (Sorted by Submit Date in descending order): 1 to 20 of 694
Subscribe to this collection to receive daily e-mail notification of new additions.