Christos Tsigkanos

Latest

• PsALM: specification of dependable robotic missions
• Specification patterns for robotic missions
• Property specification patterns for robotic missions
• Engineering topology aware adaptive security: Preventing requirements violations at runtime
• Topology aware adaptive security