Automatic index selection for large-scale datalog computation von Subotić, Pavle, Jordan, Herbert, Chang, Lijun, Fekete, Alan, Scholz, Bernhard

Volltext

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy von Zhao, David, Subotić, Pavle, Scholz, Bernhard

Volltext

SOUFFLÉ: On Synthesis of Program Analyzers von Jordan, Herbert, Scholz, Bernhard, Subotić, Pavle

Volltext

Specializing parallel data structures for Datalog von Jordan, Herbert, Subotić, Pavle, Zhao, David, Scholz, Bernhard

Volltext

Horn Clauses for Communicating Timed Systems von Hojjat, Hossein, Rümmer, Philipp, Subotic, Pavle, Wang Yi

Volltext

Bit-Vector Typestate Analysis von Arslanagić, Alen, Subotić, Pavle, Pérez, Jorge A.

Volltext

Reachability analysis for AWS-based networks von Backes, John, Bayless, Sam, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Hu, Alan J., Kahsai, Temesghen, Kocik, Bill, Kotelnikov, Evgenii, Kukovec, Jure, McLaughlin, Sean, Reed, Jason, Rungta, Neha, Sizemore, John, Stalzer, Mark, Srinivasan, Preethi, Subotić, Pavle, Varming, Carsten, Whaley, Blake

Volltext

An Abstract Interpretation-Based Data Leakage Static Analysis von Drobnjaković, Filip, Subotić, Pavle, Urban, Caterina

Volltext

Guiding Craig interpolation with domain-specific abstractions von Leroux, Jérôme, Rümmer, Philipp, Subotić, Pavle

Volltext

Automatic Rollback Suggestions for Incremental Datalog Evaluation von Zhao, David, Subotić, Pavle, Raghothaman, Mukund, Scholz, Bernhard

Volltext

Building a Join Optimizer for Soufflé von Arch, Samuel, Hu, Xiaowen, Zhao, David, Subotić, Pavle, Scholz, Bernhard

Volltext

Scalable Logic Defined Static Analysis von Subotic, Pavle

Volltext bestellen

Scalable Typestate Analysis for Low-Latency Environments von Arslanagić, Alen, Subotić, Pavle, Pérez, Jorge A.

Volltext

Efficient SMT-Based Network Fault Tolerance Verification von Liu, Yu, Subotic, Pavle, Letier, Emmanuel, Mechtaev, Sergey, Roychoudhury, Abhik

Volltext

ACTION BASED ON PRE-IMPLEMENTATION DETERMINATION WHETHER A PROPOSED ROLE ASSIGNMENT ASSOCIATED WITH A ROLE HIERARCHY CONFORMS TO SECURITY PROPERTIES von SUBOTIC, Pavle

Volltext bestellen

ACTION BASED ON PRE-IMPLEMENTATION DETERMINATION WHETHER A PROPOSED ROLE ASSIGNMENT ASSOCIATED WITH A ROLE HIERARCHY CONFORMS TO SECURITY PROPERTIES von SUBOTIC, Pavle

Volltext bestellen

Prone Positioning Is Safe and May Reduce the Rate of Intubation in Selected COVID-19 Patients Receiving High-Flow Nasal Oxygen Therapy von Vianello, Andrea, Turrin, Martina, Guarnieri, Gabriella, Molena, Beatrice, Arcaro, Giovanna, Turato, Cristian, Braccioni, Fausto, Bertagna De Marchi, Leonardo, Lionello, Federico, Subotic, Pavle, Masiero, Stefano, Giraudo, Chiara, Navalesi, Paolo

Volltext

Provenance Guided Rollback Suggestions von Zhao, David, Subotic, Pavle, Raghothaman, Mukund, Scholz, Bernhard

Volltext bestellen

Formal Model Guided Conformance Testing for Blockchains von Drobnjakovic, Filip, Kashapov, Amir, Kupresanin, Matija, Scholz, Bernhard, Subotic, Pavle

Volltext bestellen

Logico-Numerical Max-Strategy Iteration von Schrammel, Peter, Subotic, Pavle

Volltext