| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi Akhlaki |
Designing high quality system/software architectures. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
safety, Ambient assisted living, timeliness |
| 1 | Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera |
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
Real-time, Communication Protocols, Deadlock-freeness |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki |
Compositional Model-Checking Verification of Critical Systems. |
ICEIS |
2008 |
DBLP DOI BibTeX RDF |
Critical software systems, Model-checking, Formal methods, Case study, Compositional verification |
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki |
Towards the Correctness Verifcation of Business Processes Modelled with UML. |
JISBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Towards UML-RT Behavioural Consistency. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki |
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")