| Safety Engineering Challenges in LLM Era |
|
| People struggle to produce good assurance cases… ..would AI do any better? |
|
| Promises, Promises: AI and Certification |
|
| AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases |
|
| Ontology-based Representation for Assurance and Compliance |
|
| Shift left / Shift up: Protecting Safety-Critical Software Intensive Systems from Malicious Action |
|
| From abstract performance-based regulatory requirements to verifiable engineering requirements: Some challenges |
|
| Examining Proposed Uses of LLMs to Produce or Assess Assurance Arguments |
|
| Are Betting Markets Better than Polling in Predicting Political Elections? |
|
| 2025 Q3 |
|
| HCSS 2026 Program Committee |
|
| Challenge Problem Review: Resident Cooperative AI/ML in Compromised Environments |
|
| High Confidence Software and Systems Conference |
|
| CMU SoS 2014 Quarterly Lablet PI Meeting |
|
| Science of Security Lablet BAA Kickoff Meeting |
|
| Science of Security Lablet Quarterly Meeting |
|
| About HCSS |
|
| HCSS14 Homepage: Right Column |
|
| HCSS 2014 - Draft Program Agenda |
|
| HCSS 2014 - Poster Session |
|
| HCSS 2014 - Program Agenda |
|
| SCC #13 Agenda: Requirements with Intent |
|
| HotSoS 2014 Presentations |
|