Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Conference/Workshop Paper (2)

Constellation-level Variability Modeling for Safety Constraint Refinement in System of Systems. (Oct 2025)
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Nazakat Ali
2025 IEEE International Symposium on Systems Engineering (ISSE)

Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL (Sep 2025)
Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
44th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2025)

Items per page:
May 2026
Test Design and Review Argumentation in AI-Assisted Test Generation
May 2026
Resource-Aware Rate-Adaptive Control with Discrete-Time Control Barrier Functions and Real-Time Guarantees
Apr 2026
Physics-Informed Recurrent Architecture with Embedded Thermodynamic Dynamics for Robust Sequence Modeling
Apr 2026
Architecting Automotive Software for the Emerging Compute-in-the-Network Paradigm
Apr 2026
Mapping educational software engineering content on YouTube
Apr 2026
Post-Velocity Software Engineering: When Change Throughput Outruns Assurance Capacity