Kawtar Benghazi Akhlaki

Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz: Enabling correct design and formal analysis of Ambient Assisted Living systems. Journal of Systems and Software 85(3): 498-510 (2012)

Antonio Rico Ortega, Manuel Noguera, José Luis Garrido, Kawtar Benghazi Akhlaki, Lawrence Chung: Multi-Tenancy Multi-Target (MT2): A SaaS Architecture for the Cloud. CAiSE Workshops 2012: 214-227

Carlos Rodríguez-Domínguez, Tomás Ruiz-López, Kawtar Benghazi Akhlaki, José Luis Garrido: Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems. ISAmI 2012: 163-170

María Visitación Hurtado-Torres, Rubén Ramos Ferreira, Elsa Trigueros, Kawtar Benghazi Akhlaki, Manuel Noguera, Carlos Rodríguez-Domínguez: Entorno de Interacción Colaborativa mediante Debate Virtual. IEEE-RITA 6(4): 175-182 (2011)

Lawrence Chung, Sam Supakkul, Nary Subramanian, José Luis Garrido, Manuel Noguera, María Visitación Hurtado, María Luisa Rodríguez, Kawtar Benghazi Akhlaki: Goal-Oriented Software Architecting. Relating Software Requirements and Architectures 2011: 91-109

Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi Akhlaki: Designing high quality system/software architectures. Sci. Comput. Program. 75(8): 669-671 (2010)

Ana Belén Pelegrina Ortiz, Kawtar Benghazi Akhlaki, María Visitación Hurtado, Manuel Noguera: A Framework for the Semantic Representation of Business Processes within Business Organizational Models. EOMAS 2010: 79-94

Tomás Ruiz-López, José Luis Garrido, Kawtar Benghazi Akhlaki, Lawrence Chung: A Survey on Indoor Positioning Systems: Foreseeing a Quality Design. DCAI 2010: 373-380

Elsa Trigueros, María Visitación Hurtado, Kawtar Benghazi Akhlaki, Jose Manuel Zurita: An Agent-, Service-Based Platform Supporting Ontological Integration of Proficient Knowledge Managed in Decision Making. PAAMS (Special Sessions and Workshops) 2010: 331-338

Kawtar Benghazi Akhlaki, José Luis Garrido, Manuel Noguera, María Visitación Hurtado, Lawrence Chung: Extending and Formalizing UML 2.0 Activity Diagrams for the Specification of Time-Constrained Business Processes. RCIS 2010: 93-100

Ana Belén Pelegrina Ortiz, Carlos Rodríguez-Domínguez, María Luisa Rodríguez, Kawtar Benghazi Akhlaki, José Luis Garrido: Integrating Groupware Applications into Shared Workspaces. RCIS 2010: 557-568

Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera: Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218

Kawtar Benghazi Akhlaki, María Visitación Hurtado, María Luisa Rodríguez, Manuel Noguera: Applying Formal Verification Techniques to Ambient Assisted Living Systems. OTM Workshops 2009: 381-390

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki: A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) 2008: 86-93

Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki: Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225

Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki: Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007)

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki: Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) 2007: 205-211

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615

Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza: Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297

Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza: A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD 2006: 283-292

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25

Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel: CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón: Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) 2005: 193-198