The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan Stepney: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack
    Challenging Formal Specifications by Mutation: a CSP security example. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:340-0 [Conf]
  2. Margaret Hill, Susan Stepney, Francis Wan
    Penrose Life: Ash and Oscillators. [Citation Graph (0, 0)][DBLP]
    ECAL, 2005, pp:471-480 [Conf]
  3. Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
    An Architecture for Modelling Emergence in CA-Like Systems. [Citation Graph (0, 0)][DBLP]
    ECAL, 2005, pp:433-442 [Conf]
  4. Peter Worth, Susan Stepney
    Growing Music: Musical Interpretations of L-Systems. [Citation Graph (0, 0)][DBLP]
    EvoWorkshops, 2005, pp:545-550 [Conf]
  5. Susan Stepney
    Critical Critical Systems. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:62-70 [Conf]
  6. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:382-398 [Conf]
  7. Nuno Amálio, Susan Stepney, Fiona Polack
    A Formal Template Language Enabling Metaproof. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:252-267 [Conf]
  8. Fiona Polack, Susan Stepney
    Systems Development Using Z Generics. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1048-1067 [Conf]
  9. David W. J. Stringer-Calvert, Susan Stepney, Ian Wand
    Using PVS to Prove a Z Refinement: A Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:573-588 [Conf]
  10. John A. Clark, Jeremy L. Jacob, Susan Stepney
    Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:2022-2033 [Conf]
  11. Paul Massey, John A. Clark, Susan Stepney
    Evolving Quantum Circuits and Programs Through Genetic Programming. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:569-580 [Conf]
  12. Paul Massey, John A. Clark, Susan Stepney
    Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. [Citation Graph (0, 0)][DBLP]
    GECCO, 2005, pp:1657-1663 [Conf]
  13. Matthew Russell, John A. Clark, Susan Stepney
    Using Ants to Attack a Classical Cipher. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:146-147 [Conf]
  14. Susan Stepney
    Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:142-149 [Conf]
  15. Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith
    Artificial Immune Systems and the Grand Challenge for Non-classical Computation. [Citation Graph (0, 0)][DBLP]
    ICARIS, 2003, pp:204-216 [Conf]
  16. Susan Stepney, Robert E. Smith, Jonathan Timmis, Andrew M. Tyrrell
    Towards a Conceptual Framework for Artificial Immune Systems. [Citation Graph (0, 0)][DBLP]
    ICARIS, 2004, pp:53-64 [Conf]
  17. John Newborough, Susan Stepney
    A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs. [Citation Graph (0, 0)][DBLP]
    ICARIS, 2005, pp:43-55 [Conf]
  18. Nuno Amálio, Susan Stepney, Fiona Polack
    Formal Proof from UML Models. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:418-433 [Conf]
  19. John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan
    Evolving Boolean Functions Satisfying Multiple Criteria. [Citation Graph (0, 0)][DBLP]
    INDOCRYPT, 2002, pp:246-259 [Conf]
  20. Howard Chivers, John A. Clark, Susan Stepney
    Smart Devices and Software Agents: The Basics of Good Behaviour. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:39-52 [Conf]
  21. Yang Liu, John A. Clark, Susan Stepney
    "Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. [Citation Graph (0, 0)][DBLP]
    SPC, 2005, pp:31-45 [Conf]
  22. David Cooper, Susan Stepney
    Segregation with Communication. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:451-470 [Conf]
  23. Nuno Amálio, Fiona Polack, Susan Stepney
    An Object-Oriented Structuring for Z Based on Views. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:262-278 [Conf]
  24. Rosalind Barden, Susan Stepney
    Support for Using Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:255-280 [Conf]
  25. Rosalind Barden, Susan Stepney, David Cooper
    The Use of Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:99-124 [Conf]
  26. Jemima Rossmorris, Susan Stepney
    Requirements as Conjectures: Intuitive DVD Menu Navigation. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:172-186 [Conf]
  27. Susan Stepney
    Testing as Abstraction. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:137-151 [Conf]
  28. Susan Stepney, David Cooper
    Formal Methods for Industrial Products. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:374-393 [Conf]
  29. Susan Stepney, David Cooper, Jim Woodcock
    More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:284-307 [Conf]
  30. Susan Stepney, Fiona Polack, Ian Toyn
    An Outline Pattern Language for Z: Five Illustrations and Two Tables. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:2-19 [Conf]
  31. Susan Stepney, Fiona Polack, Ian Toyn
    Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:20-39 [Conf]
  32. Ian Toyn, Susan Stepney
    Characters + Mark-up = Z Lexis. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:100-119 [Conf]
  33. Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
    Typechecking Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:264-285 [Conf]
  34. Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
    Type-Constrained Generics for Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:250-263 [Conf]
  35. Richard Banach, Michael Poppleton, Susan Stepney
    Retrenching the Purse: Finite Exception Logs, and Validating the Small. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:234-248 [Conf]
  36. Susan Stepney
    Desert Island Column. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:1, pp:139-141 [Journal]
  37. Paul Massey, John A. Clark, Susan Stepney
    Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. [Citation Graph (0, 0)][DBLP]
    Evolutionary Computation, 2006, v:14, n:1, pp:21-40 [Journal]
  38. John A. Clark, Susan Stepney, Howard Chivers
    Breaking the Model: Finalisation and a Taxonomy of Security Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:225-242 [Journal]
  39. Fiona Polack, Susan Stepney
    Emergent Properties Do Not Refine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:163-181 [Journal]
  40. Susan Stepney, Fiona Polack, Ian Toyn
    Refactoring in maintenance and development of Z specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  41. Susan Stepney, Dave Whitely, David Cooper, Colin Grant
    A Demonstrably Correct Compiler. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:1, pp:58-101 [Journal]
  42. Susan Stepney
    Book Review: Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    Genetic Programming and Evolvable Machines, 2004, v:5, n:4, pp:395-396 [Journal]
  43. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
    Journeys in non-classical computation II: initial journeys and waypoints. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms Appl., 2006, v:21, n:2, pp:97-125 [Journal]
  44. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
    Journeys in non-classical computation I: A grand challenge for computing research. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms Appl., 2005, v:20, n:1, pp:5-19 [Journal]
  45. Susan Stepney, Stephen P. Lord
    Formal Specification of an Access Control System. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1987, v:17, n:9, pp:575-593 [Journal]
  46. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenchment and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:41-48 [Conf]
  47. Andrew Weeks, Susan Stepney, Fiona Polack
    Neutral Emergence and Coarse Graining. [Citation Graph (0, 0)][DBLP]
    ECAL, 2007, pp:1131-1140 [Conf]
  48. Susan Stepney, Tim Clarke, Peter Young
    PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees. [Citation Graph (0, 0)][DBLP]
    ECAL, 2007, pp:1151-1160 [Conf]
  49. Gemma B. Danks, Susan Stepney, Leo S. D. Caves
    Folding Protein-Like Structures with Open L-Systems. [Citation Graph (0, 0)][DBLP]
    ECAL, 2007, pp:1100-1109 [Conf]
  50. Kester Clegg, Susan Stepney, Tim Clarke
    Using feedback to regulate gene expression in a developmental control architecture. [Citation Graph (0, 0)][DBLP]
    GECCO, 2007, pp:966-973 [Conf]
  51. Susan Stepney, Fiona Polack, Heather R. Turner
    Engineering Emergence. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:89-97 [Conf]
  52. Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
    Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:29-69 [Journal]
  53. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Engineering and theoretical underpinnings of retrenchment. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:67, n:2-3, pp:301-329 [Journal]

  54. Controlling Complex Dynamics with Artificial Biochemical Networks. [Citation Graph (, )][DBLP]


  55. Analogue Circuit Control through Gene Expression. [Citation Graph (, )][DBLP]


  56. Evolutionary Search Applied to Reconfigurable Analogue Control. [Citation Graph (, )][DBLP]


  57. Visualising random boolean network dynamics. [Citation Graph (, )][DBLP]


  58. Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. [Citation Graph (, )][DBLP]


  59. Retrenchment and the Atomicity Pattern. [Citation Graph (, )][DBLP]


  60. Grammatical Evolution of L-systems. [Citation Graph (, )][DBLP]


  61. Gene regulation in a particle metabolome. [Citation Graph (, )][DBLP]


  62. Representation and structural biases in CGP. [Citation Graph (, )][DBLP]


  63. Teaching post-classical computation: (extended abstract). [Citation Graph (, )][DBLP]


  64. Grand Challenge 7: Journeys in Non-Classical Computation. [Citation Graph (, )][DBLP]


  65. Frameworks Based on Templates for Rigorous Model-driven Development. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002