Demo Data from EDBT 2026 / reviewers in the wild / expert
Ahmed Mousa
dblp:221/2855
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 70% Electronic design automation · 23% Reconfigurable computing and FPGAs · 7% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems
cyber-physical systems |
0.3 | 1 | 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018 |
Electronic design automation › hardware verification and test
hardware verification |
0.3 | 1 | 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018 |
Embedded and real-time systems › runtime monitoring
runtime verification |
0.3 | 1 | 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018 |
Embedded and real-time systems › runtime monitoring
timing constraint monitoring |
0.3 | 1 | 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018 |
Reconfigurable computing and FPGAs
FPGA-based monitoring |
0.1 | 1 | 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems · DAC 2018 |
Methods — techniques the papers use, named apart from their topics
timestamp temporal logic · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systemsabstractFormal specifications on temporal behavior of Cyber-Physical Systems (CPS) is essential for verification of performance and safety. Existing solutions for verifying the satisfaction of temporal constraints on a CPS are compute and resource intensive since they require buffering signals from the CPS prior to constraint checking. We present an online approach, based on Timestamp Temporal Logic (TTL), for monitoring the timing constraints in CPS. The approach reduces the computation and memory requirements by processing the timestamps of pertinent events reducing the need to capture the full data set from the signal sampling. The signal buffer size bears a geometric relationship to the dimension of the signal vector, the time interval being considered, and the sampling resolution. Since monitoring logic is typically implemented on Field Programmable Gate Arrays (FPGAs) for efficient monitoring of multiple signals simultaneously, the space required to store the buffered data becomes the limiting resource. The monitoring logic, for the timing constraints on the Flying Paster (a printing application requiring synchronization between two motors), is illustrated in this paper to demonstrate a geometric reduction in memory and computational resources in the realization of an online monitor. Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand |
DAC | 3 |