Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Achraf Mguidich

dblp:193/0377 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

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 · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems
worst-case execution time analysis		 0.212016
Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems · RTSS 2016
Embedded and real-time systems › real-time embedded systems
hard real-time systems		 0.112016
Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems · RTSS 2016

Methods — techniques the papers use, named apart from their topics

refinement · 0.2abstract state machines · 0.2
YearPublicationVenuePosition
2016 Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems
abstract
In this paper, we introduce a new formal modeling language that enriches the ground Abstract State Machine (ASM) formalism with the notion of time. Our temporal language is part of a larger HiTAsm language that also features hierarchical abstractions and is custom tailored for WCET analysis. The main differences with other ASM time languages is that HiTAsm correctness is proved using the same ASM metalanguage in which it is later integrated. The main purpose of this paper is to introduce the time in the HiTAsm and to prove its correctness.
Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton
 RTSS1