Please feel free to ask me for papers which are not linked from this page (e.g. drafts)

2017

Sorry that most of the links in this section don't work. I'm fixing that :-)

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

  • Nikos Gorogiannis and Mark Ryan. Requirements, specifications and minimal refinement. Formal Aspects of Computing 19(4), pp.417-444, Springer-Verlag 2007.  (DOI:10.1007/s00165-006-0014-3).
    Code supporting the paper: ACTL tableau generator, by Nikos Gorogrannis.  It outputs SMV or DOT code for the resulting finite state automaton. Written in C++, should work under Unix or Windows without significant changes.
  • D. P. Guelev, Mark D. Ryan and Pierre-Yves Schobbens. Model-checking the Preservation of Temporal Properties upon Feature Integration. International Journal on Software Tools for Technlogy Transfer, 9(1), 53-62,  2007.
  • Stephan Reiff-Marganiec and Mark Ryan (eds). Computer Networks, 51(2). Special issue on Feature Integration. Guest Editorial. Elsevier, 2007.
  • A. Mukhamedov and M. Ryan. Anonymity protocol with identity escrow, and analysis in the applied pi calculus. In G. Barthe and C.  Fournet, eds, Trustworthy Global Computing, LNCS, Springer-Verlag, 2007
  • S. Delaune, S. Kremer and M. Ryan. Symbolic bisimulation for the applied pi calculus.  Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), Springer-Verlag, 13pp, 2007.
  • S. Delaune, S. Kremer and M. Ryan. Symbolic bisimulation for the applied pi calculus (extended abstract). International Workshop on Security Issues in Concurrency, LNCS, Springer-Verlag, 2007.
  • B. Smyth, L. Chen,  and M. D. Ryan, Direct Anonymous Attestation: ensuring privacy with corrupt administrators. F. Stajano et al. (eds.), Procedings of the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks, pp. 218-­231, LNCS 4572, Springer-Verlag 2007.
  • A. Mukhamedov and M. D. Ryan. Improved multi-party contract signing. Financial Cryptography and Data Security, LNCS 4889, Springer, pages 179-191,  2007.

2006

2005

  • Dimitar P. Guelev, Mark Ryan, and Pierre Yves Schobbens. Synthesising Features by Games. Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), edited by R. Lazic and R. Nagarajan.  Electronic Notes in Theoretical Computer Science volume 145, pages 79-93. 2005.
  • Aybek Mukhamedov and Mark D. Ryan, On Anonymity with Identity Escrow. Proceedings of the Third international Workshop on Formal Aspects in Security and Trust (FAST2005).  LNCS volume 3866, pages 235-243. Springer-Verlag, 2005.
  • N. Zhang, Mark D. Ryan and Dimitar Guelev, Evaluating Access Control Policies Through Model Checking. Eighth Information Security Conference (ISC'05). Lecture Notes in Computer Science volume 3650, pages 446-460, Springer-Verlag, 2005.
  • Aidan Harding, Mark Ryan and Pierre Yves Schobbens. A New Algorithm for Strategy Synthesis in LTL Games.  Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05). Lecture Notes in Computer Science volume 3440, edited by Nicolas Halbwachs and Lenore D. Zuck. Pages 477-492. Springer-Verlag.
  • Steve Kremer and Mark D. Ryan. Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. In Proceedings of the European Symposium on Programming (ESOP'05),  Lecture Notes in Computer Science volume 3444, pages 186-200. Springer Verlag, 2005.

2004

2003

  • H. Harris and M. D. Ryan, Theoretical Foundations of Updating Systems. In Proceedings of Automated Software Engineering 2003, 18th IEEE International Conference. IEEE Computer Society Press, 2003. 8 pages.
  • D. P. Guelev, P. Y. Schobbens and M. D. Ryan, Feature Integration by Substitution. In D. Amyot and L. Logrippo (editors), Feature Interactions in Telecommunications and Software Systems VII, IOS Press, pp. 275-291, 2003.

2002

2001

2000

1999

  • A. Lomuscio and M. D. Ryan, An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), Vol. 13, No. 2 (Special issue on Temporal Logic in Engineering), pp.119-132, 1999. (RAE2001)
  • M. C. Plath and M. D. Ryan. SFI: a feature integration tool. In R. Berghammer and Y. Lakhnech, editors, Tool Support for System Specification, Development and Verification, Advances in Computing Science, pages 201-216. Springer, 1999.
  • Alessio Lomuscio and Mark Ryan.  A Spectrum of Modes of Knowledge Sharing between Agents. Sixth International Workshop on Agent Theories Architectures and Languages (ATAL-99), pages 13-26, LNCS, Springer-Verlag, 1999.

1998

  • Malte Plath and Mark Ryan, A Feature Construct for Promela. In SPIN'98 -- Proceedings of the 4th SPIN workshop, November 1998.
  • M. Plath and M. Ryan, Plug and Play Features, 28pp, Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, 1998.
  • A. Lomuscio and M. Ryan. Model refinement and model checking for S5n. Proceedings of the ECAI-98 Workshop on Practical Reasoning and Rationality, Brighton (UK), 1998.
  • A. Lomuscio and M. Ryan. Ideal agents sharing (some!) knowledge. In Proceedings of ECAI-98, 13th European Conference on Artificial Intelligence. John Wiley & Sons, 5pp, 1998.
  • F. Miguel Dionisio, Stefan Brass, Mark Ryan and Udo W. Lipeck, Hypothetical Reasoning with Defaults. Workshop on Computational Aspects of Nonmonotonic Reasoning-CNMR'98 (Held in conjunction with the Seventh International Workshop on Nonmonotonic Reasoning), 1998

1997

1996
  • M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan and M. Wooldridge. Formalisms for multi-agent systems. The Knowledge Engineering Review, Vol. 12:3, 1997, 315-321.
  • M. Ryan and P.-Y. Schobbens. Intertranslating counterfactuals and updates. In W. Wahlster, editor, 12th European Conference on Artificial Intelligence (ECAI), pages 100--104. John Wiley & Sons, Ltd., 1996.
  • A. S. Guerra and M. Ryan. Feature- and object-oriented specifications. In P.-Y. Schobbens, editor, ModelAge'96: Proceedings of the Esprit WG Workshop, 1996.
  • M. Ryan, P.-Y. Schobbens, and O. Rodrigues. Counterfactuals and updates as inverse modalities. In Y. Shoham, editor, TARK'96: Proc. Theoretical Aspects of Rationality and Knowledge, pages 163--173. Morgan Kaufmann, 1996.
  • A. Finkelstein, M. Ryan, and G. Spanoudakis. Software package requirements and procurement. In Proc. 8th International Workshop on Software Specification and Design (IWSSD-8). IEEE CS Press, 1996.

1995

  • Riccardo Poli, Mark Ryan, and Aaron Sloman. A new continuous propositional logic. In C. Pinto-Ferreira and N. J. Mamede, editors, Progress in Artificial Intelligence: Seventh Portuguese Conference on Artificial Intelligence, EPIA'95, volume 990 of Lecture Notes in Artificial Intelligence, pages 17--26, 1995.
  • H. Andreka, M. D. Ryan, and P.-Y. Schobbens. Operators and laws for combining preference relations. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems: Correctness and Reusability (Selected Papers). World Scientific Publishing Co., 1995.
  • M. D. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems: Correctness and Reusability (Selected Papers). World Scientific Publishing Co., 1995.
  • M. D. Ryan and P.-Y. Schobbens. Belief revision and verisimilitude. Notre Dame Journal of Formal Logic, 36(1), 1995.

1994

  • M. D. Ryan. Belief revision and ordered theory presentations. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information. De Gruyter Publishers, 1994. Also in Proc. Eighth Amsterdam Colloquium on Logic, University of Amsterdam, 1991.

1993

  • M. D. Ryan. Prioritising preference relations. In G.L. Burn, S.J. Gay, and M.D. Ryan, editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29--31 March 1993. Springer-Verlag Workshops in Computer Science.
  • G. L. Burn, S. J. Gay, and M. D. Ryan, editors. Theory and Formal Methods 1993: Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29--31 March 1993. Springer-Verlag Workshops in Computer Science.
  • M. D. Ryan. Defaults in specifications. In A. Finkelstein, editor, Proc. IEEE International Symposium on Requirements Engineering (RE'93), pages 142--149, 1993.
  • M. D. Ryan. Towards specifying norms. Annals of Mathematics and Artificial Intelligence, 9:49--67, 1993.
  • M. D. Ryan and M. R. Sadler. Valuation systems and consequence relations. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 1. Oxford University Press, 1992.

1992

1991

  • M. D. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. Meyer, editors, Theoretical Aspects of Computer Software, pages 569--593. Lecture Notes in Computer Science 526, Springer Verlag, 1991.
  • M. D. Ryan. Defaults and revision in structured theories. In Proc. Sixth IEEE Symposium on Logic in Computer Science (LICS), pages 362--373. Morgan Kaufmann, 1991.
  • H. Fuks, M. Ryan, and M. Sadler. Outline of a commitment logic for legal reasoning. In Proc 3rd International Conference on Logics, Informatics and Law, volume 44, pages 167--207, 1990.