Leila Ben Ayed

Manel Fathalli

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Cloud Adapted Workflow e-Assessment System: Cloud-AWAS.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Modeling Approach for Flexible Workflow Applications of Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users.

[BibT_eX]

[DOI]

Proceedings of the Computer Information Systems and Industrial Management, 2017

A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows.

[BibT_eX]

[DOI]

Leila Jemni BenAyed

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016

A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory.

[BibT_eX]

[DOI]

CoRR, 2016

Learning analytics for the development of adapted e-assessment workflow system.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2016

Towards a Generic UML Model to Support Designing Educational Role Playing Games.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016

A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

Message from the MVDA Workshop Organizers.

[BibT_eX]

[DOI]

Fevzi Belli

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Generalized metrics for the analysis of E-learning personalization strategies.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2015

Reverse engineering to create a generic workflow E-Assessment system.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015

A Model Driven Approach for Improving the Generation of Accessible User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-PT 2015, 2015

Using Cloud Computing for E-assessment Process Integration.

[BibT_eX]

[DOI]

Proceedings of the Design for Teaching and Learning in a Networked World, 2015

A Model Driven Approach for Design Flexible e-Assessment.

[BibT_eX]

[DOI]

Proceedings of the CSEDU 2015, 2015

Personalized and Generic E-assessment Process Based on Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Towards to Compose Cloud Service Flexible Workflow Applications.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Message from the MVDA 2015 Workshop Organizers.

[BibT_eX]

[DOI]

Fevzi Belli

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Learning technologies for people with disabilities.

[BibT_eX]

[DOI]

J. King Saud Univ. Comput. Inf. Sci., 2014

UML activity diagram to event-B: A model transformation approach based on the institution theory.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

Adapted e-Assessment System: Based on Workflow Refinement.

[BibT_eX]

[DOI]

Proceedings of the Emerging Issues in Smart Learning, 2014

A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2014, 2014

Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

A Meta-model Transformation from UML Activity Diagrams to Event-B Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Towards an Institutional Representation for the B Model Oriented Specification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Institution Theory for Services Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Automating the E-learning Personalization.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data, 2013

Towards accessible and personalized mobile learning for learners with disabilities.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

A specification approach based on adapted workflow for personalized e-assessment systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory.

[BibT_eX]

Proceedings of the ICSOFT 2013, 2013

Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2013, 2013

Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams.

[BibT_eX]

[DOI]

Rahma Jlassi

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

UML AD Refinement Patterns for Modeling Workflow Applications.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

A formal approach for the development of reactive systems.

[BibT_eX]

[DOI]

Olfa Mosbahi

Mohamed Khalgui

Inf. Softw. Technol., 2011

An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2011, 2011

Evaluation of Personalization Strategies Based on Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the ICALT 2011, 2011

A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Selection of appropriates E-learning personalization strategies from ontological perspectives.

[BibT_eX]

[DOI]

IxD&A, 2010

A fully personalization strategy of E-learning scenarios.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2010

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.

[BibT_eX]

[DOI]

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.

[BibT_eX]

Proceedings of the ICSOFT 2010, 2010

Using AToM3 for the Verification of Workflow Applications.

[BibT_eX]

Amin Ben Brahim Achouri

Proceedings of the ICSOFT 2010, 2010

An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B.

[BibT_eX]

Najet Hamdi

Proceedings of the ICSOFT 2010, 2010

An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy.

[BibT_eX]

[DOI]

Mohamed Jemni

Proceedings of the ICALT 2010, 2010

2009

Event-B based Verification of Interaction Properties In Multi-Agent Systems.

[BibT_eX]

[DOI]

J. Softw., 2009

Modeling and Verification of Reactive Systems Using STATEMATE and Event B.

[BibT_eX]

Int. J. Comput. Their Appl., 2009

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.

[BibT_eX]

Proceedings of the Modelling, 2009

An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER.

[BibT_eX]

Mohamed Nidhal Jelassi

Proceedings of the Modelling, 2009

UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

An MDA approach for composing grid services workflows.

[BibT_eX]

Proceedings of the ICTA 2009, 2009

Personalization of Learning Scenarios for Programming Languages.

[BibT_eX]

Proceedings of the ICTA 2009, 2009

Patterns for Modeling and Composing Workflows from Grid Services.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008

An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.

[BibT_eX]

Proceedings of the Modelling, 2008

Event-B based invariant checking of secrecy in group key protocols.

[BibT_eX]

[DOI]

Amjad Gawanmeh

Sofiène Tahar

Proceedings of the LCN 2008, 2008

UML Class Diagram as a Navigational Support for E-Learning.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2008

Extended UML activity diagram for composing Grid services workflows.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS '08, 2008

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Formal Approach for the Development of Automated Systems.

[BibT_eX]

Olfa Mosbahi

Jacques Jaray

Proceedings of the ICSOFT 2007, 2007

A Multi-Parameters Personalization Approach of Learning Scenarios.

[BibT_eX]

[DOI]

Mohamed Jemni

Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Transformation of B specifications into UML class diagrams and state machines.

[BibT_eX]

[DOI]

Houda Fekih

Stephan Merz

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Graphical UML View from Extended Backus-Naur Form Grammars.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.

[BibT_eX]

[DOI]

Olfa Mosbahi

Jacques Jaray

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.

[BibT_eX]

[DOI]

Mouna Saad

Proceedings of the Automated Technology for Verification and Analysis, 2005

2002

A Specification and Validation Technique Based on STATEMATE and FNLOG.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

2000

Une approche formelle pour la spécification et la vérification des systèmes temps-réel. (A formal approach for the specification and the verification of real-time systems).

[BibT_eX]

[DOI]