Buchumschlag

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Odyurt, Uraz, Sayilir, Ömer, Stoelinga, Mariëlle, Zaytsev, Vadim
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

Explainable AI to Improve Machine Learning Reliability for Industrial Cyber-Physical Systems
von: Jutte, Annemarie, et al.
Veröffentlicht: (2026)

Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

InfoPos: A Design Support Framework for ML-Assisted Fault Detection and Identification in Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2026)

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
von: Zhan, Bohua, et al.
Veröffentlicht: (2024)

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems
von: Iannucci, Bob, et al.
Veröffentlicht: (2019)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
von: Jarmusch, Aaron, et al.
Veröffentlicht: (2024)

TrackCore-F: Deploying Transformer-Based Subatomic Particle Tracking on FPGAs
von: Blankestijn, Arjan, et al.
Veröffentlicht: (2025)

Reduced Simulations for High-Energy Physics, a Middle Ground for Data-Driven Physics Research
von: Odyurt, Uraz, et al.
Veröffentlicht: (2023)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

Model Parallelism on Distributed Infrastructure: A Literature Review from Theory to LLM Case-Studies
von: Brakel, Felix, et al.
Veröffentlicht: (2024)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)

A Multilingual Python Programming Language
von: Bazaz, Saad Ahmed, et al.
Veröffentlicht: (2025)

Characterizing Implementability of Global Protocols with Infinite States and Data
von: Li, Elaine, et al.
Veröffentlicht: (2024)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
von: Liesnikov, Bohdan, et al.
Veröffentlicht: (2025)

Describe Data to get Science-Data-Ready Tooling: Awkward as a Target for Kaitai Struct YAML
von: Goyal, Manasvi, et al.
Veröffentlicht: (2024)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
von: Wang, Yaoxiang, et al.
Veröffentlicht: (2026)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
von: Lei, Jie, et al.
Veröffentlicht: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

pyeb: A Python Implementation of Event-B Refinement Calculus
von: Cataño, Néstor
Veröffentlicht: (2025)

Target-Aware Implementation of Real Expressions
von: Saiki, Brett, et al.
Veröffentlicht: (2024)

A Type System for Data Privacy Compliance in Active Object Languages
von: Baramashetru, Chinmayi Prabhu, et al.
Veröffentlicht: (2025)

Squeeze and Search: Implementing Data Compression in Small Systems.
von: Grotophorst, Clyde W.
Veröffentlicht: (1988)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
von: Schimpf, Albert, et al.
Veröffentlicht: (2026)

Six Ways to Implement Divisibility by Three in miniKanren
von: Schreiber, Brett, et al.
Veröffentlicht: (2024)

Minicomputers in Information Work: An Overview of the DOMESTIC System.
von: Branse, Jody, et al.
Veröffentlicht: (1981)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
von: Li, Fang, et al.
Veröffentlicht: (2025)

Hybrid Structured Editing: Structures for Tools, Text for Users
von: Beckmann, Tom, et al.
Veröffentlicht: (2026)

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
von: Liu, Hanhaotian, et al.
Veröffentlicht: (2026)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
von: Abad, Kyriel, et al.
Veröffentlicht: (2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations
von: Zhang, Cheng, et al.
Veröffentlicht: (2024)

Solvent: liquidity verification of smart contracts
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
von: Zaliva, Vadim, et al.
Veröffentlicht: (2026)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
von: Brahmakshatriya, Ajay, et al.
Veröffentlicht: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
von: Rose, Abhishek, et al.
Veröffentlicht: (2024)