G. M. Megson

261 published titles

25th International Seminar on the Teaching of Computing Science at University Level : proceedings of the joint International Computers Limited/University of Newcastle seminar held at the University of

(Contributor)

1 edition

Managing inheritance on programming projects

(Contributor)

1 edition

Designing secure and reliable applications using FRS : an object-oriented approach

(Contributor)

1 edition

Models for legal documentation : using formal methods for quality assurance in hypertext systems

(Contributor)

1 edition

2D regular arrays for a special class of non uniform recurrence equations

(Contributor)

1 edition

An approach for the risk analysis of safety specifications

(Contributor)

1 edition

Mapping integral recurrences onto regular arrays

(Contributor)

3 editions

Modelling and eliciting organisational and information system requirements for medical information systems

(Contributor)

1 edition

A multicast service for mobile computing

(Contributor)

3 editions

Automatic parallel code generation for given arrays

(Contributor)

2 editions

Analysis of safety requirements in the context of system faults and human errors

(Contributor)

1 edition

Modelling, analysis and synthesis of asynchronous control circuits using Petri nets

(Contributor)

1 edition

Geometric theory of machine awareness for legal information retrieval and reasoning

(Contributor)

1 edition

Routing among servers with breakdowns and retained queues

(Contributor)

1 edition

Designing control logic for counterflow pipeline processor using Petri nets

(Contributor)

1 edition

Dataflow development of medium-generated parallel software

(Contributor)

1 edition

"Algorithms" : proceedings of the Joint International Computers Limited/University of Newcastle Seminar held at the University of Newcastle, 2nd-6th September 1996

(Contributor)

1 edition

"The web" : proceedings of the Joint International Computers Limited/University of Newcastle Seminar held at the University of Newcastle, 1st - 5th September 1997

(Contributor)

1 edition

Design and evaluation of two asynchronous token ring adapters

(Contributor)

1 edition

Airbus traceability case study

(Contributor)

1 edition

Asynchronous microprocessors : from high level model to FPGA implementation

(Contributor)

1 edition

Decision support paradigms for prescribing in general practice : lessons from the PRODIGY trials

(Contributor)

1 edition

A distributed co-ordinated atomic action scheme

(Contributor)

1 edition

Determining the last membership of a process group after a total failure

(Contributor)

1 edition

Metabroker : a generic broker for electronic commerce

(Contributor)

2 editions

"Software architecture and design"

(Contributor)

1 edition

Mobile software testing over the Internet

(Contributor)

1 edition

A graphical system for parallel software development

(Contributor)

1 edition

"People and computers"

(Contributor)

1 edition

A distributed object-oriented framework for dependable multiparty interactions

(Contributor)

1 edition

Dalang - a reflective extension for Java

(Contributor)

1 edition

Dynamic selection of software components in the face of changing requirements

(Contributor)

1 edition

Modelling agent systems using the hotel analogy

(Contributor)

2 editions

Diversely designed classes for use by multiple tasks

(Contributor)

1 edition

Malicious- and accidental- fault tolerance for Internet applications (MAFTIA) : reference model and use cases

(Contributor)

1 edition

"Dependability" : proceedings of the University of Newcastle seminar held at the University of Newcastle 3rd - 7th September 2001

(Contributor)

1 edition

Designing fault-tolerant mobile systems

(Contributor)

1 edition

Detecting state coding in STG unfoldings using SAT

(Contributor)

1 edition

Goal-diversity in the design of dependable computer-based systems

(Contributor)

1 edition

Dynamic server allocation in heterogeneous clusters

(Contributor)

1 edition

Modelling opacity using Petri nets

(Contributor)

1 edition

Development of dependable web services out of undependable web components

(Contributor)

1 edition

A grid-based system for microbial genome comparison and analysis

(Contributor)

1 edition

The atomic manifesto : a story in four quarks

(Contributor)

1 edition

Proceedings of the Workshop on Rigorous Engineering of Fault-tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods, Newcastle upon Tyne, UK, July 19 2005

(Contributor)

1 edition

GOLD architecture document

(Contributor)

1 edition

Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005

(Contributor)

1 edition

Learning by doing : practical courses in lightweight formal methods using VDM++

(Contributor)

1 edition

A generic framework for the engineering of self-adaptive and self-organising systems

(Contributor)

1 edition

Formal engineering of XACML access control policies in VDM++

(Contributor)

1 edition

A formal approach to dependable evolution of access control policies in dynamic collaborations

(Contributor)

1 edition

Improving service availability without improving availability of individual services

(Contributor)

1 edition

Breaking visual CAPTCHAs with naïve pattern recognition algorithms

(Contributor)

1 edition

A computer scientist's reactions to NPfIT

(Contributor)

1 edition

Optimizing revenue : service provisioning systems with QoS contracts

(Contributor)

1 edition

Control blocks : tangible tools for tabletop groupware

(Contributor)

1 edition

The ReSIST resilience knowledge base

(Contributor)

1 edition

Resilience modelling through discrete event and continuous time

(Contributor)

1 edition

Workshop on Methods, Models and Tools for Fault Tolerance : proceedings : July 3, 2007, Oxford

(Contributor)

1 edition

Balancing insight and effort : the industrial uptake of formal methods

(Contributor)

1 edition

How do people collaborate using paper documents around a table : an observational study

(Contributor)

1 edition

A structural proof of the soundness of rely/guarantee rules (revised)

(Contributor)

1 edition

Modelling secure secret key exchange using stochastic process algebra

(Contributor)

1 edition

The connection between two ways of reasoning about partial functions

(Contributor)

1 edition

Integration of constraints documented in SBML, SBO and the SBML manual facilitates validation of biological models

(Contributor)

1 edition

The CARMEN neuroscience server

(Contributor)

1 edition

IP traceback in a switched ethernet network

(Contributor)

1 edition

Experiments towards adaptation of concurrent workflows

(Contributor)

1 edition

Prêt à Voter with a human-readable, paper audit trail

(Contributor)

1 edition

Enterprise service bus : an overview

(Contributor)

1 edition

Smartdust and ZigBee for transport applications

(Contributor)

1 edition

Evaluation of P2P search algorithms for discovering trust paths

(Contributor)

1 edition

Understanding programming language concepts via operational semantics

(Contributor)

1 edition

A cross-layer framework design for the Embedded Middleware in Mobility Applications (EMMA) Project

(Contributor)

1 edition

Formal languages and concurrent behaviours

(Contributor)

1 edition

Web service hosting and revenue maximization

(Contributor)

1 edition

Architecting fault tolerant systems

(Contributor)

1 edition

Science production in top 20 UK universities is catching-up with the US universities

(Contributor)

1 edition

Validating access control policies for virtual organisations

(Contributor)

1 edition

A trust-economic perspective on information security technologies

(Contributor)

1 edition

Making computing science students more employable with problem-based learning and cross-site teamwork

(Contributor)

1 edition

Distributed secure systems : then and now

(Contributor)

1 edition

VDMTools : advances in support for formal modeling in VDM

(Contributor)

1 edition

Secret ballot elections with unconditional integrity

(Contributor)

1 edition

Incremental development of a distributed real-time model of a cardiac pacing system using VDM

(Contributor)

1 edition

Using collaborative technology in CS education to facilitate cross-site software development

(Contributor)

1 edition

A practical approach to verification of mobile systems using net unfoldings

(Contributor)

1 edition

Query processing for mobile wireless sensor networks / : state-of-the-art and research challenges

(Contributor)

1 edition

Exploiting dynamic deployment in a distributed query processor for the grid

(Contributor)

1 edition

Cooperative road sign and traffic light using near infrared identification and Zigbee Smartdust technologies

(Contributor)

1 edition

Responsive fault-tolerant computing in the era of terascale integration : state of art report

(Contributor)

1 edition

Friends of foes? : a conceptual analysis of self-adaptation and IT change management

(Contributor)

1 edition

The impact of unavailability on the effectiveness of enterprise information security technologies

(Contributor)

1 edition

The Code d'Azur and Phoenix ciphers : a note on a new class of block ciphers based on matrix transposition

(Contributor)

1 edition

A low-cost attack on a Microsoft CAPTCHA

(Contributor)

1 edition

Proceedings of Formal aspects of virtual organisations 2008

(Contributor)

1 edition

RPL : a policy language for dynamic reconfiguration

(Contributor)

1 edition

Formal development of cooperative exception handling for mobile agent systems

(Contributor)

1 edition

On O(n²logn) algorithms for nXn matrix operations

(Contributor)

1 edition

On Event-B and control flow

(Contributor)

1 edition

Metadata support for transactional web services

(Contributor)

1 edition

Proceedings of Formal Aspects of Virtual Organisations 2009

(Contributor)

1 edition

Proceedings of the 7th OVERTURE workshop

(Contributor)

1 edition

FiberSense : multi-touch fibre optic sensing on non-planar surfaces

(Contributor)

1 edition

Risk modelling of access control policies with human behavioural factors

(Contributor)

1 edition

A novel approach to access control for the Web

(Contributor)

1 edition

Decision support for intelligent traffic and environment management

(Contributor)

1 edition

Efficient analysis PEPA model of non-repudiation protocols

(Contributor)

1 edition

The role of auxiliary variables in the formal development of concurrent programs

(Contributor)

1 edition

Patterns for modelling time and consistency in business information systems

(Contributor)

1 edition

The robustness of CAPTCHAs : a security engineering perspective

(Contributor)

1 edition

Real distribution of response time instability in service-oriented architecture

(Contributor)

1 edition

On fault tolerance reuse during refinement

(Contributor)

1 edition

A new type of behaviour-preserving transition insertions in unfolding prefixes

(Contributor)

1 edition

Query matching in a BitTorrent-based P2P database system

(Contributor)

1 edition

A P2P database server based on BitTorrent

(Contributor)

1 edition

Architecture and protocol for user-controlled access management in Web 2.0 applications

(Contributor)

1 edition

Reminiscences of Whetstone ALGOL

(Contributor)

1 edition

Splitting atoms with rely/guarantee conditions coupled with data reification

(Contributor)

1 edition

Proceedings of the First Deploy Technical Workshop

(Contributor)

1 edition

User-managed access to web resources

(Contributor)

1 edition

Extending computational tree logic with relations and undefinedness

(Contributor)

1 edition

A case for consumer-centric resource accounting models

(Contributor)

1 edition

A stealth approach to usable security : helping IT security managers to idenitfy workable security solutions

(Contributor)

1 edition

Synthesis of general Petri nets with localities

(Contributor)

1 edition

Newcastle's French connection

(Contributor)

1 edition

Formal analysis of BPMN models using Event-B

(Contributor)

1 edition

Probabilistic aspects of flash filestores

(Contributor)

1 edition

ALARP explored

(Contributor)

1 edition

Evaluation of architectural frameworks supporting contract-based specification

(Contributor)

1 edition

Automatic software deployment in the Azure Cloud

(Contributor)

1 edition

Printer identification techniques and their privacy implications

(Contributor)

1 edition

Collaborative modelling and co-stimulation in the development of dependable embedded systems

(Contributor)

1 edition

Consensus in sparse, mobile ad-hoc networks

(Contributor)

1 edition

Proceedings of the 8th Overture Workshop.

(Contributor)

1 edition

A14FM : a new project seeking challenges!

(Contributor)

1 edition

Design and implementation of user-managed access framework for Web 2.0 applications

(Contributor)

1 edition

A declarative approach to configuring business-to-business conversations

(Contributor)

1 edition

Developing mode-rich satellite software by refinement in event B

(Contributor)

1 edition

Measuring and dealing with the uncertainty of SOA solutions

(Contributor)

1 edition

Logic decomposition of asynchronous circuits using STG unfoldings

(Contributor)

1 edition

Developing a consensus algorithm using stepwise refinement

(Contributor)

1 edition

A rely/guarantee reasoning framework using computational tree logic

(Contributor)

1 edition

How paranoid are you? : issues in location information of ambient systems

(Contributor)

1 edition

Quantitative evaluation of enterprise DRM technology

(Contributor)

1 edition

Occurrence nets then and now : the path to structured occurrence nets

(Contributor)

1 edition

Validation of network analysis methods applied in the context of dynamic analysis of software systems

(Contributor)

1 edition

Cooperative information security knowledge : content validation and incentives to contribute

(Contributor)

1 edition

Dynamic network analysis of software systems

(Contributor)

1 edition

The case for dynamic security solutions in public cloud workflow deployments

(Contributor)

1 edition

Formal mapping of WSLA contracts on stochastic models

(Contributor)

1 edition

Modelling reaction systems with petri nets

(Contributor)

1 edition

Contract-based interface specification language for functional and non-functional properties

(Contributor)

1 edition

Polidoxa : a sinergic approach of a social network and a search engine to offer trustworthy news

(Contributor)

1 edition

On methods for the formal specification of fault tolerant systems

(Contributor)

1 edition

Linking software design metrics to component change-proneness

(Contributor)

1 edition

Consumer side resource accounting in the cloud

(Contributor)

1 edition

How to sync with Alice

(Contributor)

1 edition

Uncertainty and uncertainty tolerance in service provisioning

(Contributor)

1 edition

Using diversity in cloud-based deployment environment to avoid intrusions

(Contributor)

1 edition

On robust key agreement based on public key authentication

(Contributor)

1 edition

Every vote counts : ensuring integrity in large-scale DRE-based electronic voting

(Contributor)

1 edition

Computational program dependence graph and its application to information flow security

(Contributor)

1 edition

Comparing models of nondeterministic expression evaluation

(Contributor)

1 edition

Proceedings of the 11th International Workshop on Automated Verification of Critical Systems

(Contributor)

1 edition

A case study of workflow reconfiguration : design, modelling, analysis and implementation

(Contributor)

1 edition

Digital strategy for the social inclusion of survivors of domestic violence

(Contributor)

1 edition

The Polidoxa shift : a new approach to social networks

(Contributor)

1 edition

Predictability verification with parallel LTL-X model checking based on petri net unfoldings

(Contributor)

1 edition

A high-level model-checking tool for verifying electronic contracts

(Contributor)

1 edition

The robustness of Google CAPTCHAs

(Contributor)

1 edition

Model checking of BPMN models for reconfigurable workflows

(Contributor)

1 edition

A multi-level security model for partitioning workflows over federated clouds

(Contributor)

1 edition

A fault injection method for testing dependable web service systems

(Contributor)

1 edition

Ambient systems and taxonomy approaches

(Contributor)

1 edition

A fast track analysis of ICT constraints on evolving physical infrastructure

(Contributor)

1 edition

Petri nets for biologically motivated computing

(Contributor)

1 edition

Synthesis problem for Petri nets with localities

(Contributor)

1 edition

Causality in structured occurrence nets

(Contributor)

1 edition

Timed migration and interaction with access permissions

(Contributor)

1 edition

Timed mobility in process algebra and Petri nets

(Contributor)

1 edition

Coverability and inhibitor arcs : an example

(Contributor)

1 edition

Causality in extensions of Petri nets

(Contributor)

1 edition

ITL semantics of composite Petri nets.

(Contributor)

1 edition

Membrane systems with qualitative evolution rules

(Contributor)

1 edition

Golden-trail : retrieving the data history that matters from a comprehensive provenance repository : practice paper

(Contributor)

1 edition

Localities in systems with a/sync communication

(Contributor)

1 edition

Dynamic allocation and admission policies for QoS-aware provisioning systems

(Contributor)

1 edition

Relevance of entities in reaction systems

(Contributor)

1 edition

Towards a mechanisation of a logic that copes with partial terms

(Contributor)

1 edition

Lessons from DEPLOYment

(Contributor)

1 edition

A semantic analysis of logics that cope with partial terms

(Contributor)

1 edition

Real-time ambient occlusion on the Playstation3

(Contributor)

1 edition

Weather effects on mobile social interaction : a case study of mobile phone users in Lisbon, Portugal

(Contributor)

1 edition

Security analysis of a multi-factor authenticated key exchange protocol

(Contributor)

1 edition

Modelling and analysis of dynamic reconfiguration in BP-calculus

(Contributor)

1 edition

Towards a formalism-based toolkit for automotive applications

(Contributor)

1 edition

Modelling the major incident procedure manual : a system of systems case study

(Contributor)

1 edition

A polynomial translation of pi-calculus (FCP) to safe petri nets

(Contributor)

1 edition

Interface specification for system-of-systems architectures

(Contributor)

1 edition

A formal model-based approach to engineering systems-of-systems

(Contributor)

1 edition

A Turing enigma

(Contributor)

1 edition

Inferring the proof process

(Contributor)

1 edition

Workshop proceedings : trustworthy cyber-physical systems

(Contributor)

1 edition

A Specification for ACMs

(Contributor)

1 edition

Towards removing the concurrency control bottleneck

(Contributor)

1 edition

The dangers of verify PIN on contactless cards

(Contributor)

1 edition

Modeling biological gradient formation : combining partial differential equations and Petri nets

(Contributor)

1 edition

Risks of offline verify PIN on contactless cards

(Contributor)

1 edition

Can inferred provenance and its visualisation be used to detect erroneous annotation? : a case study using UniProtKB

(Contributor)

1 edition

How to say why (in AI4FM)

(Contributor)

1 edition

A model for checking contractual compliance of business interactions

(Contributor)

1 edition

Real-time ATO reconfiguration for operational stability

(Contributor)

1 edition

Resource-driven modelling of complex digital systems with uncertainty

(Contributor)

1 edition

Revising basic theorem proving algorithms to cope with the logic of partial functions

(Contributor)

1 edition

Generalising traces

(Contributor)

1 edition

Crowdsourcing and CCTV : the effect of interface, financial bonus and video type

(Contributor)

1 edition

Comparison of a cost-effective virtual Cloud cluster with an existing campus cluster

(Contributor)

1 edition

Designing atomic business functions

(Contributor)

1 edition

A comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

(Contributor)

1 edition

Refinement-based approach to co-engineering requirements and formal models

(Contributor)

1 edition

Dynamic testing and deployment of a contract monitoring service

(Contributor)

1 edition

Impact of policy design on workflow resiliency computation time

(Contributor)

1 edition

Bitcoin : perils of an unregulated global P2P currency

(Contributor)

1 edition

How, what, and why to test an ontology

(Contributor)

1 edition

Modelling business scenarios for electronic brokerage

(Contributor)

1 edition

A PROV encoding for provenance analysis using deductive rules

(Contributor)

1 edition

Modelling provenance using structured occurrence networks

(Contributor)

1 edition

Folded hasse diagrams of combined traces

(Contributor)

1 edition

The SafeCap toolset for improving railway capacity while ensuring its safety

(Contributor)

1 edition

A rigorous approach to the design of resilient cyber-physical systems through co-simulation

(Contributor)

1 edition

Panopticon : a parallel video overview technique

(Contributor)

1 edition

Step persistence in the design of GALS systems

(Contributor)

1 edition

A taxonomy of persistent and nonviolent steps

(Contributor)

1 edition

Modelling ambient systems with coloured petri nets

(Contributor)

1 edition

Branching processes of communication structured PT-nets

(Contributor)

1 edition

Verifiable classroom voting : where cryptography meets pedagogy

(Contributor)

1 edition

Incremental construction of structured occurrence nets

(Contributor)

1 edition

Fault modelling for systems of systems

(Contributor)

1 edition

Ballotshare : exploring the design space of digital voting in a workplace environment

(Contributor)

1 edition

Introducing semantic conflict resolution to Word based software transactional memory

(Contributor)

1 edition

POS terminal authentication protocol to protect EMV contactless payment cards

(Contributor)

1 edition

Optimistic concurrency control for energy efficiency in the wireless environment

(Contributor)

1 edition

Practical formal methods in railways : the SafeCap approach

(Contributor)

1 edition

Studying the interplay of concurrency, performance, energy and reliability with ArchOn : an architecture-open resource-driven cross-layer modelling framework

(Contributor)

1 edition

Logging solutions to mitigate risks associated with threats in infrastructure as a service cloud

(Contributor)

1 edition

Abstracting interference in postconditions

(Contributor)

1 edition

Laws and semantics for rely-guarantee refinement

(Contributor)

1 edition

A tool for the automatic verification of BPMN choreographies

(Contributor)

1 edition

Evaluating the probability of malicious co-residency in public clouds

(Contributor)

1 edition

Unfolding CSPT-nets

(Contributor)

1 edition

Trace-driven simulation for energy consumption in High Throughput Computing systems

(Contributor)

1 edition

An extension of the taxonomy of persistent and nonviolent steps

(Contributor)

1 edition

Experiments with Odroid-XU3 board

(Contributor)

1 edition

EXE-SPEM : towards cloud-based executable SPEM2.0 models

(Contributor)

1 edition

Proof patterns for formal methods

(Contributor)

1 edition

Smart routing : a novel application of collaborative path-finding to smart parking systems

(Contributor)

1 edition

Rigorous design and implementation of an emulator for EMV contactless payments

(Contributor)

1 edition

Composable modular models for synthetic biology

(Contributor)

1 edition

Formalization of influencing in information security

(Contributor)

1 edition

Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014

(Contributor)

1 edition