The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security
School of Electronics and Computer Science > Cyber Security" and Year is 2018

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 4.

ESBMC 5.0: an industrial-strength C model checker - Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer and Denis A. Nicole
Type: Conference or Workshop Item | 2018 | ACM | Item not available on this server.

Towards counterexample-guided k-induction for fast bug detection - Mikhail R. Gadelha, Felipe R. Monteiro, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item | 2018 | ACM | Item not available on this server.

Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Collective-aware system-on-chips for dependable IoT applications - Vasileios Tenentes, Daniele Rossi and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2018 | IEEE | Item not available on this server.

This list was generated on Tue May 21 01:59:11 2019 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×