|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 31 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
Cut Set Analysis using Behavior Trees and model checking.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay |
Experience with fault injection experiments for FMEA. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Behavior Trees: From Systems Engineering to Software Engineering. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
Safety Assessment Using Behavior Trees and Model Checking. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.) |
Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuang-Yuan Chen, Peter A. Lindsay |
Feedback of Delayed Rewards in XCS for Environments with Aliasing States. |
ACAL |
2009 |
DBLP DOI BibTeX RDF |
aliasing states problem, credit assignment, maze problems, Learning Classifier Systems, XCS |
| 1 | Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass |
A hierarchical conflict resolution method for multi-agent path planning. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Simon Connelly, Peter A. Lindsay |
Formal analysis of human operator behavioural patterns in interactive surveillance systems. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Connelly, Peter A. Lindsay, Marcus Gallagher |
An agent based approach to examining shared situation awareness. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002 |
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Peter A. Lindsay, Simon Connelly |
Formal Analysis of Human-computer Interaction using Model-checking. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
| 1 | Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper |
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
software maintenance, verification and validation, Software configuration management |
| 1 | Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington |
An Environment for Building a System out of its Requirements. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, Anthony Cant (eds.) |
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Hamoy, David Hemer, Peter A. Lindsay |
HazLog: Tool Support for Hazard Management. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay, Simon Connelly |
Modelling Erroneous Operator Behaviours for an Air-Traffic Control Task. |
AUIC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lars-Henrik Eriksson, Peter A. Lindsay (eds.) |
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings |
FME |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald |
A Tool for Subsystem Configuration Management. (PDF / PS) |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Supporting Component-Based Reuse in CARE. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Specification-Based Retrieval Strategies for Module Reuse. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
adaptation, retrieval, Component reuse, specification matching |
| 1 | Peter A. Lindsay, Anthony MacDonald, Paul A. Strooper, Mark Staples |
A Framework for Subsystem-Based Configuration Management . |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Leadbetter, Andrew Hussey, Peter A. Lindsay, Andrew Neal, Mike Humphreys |
Towards Model Based Prediction of Human Error Rates in Interactive Systems. |
AUIC |
2001 |
DBLP DOI BibTeX RDF |
ATC, cog itive model, HCI, error rate |
| 1 | Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
Module Testing Embedded Software--An Industrial Pilot Project. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, John A. McDermid, David J. Tombs |
Deriving Quantified Safety Requirements in Complex Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, Owen Traynor |
Supporting Fine-Grained Traceability in Software Development Environments. |
SCM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Formal approach to specification and verification of task management in interactive systems. |
IEE Proceedings - Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay, David Hemer |
Using CARE to Construct Verified Software. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | David Hemer, Peter A. Lindsay |
Reuse of Verified Design Templates Through Extended Pattern Matching. |
FME |
1997 |
DBLP DOI BibTeX RDF |
formal methods, refinement, pattern matching, software verification, program development |
| 1 | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
Formal Methods Pilot Project. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project |
| 1 | Peter A. Lindsay, David Hemer |
An Industrial-Strength Method For The Construction Of Formally Verified Software. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
software verification refinement, formal methods, program development |
| 1 | Peter A. Lindsay, David Hemer |
An Industrial-Strength Method For The Construction Of Formally Verified Software. |
ASYNC |
1996 |
DBLP DOI BibTeX RDF |
software verification refinement, formal methods, program development |
| 1 | Peter A. Lindsay |
On transferring VDM verification techniques to Z. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin J. Ross, Peter A. Lindsay |
A Precise Examination of the Behaviour of Process Models. |
FME |
1994 |
DBLP DOI BibTeX RDF |
formal methods, process modelling, configuration management, VDM |
| 1 | Kelvin J. Ross, Peter A. Lindsay |
Maintaining Consistency Under Changes to Formal Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
verification, formal methods, configuration management, VDM, change control |
| 1 | Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore |
Mural - a formal development support system. |
|
1991 |
RDF |
|
| 1 | Peter A. Lindsay |
On Alternating omega-Automata. |
J. Comput. Syst. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Peter A. Lindsay |
A Support System for Formal Reasoning: Requirements and Status. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Alternation and omega-Type Turing Acceptors. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")