Overview
Many technical ideas are easiest to understand from two angles: a precise formal model and a practical systems perspective. The pages here aim to provide both: short definitions and intuition, followed by references for deeper reading.
If you’re in a hurry, start with Notes. If you’re looking for context or contact information, see Bio.
Key pages
- Bio / contact Background and contact details.
- Bricos Topic page with short notes and references.
- ICE 2011 Workshop/event materials and programme.
- Notes Short technical notes and reading pointers.
Topics
A few recurring topics with a one-paragraph description and recommended starting points.
- Component-based design How large systems are assembled from smaller pieces: contracts between components, composition strategies, and ways to reason about behaviour at the boundaries.
- Correctness and verification Techniques for specifying expected behaviour and proving (or checking) that implementations match those specifications, from lightweight invariants to model checking and theorem proving.
- Performance as a constraint Practical measurement, latency budgets, and “fast enough” engineering: how systems fail under load and how to reason about trade-offs.
Publication pointers
Rather than duplicating bibliographic data here, this section points to the most common public indexes.
- DBLP Browsable computer science bibliography.
- Google Scholar Search for publications and citation graphs.