• Research Involving Animals
  • Research Centres Information
  • Research Guidelines and Procedures
  • Open Research
  • Responsible Research Metrics
  • Research Data Management
  • David Sinclair

    Dr

    Profile Photo

    Book Chapter

    Year Publication
    2014 Kearney, P.J.; Sinclair, D.A.; Wagner, S. (2014) 'Security design patterns in the MASTER workbench' In: Cyberpatterns: Unifying Design Patterns with Security and Attack Patterns. [Link] [DOI]

    Peer Reviewed Journal

    Year Publication
    2009 Bai, Liang; Lao, Songyang; Smeaton, Alan F.; O'Connor, Noel E.; Sadlier, David; Sinclair, David (2009) 'Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts'. Computer Journal, 52 (7). [DOI]
    2004 Power, JF; Sinclair, D (2004) 'A formal model of Forth control words in the pi-calculus'. Journal of Universal Computer Science, 10 (9).
    2004 Sinclair, D; Gray, D; Hamilton, G (2004) 'Synthesising attacks on cryptographic protocols'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 3299 .
    2003 Oehl, F; Cece, G; Kouchnarenko, O; Sinclair, D (2003) 'Automatic approximation for the verification of cryptographic protocols'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 2629 .
    1998 Sinclair, D (1998) 'The GST load balancing algorithm for parallel and distributed systems'. International Journal of Approximate Reasoning, 19 (1-2).
    1998 Sinclair, D (1998) 'Using example-based reasoning for selective move generation in two player adversarial games'. Advances in Case-Based Reasoning, 1488 .
    1997 Sinclair, D (1997) 'Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 1201 .

    Conference Publication

    Year Publication
    2011 Pluska, M.; Sinclair, D. (2011) Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011 The design methodology for the verification of hybrid dynamical systems [Link] [DOI]
    2010 Pluska, M.; Sinclair, D. (2010) 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 The design methodology for hybrid system verification [Link] [DOI]
    2008 Clarke, S.; Fitzgerald, B.; Nixon, P.; Pohl, K.; Ryan, K.; Sinclair, D.; Thiel, S. (2008) The role of software engineering in future automotive systems development [Link] [DOI]
    2007 Jiao, D.; Sinclair, D. (2007) IET Conference Publications Analyzing CAS protocol using weakest precondition semantics for the applied π-calculus [Link] [DOI]
    2007 Jiao, D.; Sinclair, D. (2007) IET Conference Publications WP4PI: A proof system based on the weakest preconditions for the applied π-calculus [Link] [DOI]
    2005 Lyttleton, O; Sinclair, D; Tracey, D (2005) PROCEEDINGS OF THE 2005 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION Mediating between heterogeneous ontologies using schema matching techniques
    1996 Sinclair, D; Cuypers, L; Verschaeve, K; Holz, E; Birbas, A; Mariatos, V; Kyrloglou, N; Roux, JL (1996) IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS A formal approach to HW/SW co-design: The INSYDE project
    Certain data included herein are derived from the ? Web of Science (2024) of Clarivate. All rights reserved.

    Research Interests

    Applications of Formal Methods
    • Verification of System Properties
    • Timed and Probabilistic Systems
    Distributed and Embedded Systems
    • Designing and describing multi-processor systems
    • Designing and describing real-time systems
    Game Theory
    • Applications of Artificial Intelligence in Strategic Games