Browse by all authors Browse By Author ID - Lindsay, Peter A.

Browse Results (68 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 2

Result Pages:    1 2  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Atchison, Brenton, Lindsay, Peter and Tombs, David (1999) A case study in software safety assurance using formal methods. SVRC Technical Report 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 105 1
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 586 470
Lindsay, P. A., Macdonald, A. J., Staples, M. and Strooper, P. A. (2001) A framework for subsystem-based configuration management. SVRC Tech Report 01-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 43  
Kanagarajah, A. K., Parker, D., Lindsay, P. and Miller, A. (2007). Agent-based modeling to improve quality of health care. In: Singh, P. J., Prajogo, D. and O'Neill, P., Proceedings of the 5th ANZAM and 1st Asian Pacific Operations Management Symposium: Future Challenges for the Asian Pacific Region. 5th ANZAM and 1st Asian Pacific Operations Management Symposium, Melbourne, Vic, (1-12). 6-7 June, 2007. 196  
Chen, Kuang-Yuan, Lindsay, Peter A., Robinson, Peter J. and Abbass, Hussein A. (2009). A hierarchical conflict resolution method for multi-agent path planning. In: IEEE Congress on Evolutionary Computation. IEEE Congress on Evolutionary Computation (IEEE CEC 2009), Trondheim, NORWAY, (1169-1176). 18-21 May 2009. doi:10.1109/CEC.2009.4983078 103   2 Cited 1 times in Scopus1 0
Connelly, S., Lindsay, P. A. and Gallagher, M. (2007). An agent based approach to examining shared situation awareness. In: B. Werner, Engineering Complex Computer Systems 2007. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, (138-147). 11-14 July 2007. doi:10.1109/ICECCS.2007.14 106   0 Cited 0 times in Scopus0 0
Grunske, Lars, Lindsay, Peter, Yatapanage, Nisansala and Winter, Kirsten (2005). An automated failure mode and effect analysis based on high-level design specificication with behavior trees. In: Integrated Formal Methods: 5th International Conference. Integrated Formal Methods 2005, Eindhoven, The Netherlands, (129-149). 29 November - 2 December 2005. 146 5 16
Kanagarajah, A. K., Lindsay, Peter A., Miller, Anne M. and Parker, D. (2007). An exploration into the uses of agent-based modeling to improve quality of health care. In: Minai, A., Braha, D. and Bar-Yam, Y., Proceedings of the 6th International Conference on Complex Systems. 6th International Conference on Complex Systems, Boston, MA, (1-10). 25-30 June, 2006. 303  
Kanagarajah, Ashok Kay, Lindsay, Peter, Miller, Anne and Parker, David (2008). An exploration into the uses of agent-based modelling to improve quality of healthcare. In Ali Minai, Dan Braha and Yaneer Bar-Yam (Ed.), Unifying themes in complex systems : Proceedings of the sixth international conference on complex systems (pp. 471-478) Berlin: Springer-Verlag. 109 2299
Grunske, L., Lindsay, P. A., Bondarev, E., Papadopoulos, Y. and Parker, D. (2007). An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. In Lecture Notes in Computer Science Architecting Dependable Systems IV (pp. 188-209) Heidelberg, Germany: Springer. 129 1
Lindsay, Peter, McDermid, John and Tombs, David (1999) A process for derivation and quantification of safety requirements for components of complex systems. SVRC Technical Report 99-46, Software Verification Research Centre, School of Information Technology, The University of Queensland. 30 1
Chang, R. C. and Lindsay, P. A. (2005). A simulator for exploring autonomous control of multiple UAVs at non-radar controlled airstrips. In: M. Palaniswami, Proceeding of the 2005 Intelligent Sensors, Sensor Network s and Information Processing (ISSNIP'05). 2005 Intelligent Sensors, Sensor Network s and Information Processing (ISSNIP'05), Melbourne, Australia, (391-396). 5-8 December 2005. 71  
Voelzer, H. P., Atchison, B., Lindsay, P. A., Macdonald, A. J. and Strooper, P. A. (2002). A tool for subsystem configuration management. In: International Conference on Sotware Maintenance. ICSM 2002, Montreal, Canada, (492-500). 3-6 October, 2002. doi:10.1109/ICSM.2002.1167810 33   1 0
Volzer, Hagen, Atchison, Brenton, Lindsay, Peter, MacDonald, Anthony and Strooper, Paul (2002) A Tool for Subsystem Configuration Management. Technical Report 02-07, Software Verification Research Centre, School of Information Technology, The University of Queensland. 476 425
Lindsay, Peter A. (2010). Behavior Trees: From systems engineering to software engineering. In: Software Engineering and Formal Methods, SEFM 2010. 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, (21-30). 13-18 September 2010. doi:10.1109/SEFM.2010.11 60 3 Cited 5 times in Scopus5 0
Chen, K., Dam, H., Lindsay, P.A. and Abbass, H.A. (2007). Biasing XCS with domain knowledge for planning flight trajectories in a moving sector free flight environment. In: Fogel, D., Proceedings of the 2007 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2007). 2007 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2007), Hawaii, (456-462). 1-5 April, 2007. doi:10.1109/ALIFE.2007.367830 73   Cited 2 times in Scopus2 0
MacDiarmid, Alisdair and Lindsay, Peter (2010). Can system of systems be given self-x requirement engineering capabilities?. In: Proceedings of the Systems Engineering and Test and Evaluation Conference 2010 (SETE 2010). Systems Engineering and Test and Evaluation Conference 2010 (SETE 2010), Adelaide, South Australia, (1-15). 3-6 May 2010. 69 23
Arnott, Shane D. and Lindsay, Peter A. (2012) Case study analysis of Defense Experimentation to support Network Enabled Capability development. Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 10 2: 91-104. doi:10.1177/1548512911430838 60   Cited 0 times in Scopus0 0
Lindsay, Peter A., Yatapanage, Nisansala and Winter, Kirsten (2012) Cut set analysis using behavior trees and model checking. Formal Aspects of Computing, 24 2: 249-266. doi:10.1007/s00165-011-0181-8 78   0 Cited 3 times in Scopus3 0
Lindsay, P. A. and McDermid, J. (2002). Derivation of safety requirements for an embedded control system. In: A. Gabb and J. Anderson, Proceedings of the Systems Engineering, Test and Evaluation Conference. Systems Engineering, Test and Evaluation Conference, Sydney, (1-11). 29-30 October, 2002. 80  
Lindsay, P. A., McDermid, J. and Tombs, D. J. (2000). Deriving quantified safety requirements in complex systems. In: F. Koornneef and M. van der Meulen, Proceedings 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2000). 19th International Conf, SAFECOMP 2000, Rotterdam, The Netherlands, (117-130). 24-27 October, 2000. 40  
Neal, Andrew F., Humphreys, Michael F., Leadbetter, David and Lindsay, Peter A. (2003). Development of a hazard analysis technique for human computer systems. In: Graham Edkins and Peter Pfister, Australian Aviation Psychology Symposium 2000. Australian Aviation Psychology Symposium 2000, Sydney, Australia, (255-262). 20-24 November 2000. 88  
Valencia, Philip, Lindsay, Peter and Jurdak, Raja (2010). Distributed genetic evolution in WSN. In: Proceedings 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2010. Proc 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Stockholm, Sweden, (13-23). 12-16 April 2010. doi:10.1145/1791212.1791215 112 2 Cited 1 times in Scopus1 0
Lindsay, P A (2006). Evaluation of a simple timing -based intervention heuristic for trajectory-based air traffic management. In: M. Brochard and M. jurgens, 5th Eurocontrol Innovation Research Workshop. 5th Eurocontrol Innovation Research Workshop, France, (41-48). 5-7 December, 2006. 57  
Kim, Soon-Kyeong, Myers, Toby, Wendland, Marc-Florian and Lindsay, Peter A. (2012) Execution of natural language requirements using state machines synthesised from behavior trees. Journal of Systems and Software, 85 11: 2652-2664. doi:10.1016/j.jss.2012.06.013 97   1 Cited 3 times in Scopus3 0
Bofinger, M., Robinson, N. J., Lindsay, P. A., Spiers, M., Ashford, M. and Pitman, A. (2002). Experience with extending CMMI for safety related applications. In: 12th Annual International Symposium of the International Council On Systems Engineering (INCOSE). INCOSE2002, Las Vegas, USA, (1-7). 28 July - 1 August, 2002. 197  
Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad and Lindsay, Peter A. (2011) Experience with fault injection experiments for FMEA. Software: Practice and Experience, 41 11: 1233-1258. doi:10.1002/spe.1039 187 1 5 Cited 14 times in Scopus14 0
Robinson, N. J., Lindsay, P. A. and Pitman, A. (2001). Extending the integrated capability maturity model (CMMI) for safety-related applications. In: H. Rochecouste and D. Cropley, Proceedings of 11th Annual International Symposium (INCOSE 2001). INCOSE 2001, Melbourne, (). 1-5 July 2001. 78  
Robinson, Neil, Lindsay, Peter and Pitman, Adrian (2000) Extending the Integrated Capability Maturity Model (CMMI) for Safety-related Applications. Technical Report no. 00-40, Software Verification Research Centre, School of Information Technology, The University of Queensland. 1238 598
Chen, Kuang-Yuan and Lindsay, Peter A. (2009). Feedback of delayed rewards in XCS for environments with aliasing states. In: Kevin Korb, Marcus Randall and Tim Hendtlass, Artificial Life: Borrowing from Biology - Proceedings of 4th Australian Conference on Artificial Life ACAL '09. 4th Australian Conference on Artificial Life ACAL '09, Melbourne, Australia, (252-261). 1-4 December 2009. doi:10.1007/978-3-642-10427-5_25 38   0 Cited 0 times in Scopus0 0
Valencia, Philip, Jurdak, Raja and Lindsay, Peter (2010). Fitness Importance for online evolution. In: Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10 - Companion Publication. 12th Annual Genetic and Evolutionary Computation Conference, GECCO-2010, Portland, OR United States, (2117-2118). 7 - 11 July 2010. doi:10.1145/1830761.1830890 22   Cited 0 times in Scopus0 0
Zhao, J., Dong, Z. Y., Lindsay, P. and Wong, K. P. (2009) Flexible transmission expansion planning with uncertainties in an electricty market. IEEE Transactions on Power Systems, 24 1: 479-488. doi:10.1109/TPWRS.2008.2008681 80   38 Cited 57 times in Scopus57 0
Cerone, A., Lindsay, P. A. and Connelly, S. F. (2005). Formal analysis of human-computer interaction using model checking. In: B. Alchernig and B. Beckert, Proceedings of the 3rd International Conference on Software Engineering & Formal Methods. 3rd International Conference on Software Engineering & Formal Methods 2005, Koblenz, Germany, (352-361). 7-9 September, 2005. doi:10.1109/SEFM.2005.19 67   0 Cited 12 times in Scopus12 0
Cerone, Antonio, Connelly, Simon and Lindsay, Peter (2008) Formal analysis of human operator behavioural patterns in interactive surveillance systems. Software and Systems Modeling, 7 3: 273-286. doi:10.1007/s10270-007-0072-x 61   1 Cited 1 times in Scopus1 0
Hamoy, C., Hemer, D. and Lindsay, P. A. (2004). HAZLOG: Tool support for hazard management. In: T. Cant, Safety Critical Systems and Software 2004. 9th Australian Workshop on Safety-Related Programmable Systems, Brisbane, Australia, (77-87). 19-20 August, 2004. 197  
Lindsay, Peter A. (2001). Improved acquisition processes for safety-critical systems in the Australian department of defence. In: Conferences in Research and Practice in Information Technology Series: Proceedings of the Sixth Australian workshop on Safety critical systems and software. 6th Australian Workshop on Safety Critical Systems and Software, Brisbane, Australia, (31-38). 2001. 35  
Lindsay, P. A. (2001). Improved acquisition processes for safety-critical systems in the Australian Department of Defence. In: P. Lindsay, Proceedings of the Sixth Australian Workshop on Safety Critical Systems and Software. Australian Workshop on Safety Critical Systems & Softwae, Brisbane, (31-38). 6 July 2001. 41  
Atchison, Brenton, Lindsay, Peter and Cant, Tony (1999) Improving safety management in defence acquisition. SVRC Technical Report 99-42, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 26 13
Atchison, B., Lindsay, P. A. and Cant, T. (1999). Improving safety management in defence acquisition. In: M. McNicol, Proceedings of the Fourth Australian Workshop on Safety Critical Systems and Software. Fourth Australian Workshop on Safety Critical Systems and Software, Canberra, (1-8). 26 Nov, 1999. 36  
Alam, S., Abbass, H., Barlow, M. and Lindsay, P. A. (2005). Mapping lessons from ants to free flight: An ant-based weather aviodance algorithm in free flight airspace. In: A. Bender, Proceedings of SPIE -The International Society for Optical Engineering: Complex Systems. Complex Systems, Brisbane, Australia, (60390N-1-60390N-9). 12-14 December, 2005. 107  
Lindsay, Peter A., Winter, Kirsten and Kromodimoeljo, Sentot (2012). Model-based Safety Risk Assessment using Behaviour Trees. In: Peter A. Lindsay, Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering, proceedings. Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering (SETE APCOSE 2012), Brisbane, Qld., Australia, (). 1 - 2 May 2012. 94 15
Lindsay, Peter A., Winter, Kirsten and Colvin, Robert (2010) Model-checking tool support for quantitative risk analysis and design for safety. Division of Systems and Software Engineering Research Technical Report SSE-2010-04, School of Information Technolology and Electrical Engineering, The University of Queensland. 147 495
Lindsay, P. A. and Connelly, S. F. (2001) Modelling erroneous operator behaviours for an air-traffic control task Brisbane: Software Verification Research Cen. Univ of Qld 32  
Lindsay, P. and Connelly, Simon (2001) Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. Technical Report no. 01-35, Software Verification Research Centre, School of Information Technology, The University of Queensland. 392 402
Bolland, S., Fothergill, S., Humphreys, M., Neal, A. and Lindsay, P. (2007). Modelling the human air traffic controller, Part II: Emulating controller intervention. In: Proceedings of the International Symposium on Aviation Psychology 2007. 14th International Symposium on Aviation Psychology (ISAP), Dayton, U.S., (57-62). 23 - 26 April, 2007. 91  
Mc Donald, J., Murray, L., Lindsay, P. A. and Strooper, P. A. (2001). Module testing embedded software - an industrial pilot project. In: S. Andler, M. Hinchey and J. Offutt, Proceedings of the 7th IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2001, Skovde, Sweden, (233-238). 11-13 June 2001. 53   0
Alam, S., McPartland, M., Barlow, M., Lindsay, P. A. and Abbass, H. (2005). Neural evolution for collision detection and resolution in a 2D free flight environment. In H. Abbass, T. Bossomaier and J. Wiles (Ed.), Recent Advances in Artificial Life; Advances in Natural Computation - Vol 3 1 ed. (pp. 13-28) Singapore: World Scientific Publishing Co. Pte. Ltd.. 74  
Arnott, Shane D. and Lindsay, Peter A. (2010). Reducing uncertainty in Systems Engineering through Defence Experimentation. In: Angela Tuffley, Proceedings of the Improving Systems and Software Engineering Conference (ISSEC): Rising to the Challenge. Improving Systems and Software Engineering Conference 2010 (ISSEC 2010), Brisbane, Australia, (13-24). 23-26 August 2010. 73 1
Murray, L. M., Griffiths, A., Lindsay, P. A. and Strooper, P. A. (2002). Requirements traceability for embedded software - an industry experience report. In: M.H. Hamza, Proceedings of the Sixth IASTED International Conference. Software Engineering and Applications, Cambridge, USA, (63-69). 4-6 November, 2002. 59  
Lindsay, Peter, Ramsay, Colin, Vilaplana, Miguel, Leones, Javier Lopez, Casado, Enrique and Parks, Paul (2009). Robustness of idle-throttle continuous descent approach trajectories against modified timing requirements. In: 9th AIAA Aviation technology, Integration and Operations Conference (ATIO '09). 9th AIAA Aviation technology, Integration and Operations Conference (ATIO '09), South Carolina, USA, (1-24). 21-23 September 2009. 71   Cited 0 times in Scopus0

Page 1 of 2

Result Pages:    1 2  next › last »