Sara Houhou

الانتماء : University of Biskra

7منشورات (انتماء جزائري)
11مجموع المنشورات
36الاستشهادات
3مؤشر h

الملف البحثي

لدى Sara Houhou 7 منشور(ات) مفهرسة (2017–2021). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «Information Systems» و«International Conference on Evaluation of Novel Approaches to Software Engineering». أكثر مقالاته استشهادًا هو «A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations» (2021)، وقد استُشهد به 13 مرة. 4 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 3 باحثًا على الأقل، منهم باحثون من مؤسسات في فرنسا.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Formal Methods in Verification
Business Process Modeling and Analysis
Model-Driven Software Engineering Techniques
Logic, programming, and type systems
Embedded Systems Design Techniques

المنشورات (7)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations
2021 · Information Systems · استُشهد به 13 مرة
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
2021 · Lecture notes in computer science · استُشهد به 8 مرة
A Direct Formal Semantics for BPMN Time-related Constructs
2021 · International Conference on Evaluation of Novel Approaches to Software Engineering · استُشهد به 3 مرة
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations
2019 · Lecture notes in computer science · استُشهد به 11 مرة
Transformation of High Level Specification Towards nesC Code
2018 · Advances in intelligent systems and computing
Framework for Wireless Sensor Networks Code Generation from Formal Specification
2017 · استُشهد به 1 مرة
A framework for automatic development of embedded system
2017 · International Conference on Mathematics and Information Technology (ICMIT)

مجلات النشر

Lecture notes in computer science × 2
Information Systems × 1
International Conference on Evaluation of Novel Approaches to Software Engineering × 1
Advances in intelligent systems and computing × 1
International Conference on Mathematics and Information Technology (ICMIT) × 1

المنشورات حسب السنة

20213
20191
20181
20172

التعاون العلمي

المؤسسات الشريكة : Centre National de la Recherche Scientifique · Sorbonne Université · Université Paris Nanterre · Université Paris Lumières · LIP6

بلدان المؤلفين المشاركين : فرنسا

المؤلفون المشاركون

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).