All Stories

  1. Museum Websites of the First Wave: The rise of the virtual museum
  2. Turing's Sunflowers: Public research and the role of museums
  3. Computing the Future: Digital encounters in art and science when da Vinci meets Turing
  4. The Digital Renaissance from da Vinci to Turing
  5. Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
  6. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL
  7. The Impact of Alan Turing: Formal Methods and Beyond
  8. Egon Börger and Alexander Raschke: Modeling companion for software practitioners
  9. Formality, Agility, Security, and Evolution in Software Engineering
  10. Superscalar Encrypted RISC: The Measure of a Secret Computer
  11. Digital Futures: Exhibits at EVA London 2018
  12. Of Museums and Digital Culture: A landscape view
  13. States of Being: Art and identity in digital space and time
  14. Turing’s Genius – Defining an apt microcosm
  15. The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing
  16. On Security in Encrypted Computing
  17. Encrypted computing: Speed, security and provable obfuscation against insiders
  18. Alan Turing: Founder of Computer Science
  19. Engineering Trustworthy Software Systems
  20. On Obfuscating Compilation for Encrypted Computing
  21. Provably Correct Systems
  22. Provably Correct Systems: Community, Connections, and Citations
  23. Unifying Theories of Programming
  24. Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems
  25. Curating Digital Life and Culture: Art and information
  26. From Analogue to Digital in Literature and Art
  27. Creative visualisation in chemistry
  28. Alan Turing: Virtuosity and Visualisation
  29. A Fully Encrypted Microprocessor The Secret Computer is Nearly Here
  30. A Practical Encrypted Microprocessor
  31. The Z Notation: Whence the Cause and Whither the Course?
  32. It began with Babbage: the genesis of computer science, by Subrata Dasgupta
  33. Galois Connections: Mathematics, Art, and Archives
  34. Processor Rescue
  35. Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing
  36. Formality, Agility, Security, and Evolution in Software Development
  37. Digitalism: The New Realism?
  38. Component-based modelling for sustainable and scalable smart meter networks
  39. Empirical Patterns in Google Scholar Citation Counts
  40. Idea: Towards a Working Fully Homomorphic Crypto-processor
  41. Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky
  42. Museums and Technology: Being Inclusive Helps Accessibility for All
  43. Editorial
  44. Electronic Visualisation in Arts and Culture
  45. Erratum: A Fully Homomorphic Crypto-Processor Design
  46. A Fully Homomorphic Crypto-Processor Design
  47. A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
  48. Theory and Practice of Model Transformations
  49. Foreword
  50. Ten Commandments of Formal Methods… Ten Years On
  51. Typed Assembler for a RISC Crypto-Processor
  52. Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
  53. Algebraic approach to linking the semantics of web services
  54. From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community
  55. Creating online collaborative environments for museums: a case study of a museum wiki
  56. Formal Requirements Specification
  57. Editorial
  58. What does autonomic arousal tell us about locomotor learning?
  59. Linking denotational semantics with operational semantics for web services
  60. Formal Methods: State of the Art and New Directions
  61. Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language
  62. Formal Versus Agile: Survival of the Fittest
  63. PTSC: probability, time and shared-variable concurrency
  64. Using formal specifications to support testing
  65. Communicating the public understanding of science: the Royal Society website
  66. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
  67. From algebraic semantics to denotational semantics for Verilog
  68. Software engineering and formal methods
  69. Formal Methods and Testing
  70. Abstract State Machines, B and Z
  71. Personalization Issues for Science Museum Web Sites and E-Learning
  72. Temporal Changes in Myocardial Salvage Kinases During Reperfusion Following Ischemia: Studies Involving the Cardioprotective Adipocytokine Apelin
  73. Algebraic Approach to Linking the Semantics of Web Services
  74. Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
  75. Test conditions for fault classes in Boolean specifications
  76. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability
  77. A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing
  78. Formalization and assessment of regulatory requirements for safety-critical software
  79. Integrating Probability with Time and Shared-Variable Concurrency
  80. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
  81. Z
  82. Handbook of Research on Literacy in Technology at the K-12 Level
  83. Ten Commandments of Formal Methods ...Ten Years Later
  84. Ten commandments revisited
  85. Continuity aspects of embedded reconfigurable computing
  86. A formal analysis of MCDC and RCDC test criteria
  87. Ordering Mutants to Minimise Test Effort in Mutation Testing
  88. RETRACTED: On the Visual Representation of Configuration in Reconfigurable Computing
  89. Experimental evaluation of the tolerance for control‐flow test criteria
  90. Web‐based discussion groups at stake: the profile of museum professionals online
  91. An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs
  92. ZB 2003: Formal Specification and Development in Z and B
  93. Weaving the museum web: the Virtual Library museums pages
  94. ZB 2002:Formal Specification and Development in Z and B
  95. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
  96. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics
  97. As responsabilidades do editor de um periódico científico
  98. Experience teaching Z with tool and web support
  99. Z: A Formal Specification Notation
  100. From Operational Semantics to Denotational Semantics for Verilog
  101. Ethical issues in computer-based safety-critical systems
  102. The Virtual Museum
  103. Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
  104. Only connect
  105. Industrial-Strength Formal Methods in Practice
  106. High-Integrity System Specification and Design
  107. It’s Greek to Me: Method in the Madness?
  108. Formal Methods
  109. Real-Time and Safety-Critical Systems
  110. Concurrent and Distributed Systems
  111. Integrating Methods
  112. Reasoning about VHDL and VHDL-AMS using denotational semantics
  113. Visiteurs virtuels et musées virtuels
  114. Comp.specification.z and Z FORUM Frequently Asked Questions
  115. Z on the Web Using Java
  116. ZUM '98: The Z Formal Specification Notation
  117. Select Z Bibliography
  118. Preface
  119. Compositional Specification of Controllers for Batch Process Operations
  120. Inconsistency and Undefinedness in Z – A Practical Guide
  121. Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO
  122. ZUM ’98: The Z Formal Specification Notation
  123. The World Wide Web and the Virtual Library museums pages
  124. ZUM '97: The Z Formal Specification Notation
  125. The World Wide Web and the Virtual Library museums pages
  126. Select Z bibliography
  127. Comp.specification.z and Z FORUM frequently asked questions
  128. Formal methods in knowledge engineering by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9.
  129. Book reviews
  130. A prettier compiler-compiler: Generating higher-order parsers in C
  131. The World Wide Web Virtual Library of museums
  132. Seven more myths of formal methods
  133. Editorial
  134. A shallow embedding of Z in HOL
  135. Report on Z user meeting (ZUM '94)
  136. Annotated Z bibliography
  137. Glossary of Z notation
  138. Ten commandments of formal methods
  139. ZUM '95: The Z Formal Specification Notation
  140. Select Z bibliography
  141. Comp.specification.z and Z forum frequently asked questions
  142. Seven deadly sins
  143. Specification, Verification and Prototyping of an Optimized Compiler
  144. Decompilation: the enumeration of types and grammars
  145. Z and HOL
  146. Personal view: Formal methods: epideictic or apodeictic?
  147. Towards Correct Executable Semantics for Z
  148. Seven more myths of formal methods: Dispelling industrial prejudices
  149. Transfer into Industrial Design
  150. Hardware Compilation
  151. Overview of the Project
  152. Preface
  153. Towards Verified Systems
  154. Report on Z user meeting
  155. A compendium of formal techniques for software maintenance
  156. Safety-critical systems, formal methods and standards
  157. The industrial take-up of formal methods in safety-critical and other areas: A perspective
  158. Developing Correct Systems
  159. From programs to object code and back again using logic programming: Compilation and decompilation
  160. Formal Methods and Software Safety
  161. X: Why Z?
  162. Select Z Bibliography
  163. From Programs to Object Code using Logic and Logic Programming
  165. Time interval semantics and implementation of a real-time programming language
  166. Constructing predictable real time systems
  167. Selected Z Bibliography
  168. Metrics and Measurement of Specifications Written in Z
  169. Formal specification of the ProCoS/safemos instruction set
  170. Distributed operating systems
  171. An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language
  172. Contributors
  173. POS—formal specification of a UNIX tool
  174. The specification of computer programs
  175. More books about assembler and 16-bit micros
  176. More books about assembler and 16-bit micros
  177. Formal specification and documentation of microprocessor instruction sets
  178. Microprocessor interfacing and communication using the Intel SDK-85
  179. Distributed computing software project
  180. A user-friendly interface adapter
  181. Microprocessors
  182. Microprocessor I/O emulation facilities
  183. Standard microprocessor programming cards
  184. Algorithms, software and hardware of parallel computers
  185. Microprocessors: hardware and applications
  186. Software/hardware integration on microprocessors
  187. An Algebraic Approach to Hardware Compilation
  188. Virtual Collaboration and Community
  189. Towards a provably correct hardware implementation of occam
  190. An approach to verifiable compiling specification and prototyping
  191. Introduction to Formal Methods
  192. Personalization Issues for Science Museum Web Sites and E-Learning
  193. Personalization Issues for Science Museum Web Sites and E-learning
  194. Virtual Collaboration and Community
  195. Gender Issues in HCI Design for Web Access
  196. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
  197. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
  198. Gender Issues in HCI Design for Web Access
  199. The Development of Science Museum Web Sites
  200. Personalization Issues for Science Museum Web Sites and E-Learning
  201. Gender Issues in HCI Design for Web Access
  202. Z on the Web using Java
  203. From algebraic semantics to denotational semantics for Verilog
  204. A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing
  205. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems
  206. Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria
  207. Tolerance of control-flow testing criteria
  208. FORTEST: formal methods and testing
  209. Deriving operational semantics from denotational semantics for Verilog
  210. Formalization of software testing criteria using the Z notation
  211. An animatable operational semantics of the Verilog hardware description language
  212. Reasoning about VHD3L and VHDL-AMS using denotational semantics