Software Engineering · Computer Science
DPM-Bench: Benchmark for Distributed Process Mining Algorithms on Cyber-Physical Systems
Hendrik Reiter, Patrick Rathje, Olaf Landsiedel, Wilhelm Hasselbring
2025-02-21
Distributed, Parallel, and Cluster Computing · Computer Science
Efficient Coordination for Distributed Discrete-Event Systems
Byeonggil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim
2024-10-10
Multiagent Systems · Computer Science
Real-Time Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang +1
2019-09-20
Cryptography and Security · Computer Science
Distributed HDMM: Scalable, Distributed, Accurate, and Differentially Private Query Workloads without a Trusted Curator
Ratang Sedimo, Ivoline C. Ngong, Jami Lashua, Joseph P. Near
2025-12-18
Distributed, Parallel, and Cluster Computing · Computer Science
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
2021-08-31
Distributed, Parallel, and Cluster Computing · Computer Science
Dynamic management of transactions in distributed real-time processing system
Y. Jayanta Singh, Yumnam Somananda Singh, Ashok Gaikwad, S. C. Mehrotra
2010-07-15
Distributed, Parallel, and Cluster Computing · Computer Science
Validation of hardware events for successful performance pattern identification in High Performance Computing
Thomas Röhl, Jan Eitzinger, Georg Hager, Gerhard Wellein
2017-10-12
Distributed, Parallel, and Cluster Computing · Computer Science
Hardware Transactional Persistent Memory
Ellis Giles, Kshitij Doshi, Peter Varman
2018-06-05
Cryptography and Security · Computer Science
Next Generation Resilient Cyber-Physical Systems
Michel Barbeau, Georg Carle, Joaquin Garcia-Alfaro, Vicenç Torra
2019-11-11
Software Engineering · Computer Science
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu +1
2020-07-15
Software Engineering · Computer Science
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar, Christopher Deloglos +2
2020-09-22
Distributed, Parallel, and Cluster Computing · Computer Science
On Ordering Multi-Robot Task Executions within a Cyber Physical System
Tushar Semwal, Shashi Shekhar Jha, Shivashankar B. Nair
2018-03-14
Distributed, Parallel, and Cluster Computing · Computer Science
Predictive Performance Modeling for Distributed Computing using Black-Box Monitoring and Machine Learning
Carl Witt, Marc Bux, Wladislaw Gusew, Ulf Leser
2019-01-25
Databases · Computer Science
Hardware-Conscious Stream Processing: A Survey
Shuhao Zhang, Feng Zhang, Yingjun Wu, Bingsheng He +1
2024-06-18
Distributed, Parallel, and Cluster Computing · Computer Science
A DDS-Based Scalable and Reconfigurable Framework for Cyber-Physical Systems
Ismael Etxeberria-Agiriano, Isidro Calvo, Liliana Montero, Ivan Alonso
2012-08-13
Instrumentation and Detectors · Physics
Online Production Validation in a HEP environment
T. Harenberg, N. Lang, P. Mättig, M. Sandhoff +3
2017-04-26
Systems and Control · Electrical Eng. & Systems
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno +1
2023-01-02
Cryptography and Security · Computer Science
A secure service provisioning framework for cyber physical cloud computing systems
Anees Ara, Mznah Al-Rodhaan, Yuan Tian, Abdullah Al-Dhelaan
2016-11-03
Distributed, Parallel, and Cluster Computing · Computer Science
Decentralized Runtime Verification for LTL Properties Using Global Clock
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
2020-04-07