Full name Familienname, Vorname
Griggio, Alberto
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 45 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Chockler-2022-Why Do Things Go Wrong or RightApplications of Causal Reaso...-vor.pdf.jpgChockler, Hana ; Griggio, Alberto ; Rungta, Neha Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to VerificationKonferenzbeitrag Inproceedings Oct-2022
2Amir-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
3Padon-2022-Verification of Distributed Protocols Decidable Modeling and I...-vor.pdf.jpgPadon, Oded ; Griggio, Alberto ; Rungta, Neha Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceKonferenzbeitrag Inproceedings Oct-2022
4Esen-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
5Kaivola-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
6Bryant-2022-TBUDDY A Proof-Generating BDD Package-vor.pdf.jpgBryant, Randal ; Griggio, Alberto ; Rungta, Neha TBUDDY: A Proof-Generating BDD PackageKonferenzbeitrag Inproceedings Oct-2022
7Grover-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
8Ebnenasir-2022-Synthesizing Self-Stabilizing Parameterized Protocols with...-vor.pdf.jpgEbnenasir, Ali ; Griggio, Alberto ; Rungta, Neha Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded VariablesKonferenzbeitrag Inproceedings Oct-2022
9Zhang-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 SpecificationsKonferenzbeitrag Inproceedings Oct-2022
10Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat ; Griggio, Alberto ; Rungta, Neha Synthesizing Instruction Selection Rewrite Rules from RTL using SMTKonferenzbeitrag Inproceedings Oct-2022
11Kalita-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
12Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Frolyeks, Nils ; Biere, Armin ; Heljanko, Keijo ; Griggio, Alberto ; Rungta, Neha Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022
13Blicha-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
14Flatt-2022-Small Proofs from Congruence Closure-vor.pdf.jpgFlatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel ; Griggio, Alberto ; Rungta, Neha Small Proofs from Congruence ClosureKonferenzbeitrag Inproceedings Oct-2022
15Andronick-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 EvolvedKonferenzbeitrag Inproceedings Oct-2022
16Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony ; Griggio, Alberto ; Rungta, Neha Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
17Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare ; Griggio, Alberto ; Rungta, Neha Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
18Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas ; Griggio, Alberto ; Rungta, Neha Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
19Maderbacher-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
20Georgiou-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 FrameworkKonferenzbeitrag Inproceedings Oct-2022