Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Algorithms: Edition 4

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999

Just Enough Software Architecture: A Risk-Driven Approach

Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Domain-Driven Design: Tackling Complexity in the Heart of Software

Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

Modern Software Engineering: Doing What Works to Build Better Software Faster

Current Issues in Safety-Critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003

Software Engineering at Google: Lessons Learned from Programming Over Time

Comparison of Lossless Image Compression Techniques based on Context Modeling

Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

Domain-Driven Design in PHP

Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

Domain-Driven Design Reference: Definitions and Pattern Summaries

Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium

Software Architecture Metrics: Case Studies to Improve the Quality of Your Architecture