Investigación Académica Academic Research البحث الأكاديمي

MSc Telecommunications Scala Formal Verification

Implementación en Scala de Monitores para Lógica LTL Dirigida por Eventos Scala Implementation of Monitors for Event-Driven LTL Logic تنفيذ مراقبين بلغة سكالا للمنطق الزمني الخطي الموجه بالأحداث

Este trabajo presenta una implementación práctica de monitores de tiempo de ejecución para verificar propiedades especificadas en Lógica Temporal Lineal (LTL). Desarrollado en Scala, el sistema permite la verificación formal de trazas de eventos en sistemas distribuidos, con aplicaciones directas en validación de protocolos y SDN. This work presents a practical implementation of runtime monitors to verify properties specified in Linear Temporal Logic (LTL). Developed in Scala, the system enables formal verification of event traces in distributed systems, with direct applications in protocol validation and SDN. يقدم هذا العمل تنفيذًا عمليًا لمراقبي زمن التشغيل للتحقق من الخصائص المحددة في المنطق الزمني الخطي (LTL). تم تطوير النظام بلغة سكالا، ويسمح بالتحقق الرسمي من تتبعات الأحداث في الأنظمة الموزعة، مع تطبيقات مباشرة في التحقق من صحة البروتوكولات والشبكات المعرفة بالبرمجيات (SDN).

MSc Mathematics Complex Analysis

Crecimiento de la Derivada de Productos de Blaschke Growth of the Derivative of Blaschke Products نمو مشتقة منتجات بلاشكي

Estudio en profundidad dentro del campo del Análisis Complejo. La tesis investiga las propiedades asintóticas y el comportamiento en la frontera de las derivadas de los Productos de Blaschke en el disco unidad, aportando nuevos resultados sobre su acotación. In-depth study within the field of Complex Analysis. The thesis investigates the asymptotic properties and boundary behavior of the derivatives of Blaschke Products in the unit disk, providing new results on their boundedness. دراسة متعمقة في مجال التحليل المركب. تبحث الأطروحة في الخصائص المقاربة والسلوك عند الحدود لمشتقات منتجات بلاشكي في قرص الوحدة، مما يوفر نتائج جديدة حول محدوديتها.