493 results on '"Jane Cleland-Huang"'
Search Results
2. ROOT: Requirements Organization and Optimization Tool.
3. An Environmentally Complex Requirement for Safe Separation Distance Between UAVs.
4. Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems.
5. Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations.
6. ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial Systems.
7. HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles.
8. NOMAD: A Natural, Occluded, Multi-scale Aerial Dataset, for Emergency Response Scenarios.
9. Human-machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment.
10. Hierarchically Organized Computer Vision in Support of Multi-Faceted Search for Missing Persons.
11. A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles.
12. Accountable Design for Individual, Societal, and Regulated Values in the UAV Domain.
13. Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process.
14. Prompts Matter: Insights and Strategies for Prompt Engineering in Automated Software Traceability.
15. Using ChatGPT to Generate Human-Value User Stories as Inspirational Triggers.
16. Self-Adaptive Mechanisms for Misconfigurations in Small Uncrewed Aerial Systems.
17. Engineering Challenges for AI-Supported Computer Vision in Small Uncrewed Aerial Systems.
18. A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles.
19. Psych-Occlusion: Using Visual Psychophysics for Aerial Detection of Occluded Persons during Search and Rescue.
20. Natural Language Processing for Requirements Traceability.
21. Testing of Advanced Capabilities to Enable In-time Safety Management and Assurance for Future Flight Operations
22. Detecting Anomalies in Small Unmanned Aerial Systems via Graphical Normalizing Flows.
23. Generating and Visualizing Trace Link Explanations.
24. Towards flexible runtime monitoring support for ROS-based applications.
25. RESAM: Requirements Elicitation and Specification for Deep-Learning Anomaly Models with Applications to UAV Flight Controllers.
26. SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems.
27. Extending MAPE-K to support Human-Machine Teaming.
28. Leveraging Transformer-based Language Models to Automate Requirements Satisfaction Assessment.
29. Understanding the Challenges of Deploying Live-Traceability Solutions.
30. NOMAD: A Natural, Occluded, Multi-scale Aerial Dataset, for Emergency Response Scenarios.
31. HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles.
32. Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking.
33. Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models.
34. Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems.
35. Enhancing Taxonomy Completion with Concept Generation via Fusing Relational Representations.
36. Hazard analysis for human-on-the-loop interactions in sUAS systems.
37. Leveraging Intermediate Artifacts to Improve Automated Trace Link Retrieval.
38. Explaining Autonomous Decisions in Swarms of Human-on-the-Loop Small Unmanned Aerial Systems.
39. Adaptive Autonomy in Human-on-the-Loop Vision-Based Robotics Systems.
40. Supporting Program Comprehension through Fast Query response in Large-Scale Systems.
41. Traceability Support for Multi-Lingual Software Projects.
42. SENET: A Semantic Web for Supporting Automation of Software Engineering Tasks.
43. Towards Semantically Guided Traceability.
44. Requirements-driven configuration of emergency response missions with small aerial vehicles.
45. Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions.
46. Enhancing Source Code Refactoring Detection with Explanations from Commit Messages.
47. The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System.
48. Visualizing Change in Agile Safety-Critical Systems.
49. Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces.
50. Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.