Buchumschlag

FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gil, Santiago, Baş, Ecem E., Jensen, Christian D., Engelsgaard, Sebastian, Abbiati, Giuseppe, Gomes, Cláudio
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)

Task-Based Role-Playing VR Game for Supporting Intellectual Disability Therapies
von: Chen, Wen-Chun, et al.
Veröffentlicht: (2024)

Distributed Monitoring of Timed Properties
von: Henry, Léo, et al.
Veröffentlicht: (2024)

From What to How: A Taxonomy of Formalized Security Properties
von: Sayar, Imen, et al.
Veröffentlicht: (2025)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
von: Lin, Zewei, et al.
Veröffentlicht: (2026)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
von: Ganesha, et al.
Veröffentlicht: (2025)

Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
von: Yan, Chuan, et al.
Veröffentlicht: (2024)

MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
von: Thibeault, Quinn, et al.
Veröffentlicht: (2025)

Enhancing Software Supply Chain Security Through STRIDE-Based Threat Modelling of CI/CD Pipelines
von: Dhandapani, Sowmiya
Veröffentlicht: (2025)

Trace Diagnostics for Signal-based Temporal Properties
von: Boufaied, Chaima, et al.
Veröffentlicht: (2022)

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
von: Talasila, Prasad, et al.
Veröffentlicht: (2023)

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
von: Birchler, Christian, et al.
Veröffentlicht: (2024)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
von: Boltz, Nicolas, et al.
Veröffentlicht: (2024)

Pixi: Unified Software Development and Distribution for Robotics and AI
von: Fischer, Tobias, et al.
Veröffentlicht: (2025)

Enhancing Testing at Meta with Rich-State Simulated Populations
von: Alshahwan, Nadia, et al.
Veröffentlicht: (2024)

FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
von: Bosbach, Nils, et al.
Veröffentlicht: (2025)

Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot
von: Bifolco, Daniele, et al.
Veröffentlicht: (2025)

Securing High-Concurrency Ticket Sales: A Framework Based on Microservice
von: Zhang, Zhiyong, et al.
Veröffentlicht: (2025)

Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
von: Geller, Christian, et al.
Veröffentlicht: (2026)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
von: Landeck, Yannick, et al.
Veröffentlicht: (2026)

Software Security Mapping Framework: Operationalization of Security Requirements
von: Lee, Sung Une, et al.
Veröffentlicht: (2025)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
von: Armato, Antonino, et al.
Veröffentlicht: (2026)

Further Evidence on a Controversial Topic about Human-Based Experiments: Professionals vs. Students
von: Romano, Simone, et al.
Veröffentlicht: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
von: Schweikl, Sebastian, et al.
Veröffentlicht: (2025)

Enhancing Software Maintenance: A Learning to Rank Approach for Co-changed Method Identification
von: Jia, Yiping, et al.
Veröffentlicht: (2024)

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
von: Muzy, Alexandre
Veröffentlicht: (2026)

SensoDat: Simulation-based Sensor Dataset of Self-driving Cars
von: Birchler, Christian, et al.
Veröffentlicht: (2024)

Enhancing business process execution with a context engine
von: Janiesch, Christian, et al.
Veröffentlicht: (2021)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
von: Glock, Johann, et al.
Veröffentlicht: (2025)

Safeguarding DeFi Smart Contracts against Oracle Deviations
von: Deng, Xun, et al.
Veröffentlicht: (2024)

Adversarial Bug Reports as a Security Risk in Language Model-Based Automated Program Repair
von: Przymus, Piotr, et al.
Veröffentlicht: (2025)

Can Large Language Models Write Good Property-Based Tests?
von: Vikram, Vasudev, et al.
Veröffentlicht: (2023)

Enhancing Security in Third-Party Library Reuse -- Comprehensive Detection of 1-day Vulnerability through Code Patch Analysis
von: Xu, Shangzhi, et al.
Veröffentlicht: (2024)

Distributed Approach to Haskell Based Applications Refactoring with LLMs Based Multi-Agent Systems
von: Siddeeq, Shahbaz, et al.
Veröffentlicht: (2025)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
von: Böhme, Marcel, et al.
Veröffentlicht: (2024)

Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2023)

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
von: Tanaka, Hidetake, et al.
Veröffentlicht: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
von: Xiong, Yiheng, et al.
Veröffentlicht: (2026)

CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation
von: Li, Kefan, et al.
Veröffentlicht: (2025)

OpenCAMS: An Open-Source Connected and Automated Mobility Co-Simulation Platform for Advancing Next-Generation Intelligent Transportation Systems Research
von: Ahmad, Minhaj Uddin, et al.
Veröffentlicht: (2025)