Ian Oliver

According to our database1, Ian Oliver authored at least 83 papers between 1968 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Trust, Security and Privacy through Remote Attestation in 5G and 6G Systems.
Proceedings of the 4th IEEE 5G World Forum, 2021

2020
Integrity Checking of Railway Interlocking Firmware.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

An Approach to Combining Medical Device Fault Analysis with Trusted Computing Forensics.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
Incremental ELMVIS for unsupervised learning.
CoRR, 2019

A Framework for Privacy Quantification: Measuring the Impact of Privacy Techniques Through Mutual Information, Distance Mapping, and Machine Learning.
Cogn. Comput., 2019

Exploring and Conceptualising Attestation.
Proceedings of the Graph-Based Representation and Reasoning, 2019

2018
Experiences in Trusted Cloud Computing.
J. ICT Stand., 2018

Mobile Subscriber Profile Data Privacy Breach via 4G Diameter Interconnection.
J. ICT Stand., 2018

Anomaly-Based Intrusion Detection Using Extreme Learning Machine and Aggregation of Network Traffic Statistics in Probability Space.
Cogn. Comput., 2018

A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment.
Proceedings of the Computer Safety, Reliability, and Security, 2018

A Model for Metricising Privacy and Legal Compliance.
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Improving System Trustworthyness by Combining Remote Attestation and Root Cause Analysis.
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Modelling NFV concepts with ontologies.
Proceedings of the 21st Conference on Innovation in Clouds, 2018

Security Wrapper Orchestration in Cloud.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017
Towards Trusted Location Specific Information for Cloud Servers.
J. ICT Stand., 2017

Experiences in Trusted Cloud Computing.
Proceedings of the Network and System Security - 11th International Conference, 2017

Subscriber Profile Extraction and Modification via Diameter Interconnection.
Proceedings of the Network and System Security - 11th International Conference, 2017

Towards Dependably Detecting Geolocation of Cloud Servers.
Proceedings of the Network and System Security - 11th International Conference, 2017

Testbed for security orchestration in a network function virtualization environment.
Proceedings of the 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, 2017

Incorporating trust in NFV: Addressing the challenges.
Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

Providing for privacy in a network infrastructure protection context.
Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

Assuring virtual network function image integrity and host sealing in Telco cloue.
Proceedings of the IEEE International Conference on Communications, 2017

SMS and one-time-password interception in LTE networks.
Proceedings of the IEEE International Conference on Communications, 2017

Securing VNF communication in NFVI.
Proceedings of the IEEE Conference on Standards for Communications and Networking, 2017

On Distance Mapping from non-Euclidean Spaces to Euclidean Spaces.
Proceedings of the Machine Learning and Knowledge Extraction, 2017

Practical Estimation of Mutual Information on Non-Euclidean Spaces.
Proceedings of the Machine Learning and Knowledge Extraction, 2017

2016
Measuring perceived clutter in concept diagrams.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Experiences in the Development and Usage of a Privacy Requirements Framework.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

On the Development of a Metric for Quality of Information Content over Anonymised Data-Sets.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

User location tracking attacks for LTE networks using the interworking functionality.
Proceedings of the 2016 IFIP Networking Conference, 2016

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
Proceedings of the Formal Methods and Software Engineering, 2016

Survey of cloud server geolocating techniques.
Proceedings of the 19th Conference of Open Innovations Association, 2016

We know where you are!
Proceedings of the 8th International Conference on Cyber Conflict, 2016

Data Anonymization as a Vector Quantization Problem: Control Over Privacy for Health Data.
Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2015
Pitfalls and possible solutions for using geo-referenced site data to inform vegetation models.
Ecol. Informatics, 2015

Unblocking Stolen Mobile Devices Using SS7-MAP Vulnerabilities: Exploiting the Relationship between IMEI and IMSI for EIR Access.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Aligning the Conflicting Needs of Privacy, Malware Detection and Network Protection.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2013
Protecting privacy: Towards a visual framework for handling end-user data.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

2012
What Can Concept Diagrams Say?
Proceedings of the Diagrammatic Representation and Inference, 2012

Data and Computation Interoperability in Internet Services.
Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011
Deriving sound inference rules for concept diagrams.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Development of the on-the-fly ontology matching model for smart spaces.
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

Principles of ontology matching, translation and interpretation in smart spaces.
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

2010
Visual Reasoning about Ontologies.
Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010

On-the-Fly Ontology Matching in Smart Spaces: A Multi-model Approach.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2010

2009
Diagrammatic Formal Specification of a Configuration Control Platform.
Electron. Notes Theor. Comput. Sci., 2009

Operations on Spaces of Information.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

Determining Information Signatures in Smart Spaces.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

Anonymous Agent Coordination in Smart Spaces: State-of-the-Art.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2009

Cross-Domain Interoperability: A Case Study.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2009

Agent/Space-based Computing and RF Memory Tag Interaction.
Proceedings of the RFID Technology-Concepts, 2009

Network and content aware information management.
Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

Information Spaces as a Basis for Personalising the Semantic Web.
Proceedings of the ICEIS 2009, 2009

Integration and uses of RF Memory Tags with Smart Space Semantic Web Middleware.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Context-Aware SmartSpace: Reference Model.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Personal Semantic Web Through A Space Based Computing Environment
CoRR, 2008

Towards the Dynamic Semantic Web.
Proceedings of the Next Generation Teletraffic and Wired/Wireless Advanced Networking, 2008

Efficient distributed information management in smart spaces.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

2007
Model Based Testing of an Embedded Session and Transport Protocol.
Proceedings of the Testing of Software and Communicating Systems, 2007

Analyzing and Re-structuring Product Line Dependencies.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Experiences in Using B and UML in Industrial Development.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Formal Transformation of Platform Independent Models into Platform Specific Models.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006
A UML Profile for Asynchronous Hardware Design.
Proceedings of the Embedded Computer Systems: Architectures, 2006

Design Method Support for Domain Specific SoC design.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

A Method for Terminal Platform Architecture Development.
Proceedings of the Forum on specification and Design Languages, 2006

2005
An Architecture Exploration Environment for System on Chip Design.
Nord. J. Comput., 2005

Applying UML and MDA to Real Systems Design.
Proceedings of the 2005 Design, 2005

Transitioning from Product Line Requirements to Product Line Architecture.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Mapping UML Descriptions to the Raven Input Language.
Proceedings of the Forum on specification and Design Languages, 2004

Model Based Testing and Refinement in MDA Based Developent.
Proceedings of the Forum on specification and Design Languages, 2004

Application Driven Methodology for Development of Communicating Systems.
Proceedings of the Forum on specification and Design Languages, 2004

Formal Refinement and Model Checking of an Echo Cancellation Unit.
Proceedings of the 2004 Design, 2004

2003
Towards a Conceptual Framework for UML to Hardware Description Language Mappings.
Proceedings of the Forum on specification and Design Languages, 2003

Model Driven Embedded Systems.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Simulation of Software Behaviour using Animation.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002

2001
Animating object oriented conceptual models.
PhD thesis, 2001

2000
PhDOOS 2000: The 10<sup>th</sup> Ph.D. Workshop on Object-Oriented Systems.
Proceedings of the Object-Oriented Technology, 2000

1999
Sega Dreamcast: creating a unified entertainment world.
IEEE Micro, 1999

Validation of Object Oriented Models using Animation.
Proceedings of the 25th EUROMICRO '99 Conference, 1999

Validation of Object Oriented Models Using Animation.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

'Executing' the OCL.
Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999

1994
Programming classics - implementing the world's best algorithms.
Prentice Hall, ISBN: 978-0-13-100413-9, 1994

1968
Algorithms: Algorithm 330: Factorial analysis of variance.
Commun. ACM, 1968


  Loading...