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

Rim Saddem-Yagoubi

dblp:277/4581 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
5since 2021 · last 2025
0000-0001-6663-5170ORCID · corroborated

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

Software engineering, systems software and programming languages · 4 · 2 first-author · 4 since 2021Theory of computation · 4 · 2 first-author · 4 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021

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
Requirements engineering and software design · 50% Program verification · 50%

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

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
business process modeling
0.512021
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework · FM 2021
Program verification
business process verification
0.512021
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework · FM 2021

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

formal verification · 0.5BPMN · 0.5
YearPublicationVenuePosition
2025 Extending DOLCE With Temporal Dimensions for Quality Ontology in The Context of Business Process Management
abstract
Ontologies play a critical role in structuring and sharing knowledge across diverse domains, particularly in quality management and business process modeling. Temporal concepts are essential to accurately represent the dynamic aspects of these processes. This paper extends the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) to integrate temporal dimensions into business process ontologies. Our approach includes the development of a dedicated time ontology, its alignment with BPMN (Business Process Model and Notation), an implementation of temporal properties using the Camunda Modeler tool, and a demonstration of its application in a clinical case study. By mapping temporal concepts such as intervals, deadlines, and delays to BPMN elements, we enable precise modeling of time-sensitive business processes.
Zohra Alyani, Rim Saddem-Yagoubi, Mohamed Turki, Karima Dhouib, Faïez Gargouri, Claudia Frydman
KES2
2025 Rail Requirements Tracking and Architectural Verification
Aroua Ben Daya, Rim Saddem-Yagoubi, Mohamed Taha Bennani
VECoS2
2025 Transformation of DES Formalisms with the Assistance of Generative AI
Celina Lemmouchi, Rim Saddem-Yagoubi
VECoS2
2024 ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario
Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel
VECoS1
2021 Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou
FM1