Items where Author / Artist / Editor is "Popescu, Andrei"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 37.

Article

Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4). pp. 113-119. ISSN 0168-7433

Kuncar, Ondrej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 . 24:1-24:26. ISSN 2475-1421

Blanchette, Jasmin and Böhme, Sascha and Popescu, Andrei and Smallbone, Nicholas (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4). ISSN 1860-5974

Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433

Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433

Popescu, Andrei and Roşu, Grigore (2015) Term-generic logic. Theoretical Computer Science, 577 . pp. 1-24. ISSN 0304-3975

Nipkow, Tobias and Popescu, Andrei (2014) Making security type systems less ad hoc. Information Technology, 56 (6). pp. 267-272. ISSN 1611-2776

Popescu, Andrei and Hölzl, Johannes and Nipkow, Tobias (2013) Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning, 6 (1). pp. 1-30. ISSN 1972-5787

Popescu, Andrei and Şerbănuţă, Traian Florin and Roşu, Grigore (2009) A semantic approach to interpolation. Theoretical Computer Science, 410 (12-13). pp. 1109-1128. ISSN 0304-3975

Conference or Workshop Item

Biendarra, Julian and Blanchette, Jasmin Christian and Bouzy, Aymeric and Desharnais, Martin and Fleury, Mathias and Hölzl, Johannes and Kunčar, Ondřej and Lochbihler, Andreas and Meier, Fabian and Panny, Lorenz and Popescu, Andrei and Sternagel, Christian and Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil.

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil.

Blanchette, Jasmin Christian and Meier, Fabian and Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland.

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil.

Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA.

Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden.

Blanchette, Jasmin Christian and Bouzy, Aymeric and Lochbihler, Andreas and Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden.

Kunčar, Ondřej and Popescu, Andrei (2016) From types to sets by local type definitions in higher-order logic. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France.

Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2016) CoSMed: a confidentiality-verified social media platform. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France.

Blanchette, Jasmin and Popescu, Andrei and Traytel, Dmitriy (2015) Foundational extensible corecursion: a proof assistant perspective. In: 20th ACM SIGPLAN International Conference on Functional Programming (ICFP), 31 Aug - 02 Sept 2015, Vancouver, Canada.

Kunčar, Ondřej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. In: 6th conference on Interactive Theorem Proving (ITP), 24-27 Aug 2015, Nanjing, China.

Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy (2015) Witnessing (co)datatypes. In: 24th European Symposium on Programming (ESOP 2015), 11-18 Apr 2015, London, UK.

Blanchette, Jasmin Christian and Hölzl, Johannes and Lochbihler, Andreas and Panny, Lorenz and Popescu, Andrei and Traytel, Dmitriy (2014) Truly modular (co)datatypes for Isabelle/HOL. In: 5th International Conference on Interactive Theorem Proving (ITP), 14-17 Jul 2014, Vienna, Austria.

Blanchette, Jasmin Christian and Popescu, Andrei and Taytel, Dmitriy (2014) Cardinals in Isabelle/HOL. In: 5th International Conference on Interactive Theorem Proving, 14-17 Jul 2014, Vienna, Austria.

Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy (2014) Unified classical logic completeness: a coinductive pearl. In: 7th International Joint Conference on Automated Reasoning (IJCAR), 19-22 Jul 2014, Vienna, Austria.

Kanav, Sudeep and Lammich, Peter and Popescu, Andrei (2014) A conference management system with verified document confidentiality. In: 26th International Conference on Computer Aided Verification (CAV) 2014, 18-24 Jul 2014, Vienna, Austria.

Schropp, Andreas and Popescu, Andrei (2013) Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. In: Certified Programs and Proofs (CPP), 11-13 Dec 2013, Melbourne, Australia.

Blanchette, Jasmin Christian and Böhme, Sascha and Popescu, Andrei and Smallbone, Nicholas (2013) Encoding monomorphic and polymorphic types. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16-24 Mar 2013, Rome.

Popescu, Andrei and Hölzl, Johannes and Nipkow, Tobias (2013) Formalizing probabilistic noninterference. In: 3rd International Conference on Certified Programs and Proofs (CPP 2013), 11-13 Dec 2013, Melbourne, VIC, Australia.

Blanchette, Jasmin Christian and Popescu, Andrei (2013) Mechanizing the metatheory of sledgehammer. In: 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), 18-20 Sept 2013, Nancy, France.

Popescu, Andrei and Hölzl, Johannes and Nipkow, Tobias (2013) Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. In: 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), 3-6 Sep 2013, Warsaw, Poland.

Traytel, Dmitriy and Popescu, Andrei and Blanchette, Jasmin (2012) Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. In: 27th Annual IEEE Symposium on Logic in Computer Science (LICS), 25-28 June 2012, Dubrovnik, Croatia.

Blanchette, Jasmin Christian and Popescu, Andrei and Wand, Daniel and Weidenbach, Cristoph (2012) More SPASS with Isabelle: superposition with hard sorts and configurable simplification. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US.

Popescu, Andrei and Hölzl, Johannes and Nipkow, Tobias (2012) Proving concurrent noninterference. In: 2nd International Conference on Certified Programs and Proofs (CPP 2012), 13-15 Dec 2012, Kyoto, Japan.

Popescu, Andrei and Gunter, Elsa (2011) Recursion principles for syntax with bindings and substitution. In: The 16th ACM SIGPLAN International Conference on Functional Programming, 19-21 Sep 2011, Tokyo.

Popescu, Andrei and Gunter, Elsa and Osborn, Christopher J. (2010) Strong normalization for System F by HOAS on top of FOAS. In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS), 11-14 July 2010, Edinburgh, United Kingdom.

Popescu, Andrei and Gunter, Elsa (2010) Incremental pattern-based coinduction for process algebra and its Isabelle formalization. In: Foundations of Software Science and Computation Structures (FOSSACS), 20-28 Mar 2010, Paphos, Cyprus.

Popescu, Andrei (2009) Weak bisimilarity coalgebraically. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, 7-10 Sep 2009, Udine, Italy.

This list was generated on Tue Nov 20 04:39:31 2018 GMT.