Towards a Framework for Mapping Between UML/OCL and XML/XQuery. - Ahmed Gaafar; Sherif Sakr (UML, 2004)

BPMN-Q: A Language to Query Business Processes. - Ahmed Awad 001 (EMISA, 2007)

Structural Detection of Deadlocks in Business Process Models. - Ahmed Awad 001; Frank Puhlmann (BIS, 2008)

Efficient Compliance Checking Using BPMN-Q and Temporal Logic. - Ahmed Awad 001; Gero Decker; Mathias Weske (BPM, 2008)

Semantic Querying of Business Process Models. - Ahmed Awad 001; Artem Polyvyanyy; Mathias Weske (EDOC, 2008)

Diagnosing and Repairing Data Anomalies in Process Models. - Ahmed Awad 001; Gero Decker; Niels Lohmann (Business Process Management Workshops, 2009)

Visualization of Compliance Violation in Business Process Models. - Ahmed Awad 001; Mathias Weske (Business Process Management Workshops, 2009)

Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. - Ahmed Awad 001; Matthias Weidlich 001; Mathias Weske (ICSOC/ServiceWave, 2009)

Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach. - Ahmed Awad 001; Sergey Smirnov 002; Mathias Weske (OTM Conferences (1), 2009)

Consistency Checking of Compliance Rules. - Ahmed Awad 001; Matthias Weidlich 001; Mathias Weske (BIS, 2010)

On Maintaining Consistency of Process Model Variants. - Emilian Pascalau; Ahmed Awad 001; Sherif Sakr; Mathias Weske (Business Process Management Workshops, 2010)

Querying Graph-Based Repositories of Business Process Models. - Ahmed Awad 001; Sherif Sakr (DASFAA Workshops, 2010)

A framework for querying graph-based business process models. - Sherif Sakr; Ahmed Awad 001 (WWW, 2010)

Visualization of Business Process Modeling Anti Patterns. - Ralf Laue 001; Ahmed Awad 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Towards Instant Monitoring of Business Process Compliance. - Ahmed Awad 001; Emilian Pascalau; Mathias Weske (EMISA Forum, 2010)

Discovering Linkage Patterns among Web Services Using Business Process Knowledge. - Mohammed AbuJarour; Ahmed Awad 001 (IEEE SCC, 2011)

BPModelMasher: Manage Your Process Variants Effectively. - Sherif Sakr; Emilian Pascalau; Ahmed Awad 001; Mathias Weske (BPM (Demos), 2011)

An Iterative Approach for Business Process Template Synthesis from Compliance Rules. - Ahmed Awad 001; Rajeev Goré; James Thomson 001; Matthias Weidlich 001 (CAiSE, 2011)

Automatic Generation of a Data-Centered View of Business Processes. - Cristina Cabanillas; Manuel Resinas; Antonio Ruiz Cortés; Ahmed Awad 001 (CAiSE, 2011)

Business Process Configuration Wizard and Consistency Checker for BPMN 2.0. - Andreas Rogge-Solti; Matthias Kunze 001; Ahmed Awad 001; Mathias Weske (BMMDS/EMMSAD, 2011)

Enriched Service Descriptions Using Business Process Configurations. - Mohammed AbuJarour; Ahmed Awad 001 (EMISA, 2011)

Design by Selection: A Reuse-Based Approach for Business Process Modeling. - Ahmed Awad 001; Sherif Sakr; Matthias Kunze 001; Mathias Weske (ER, 2011)

Revealing Hidden Relations among Web Services Using Business Process Knowledge. - Ahmed Awad 001; Mohammed AbuJarour (ICSOC, 2011)

Partial process models to manage business process variants. - Emilian Pascalau; Ahmed Awad 001; Sherif Sakr; Mathias Weske (Int. J. Bus. Process. Integr. Manag., 2011)

Visually specifying compliance rules and explaining their violations for business processes. - Ahmed Awad 001; Matthias Weidlich 001; Mathias Weske (J. Vis. Lang. Comput., 2011)

Visual suggestions for improvements in business process diagrams. - Ralf Laue 001; Ahmed Awad 001 (J. Vis. Lang. Comput., 2011)

Querying Process Models Repositories by Aggregated Graph Search. - Sherif Sakr; Ahmed Awad 001; Matthias Kunze 001 (Business Process Management Workshops, 2012)

On efficient processing of BPMN-Q queries. - Ahmed Awad 001; Sherif Sakr (Comput. Ind., 2012)

An iterative approach to synthesize business process templates from compliance rules. - Ahmed Awad 001; Rajeev Goré; Zhe Hou; James Thomson 001; Matthias Weidlich 001 (Inf. Syst., 2012)

Web Services and Business Processes: A Round Trip. - Mohammed AbuJarour; Ahmed Awad 001 (Web Services Foundations, 2014)

Context-Based Variant Generation of Business Process Models. - Ahmed Tealeb; Ahmed Awad 001; Galal H. Galal-Edeen (BMMDS/EMMSAD, 2014)

Runtime deduction of case ID for unlabeled business process execution events. - Iman M. A. Helal; Ahmed Awad 001; Ali El Bastawissi (AICCSA, 2015)

Extracting accurate performance indicators from execution logs using process models. - Nesma M. Zaki; Ahmed Awad 001; Ehab Ezat (AICCSA, 2015)

BP-MaaS: A Runtime Compliance-Monitoring System for Business Processes. - Ahmed Barnawi; Ahmed Awad 001; Amal Elgammal; Radwa El Shawi; Abduallah Almalaise; Sherif Sakr (BPM (Demos), 2015)

Deducing Case IDs for Unlabeled Event Logs. - Dina Bayomie; Iman M. A. Helal; Ahmed Awad 001; Ehab Ezat; Ali El Bastawissi (Business Process Management Workshops, 2015)

Towards RAM-Based Variant Generation of Business Process Models. - Ahmed Tealeb; Ahmed Awad 001; Galal H. Galal-Edeen (ICSOC Workshops, 2015)

Runtime detection of business process compliance violations: an approach based on anti patterns. - Ahmed Awad 001; Ahmed Barnawi; Amal Elgammal; Radwa El Shawi; Abduallah Almalaise; Sherif Sakr (SAC, 2015)

Runtime self-monitoring approach of business process compliance in cloud environments. - Ahmed Barnawi; Ahmed Awad 001; Amal Elgammal; Radwa El Shawi; Abduallah Almalaise; Sherif Sakr (Clust. Comput., 2015)

Correlating Unlabeled Events from Cyclic Business Processes Execution. - Dina Bayomie; Ahmed Awad 001; Ehab Ezat (CAiSE, 2016)

Analyzing and repairing overlapping work items in process logs. - Ahmed Awad 001; Nesma M. Zaki; Chiara Di Francescomarino (Inf. Softw. Technol., 2016)

Enabling Compliance Monitoring for Process Execution Engines. - Marwa Hussein; Ahmed Awad 001; Osman Hegazy (RADAR+EMISA@CAiSE, 2017)

Extending BPSim Based on Workflow Resource Patterns. - Nehal Afifi; Ahmed Awad 001; Hisham M. Abdelsalam (BIS, 2018)

RBPSim: A Resource-aware Extension of BPSim Using Workflow Resource Patterns. - Nehal Afifi; Ahmed Awad 001; Hisham M. Abdelsalam (ZEUS, 2018)

Business Process Analytics and Big Data Systems: A Roadmap to Bridge the Gap. - Sherif Sakr; Zakaria Maamar; Ahmed Awad 001; Boualem Benatallah; Wil M. P. van der Aalst (IEEE Access, 2018)

Calculation of Average Road Speed Based on Car-to-Car Messaging. - Ahmed Ramzy; Ahmed Awad 001; Amr A. Kamel; Osman Hegazy; Sherif Sakr (BigComp, 2019)

D ^2 2 IA: Stream Analytics on User-Defined Event Intervals. - Ahmed Awad 001; Riccardo Tommasini 001; Mahmoud Kamel; Emanuele Della Valle; Sherif Sakr (CAiSE, 2019)

Adaptive Watermarks: A Concept Drift-based Approach for Predicting Event-Time Progress in Data Streams. - Ahmed Awad 001; Jonas Traub; Sherif Sakr (EDBT, 2019)

MINARET: A Recommendation Framework for Scientific Reviewers. - Sherif Sakr; Mohamed Ragab 001; Mohamed Maher; Ahmed Awad 001 (EDBT, 2019)

Big Stream Processing Systems: An Experimental Evaluation. - Elkhan Shahverdi; Ahmed Awad 001; Sherif Sakr (ICDE Workshops, 2019)

Correction to: Runtime self-monitoring approach of business process compliance in cloud environments. - Ahmed Barnawi; Ahmed Awad 001; Amal Elgammal; Radwa El Shawi; Abduallah Almalaise; Sherif Sakr (Clust. Comput., 2019)

DISGD: A Distributed Shared-nothing Matrix Factorization for Large Scale Online Recommender Systems. - Heidy Hazem; Ahmed Awad 001; Ahmed Hassan Yousef; Sherif Sakr (EDBT, 2020)

Process Mining over Unordered Event Streams. - Ahmed Awad 001; Matthias Weidlich 001; Sherif Sakr (ICPM, 2020)

Predicting Remaining Cycle Time from Ongoing Cases: A Survival Analysis-Based Approach. - Fadi Baskharon; Ahmed Awad 001; Chiara Di Francescomarino (ICPM Workshops, 2020)

Correlating Unlabeled Events at Runtime. - Iman M. A. Helal; Ahmed Awad 001 (CoRR, 2020)

Efficient Approximate Conformance Checking Using Trie Data Structures. - Ahmed Awad 001; Kristo Raun; Matthias Weidlich 001 (ICPM, 2021)

A Novel Hadoop Security Model for Addressing Malicious Collusive Workers. - Amr M. Sauber; Ahmed Awad 001; Amr F. Shawish; Passent Mohammed El-Kafrawy (Comput. Intell. Neurosci., 2021)

Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs. - Adriano Augusto; Ahmed Awad 001; Marlon Dumas (CoRR, 2021)

SDDM: an interpretable statistical concept drift detection method for data streams. - Simona Micevska; Ahmed Awad 001; Sherif Sakr (J. Intell. Inf. Syst., 2021)

Benchmarking Concept Drift Detectors for Online Machine Learning. - Mahmoud Mahgoub; Hassan Moharram; Passent Elkafrawy; Ahmed Awad 001 (MEDI, 2022)

Efficient Checking of Timed Ordered Anti-patterns over Graph-Encoded Event Logs. - Nesma M. Zaki; Iman M. A. Helal; Ehab E. Hassanein; Ahmed Awad 001 (MEDI, 2022)

Optimizing ADWIN for steady streams. - Hassan Moharram; Ahmed Awad 001; Passent Mohammed El-Kafrawy (SAC, 2022)

A Distributed Real-Time Recommender System for Big Data Streams. - Heidy Hazem; Ahmed Awad 001; Ahmed Hassan Yousef (CoRR, 2022)

Efficient Checking of Timed Order Compliance Rules over Graph-encoded Event Logs. - Nesma M. Zaki; Iman M. A. Helal; Ahmed Awad 001; Ehab E. Hassanein (CoRR, 2022)

I Will Survive: An Online Conformance Checking Algorithm Using Decay Time. - Kristo Raun; Ahmed Awad 001 (CoRR, 2022)

D2IA: User-defined interval analytics on distributed streams. - Ahmed Awad 001; Riccardo Tommasini 001; Samuele Langhi; Mahmoud Kamel; Emanuele Della Valle; Sherif Sakr (Inf. Syst., 2022)

Online correlation for unlabeled process events: A flexible CEP-based approach. - Iman M. A. Helal; Ahmed Awad 001 (Inf. Syst., 2022)

A Decentralised Public Key Infrastructure for X-Road. - Mariia Bakhtina; Kin Long Leung; Raimundas Matulevicius; Ahmed Awad 001; Petr Svenda (ARES, 2023)

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. - Kristo Raun; Max Nielsen; Andrea Burattin; Ahmed Awad 001 (CAiSE, 2023)

Towards Scalable Process Mining Pipelines. - Belal Mohamed; Mohamed ElHelw; Ahmed Awad 001 (DASC/PiCom/CBDCom/CyberSciTech, 2023)

I Will Survive: An Event-driven Conformance Checking Approach Over Process Streams. - Kristo Raun; Riccardo Tommasini 001; Ahmed Awad 001 (DEBS, 2023)

Big Data Analytics from the Rich Cloud to the Frugal Edge. - Feras M. Awaysheh; Riccardo Tommasini 001; Ahmed Awad 001 (EDGE, 2023)

Keyed Watermarks: A Fine-grained Tracking of Event-time in Apache Flink. - Tawfik Yasser; Tamer Arafa; Mohamed El-Helw; Ahmed Awad 001 (NILES, 2023)

On the Shift to Decentralised Identity Management in Distributed Data Exchange Systems. - Mariia Bakhtina; Raimundas Matulevicius; Ahmed Awad 001; Petteri Kivimäki (SAC, 2023)

Adaptive Handling of Out-of-order Streams in Conformance Checking. - Kristo Raun; Riccardo Tommasini 001; Ahmed Awad 001 (DOLAP, 2024)

Validating Temporal Compliance Patterns: A Unified Approach with MTLf over various Data Models. - Nesma M. Zaki; Iman M. A. Helal; Ehab E. Hassanein; Ahmed Awad 001 (CoRR, 2024)

Keyed watermarks: A fine-grained watermark generation for Apache Flink. - Tawfik Yasser; Tamer Arafa; Mohamed ElHelw; Ahmed Awad 001 (Future Gener. Comput. Syst., 2025)

Back to the Order: Partial orders in streaming conformance checking. - Kristo Raun; Riccardo Tommasini 001; Ahmed Awad 001 (Inf. Syst., 2025)

BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing. - Ahmed Awad 001; Feras M. Awaysheh; Hugo A. López 001 (CoRR, 2025)