Demo Data from VLDB 2026 / reviewers in the wild / expert
Ayman M. Wahba
dblp:03/4870
· DBLP profile ↗
8ranked-venue papers
2as first author
0since 2021 · last 2016
0000-0002-7840-9469ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 1 first-authorSystems, architecture and hardware · 2 · 1 first-authorTheory of computation · 1Applied, interdisciplinary, general and emerging computing · 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.
| Software engineering, system software, and programming languages
1 paper |
Software maintenance and evolution · 50% Compilers and program optimization · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software maintenance and evolution
software portability |
0.2 | 1 | 2016 | Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) · IEEE Trans. Software Eng. 2016 |
Compilers and program optimization › program transformation
source-to-source transformation |
0.2 | 1 | 2016 | Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) · IEEE Trans. Software Eng. 2016 |
Methods — techniques the papers use, named apart from their topics
regular expressions · 0.2code transformation · 0.2XSLT · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis
Mohamed Hanafy 0001, Hazem Said, Ayman M. Wahba |
J. Electron. Test. | 3 |
| 2016 | Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)abstractMobile development companies aim to maximize the return on investments by making their mobile applications (Apps) available on different mobile platforms. Consequently, the same App is developed several times; each time the developer uses the programming languages and development tools of a specific platform. Therefore, there is a need to have cross-platform mobile applications development solutions that enable the developers to develop the App once and run it everywhere. The Integrated Cross-Platform Mobile Applications Development (ICPMD) solution is one of the attempts that enables the developers to use the most popular programming languages like Java for Android and C# for Windows Phone 8 (WP8). ICPMD is used to transform both the source code and user interface to another language to generate full Apps on the target platform. This paper extends ICPMD by proposing a new code conversion approach based on XSLT and Regular Expressions to ease the conversion process. In addition, it provides the assessment method to compare the ICPMD efficiency with competing approaches. Several Apps are converted from WP8 to Android and vice versa. The ICPMD evaluation results show reasonable improvement over commercial cross-platform mobile development tools (Titanium and Xamarin). Wafaa S. El-Kassas, Bassem Amin Abdullah, Ahmed H. Yousef, Ayman M. Wahba |
IEEE Trans. Software Eng. | 4 |
| 2009 | Automatic code generation from verified timed automata model
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah |
IADIS AC (1) | 2 |
| 2009 | Hybrid-Based Maintainability Impact Analysis for Evolving SystemsabstractSoftware maintenance becomes an integral part of software life cycle and constitutes the most important fraction of the total cost of the software lifecycle. Around 50–80 percent of the total lifecycle cost is consumed by maintenance for evolving system [35]. Thus systems with poor maintainability are difficult to modify and require more cost to maintain. This difficulty arises from the impact on the system components where the new requirements/goals will be implemented [9]. These new goals will result in modification of existing components and creation of new components. In this paper, we present the foundations for a new Hybrid-Based Maintainability Impact Analysis (HBMIA) methodology for assessing the impact of the new goals to be selected for implementation on new and existing system components. HBMIA uses not only the system history but it also gets benefit from the experts' experience. HBMIA balances between the system historical data and experts' data based on the system maturity and expert's experience for system components. A case study is performed to demonstrate the added value of the proposed HBMIA. Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba |
Int. J. Softw. Eng. Knowl. Eng. | 3 |
| 2007 | Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism
Ayman M. Wahba, Islam A. M. El-Maddah |
FDL | 1 |
| 2003 | TCTL-Based Verification of Industrial Processes
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
FDL | 2 |
| 1996 | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment
Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba |
FMCAD | 5 |
| 1996 | A method for automatic design error location and correction in combinational logic circuits
Ayman M. Wahba, Dominique Borrione |
J. Electron. Test. | 1 |