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

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

Article

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4) . pp. 113-119. ISSN 0168-7433 (doi:10.1007/s10817-017-9443-3)

Kunčar, Ondřej 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 (doi:10.1145/3158112)

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

Blanchette, Jasmin Christian, 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 (doi:10.1007/s10817-016-9391-3)

Blanchette, Jasmin Christian, 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 (doi:10.1007/s10817-016-9391-3)

Popescu, Andrei and Roşu, Grigore (2015) Term-generic logic. Theoretical Computer Science, 577 . pp. 1-24. ISSN 0304-3975 (doi:10.1016/j.tcs.2015.01.047)

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

Popescu, Andrei, 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 (doi:10.6092/issn.1972-5787/3690)

Popescu, Andrei, Ş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 (doi:10.1016/j.tcs.2008.09.038)

Monograph

Perkov, Tin (2019) Tableau-based translation from first-order logic to modal logic. Technical Report. Cerrito, Serenella and Popescu, Andrei, eds. Middlesex University London, London, UK. . (Published online first)

Conference or Workshop Item

Popescu, Andrei and Traytel, Dmitriy (2019) A formally verified abstract account of Gödel's incompleteness theorems. Fontaine, Pascal, ed. Automated Deduction – CADE 27. CADE 2019. Lecture Notes in Computer Science, vol 11716. In: CADE 27 - 27th International Conference on Automated Deduction, 27-30 Aug 2019, Natel, Brazil. ISBN 9783030294359, e-ISBN 9783030294366. ISSN 0302-9743 (doi:10.1007/978-3-030-29436-6_26)

Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei and Traytel, Dmitriy (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL. In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 13-19 Jan 2019, Hotel Cascais Miragem, Cascais, Portugal. . (doi:10.1145/3290335)

Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. ISBN 9783319661667. ISSN 0302-9743 (doi:10.1007/978-3-319-66167-4_1)

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil September 26-29, 2017, Proceedings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil. ISBN 9783319661063. ISSN 0302-9743 (doi:10.1007/978-3-319-66107-0_16)

Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. ISBN 978-1-5090-3018-7. (doi:10.1109/LICS.2017.8005071)

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. Lecture Notes in Computer Science, vol 10499. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil. ISBN 9783319661063. ISSN 0302-9743 (doi:10.1007/978-3-319-66107-0_16)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP). In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. ISBN 9781509055333. ISSN 2375-1207 (doi:10.1109/SP.2017.24)

Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. Programming Languages and Systems. ESOP 2017.. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden. ISBN 9783662544334. ISSN 0302-9743 (doi:10.1007/978-3-662-54434-1_27)

Blanchette, Jasmin Christian, Bouzy, Aymeric, Lochbihler, Andreas, Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. Programming Languages and Systems. ESOP 2017. Lecture Notes in Computer Science, vol 10201. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden. ISBN 9783662544334. ISSN 0302-9743 (doi:10.1007/978-3-662-54434-1_5)

Kunčar, Ondřej and Popescu, Andrei (2016) From types to sets by local type definitions in higher-order logic. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_13)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_6)

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

Kunčar, Ondřej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. Interactive Theorem Proving. ITP 2015. In: 6th conference on Interactive Theorem Proving (ITP), 24-27 Aug 2015, Nanjing, China. ISBN 9783319221014. ISSN 0302-9743 (doi:10.1007/978-3-319-22102-1_16)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2015) Witnessing (co)datatypes. Programming languages and systems : 24th European Symposium on Programming, ESOP 2015, held as art of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. In: 24th European Symposium on Programming (ESOP 2015), 11-18 Apr 2015, London, UK. ISBN 9783662466681. ISSN 0302-9743

Blanchette, Jasmin Christian, Hölzl, Johannes, Lochbihler, Andreas, Panny, Lorenz, Popescu, Andrei and Traytel, Dmitriy (2014) Truly modular (co)datatypes for Isabelle/HOL. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. In: 5th International Conference on Interactive Theorem Proving (ITP), 14-17 Jul 2014, Vienna, Austria. ISBN 9783319089690. ISSN 0302-9743

Blanchette, Jasmin Christian, Popescu, Andrei and Taytel, Dmitriy (2014) Cardinals in Isabelle/HOL. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. In: 5th International Conference on Interactive Theorem Proving, 14-17 Jul 2014, Vienna, Austria. ISBN 9783319089690. ISSN 0302-9743

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2014) Unified classical logic completeness: a coinductive pearl. Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. In: 7th International Joint Conference on Automated Reasoning (IJCAR), 19-22 Jul 2014, Vienna, Austria. ISBN 9783319085869. ISSN 0302-9743

Kanav, Sudeep, Lammich, Peter and Popescu, Andrei (2014) A conference management system with verified document confidentiality. Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. In: 26th International Conference on Computer Aided Verification (CAV) 2014, 18-24 Jul 2014, Vienna, Austria. ISBN 9783319088662. ISSN 0302-9743

Schropp, Andreas and Popescu, Andrei (2013) Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. Certified Programs and Proofs: third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceeding. In: Certified Programs and Proofs (CPP), 11-13 Dec 2013, Melbourne, Australia. ISBN 9783319035444. ISSN 0302-9743 (doi:10.1007/978-3-319-03545-1_8)

Blanchette, Jasmin Christian, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2013) Encoding monomorphic and polymorphic types. Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16-24 Mar 2013, Rome. ISBN 9783642367410. ISSN 0302-9743

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

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

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

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

Blanchette, Jasmin Christian, Popescu, Andrei, Wand, Daniel and Weidenbach, Cristoph (2012) More SPASS with Isabelle: superposition with hard sorts and configurable simplification. Interactive Theorem Proving: third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US. ISBN 9783642323461. ISSN 0302-9743

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2012) Proving concurrent noninterference. Certified Programs and Proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. In: 2nd International Conference on Certified Programs and Proofs (CPP 2012), 13-15 Dec 2012, Kyoto, Japan. ISBN 9783642353079. ISSN 0302-9743

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

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

Popescu, Andrei and Gunter, Elsa (2010) Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. In: Foundations of Software Science and Computation Structures (FOSSACS), 20-28 Mar 2010, Paphos, Cyprus. ISBN 9783642120312. ISSN 0302-9743

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

This list was generated on Sat Mar 28 05:12:48 2020 GMT.