Book Chapter
| Year | Publication | |
|---|---|---|
| 2014 | Kearney P.; Sinclair D.; Wagner S. (2014) 'Security design patterns in the MASTER workbench' In: Cyberpatterns: Unifying Design Patterns with Security and Attack Patterns. [DOI] |
Peer Reviewed Journal
| Year | Publication | |
|---|---|---|
| 2009 | Bai, L; Lao, SY; Smeaton, AF; O' Connor, NE; Sadlier, D; Sinclair, D (2009) 'Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts'. Computer Journal, 52 :808-823. [DOI] | |
| 2004 | Power, JF; Sinclair, D (2004) 'A formal model of Forth control words in the pi-calculus'. Journal of Universal Computer Science, 10 :1272-1293. |
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 [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 [DOI] | |
| 2008 | Clarke S.; Fitzgerald B.; Nixon P.; Pohl K.; Ryan K.; Sinclair D.; Thiel S. (2008) SAE Technical Papers The role of software engineering in future automotive systems development [DOI] | |
| 2007 | Jiao D.; Sinclair D. (2007) IET Conference Publications Analyzing CAS protocol using weakest precondition semantics for the applied π-calculus [DOI] | |
| 2007 | Jiao D.; Sinclair D. (2007) IET Conference Publications WP4PI: A proof system based on the weakest preconditions for the applied π-calculus [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 | |
| 2004 | Sinclair, D; Gray, D; Hamilton, G (2004) AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS Synthesising attacks on cryptographic protocols | |
| 2003 | Oehl, F; Cece, G; Kouchnarenko, O; Sinclair, D (2003) FORMAL ASPECTS OF SECURITY Automatic approximation for the verification of cryptographic protocols | |
| 1998 | Sinclair, D (1998) INTERNATIONAL JOURNAL OF APPROXIMATE REASONING The GST load balancing algorithm for parallel and distributed systems | |
| 1998 | Sinclair, D (1998) ADVANCES IN CASE-BASED REASONING Using example-based reasoning for selective move generation in two player adversarial games | |
| 1997 | Sinclair, D (1997) HYBRID AND REAL-TIME SYSTEMS Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition | |
| 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 (2023) 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