Leila Jemni Ben Ayed
According to our database1,
Leila Jemni Ben Ayed
authored at least 69 papers
between 2000 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.
Proceedings of the Software Technologies - 13th International Conference, 2018
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
2017
A tool support for the adaptation of user interfaces based on a business rules management system.
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017
A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation.
Proceedings of the ICEIS 2017, 2017
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017
Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
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.
Proceedings of the Computer Information Systems and Industrial Management, 2017
2016
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.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015
Proceedings of the ICSOFT-PT 2015, 2015
Proceedings of the Design for Teaching and Learning in a Networked World, 2015
Proceedings of the CSEDU 2015, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
UML activity diagram to event-B: A model transformation approach based on the institution theory.
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.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014
Proceedings of the Emerging Issues in Smart Learning, 2014
A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People.
Proceedings of the ICEIS 2014, 2014
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
Proceedings of the Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data, 2013
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.
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.
Proceedings of the ICSOFT 2013, 2013
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning.
Proceedings of the KEOD 2013, 2013
Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013
2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
2011
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.
Proceedings of the iiWAS'2011, 2011
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.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.
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.
Proceedings of the ICSOFT 2010, 2010
Using AToM3 for the Verification of Workflow Applications.
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.
Proceedings of the ICSOFT 2010, 2010
An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy.
Proceedings of the ICALT 2010, 2010
2009
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.
Proceedings of the Modelling, 2009
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER.
Proceedings of the Modelling, 2009
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
An MDA approach for composing grid services workflows.
Proceedings of the ICTA 2009, 2009
Personalization of Learning Scenarios for Programming Languages.
Proceedings of the ICTA 2009, 2009
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.
Proceedings of the Modelling, 2008
Proceedings of the LCN 2008, 2008
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.
Proceedings of the Interactive Systems. Design, 2008
Proceedings of the CRiSIS '08, 2008
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
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.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
A Formal Approach for the Development of Automated Systems.
Proceedings of the ICSOFT 2007, 2007
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
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.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2002
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).
PhD thesis, 2000