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 VLDB 2026 / reviewers in the wild / expert

Wael M. Elseaidy

dblp:10/3690 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
0since 2021 · last 1997
—ORCID · none

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

Software engineering, systems software and programming languages · 2 · 2 first-authorApplied, 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
Electronic design automation · 50% Embedded and real-time systems · 50%
Theoretical computer science
1 paper
Automated reasoning and model checking · 50% Logic in computer science · 50%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test
formal verification		 0.011994
Verifying an Intelligent Structural Control System: A Case Study · RTSS 1994
Embedded and real-time systems
timing behavior		 0.011994
Verifying an Intelligent Structural Control System: A Case Study · RTSS 1994
Automated reasoning and model checking › model checking
finite-state verification		 0.011994
Verifying an Intelligent Structural Control System: A Case Study · RTSS 1994
Logic in computer science
process algebra		 0.011994
Verifying an Intelligent Structural Control System: A Case Study · RTSS 1994

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

temporal process algebra · 0.0model checking · 0.0
YearPublicationVenuePosition
1997 Modeling and Verifying Active Structural Control Systems
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
 Sci. Comput. Program.1
1995 A tool for modeling and verifying real-time systems
abstract
This paper describes a modeling and verification environment for real-time systems. The environment supports both a graphical design language (Modechart) and a textually based one (Temporal CCS) and implements different methodologies, including simulation, system minimization, and equivalence checking, for analyzing systems. The tool has been applied to the verification of active structural control systems.
Wael M. Elseaidy, Rance Cleaveland
 ICECCS1
1994 Verifying an Intelligent Structural Control System: A Case Study
abstract
Describes the formal verification of the timing properties of the design of an intelligent structural control system using the Concurrency Workbench, an automatic verification tool for finite-state processes. The high-level design of the system is first given in Modechart, a graphical specification language for real-time systems, and then translated into a temporal process algebra supported by the Workbench. The facilities provided by this tool are then used to analyze the system and ultimately show it to be correct.>
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
 RTSS1