David Sinclair

DR

Contact Details


L2.53
T:Ext. 5510

E:David.Sinclair@dcu.ie
Profile Photo

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


Modules Coordinated

Term Title Subject
2022 Logic CA208
2022 Concurrent Programming CA670
2022 Compiler Construction CA4003