Suchergebnisse - "Formal verification"

A federated learning approach to smart advertising

Autoren: Seyghaly, Rasool

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

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

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Formal Verification for Preventing Misconfigured Access Policies in Kubernetes Clusters

Autoren: Sissodiya, Aditya Chiquito, Eric Bodin, Ulf et al.

Quelle: Green Transition North (GTN) Digitala Stambanan IndTech RemaNet IEEE Access. 13:141798-141813

Schlagwörter: Attribute-based access control, cloud-native security, formal verification, kubernetes, policy-as-code, role-based access control, SMT solvers, Cyberfysiska system, Cyber-Physical Systems, Pervasive Mobile Computing, Distribuerade datorsystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-114384
https://doi.org/10.1109/access.2025.3597504

Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach

Autoren: Hu, Siwei Lopata, Victor Soudjani, Sadegh et al.

Quelle: 2025 IEEE International Conference on Quantum Software (QSW). :151-161

Schlagwörter: FOS: Computer and information sciences, Quantum Physics, Logic in Computer Science, FOS: Physical sciences, barrier certificates, formal verification, k-induction, quantum circuits, scenario program, Quantum Physics (quant-ph), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2506.07635

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Autoren: Xavier, Midhun Dubinin, Victor Patil, Sandeep et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 5:517-534

Schlagwörter: Formal Verification, IEC 61499, Plant Model Generation, Process mining, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-107515
https://doi.org/10.1109/OJIES.2024.3406059

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination

Autoren: Rafael Sá Menezes Norbert Tihanyi Ridhi Jain et al.

Quelle: Sa Menezes, R, Tihanyi, N, Jain, R, Levin, A, de Freitas, R & Cordeiro, L 2025, VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. in ACM International Conference on the Foundations of Software Engineering (FSE 2025). Association for Computing Machinery, pp. 1060-1064. https://doi.org/10.1145/3696630.372858, https://doi.org/10.1145/3696630.3728581

Schlagwörter: Bounded Model Checking, Compiler Optimization, GCSE, Formal Verification

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application

Autoren: Haines, Thomas Mosaheb, Rafieh Müller, Johannes et al.

Weitere Verfasser: Haines, Thomas Mosaheb, Rafieh Müller, Johannes et al.

Quelle: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :441-456

Schlagwörter: Zero-knowledge Proofs, code-based cryptography, formal verification, EasyCrypt, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04856221v1

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Weitere Verfasser: Irfan, Ahmed Kaufmann, Daniela

Schlagwörter: formal methods, computer-aided system design, hardware and system verification, formal verification, specification, synthesis and testing, automated and formal reasoning, Systems analysis and design, Software testing and verification, Computer architecture and logic design, Mathematical theory of computation, Artificial intelligence

Dateibeschreibung: application/pdf

Relation: Conference Series: Formal Methods in Computer-Aided Design

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/108026

Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification

Autoren: Sevenhuijsen, Merlijn Ung, Gustav Suresh Patil, Minal et al.

Quelle: Proceedings of Machine Learning Research - Conference on Neurosymbolic Learning and Reasoning, NeSy 2025 Proceedings of Machine Learning Research. :353-378

Schlagwörter: Formal Verification, Large Language Models, Non-Functional Requirements, Prompt Engineering, Safety-Critical Automotive Software

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-372794
https://proceedings.mlr.press/v284/sevenhuijsen25a.html

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

Autoren: Lilli, Giordano Xavier, Midhun Le Priol, Etienne et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 4:417-431

Schlagwörter: Formal verification, IEC 61499, isotope separation online (ISOL), model checking, NuSMV, radioactive ion beams (RIBs), remote handling, Selective Production of Exotic Species (SPES), simulation, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-102308
https://doi.org/10.1109/OJIES.2023.3321084

Algebraic Linear Analysis for Number Theoretic Transform in Lattice-Based Cryptography

Autoren: Chun-Ming Chiu Jiaxiang Liu Ming-Hsien Tsai et al.

Quelle: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2025, Iss 3 (2025)

Schlagwörter: TK7885-7895, Computer engineering. Computer hardware, Assembly Code, CryptoLine, Integer Set Library, Information technology, T58.5-58.64, Formal Verification

Zugangs-URL: https://doaj.org/article/9619f7dde6ae4a9d87f2831e5fa3b311

PCIe polling compliance state verification: Pre-silicon approaches and multi-generation challenges

Autoren: Lnu, Deepak Kumar

Quelle: World Journal of Advanced Research and Reviews. 26:284-294

Schlagwörter: Link Training, Pre-Silicon Validation, Pcie Polling Compliance, Protocol Interoperability, Formal Verification

Blockchain-enhanced smart contracts for formal verification of IoT access control mechanisms

Autoren: Zhifeng Guo

Quelle: Alexandria Engineering Journal, Vol 118, Iss, Pp 315-324 (2025)

Schlagwörter: IoT access control mechanisms, Formal verification, Block chain, TA1-2040, Computation tree logic, Engineering (General). Civil engineering (General), Smart contracts, Transition systems

Zugangs-URL: https://doaj.org/article/198a64797e35485c8749c677e531cd83

ElasticMiter: Formally Verified Dataflow Circuit Rewrites

Autoren: Ayatallah Elakhras Jiahui Xu Martin Erhart et al.

Quelle: ASPLOS '25: Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Schlagwörter: Formal verification, Model checking, High-level synthesis, Dataflow circuits

Dateibeschreibung: application/application/pdf

Zugangs-URL: http://hdl.handle.net/20.500.11850/731889

A Quantitative Probabilistic Relational Hoare Logic

Autoren: Avanzini, Martin Barthe, Gilles Davoli, Davide et al.

Weitere Verfasser: Avanzini, Martin Barthe, Gilles Davoli, Davide et al.

Quelle: Proceedings of the ACM on Programming Languages. 9:1167-1195

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, probabilistic programs, Hoare logic, [INFO] Computer Science [cs], formal verification, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2407.17127

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

Autoren: Ferrando A. Malvone V.

Quelle: Proceedings of the 17th International Conference on Agents and Artificial Intelligence. :648-655

Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, Formal Verification, Model Checking, Multi-Agent Systems, Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Computer Science - Multiagent Systems, Multiagent Systems (cs.MA), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2403.02170
https://hdl.handle.net/11380/1383129
https://doi.org/10.5220/0013349600003890

A European Project on AI-based Robotics

Autoren: Drămnesc, Isabela Ábrahám, Erika Jebelean, Tudor et al.

Weitere Verfasser: Drămnesc, Isabela Ábrahám, Erika Jebelean, Tudor et al.

Quelle: 2024 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE). :1-7

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Problem-based Learning, Artificial Intelligence, Computer Science, Higher Education Computer Science Robotics Artificial Intelligence Formal Verification Problem-based Learning, [SHS.EDU] Humanities and Social Sciences/Education, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], Robotics, Higher Education, [INFO] Computer Science [cs], Formal Verification

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04814646v2

Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm

Autoren: Asma Bezza Rohallah Benaboud Toufik-Messaoud Maarouk et al.

Quelle: Journal of Communications Software and Systems, Vol 21, Iss 4, Pp 404-413 (2025)

Schlagwörter: formal verification, correctness, soundness, pomset, lts, hoare-logic, Computer software, QA76.75-76.765

Dateibeschreibung: electronic resource

Relation: https://jcoms.fesb.unist.hr/10.24138/jcomss-2025-0028/; https://doaj.org/toc/1845-6421; https://doaj.org/toc/1846-6079

Zugangs-URL: https://doaj.org/article/8938862bd14c45c39758be8a9bb252ee

Rumo a uma estrutura de verificação e validação baseada em arquiteturas de microserviços

Towards a verification and validation framework based on microservices architectures

Autoren: HERNÁNDEZ, LIDIA GLORIA WILSON Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Weitere Verfasser: HERNÁNDEZ, LIDIA GLORIA WILSON Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Quelle: urn:tid:204033896

Schlagwörter: Microservices Architectures, Formal Verification, Verification Framework, Software Frameworks, Safety-critical Systems

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10400.22/30971

VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods

Autoren: Wei, Chenfeng Cai, Shiyu Charalambous, Yiannis et al.

Quelle: Wei, C, Cai, S, Charalambous, Y, Wu, T, Godboley, S & Cordeiro, L 2025, VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods. in 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025). IEEE.

Schlagwörter: smart contact, large language model, formal verification

Zugangs-URL: https://research.manchester.ac.uk/en/publications/c15373e2-4b50-4eba-8475-6fe381217076

Compositional Verification of Nuclear Safety I&C Systems with OCRA

Autoren: Pakonen Antti

Quelle: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). 2404:1-8

Schlagwörter: Model checking, Logic, Manufacturing automation, control engineering, Contracts, model checking, Formal verification, Cognition, Process control, Safety, formal verification, Industries, Power generation, software safety

Zugangs-URL: https://cris.vtt.fi/en/publications/18e9a40d-9740-418e-95ef-b6a6e81cf6f5
https://doi.org/10.1109/ETFA61755.2024.10711009