1. C. Faggian and S. R. d Rocca. Lambda Calculus and Probabilistic Computation. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-13, June 2019. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



2. M. Kwiatkowska, G. Norman, and D. Parker. Verification and Control of Turn-Based Probabilistic Real-Time Games. In M. Alvim, K. Chatzikokolakis, C. Olarte, and F. Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy (Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday), volume 11760 of LNCS, pages 379-396, 2019. Springer. Keyword(s): model checking, probability. [bibtex-entry]



3. Wenbo Zhang, Huan Long, and Xian Xu. Uniform Random Process Model Revisited. In Anthony Widjaja Lin, editor, Programming Languages and Systems, Lecture Notes in Computer Science, Cham, pages 388-404, 2019. Springer International Publishing. ISBN: 978-3-030-34175-6. Keyword(s): pi calculus, calculus, probability. [Abstract] [bibtex-entry]

1. Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, and Deepak Garg. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In Amal Ahmed, editor, Programming Languages and Systems, Lecture Notes in Computer Science, Cham, pages 214-241, 2018. Springer International Publishing. ISBN: 978-3-319-89884-1. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



2. Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller. Automatically Testing Implementations of Numerical Abstract Domains. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, New York, NY, USA, pages 768-778, 2018. ACM. ISBN: 978-1-4503-5937-5. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]



3. Matthew Mirman, Timon Gehr, and Martin Vechev. Differentiable Abstract Interpretation for Provably Robust Neural Networks. In International Conference on Machine Learning, pages 3578-3586, July 2018. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]



4. Anthony Narkawicz, Cesar Munoz, and Aaron Dutle. The MINERVA Software Development Process. In Automated Formal Methods, volume 5 of Kalpa Publications in Computing, pages 93-108, 2018. ISSN: 2515-1762. Keyword(s): avionics, verification. [bibtex-entry]

1. M. Kwiatkowska, G. Norman, and D. Parker. Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of LNCS, pages 289-309, 2017. Springer. Keyword(s): model checking, probability. [bibtex-entry]



2. Gagandeep Singh, Markus Püschel, and Martin Vechev. Fast Polyhedra Abstract Domain. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, New York, NY, USA, pages 46-59, 2017. ACM. ISBN: 978-1-4503-4660-3. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]

1. Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, and Marcin Szymczak. A Lambda-Calculus Foundation for Universal Probabilistic Programming. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, Nara, Japan, pages 33-46, 2016. ACM Press. ISBN: 978-1-4503-4219-3. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]



2. Maria Consiglio, Cesar Munoz, George Hagen, Anthony Narkawicz, and Swee Balachandran. ICAROUS: Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems. In 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), Sacramento, CA, USA, pages 1-5, September 2016. IEEE. ISBN: 978-1-5090-2523-7. Keyword(s): avionics, verification. [Abstract] [bibtex-entry]



3. Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, and Sorin Lerner. Towards Foundational Verification of Cyber-Physical Systems. In 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), Vienna, Austria, pages 1-5, April 2016. IEEE. ISBN: 978-1-5090-4304-0. Keyword(s): verification. [Abstract] [bibtex-entry]



4. Muhammad Qasim, Osman Hasan, Maissa Elleuch, and Sofiène Tahar. Formalization of Normal Random Variables in HOL. In Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, and Frank Tompa, editors, Intelligent Computer Mathematics, Lecture Notes in Computer Science, Cham, pages 44-59, 2016. Springer International Publishing. ISBN: 978-3-319-42547-4. Keyword(s): HOL, probability. [Abstract] [bibtex-entry]



5. Daniel Ricketts, Gregory Malecha, and Sorin Lerner. Modular Deductive Verification of Sampled-Data Systems. In Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, Pittsburgh, Pennsylvania, pages 1-10, 2016. ACM Press. ISBN: 978-1-4503-4485-2. Keyword(s): verification. [Abstract] [bibtex-entry]

1. Vijay D'Silva and Caterina Urban. Abstract Interpretation as Automated Deduction. In Automated Deduction - CADE-25, Lecture Notes in Computer Science, pages 450-464, August 2015. Springer, Cham. ISBN: 978-3-319-21400-9 978-3-319-21401-6. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]



2. Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, and Sorin Lerner. Towards Verification of Hybrid Systems in a Foundational Proof Assistant. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Austin, TX, USA, pages 248-257, September 2015. IEEE. ISBN: 978-1-5090-0237-5. Keyword(s): verification. [Abstract] [bibtex-entry]

1. K. Sen, M. Viswanathan, and G. Agha. VESTA: A Statistical Model-Checker and Analyzer for Probabilistic Systems. In Second International Conference on the Quantitative Evaluation of Systems (QEST'05), Torino, Italy, pages 251-252, 2005. IEEE. ISBN: 978-0-7695-2427-6. Keyword(s): model checking, probability. [Abstract] [bibtex-entry]

1. Patrick Cousot and Radhia Cousot. An Abstract Interpretation-Based Framework for Software Watermarking. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '04, New York, NY, USA, pages 173-185, 2004. ACM. ISBN: 978-1-58113-729-3. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]

1. Norman Ramsey and Avi Pfeffer. Stochastic Lambda Calculus and Monads of Probability Distributions. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '02, Portland, Oregon, pages 154-165, January 2002. Association for Computing Machinery. ISBN: 978-1-58113-450-6. Keyword(s): calculus, probability. [Abstract] [bibtex-entry]

1. Patrick Cousot. Abstract Interpretation Based Formal Methods and Future Challenges. In Informatics, pages 138-156, 2001. Springer. Keyword(s): abstract interpretation. [bibtex-entry]

1. Oltea Mihaela Herescu and Catuscia Palamidessi. Probabilistic Asynchronous $\pi$-Calculus. In Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, Berlin, Heidelberg, pages 146-160, 2000. Springer. ISBN: 978-3-540-46432-7. Keyword(s): pi calculus, calculus, probability. [Abstract] [bibtex-entry]

1. François Bourdoncle. Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. In Pierre Deransart and Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science, Berlin, Heidelberg, pages 307-323, 1990. Springer. ISBN: 978-3-540-46298-9. Keyword(s): abstract interpretation. [bibtex-entry]



2. François Bourdoncle. Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. In Pierre Deransart and Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science, pages 307-323, 1990. Springer Berlin Heidelberg. ISBN: 978-3-540-46298-9. Keyword(s): abstract interpretation. [bibtex-entry]



3. Alan Deutsch. On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications. In Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '90, San Francisco, California, United States, pages 157-168, 1990. ACM Press. ISBN: 978-0-89791-343-0. Keyword(s): abstract interpretation. [bibtex-entry]

1. Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '77, New York, NY, USA, pages 238-252, 1977. ACM. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html