Newcastle University

Jason Steggles studied for the degree of PhD in theoretical computer science at the Department of Computer Science, Univerversity of Wales, Swansea. He is currently a lecturer in the School of Computing Science at the University of Newcastle. He is a member of the Modelling and Reasoning research group and the Centre for Software Reliability (CSR) at Newcastle, and has strong links to the Dependability research group. He is also an active member of the ASL (Asynchronous Systems Lab) and Bioinformatics research themes.

Jason's research interests centre around the development and application of formal methods to modelling and reasoning about computing systems. This has involved developing techniques and tools based on higher-order algebraic methods to verify stream processing systems (e.g. systolic and dataflow devices, real-time systems, and families of computing devices). Jason has also been investigating applying formal techniques to biological networks and has developed a range of Petri net models and tools which can be used to model and analyse genetic regulatory networks.

• Banks R, Khomenko V, Steggles LJ. A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. In: Electronic Notes in Theoretical Computer Science: Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC). 2009, Iasi, Romania: Elsevier B.V.
• Banks R, Khomenko V, Steggles J. A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1086.
• Banks R, Steggles LJ. A High-Level Petri Net Framework for Genetic Regulatory Networks. Journal of Integrative Bioinformatics 2007, 4(3), 60.
• Banks R, Steggles LJ. A High-Level Petri Net Framework for Multi-Valued Genetic Regulatory Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1007.
• Steggles LJ, Banks R, Shaw O, Wipat A. Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach. Bioinformatics 2007, 23(3), 336-343.
• Shaw O, Steggles J, Wipat A. Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. In: Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005). 2006, Newcastle upon Tyne: Electronic Notes in Theoretical Computer Science: Elsevier BV.
• Steggles LJ, Banks R, Wipat A. Modelling and analysing genetic networks: From Boolean networks to Petri nets. In: Computational Methods in Systems Biology: International Conference (CMSB 2006). 2006, Trento, Italy: Springer-Verlag.
• Steggles LJ, Banks R, Wipat A. Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 962.
• Steggles LJ. Verifying an infinite systolic algorithm using third-order equational methods. Journal of Logic and Algebraic Programming 2006, 69(1-2), 75-92.
• Shaw OJ, Steggles LJ, Wipat A. Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 909.
• Shaw O, Koelmans A, Steggles J, Wipat A. Applying Petri Nets to Systems Biology using XML Technologies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 827.
• Shaw O, Koelmans A, Steggles J, Wipat A. Applying Petri Nets to Systems Biology using XMLTechnologies. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets. Satellite event of ATPN : 25th International Conference on Application and Theory of Petri Nets. 2004, Bologna, Italy.
• Shaw OJ, Harwood C, Steggles LJ, Wipat A. SARGE: A tool for creation of putative genetic networks. Bioinformatics 2004, 20(18), 3638-3640.
• Steggles LJ. Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 795.
• Steggles LJ. Algebraic Prototyping Tools for Petri Nets with Time. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 722.
• Alfoudari S, Steggles LJ. Formalizing Design Patterns: A Case Study of the Iterator Pattern. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 767.
• Meinke K, Steggles LJ. Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 2001, 38(1), 45-88.
• Steggles LJ. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. In: Application and Theory of Petri Nets 2001: 22nd International Conference (ICATPN 2001). 2001, Newcastle upon Tyne, UK: Springer-Verlag.
• Steggles LJ, Kosiuczenko P. Formal model for SDL specifications based on Timed Rewriting Logic. Automated Software Engineering 2000, 7(1), 61-90.
• Steggles LJ. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2000. School of Computing Science Technical Report Series 716.
• Steggles LJ. Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller. Journal of Universal Computer Science 2000, 6(4), 460-473.
• Steggles LJ. Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 697.
• Steggles LJ, Kosiuczenko P. A Formal Model for SDL Specifications based on Timed Rewriting Logic. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 637.
• Steggles LJ, Kosiuczenko P. A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. In: International Workshop on Rewriting Logic and its Applications. 1998, Abbaye des Prémontrés at Pont-à-Mousson, France: Elsevier Science.
• Steggles LJ, Kosiuczenko P. A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 657.
• Steggles LJ. Parameterised Higher-Order Algebraic Specifications. In: 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97). 1997, Southampton, UK: Springer-Verlag.
• Steggles LJ. Parameterised Higher-Order Algebraic Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 603.
• Meinke K, Steggles LJ. Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 559.
• Steggles LJ, Wirsing M. Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 551.
• Steggles LJ. Higher-Order Algebra with Transfinite Types. In: Higher-Order Algebra, Logic, and Term Rewriting: 2nd International Workshop (HOA '95). 1996, Paderborn, Germany: Springer-Verlag.
• Steggles LJ. Higher-Order Algebra with Transfinite Types. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 541.
• Meinke K, Steggles LJ. Specification and Verification in Higher Order Algebra: A Case Study of Convolution. In: Higher-Order Algebra, Logic, and Term Rewriting: 1st International Workshop (HOA '93). 1994, Amsterdam, The Netherlands: Springer-Verlag.
• Jones CB, Lovert MJ, Steggles LJ. A Semantic Analysis of Logics that Cope with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1310.
• Ciobanu G, Koutny M, Steggles J. A Timed Mobility Semantics based on Rewriting Strategies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1341.
• Steggles LJ. Abstracting Asynchronous Multi-Valued Networks. Scientific Annals of Computer Science 2012, 21(2), 249-282.
• Banks R, Steggles LJ. An Abstraction Theory for Qualitative Models of Biological Systems. Theoretical Computer Science 2012, 431, 207-218.
• Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
• Steggles LJ. Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1269.
• Ciobanu G, Koutny M, Steggles LJ. A Timed Mobility Semantics Based on Rewriting Strategies. In: Software Engineering and Formal Methods (SEFM'10). 2013, Thessaloniki, Greece: Springer.