Ian Bayley

Affiliations:
  • Oxford Brookes University, UK


According to our database1, Ian Bayley authored at least 36 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing.
J. Syst. Softw., 2022

2020
Special section on testing and repair for software engineering technologies and applications.
Softw. Qual. J., 2020

Pattern-Based Approach to Modelling and Verifying System Security.
Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Continuous Debugging of Microservices.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Exploratory Datamorphic Testing of Classification Applications.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Automation of Datamorphic Testing.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019
Morphy: A Datamorphic Software Test Automation Tool.
CoRR, 2019

Datamorphic Testing: A Methodology for Testing AI Applications.
CoRR, 2019

Datamorphic Testing: A Method for Testing Intelligent Applications.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support.
Artif. Intell. Medicine, 2018

If Docker is the Answer, What is the Question?
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Formal Analysis of Load Balancing in Microservices with Scenario Calculus.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
On the Composibility of Design Patterns: Extended Abstract.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
CAOPLE: A Programming Language for Microservices SaaS.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Monic Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

CIDE: An Integrated Development Environment for Microservices.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
On the Composability of Design Patterns.
IEEE Trans. Software Eng., 2015

Automated Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Big SaaS: The Next Step beyond Big Data.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
SOFIA: An Algebraic Specification Language for Developing Services.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Challenges for a Formal Framework for Patterns.
Proceedings of the Cyberpatterns, 2014

2013
An algebra of design patterns.
ACM Trans. Softw. Eng. Methodol., 2013

A Case Study on Algebraic Specification of Cloud Computing.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013

From Algebraic Specification to Ontological Description of Service Semantics.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Developing a mobile case-based reasoning application to assist type 1 diabetes management.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2010
Formal specification of the variants and behavioural features of design patterns.
J. Syst. Softw., 2010

Laws of Pattern Composition.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Tool Support for Design Pattern Recognition at Model Level.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Descriptive Semantics of UML and Its Applications.
Proceedings of the UML 2 Semantics and Applications, 2009

2008
On the Composition of Design Patterns.
Proceedings of the Eighth International Conference on Quality Software, 2008

Specifying Behavioural Features of Design Patterns in First Order Logic.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Formalising Design Patterns in Predicate Logic.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2005
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine.
Electron. Notes Theor. Comput. Sci., 2005

JVM Bytecode Verification Without Dataflow Analysis.
Electron. Notes Theor. Comput. Sci., 2005

2004
Disciplined, efficient, generalised folds for nested datatypes.
Formal Aspects Comput., 2004


  Loading...