Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Carroll
    Last name: Morgan
    DBLP: m/CarrollMorgan
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 90 of 90  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Carroll Morgan.
    A Demonic Lattice of Information.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Algebra for Quantitative Information Flow.
    Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings 2017 (0) 2017
    Journal article
    N. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Compositional security and collateral leakage.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah.
    Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.
    Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
    Axioms for Information Leakage.
    IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016 2016 (0) 2016
    Journal article
    Annabelle McIver, Carroll Morgan.
    A new rule for almost-certain termination of probabilistic and demonic programs.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Hidden-Markov program algebra with iteration.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Conference paper
    Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow.
    30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015 2015 (0) 2015
    Journal article
    June Andronick, Corey Lewis, Carroll Morgan.
    Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.
    Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. 2015, Volume 196 (0) 2015
    Journal article
    Thai Son Hoang, Annabelle McIver, Larissa Meinicke, Carroll Morgan, A. Sloane, E. Susatyo.
    Abstractions of non-interference security: probabilistic versus possibilistic.
    Formal Asp. Comput. 2014, Volume 26 (0) 2014
    Conference paper
    Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke.
    Abstract Channels and Their Robust Information-Leakage Ordering.
    Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Journal article
    Carroll Morgan.
    An old new notation for elementary probability theory.
    Sci. Comput. Program. 2014, Volume 85 (0) 2014
    Conference paper
    Roland Wen, Annabelle McIver, Carroll Morgan.
    Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.
    FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 (0) 2014
    Journal article
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Real-reward testing for probabilistic processes.
    Theor. Comput. Sci. 2014, Volume 538 (0) 2014
    Journal article
    Adenilso da Silva Simão, Carroll Morgan.
    Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).
    Sci. Comput. Program. 2014, Volume 92 (0) 2014
    Conference paper
    Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
    Additive and Multiplicative Notions of Leakage, and Their Capacities.
    IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014 2014 (0) 2014
    Conference paper
    Carroll Morgan.
    (In-)Formal Methods: The Lost Art - A Users' Manual.
    Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 (0) 2014
    Conference paper
    Carroll Morgan.
    Lattices of Information for Security: Deterministic, Demonic, Probabilistic.
    Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings 2013 (0) 2013
    Journal article
    Carroll Morgan.
    Compositional noninterference from first principles.
    Formal Asp. Comput. 2012, Volume 24 (0) 2012
    Conference paper
    Carroll Morgan.
    Elementary Probability Theory in the Eindhoven Style.
    Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.
    Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 2012 (0) 2012
    Journal article
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Hidden-Markov Program Algebra with iteration
    CoRR 2011, Volume 0 (0) 2011
    Journal article
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Real-Reward Testing for Probabilistic Processes (Extended Abstract)
    Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. 2011, Volume 57 (0) 2011
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Compositional refinement in agent-based security protocols.
    Formal Asp. Comput. 2011, Volume 23 (0) 2011
    Conference paper
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Compositional Closure for Bayes Risk in Probabilistic Noninterference.
    Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 2010 (0) 2010
    Journal article
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Compositional closure for Bayes Risk in probabilistic noninterference
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.
    Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings 2010 (0) 2010
    Book chapter
    Annabelle McIver, Carroll Morgan.
    The Thousand-and-One Cryptographers.
    Reflections on the Work of C. A. R. Hoare. 2010 (0) 2010
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Testing Finitary Probabilistic Processes.
    CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Annabelle McIver, Larissa Meinicke, Carroll Morgan.
    Security, Probability and Nearly Fair Coins in the Cryptographers' Café
    FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez.
    Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Carroll Morgan.
    The Shadow Knows: Refinement and security in sequential programs.
    Sci. Comput. Program. 2008, Volume 74 (0) 2009
    Journal article
    Carroll Morgan.
    How to Brew-up a Refinement Ordering.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 259 (0) 2009
    Conference paper
    Annabelle McIver, Carroll Morgan, C. Gonzalia.
    Proofs and Refutations for Probabilistic Refinement.
    FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan.
    Characterising Testing Preorders for Finite Probabilistic Processes
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Annabelle McIver, C. Gonzalia, E. Cohen, Carroll Morgan.
    Using probabilistic Kleene algebra pKA for protocol verification.
    J. Log. Algebr. Program. 2008, Volume 76 (0) 2008
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Characterising Testing Preorders for Finite Probabilistic Processes.
    Logical Methods in Computer Science 2008, Volume 4 (0) 2008
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang.
    Scalar Outcomes Suffice for Finitary Probabilistic Testing.
    Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang.
    Characterising Testing Preorders for Finite Probabilistic Processes.
    22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 2007 (0) 2007
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang.
    Remarks on Testing Probabilistic Processes.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 172 (0) 2007
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Results on the quantitative µ-calculus qMµ
    ACM Trans. Comput. Log. 2007, Volume 8 (0) 2007
    Conference paper
    Carroll Morgan.
    null
    Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Annabelle McIver, E. Cohen, Carroll Morgan.
    Using Probabilistic Kleene Algebra for Protocol Verification.
    Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce 2006 (0) 2006
    Conference paper
    Carroll Morgan, Annabelle McIver.
    Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.
    Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] 2006 (0) 2006
    Conference paper
    Annabelle McIver, Carroll Morgan.
    A Novel Stochastic Game Via the Quantitative
    Electr. Notes Theor. Comput. Sci. 2006, Volume 153 (0) 2006
    Conference paper
    Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan.
    Development via Refinement in Probabilistic B - Foundation and Case Study.
    ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial.
    The Challenge of Probabilistic
    ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Joe Hurd, Annabelle McIver, Carroll Morgan.
    Probabilistic Guarded Commands Mechanized in
    Electr. Notes Theor. Comput. Sci. 2005, Volume 112 (0) 2005
    Conference paper
    Carroll Morgan, Annabelle McIver.
    Memoryless Strategies for Stochastic Games via Domain Theory.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 130 (0) 2005
    Conference paper
    Annabelle McIver, Carroll Morgan.
    An elementary proof that Herman's Ring is Theta (N
    Inf. Process. Lett. 2005, Volume 94 (0) 2005
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Abstraction and refinement in probabilistic systems.
    SIGMETRICS Performance Evaluation Review 2004, Volume 32 (0) 2005
    Conference paper
    Joe Hurd, Annabelle McIver, Carroll Morgan.
    Probabilistic guarded commands mechanized in
    Theor. Comput. Sci. 2005, Volume 346 (0) 2005
    Conference paper
    Carroll Morgan.
    Of Probabilistic Wp and SP-and Compositionality.
    Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers 2005 (0) 2004
    Conference paper
    Jifeng He, Carroll Morgan, Annabelle McIver.
    Deriving Probabilistic Semantics Via the 'Weakest Completion'.
    Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Developing and Reasoning About Probabilistic Programs in
    Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006 (0) 2004
    Conference paper
    Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan.
    Probabilistic Invariants for Probabilistic Machines.
    ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Annabelle McIver, Carroll Morgan, Thai Son Hoang.
    Probabilistic Termination in B.
    ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Results on the quantitative mu-calculus qMu
    CoRR 2003, Volume 0 (0) 2003
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.
    Theor. Comput. Sci. 2003, Volume 293 (0) 2003
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Games, Probability and the Quantitative µ-Calculus qMµ
    Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Carroll Morgan, Annabelle McIver.
    Cost Analysis of Games, Using Program Logic.
    8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China 2001 (0) 2001
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Demonic, angelic and unbounded probabilistic choices in sequential programs.
    Acta Inf. 2001, Volume 37 (0) 2001
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 42 (0) 2001
    Conference paper
    Annabelle McIver, Carroll Morgan.
    Partial correctness for probabilistic demonic programs.
    Theor. Comput. Sci. 2001, Volume 266 (0) 2001
    Conference paper
    Steve King, Carroll Morgan.
    An Iterator Construct for the Refinement Calculus.
    4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 2000 (0) 2000
    Conference paper
    Carroll Morgan, Annabelle McIver.
    An Expectation-Transformer Model for Probabilistic Temporal Logic.
    Logic Journal of the IGPL 1999, Volume 7 (0) 1999
    Conference paper
    Carroll Morgan.
    The Generalised Substitution Language Extended to Probabilistic Programs.
    B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders.
    Refinement-Oriented Probability for CSP.
    Formal Asp. Comput. 1996, Volume 8 (0) 1996
    Conference paper
    Carroll Morgan, Annabelle McIver.
    Unifying wp and wlp.
    Inf. Process. Lett. 1996, Volume 59 (0) 1996
    Conference paper
    Carroll Morgan, Annabelle McIver, Karen Seidel.
    Probabilistic Predicate Transformers.
    ACM Trans. Program. Lang. Syst. 1996, Volume 18 (0) 1996
    Conference paper
    Michael J. Butler, Carroll Morgan.
    Action Systemes, Unbounded Nondeterminism, and Infinite Traces.
    Formal Asp. Comput. 1995, Volume 7 (0) 1995
    Conference paper
    Steve King, Carroll Morgan.
    Exits in the Refinement Calculus.
    Formal Asp. Comput. 1995, Volume 7 (0) 1995
    Conference paper
    Carroll Morgan.
    Foreword: Special Issue on Mathematics of Program Construction.
    Sci. Comput. Program. 1994, Volume 22 (0) 1994
    Conference paper
    Carroll Morgan.
    The Refinement Calculus, and Literate Development.
    Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report 1993 (0) 1993
    Conference paper
    Paul H. B. Gardiner, Carroll Morgan.
    A Single Complete Rule for Data Refinement.
    Formal Asp. Comput. 1993, Volume 5 (0) 1993
    Conference paper
    Carroll Morgan.
    The Refinement Calculus.
    Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. 1993 (0) 1992
    Conference paper
    Paul H. B. Gardiner, Carroll Morgan.
    Data Refinement of Predicate Transformers.
    Theor. Comput. Sci. 1991, Volume 87 (0) 1991
    Conference paper
    Jim Woodcock, Carroll Morgan.
    Refinement of State-Based Concurrent Systems.
    VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings 1990 (0) 1990
    Conference paper
    Carroll Morgan, Trevor Vickers.
    Types and Invariants in the Refinement Calculus.
    Sci. Comput. Program. 1990, Volume 14 (0) 1990
    Conference paper
    Carroll Morgan.
    Types and Invariants in the Refinement Calculus.
    Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings 1989 (0) 1989
    Conference paper
    Carroll Morgan, Paul H. B. Gardiner.
    Data Refinement by Calculation.
    Acta Inf. 1989, Volume 27 (0) 1989
    Conference paper
    Carroll Morgan.
    Procedures, parameters, and abstraction: Separate concerns.
    Sci. Comput. Program. 1989, Volume 11 (0) 1988
    Conference paper
    Carroll Morgan.
    Data Refinement by Miracles.
    Inf. Process. Lett. 1987, Volume 26 (0) 1988
    Conference paper
    Carroll Morgan.
    Auxiliary Variables in Data Refinement.
    Inf. Process. Lett. 1988, Volume 29 (0) 1988
    Conference paper
    Carroll Morgan.
    The Specification Statement.
    ACM Trans. Program. Lang. Syst. 1988, Volume 10 (0) 1988
    Conference paper
    C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin.
    Laws of Programming.
    Commun. ACM 1987, Volume 30 (0) 1987
    Conference paper
    Carroll Morgan.
    Global and Logical Time in Distributed Algorithms.
    Inf. Process. Lett. 1985, Volume 20 (0) 1985
    Conference paper
    Carroll Morgan, Bernard Sufrin.
    Specification of the UNIX Filing System.
    IEEE Trans. Software Eng. 1984, Volume 10 (0) 1984
    Conference paper
    Carroll Morgan.
    Specification of a simplified Network Service in Z.
    The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings 1985 (0) 1983
    Conference paper
    Carroll Morgan, C. A. R. Hoare.
    Specification of a simplified Network Service in CSP.
    The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings 1985 (0) 1983
    Show item 1 to 90 of 90  

    Your query returned 90 matches in the database.