Search Results - "verification and validation"

A federated learning approach to smart advertising

Authors: Seyghaly, Rasool

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: García Almiñana, Jordi, Masip Bruin, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Federated Learning (FL), Edge Computing, Smart Advertising, Privacy-Preserving Machine Learning, Personalized Ads, Whale Optimization Algorithm (WOA), Meta-Heuristic Aggregation, User Engagement, Click-Through Rate (CTR), Scalability in AI Systems, Indoor Positioning Systems, Real-Time Data Processing, Model Verification and Validation, GDPR & CCPA Compliance, Formal Verification in AI Systems, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/694786
https://dx.doi.org/10.5821/dissertation-2117-433346

Formal Methods for Residual Risk Reduction in Cyber-Physical Systems

Authors: Kaufmann, David Mateescu, Radu Muller, Lucie et al.

Contributors: Kaufmann, David Mateescu, Radu Muller, Lucie et al.

Source: 2025 25th International Conference on Software Quality, Reliability and Security (QRS). :258-269

Subject Terms: formal methods, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], management system, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, residual risks, cyber-physical systems, system monitoring, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05305293v1
https://inria.hal.science/hal-05305293v1/document
https://doi.org/10.1109/qrs65678.2025.00035

A 2030 Roadmap for Software Engineering

Authors: Pezzè, Mauro Abrahao, Silvia Penzenstadler, Birgit et al.

Source: ACM Transactions on Software Engineering and Methodology. 34(5)

Subject Terms: Quantum software engineering, generative AI for software engineering, Automatic Programming, AI for verification and validation, A roadmap for software engineering, security and software engineering, Sustainable software engineering, Large language models for software engineering, Human factor in software engineering, AI and software engineering

File Description: electronic

Access URL: https://research.chalmers.se/publication/546975
https://research.chalmers.se/publication/546975/file/546975_Fulltext.pdf

Using Monitoring of Maritime Traffic Scenarios in the Validation of Maritime Systems

Authors: Austel, Anna Panneke, Lukas Piotrowski, Janusz Andrzej et al.

Source: 2025 Symposium on Maritime Informatics and Robotics (MARIS). :1-8

Subject Terms: traffic scenarios, monitoring, certification, maritime assistance systems, verification and validation, formalisation

Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots

Authors: Abeywickrama, Dhaminda B. Fisher, Michael Wheeler, Frederic et al.

Source: Abeywickrama, D B, Fisher, M, Wheeler, F & Dennis, L 2025, Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. in 2025 IEEE/ACM 22nd International Conference on Software and Systems Reuse (ICSR). https://doi.org/10.1109/ICSR66718.2025.00016

Subject Terms: autonomous robots, assurance patterns, Verification and validation, reference assurance case, reuse

File Description: application/pdf

Access URL: https://research.manchester.ac.uk/en/publications/9c73151c-aaf3-4619-ac46-3235d3849ca4
https://doi.org/10.1109/ICSR66718.2025.00016
https://pure.manchester.ac.uk/ws/files/356667727/2025040918_1_.pdf
https://research.manchester.ac.uk/en/publications/9c73151c-aaf3-4619-ac46-3235d3849ca4
https://doi.org/10.1109/ICSR66718.2025.00016

Frontiers of Combining Systems

Contributors: Thiemann, René Weidenbach, Christoph

Subject Terms: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/107663

KUANTUM YAZILIM TEST TEKNİKLERİ VE ARAÇLARI ÜZERİNE BİR İNCELEME

Authors: Fatma Betül Özdemir Savaş Öztürk

Source: Volume: 7, Issue: 190-104
Journal of Information Systems and Management Research

Subject Terms: Software Quality, Processes and Metrics, Yazılım Kalitesi, Süreçler ve Metrikler, Yazılım Testi, Doğrulama ve Validasyon, Kuantum Programı, Kuantum Yazılım Testi, Kuantum Yazılım Mühendisliği, Software Testing, Verification and Validation, Quantum Program, Quantum Software Testing, Quantum Software Engineering

File Description: application/pdf

Access URL: https://dergipark.org.tr/tr/pub/jismar/issue/93126/1636890

Dağıtık Siber Saldırıların İnternet Hizmetlerinin Kullanılabilirliği Üzerindeki Etkisi: DDoSphere ile Deneysel Bir Analiz

Authors: Doğukan Öztürk Ali Aktolun Miraç Emektar et al.

Source: Volume: 3, Issue: 135-50
Alpha Journal of Engineering and Applied Sciences
Alfa Mühendislik ve Uygulamalı Bilimler Dergisi

Subject Terms: Software Quality, Processes and Metrics, Yazılım Kalitesi, Süreçler ve Metrikler, DDoS saldırıları, Ağ performansı, Siber güvenlik, Ddosphere, Çoklu konumlu saldırılar, Simülasyon tabanlı analiz, Savunma stratejileri, Bilgisayar Sistem Yazılımı, Yazılım Testi, Doğrulama ve Validasyon, Software Testing, Verification and Validation, DDoS attacks, Network performance, CyberSecurity, Multi-location attacks, Simulation-based analysis, Defense strategies, Computer System Software

File Description: application/pdf

Access URL: https://dergipark.org.tr/tr/pub/ajeas/issue/91535/1628985

Verification and Clearance of a Flight Control System for High Altitude Long Endurance Aircraft

Authors: Weiser, Christian

Source: 2025 IEEE Aerospace Conference. :1-11

Subject Terms: Verification and Validation, Flight Control, DLR HAP alpha

Access URL: https://elib.dlr.de/216336/
https://doi.org/10.1109/aero63441.2025.11068608

Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance

Authors: Abeywickrama, Dhaminda Bishop, Christopher Watson, Simon et al.

Source: Abeywickrama, D, Bishop, C, Watson, S, Wheeler, F, Fisher, M & Dennis, L 2025, Corroborative V &V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance. in 5th Workshop on Agents and Robots for reliable Engineered Autonomy, 5th October 2025 at ECAI 2025-Bologna https://areaworkshop.github.io/AREA2025.

Subject Terms: Assurance, Verification and validation, Autonomous systems

Access URL: https://research.manchester.ac.uk/en/publications/94ced9aa-60f7-49e9-805d-50c4bfcff287

Analytical Treatise on Endo-Atmospheric Fuel-Optimal Rocket Landings

Authors: Marco Sagliano Ping Lu David Seelbinder et al.

Source: Journal of Guidance, Control, and Dynamics. 48:450-469

Subject Terms: Rocket Landing, Indirect Methods, Optimal Control, Trajectory Optimization, Aerodynamic Control, Verification and Validation

Access URL: https://elib.dlr.de/216750/
https://doi.org/10.2514/1.g008547

Prioritization of Regression Test Cases Based on Machine Learning Methods

Authors: Selçuk Kıran İlkim Ecem Emre Selen Taşdelen

Source: Volume: 38, Issue: 1131-144
Gazi University Journal of Science

Subject Terms: Yazılım Testi, Doğrulama ve Validasyon, 0202 electrical engineering, electronic engineering, information engineering, Software Testing, Verification and Validation, 02 engineering and technology, Machine learning, Natural language processing, Software testing, Regression testing, Test case prioritization, 0210 nano-technology

File Description: application/pdf

Access URL: https://dergipark.org.tr/tr/pub/gujs/issue/90439/1446469

Building a Robust Scenario Library for Safety Assurance of Automated Driving Systems: A Review

Authors: António A. Bruto da Costa Patrick Irvine Tudor Dodoiu et al.

Source: IEEE Access, Vol 13, Pp 117619-117655 (2025)

Subject Terms: safety, verification and validation (V&V), safety assurance, Electrical engineering. Electronics. Nuclear engineering, scenario-based testing, Automated driving systems (ADSs), scenario, TK1-9971

Access URL: https://doaj.org/article/a15fc40638774204b1add4be82a0aa24

Experimental and numerical investigations of propeller open water characteristics in calm water and regular head waves

Authors: Irannezhad, Mohsen Kjellberg, Martin Bensow, Rickard E. et al.

Source: Ocean Engineering. 302

Subject Terms: Laminar flow, Propellers, Turbulence, EFD, Experimental investigations, Head waves, Numerical investigations, Open water, Performance, Regular head wave, Thrust, Verification-and-validation, Water characteristics, Computational fluid dynamics

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-72757
https://doi.org/10.1016/j.oceaneng.2024.117703

Radial pulse rate estimation from brightness-mode ultrasound imaging

Authors: Bahmani Nima Kärkkäinen Titus Kantola Janne et al.

Source: Current Directions in Biomedical Engineering, Vol 11, Iss 1, Pp 286-289 (2025)

Subject Terms: algorithm development, cnap, image processing, physiological phenomena, verification and validation, Medicine

File Description: electronic resource

Relation: https://doaj.org/toc/2364-5504

Access URL: https://doaj.org/article/c0b00b0e1715469ca49aa2674a432f2d

Characterization of anisotropic turbulence behavior in pulsatile blood flow

Authors: Andersson, Magnus Karlsson, Matts

Source: Biomechanics and Modeling in Mechanobiology. 20:491-506

Subject Terms: Barycentric anisotropy invariant map, Patient-specific scale-resolved computational hemodynamics, Reynolds stress and dissipation tensor, MRI turbulence measurements, Verification and validation

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171404
https://liu.diva-portal.org/smash/get/diva2:1504667/FULLTEXT02.pdf

An Evaluation of Skin Lesion Segmentation Using Deep Learning Architectures

Authors: Gökçen Çetinel Bekir Murat Aydın Sevda Gül et al.

Source: Sakarya University Journal of Computer and Information Sciences, Vol 7, Iss 3, Pp 449-459 (2024)
Volume: 7, Issue: 3449-459
Sakarya University Journal of Computer and Information Sciences

Subject Terms: feature pyramids network, skin lesion segmentation, Skin lesion segmentation, Deep learning architectures, Unet, DeepLabV3, Feature pyramids network, Software Testing, Verification and Validation, QA75.5-76.95, Information technology, 02 engineering and technology, deeplabv3, T58.5-58.64, deep learning architectures, 03 medical and health sciences, 0302 clinical medicine, Electronic computers. Computer science, Yazılım Testi, Doğrulama ve Validasyon, 0202 electrical engineering, electronic engineering, information engineering, unet

File Description: application/pdf

Access URL: https://doaj.org/article/aa48a182e0904a7281959e0d9e1a2557
https://dergipark.org.tr/tr/pub/saucis/issue/87942/1543993

Development of an Automatic Coupler for Railway Vehicles: A Topology Optimization Approach with Numerical and Experimental Validation

Authors: Katsuhiko Sasaki Mustasyar Perkasa Lukman Shalahuddin et al.

Source: Automotive Experiences, Vol 7, Iss 3 (2024)

Subject Terms: Automatic coupler, Verification and validation, TJ1-1570, Mechanics of engineering. Applied mechanics, Topology optimization, Mechanical engineering and machinery, TA349-359, Tensile test, Lightweight design

Access URL: https://doaj.org/article/dd097870946c4eaf9950a7f919bce241

Verification and validation for KCS total resistance

Authors: Florentin-Daniel Popa Nicoleta Elena Neacșu Radu Bosoancă et al.

Source: Annals of "Dunărea de Jos" University of Galaţi: Fascicle XI Shipbuilding, Vol 47, Pp 47-54 (2024)

Subject Terms: cfd, richardson extrapolation, verification and validation, ship resistance, Ocean engineering, Naval architecture. Shipbuilding. Marine engineering, VM1-989, TC1501-1800

Access URL: https://doaj.org/article/6e866facb3e14e67b44838588450e566

Modeling of biogas production from hydrothermal carbonization products in a continuous anaerobic digester

Authors: Benaissa Dekhici Boumediene Benyahia Brahim Cherki et al.

Source: ACM Transactions on Modeling and Computer Simulation. 34:1-19

Subject Terms: Computing methodologies, Model verification and validation, Mathematics of computing, Continuous optimization, Ordinary differential equations, Anaerobic digestion, hydrothermal carbonization, HTC, mathematical modeling and simulation, sensitivity analysis, AM2 model, bioprocess, model identification and optimization, 0211 other engineering and technologies, 02 engineering and technology, 01 natural sciences, 0105 earth and related environmental sciences

File Description: application/pdf

Access URL: https://dl.acm.org/doi/10.1145/3680281
https://doi.org/10.1145/3680281
https://hdl.handle.net/11572/431050