Max Robotics — Global Service Robot Directory + US Certification

About

Elena Navarro is a researcher whose work sits at the intersection of software engineering, safety-critical systems, and agent-based robotics. Her primary contributions lie in advancing the formal modeling and specification of complex software architectures, with a particular focus on safety requirements and aspect-oriented design. Navarro’s most cited work, a controlled experiment evaluating the understandability of KAOS and i* for modeling Teleo-Reactive systems (15 citations), provides critical empirical evidence for choosing goal-oriented modeling languages in dynamic environments. She is also recognized for her foundational proposal on aspect-oriented software architectures (12 citations), which integrates Aspect-Oriented Software Development (AOSD) with Component-Based Software Development (CBSD) within the PRISMA framework—a key step toward modularizing cross-cutting concerns in large-scale systems. Her earlier work on goal-oriented safety requirements specification (5 citations) addresses the vital challenge of managing safety in robotic systems, while her development of VigilAgent (4 citations) demonstrates practical application in multi-robot surveillance. Though her citation counts are modest, Navarro’s research has shaped how engineers approach safety and modularity in autonomous and robotic systems, making her a thoughtful contributor to dependable software design.