| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui |
A formal approach for the development of reactive systems.  |
Information & Software Technology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. |
iiWAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf |
Evaluation of Personalization Strategies Based on Fuzzy Logic. |
ICALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf |
A fully personalization strategy of E-learning scenarios. |
Computers in Human Behavior |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri |
Using AToM3 for the Verification of Workflow Applications. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui |
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. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. |
NOTERE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni |
An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy. |
ICALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Ahlem Ben Younes |
Modeling and Verification of Reactive Systems Using STATEMATE and Event B. |
I. J. Comput. Appl. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Fatma Siala |
Event-B based Verification of Interaction Properties In Multi-Agent Systems. |
JSW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
Patterns for Modeling and Composing Workflows from Grid Services. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
MDA approach, Semantic Composition, Workflow, Grid Services, UML-Activity Diagram |
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
An MDA approach for composing grid services workflows. |
ICTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed |
Personalization of Learning Scenarios for Programming Languages. |
ICTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi |
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
UML AD, workflow applications, Formal verification, Specification, Event B |
| 1 | Leila Jemni Ben Ayed, Fatma Siala |
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Specificatin, Multi-agent Systems, Verification, Event B, AUML |
| 1 | Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed |
Event-B based invariant checking of secrecy in group key protocols. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Fatma Siala |
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
Extended UML activity diagram for composing Grid services workflows. |
CRiSIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk |
UML Class Diagram as a Navigational Support for E-Learning. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Fatma Siala |
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
Multi-Agent System, verification, specification, Event B, AUML |
| 1 | Olfa Mosbahi, Leila Jemni, Jacques Jaray |
A Formal Approach for the Development of Automated Systems. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni |
A Multi-Parameters Personalization Approach of Learning Scenarios. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
Transformation of B specifications into UML class diagrams and state machines. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
UML, state machine, B method, class diagram |
| 1 | Fathi Essalmi, Leila Jemni Ben Ayed |
Graphical UML View from Extended Backus-Naur Form Grammars. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed |
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouna Saad, Leila Jemni Ben Ayed |
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
A Specification and Validation Technique Based on STATEMATE and FNLOG. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")