1![Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/b115547be0a2cfcf1226ca5a66e9ab6c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-09-27 23:32:05
|
---|
2![Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,](https://www.pdfsearch.io/img/ed0e85fd4ff6dc84247df96e2a4681fe.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-08-26 19:53:27
|
---|
3![Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2](https://www.pdfsearch.io/img/cd377b4fb94e96c4a77167c8abb3521f.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
4![Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva](https://www.pdfsearch.io/img/7c7aec78fa5ce6bf2b19ad02eb3cd581.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
5![TribeFlow: Mining & Predicting User Trajectories Flavio Figueiredo1,2 , Bruno Ribeiro4,5 , Jussara Almeida3 , Christos Faloutsos5 1 UFCG - Brazil, TribeFlow: Mining & Predicting User Trajectories Flavio Figueiredo1,2 , Bruno Ribeiro4,5 , Jussara Almeida3 , Christos Faloutsos5 1 UFCG - Brazil,](https://www.pdfsearch.io/img/496376313a3621e3a22f71ef2f492617.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:33:40
|
---|
6![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
7![System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal](https://www.pdfsearch.io/img/c0ac8dcfba62e0510b4e11db22f6101e.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2012-07-25 07:17:52
|
---|
8![Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln](https://www.pdfsearch.io/img/8380ccfdeb1bde19c439a01725316e8e.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 13:33:30
|
---|
9![Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang](https://www.pdfsearch.io/img/52151604842f77fff04be8da529c23f8.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-10-10 04:10:19
|
---|
10![LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv](https://www.pdfsearch.io/img/827f3e5daa2a89471b03ba07742141d8.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|