Kawtar Benghazi Akhlaki

	2012
22		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)
	2011
21		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
	2010
20		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
19		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
18		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
17		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
16		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
15		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)
	2009
14		Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera: Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218
13		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
	2008
12		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
11		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
10		Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki: Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170
	2007
9		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
8		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
7		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
6		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)
	2006
5		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
4		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
3		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
2		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
	2005
1		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

Coauthor Index

1	Manuel I. Capel (Manuel I. Capel Tuñón)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
2	Lawrence Chung	[15] [16] [20] [21]
3	Agustín Escámez	[3]
4	José Luis Garrido	[15] [16] [17] [20] [21]
5	Miguel J. Hornos	[14] [22]
6	María Visitación Hurtado (María Visitación Hurtado-Torres)	[13] [16] [18] [19] [21] [22]
7	Luis Eduardo Mendoza (Luis E. Mendoza Morales)	[2] [4] [6] [7] [8] [9] [10] [11] [12]
8	Manuel Noguera	[13] [14] [15] [16] [19] [21]
9	Ana Belén Pelegrina Ortiz	[17] [19] [22]
10	María A. Pérez	[11] [12]
11	María Luisa Rodríguez	[13] [17] [21] [22]
12	Carlos Rodríguez-Domínguez	[17] [22]
13	María José Rodríguez-Fórtiz	[22]
14	Tomás Ruiz-López	[20]
15	Nary Subramanian	[15] [21]
16	Sam Supakkul	[21]
17	Juan Antonio Holgado Terriza	[2] [3] [4] [5] [6] [7] [8]
18	Elsa Trigueros	[18]
19	Jose Manuel Zurita (José Manuel Zurita)	[18]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page