39 citations · 116 across the 15 of their papers we have counts for
3 papers · 1 filter
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Matt Luckcuck, Ana Cavalcanti, Andy Wellings
Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not…
Safety-Critical Java: Level 2 in Practice
Matt Luckcuck, Andy Wellings, Ana Cavalcanti
Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three complia…