Hanêne Ben-Abdallah

Orcid: 0000-0001-9215-4661

Affiliations:
  • University of Sfax


According to our database1, Hanêne Ben-Abdallah authored at least 199 papers between 1995 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Automatic evaluation of 3D volume infection rates: Application to the Covid-19 context.
Proceedings of the 6th International Conference on Advanced Technologies for Signal and Image Processing, 2022

Clustering techniques for software product line feature identification.
Proceedings of the 19th IEEE/ACS International Conference on Computer Systems and Applications, 2022

2021
An ontology-based approach for automatic goal requirements engineering in data warehouse design.
Int. J. Inf. Decis. Sci., 2021

A Software Product Line Design Based Approach for Real-time Scheduling of Reconfigurable Embedded Systems.
Comput. Hum. Behav., 2021

2020
Improving the Structural Size Measurement Method Through the Assessment of Nested (Multi-Level) Control Structures in UML Sequence Diagram.
Proceedings of the Joint Proceedings of the 30th International Workshop on Software Measurement and the 15th International Conference on Software Process and Product Measurement (IWSM Mensura 2020), 2020

An in-Depth Requirements Change Evaluation Process using Functional and Structural Size Measures in the Context of Agile Software Development.
Proceedings of the 15th International Conference on Software Technologies, 2020

2019
Comprehensive evaluation of skeleton features-based fall detection from Microsoft Kinect v2.
Signal Image Video Process., 2019

Recovering semantic traceability between requirements and design for change impact analysis.
Innov. Syst. Softw. Eng., 2019

Towards functional change decision support based on COSMIC FSM method.
Inf. Softw. Technol., 2019

A Fuzzy-Based Approach for Identifying Candidate Business Processes for Socialization.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2019

Enhancing the involvement of decision makers in data mart design.
Int. J. Data Anal. Tech. Strateg., 2019

CA4BPS: an end-to-end context-based approach for business process socialisation.
Int. J. Bus. Process. Integr. Manag., 2019

Business process outsourcing to cloud containers: How to find the optimal deployment?
Future Gener. Comput. Syst., 2019

MDCUT2: a multi-density clustering algorithm with automatic detection of density variation in data with noise.
Distributed Parallel Databases, 2019

Improving the quality of Business Process Models: Lesson learned from the State of the Art.
Bus. Process. Manag. J., 2019

Evaluating Software Security Change Requests: A COSMIC-Based Quantification Approach.
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

From an Annotated BPMN Model to a Use Case Diagram: DESTINY Methodology.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2019

A COSMIC-Based Approach for Verifying the Conformity of BPMN, BPEL and Component Models.
Proceedings of the Business Information Systems - 22nd International Conference, 2019

2018
Optimal Deployment of Configurable Business Processes in Cloud Federations.
IEEE Trans. Netw. Serv. Manag., 2018

A model-driven development approach for context-aware systems.
Softw. Syst. Model., 2018

Optimization algorithms for the disjunctively constrained knapsack problem.
Soft Comput., 2018

Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications.
Sci. Comput. Program., 2018

FC4CD: a new SOA-based Focused Crawler for Cloud service Discovery.
Computing, 2018

Feature Model Synthesis from Language-Independent Functional Descriptions.
Proceedings of the 16th IEEE International Conference on Software Engineering Research, 2018

From a BPMN Model to an Aligned UML Analysis Model.
Proceedings of the 13th International Conference on Software Technologies, 2018

Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process Models.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Designing BP-IS Aligned Models: An MDA-based Transformation Methodology.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Towards an Approach for the Evaluation of the Quality of Business Process Models.
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

Skin Lesion Segmentation Using Multiple Density Clustering Algorithm MDCUT And Region Growing.
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

2017
Functional change impact analysis in use cases: An approach based on COSMIC functional size measurement.
Sci. Comput. Program., 2017

A guideline for software architecture selection based on ISO 25010 quality related characteristics.
Int. J. Syst. Assur. Eng. Manag., 2017

Probabilistic Tabu search with multiple neighborhoods for the Disjunctively Constrained Knapsack Problem.
RAIRO Oper. Res., 2017

Unsupervised varied density based clustering algorithm using spline.
Pattern Recognit. Lett., 2017

Une approche pour la prise de décision d'adaptation à base de logique floue pour les SaaS Composites.
Ingénierie des Systèmes d Inf., 2017

UML models change impact analysis using a text similarity technique.
IET Softw., 2017

Finger Surfaces Recognition Using Rank Level Fusion.
Comput. J., 2017

An end-to-end framework for context-aware business process outsourcing to the cloud.
Comput. Electr. Eng., 2017

A methodology for the semantic and structural restructuring of BPMN models.
Bus. Process. Manag. J., 2017

FallFree: Multiple Fall Scenario Dataset of Cane Users for Monitoring Applications Using Kinect.
Proceedings of the 13th International Conference on Signal-Image Technology & Internet-Based Systems, 2017

Identifying and localizing the inter-consistency errors among UML use cases and activity diagrams: An approach based on functional and structural size measurements.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

From VM to Container: A Linear Program for Outsourcing a Business Process to Cloud Containers.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Watchful-Eye: A 3D Skeleton-Based System for Fall Detection of Physically-Disabled Cane Users.
Proceedings of the Wireless Mobile Communication and Healthcare, 2017

A rapid measurement procedure for sizing web and mobile applications based on COSMIC FSM method.
Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, 2017

Evaluating SPL Quality with Metrics.
Proceedings of the Intelligent Systems Design and Applications, 2017

Application of Fuzzy Logic to Assess the Quality of BPMN Models.
Proceedings of the Software Technologies - 12th International Joint Conference, 2017

A Fuzzy Logic-based Approach for Assessing the Quality of Business Process Models.
Proceedings of the 12th International Conference on Software Technologies, 2017

Analyzing Functional Changes in BPMN Models using COSMIC.
Proceedings of the 12th International Conference on Software Technologies, 2017

A New Approach for Traceability between UML Models.
Proceedings of the 12th International Conference on Software Technologies, 2017

EVARES: A Quality-driven Refactoring Method for Business Process Models.
Proceedings of the ICEIS 2017, 2017

Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

A Framework for Cloud Selection Based on Business Process Profile.
Proceedings of the Information Systems, 2017

Business Adaptation for BPaaS Using Fuzzy Logic Systems.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
Toward the automation of a QoS-driven SLA establishment in the Cloud.
Serv. Oriented Comput. Appl., 2016

Adaptive moving shadow detection and removal by new semi-supervised learning technique.
Multim. Tools Appl., 2016

Change impact analysis for software product lines.
J. King Saud Univ. Comput. Inf. Sci., 2016

A natural language-based approach for a semi-automatic data mart design and ETL generation.
J. Decis. Syst., 2016

Predicting the existence of design patterns based on semantics and metrics.
Int. Arab J. Inf. Technol., 2016

Mining Feature Models from Functional Requirements.
Comput. J., 2016

Towards an Autonomic Outsourcing to the Cloud Decision.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Variability modeling with a SPL-UML profile.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Evaluating Security in Web Application Design Using Functional and Structural Size Measurements.
Proceedings of the 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2016

Towards a meta-modeling approach for social business process requirements capture.
Proceedings of the 18th International Conference on Information Integration and Web-based Applications and Services, 2016

Business Entity Warehouse: A New Design Method for Decision Support Systems from Business Entities.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

A Mobile-Based Obstacle Detection Method: Application to the Assistance of Visually Impaired People.
Proceedings of the Neural Information Processing - 23rd International Conference, 2016

Analyzing the Risk of Authenticity Violation Based on the Structural and Functional Sizes of UML Sequence Diagrams.
Proceedings of the Risks and Security of Internet and Systems, 2016

Polyhedral analysis for the disjunctively constrained Knapsack Problem.
Proceedings of the International Conference on Control, 2016

ENVISION: Assisted Navigation of Visually Impaired Smartphone Users.
Proceedings of the International Conference on ENTERprise Information Systems/International Conference on Project MANagement/International Conference on Health and Social Care Information Systems and Technologies, 2016

Data warehousing design: Automatic verification of conformity and summarizability constraints.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Predicting the functional change status in UML activity diagram from the use case diagram.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

An UML class recommender system for software design.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

A Comprehensive Framework for Business Process Outsourcing to the Cloud.
Proceedings of the IEEE International Conference on Services Computing, 2016

A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
The design of valid multidimensional star schemas assisted by repair solutions.
Vietnam. J. Comput. Sci., 2015

An Interactive Design Pattern Selection Method.
J. Univers. Comput. Sci., 2015

Using metric-based filtering to improve design pattern detection approaches.
Innov. Syst. Softw. Eng., 2015

A measurement method for sizing the structure of UML sequence diagrams.
Inf. Softw. Technol., 2015

A decision-making method for business process outsourcing to the cloud based on business motivation model and AHP.
Int. J. Cloud Comput., 2015

A bio-inspired hierarchical clustering algorithm with backtracking strategy.
Appl. Intell., 2015

CQV-UML Tool: a tool for managing the impact of change on UML models.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Quantitative Functional Change Impact Analysis in Activity Diagrams: A COSMIC-Based Approach.
Proceedings of the Software Measurement, 2015

Specifying Business Process Outsourcing Requirements.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Cloud Description Ontology for Service Discovery and Selection.
Proceedings of the ICSOFT-EA 2015, 2015

Towards Outsource-ability Enabled BPMN.
Proceedings of the ICSOFT-EA 2015, 2015

Semantic and Structural Performer Clustering in BPMN Models Transformed into Social Network Models.
Proceedings of the ICSOFT-EA 2015, 2015

Change Effort Estimation based on UML Diagrams Application in UCP and COCOMOII.
Proceedings of the ICSOFT-EA 2015, 2015

Enhancing Business Processes with Web 2.0 Features.
Proceedings of the ICE-B 2015, 2015

Measurement Framework for Business Process Outsourcing to the Cloud.
Proceedings of the ICE-B 2015, 2015

Business Process Model Matching: An Approach based on Semantics and Structure.
Proceedings of the ICE-B 2015, 2015

GSM Model Construction from Enterprise Models.
Proceedings of the ICE-B 2015, 2015

SaaS Cloud Provider Management Framework.
Proceedings of the ICE-B 2015, 2015

Combined MPEG7 Color Descriptors for Image Classification: Bypassing the Training Phase.
Proceedings of the Pattern Recognition and Image Analysis - 7th Iberian Conference, 2015

A Real-time Scheduling of Reconfigurable OS Tasks with a Bottom-up SPL Design Approach.
Proceedings of the ENASE 2015, 2015

Design and evaluation of competition-based hacking exercises.
Proceedings of the IEEE Global Engineering Education Conference, 2015

Business process outsourcing to the Cloud: What activity to outsource?
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

SPL-UML: Software product lines design language.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Overview of IaaS monitoring tools.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Modeling a secure cloud data warehouse with SoaML.
Proceedings of the 11th International Conference on Information Assurance and Security, 2015

Integrating semantics and structural information for BPMN model refactoring.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

Adaptive security for Cloud data warehouse as a service.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014
Literature review of reuse in business process modeling.
Softw. Syst. Model., 2014

Selection of discriminative sub-regions for palmprint recognition.
Multim. Tools Appl., 2014

A survey of data warehouse security.
Ingénierie des Systèmes d Inf., 2014

Feature model recovery from product variants based on a cloning technique.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A Bottom Up SPL Design Method.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Reuse of Semantic Business Process Patterns.
Proceedings of the ICSOFT-EA 2014, 2014

A Generic Metamodel for Context-Aware Applications.
Proceedings of the Progress in Systems Engineering, 2014

Design test process in component-based software engineering: an analysis of requirements scalability.
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014

QoS based Resource Allocation and Service Selection in the Cloud.
Proceedings of the ICE-B 2014, 2014

Assisting Business Process Outsourcing to the Cloud.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Context-Aware Decentralization Approach for Adaptive BPEL Process in Cloud.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Dynamic and Adaptive Topology-Aware Load Balancing for Grids.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

A framework for IaaS-to-SaaS monitoring of BPEL processes in the Cloud: Design and evaluation.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

A Context Based Scheduling Approach for Adaptive Business Process in the Cloud.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
On line background modeling for moving object segmentation in dynamic scenes.
Multim. Tools Appl., 2013

Evaluation of an Automated Multi-phase Approach for Patterns Discovery.
Int. J. Softw. Eng. Knowl. Eng., 2013

An Improved Lane Detection and Tracking Method for Lane Departure Warning Systems.
Int. J. Comput. Vis. Image Process., 2013

Data-mining process: application for hand detection in contact free settings.
IET Image Process., 2013

A Decision Method for Business Process Outsourcing Based on Enterprise Context.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Data Mining-based Facial Expressions Recognition System.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

EiserWebs: An evaluation tool for interactive systems based on Web services.
Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

Feature Model Extraction from Product Source Codes based on the Semantic Aspect.
Proceedings of the ICSOFT 2013, 2013

A Business Goals Centric Method for Automatic DW Design from UML Models .
Proceedings of the ICSOFT 2013, 2013

Mutual information-based facial expression recognition.
Proceedings of the Sixth International Conference on Machine Vision, 2013

A Meta Model for Monitoring Requirements in Cloud Environnment.
Proceedings of the ICEIS 2013, 2013

P-UML - A Pattern Design Language with a Formal Semantics.
Proceedings of the ICEIS 2013, 2013

Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

Analyzing UML Activity and Component Diagrams - An Approach based on COSMIC Functional Size Measurement.
Proceedings of the ENASE 2013, 2013

Contactless hand detection in complex image based on data-mining process.
Proceedings of the ACS International Conference on Computer Systems and Applications, 2013

Real-Time Face Pose Estimation in Challenging Environments.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2013

2012
Automatic approach for generating ETL operators
CoRR, 2012

Verification of Security Coherence in Data Warehouse Designs.
Proceedings of the Trust, Privacy and Security in Digital Business, 2012

A Design Pattern Detection Approach Based on Semantics.
Proceedings of the Software Engineering Research, 2012

Real Time Face Detection Based on Motion and Skin Color Information.
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Sfax-Miracl Hand Database for Contactless Hand Biometrics Applications.
Proceedings of the Image and Signal Processing - 5th International Conference, 2012

Tracking Moving Objects in Road Traffic Sequences.
Proceedings of the Image and Signal Processing - 5th International Conference, 2012

Cast Shadow Detection Based on Semi-supervised Learning.
Proceedings of the Image Analysis and Recognition - 9th International Conference, 2012

Detection of Semantic Relations between Business Process Activity Labels.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 3, Wroclaw, Poland, 28 June, 2012

Multi-constraints Face Detect-Track System.
Proceedings of the Computer Information Systems and Industrial Management, 2012

2011
Modélisation et analyse dans les entrepôts de données actifs.
Tech. Sci. Informatiques, 2011

L'algorithme CAC : des fourmis artificielles pour la classification automatique.
Rev. d'Intelligence Artif., 2011

A Comparative Study of Proposed Moving Object Detection Methods.
J. Next Gener. Inf. Technol., 2011

Sécurisation des entrepôts de données contre les inférences précises et partielles.
Ingénierie des Systèmes d Inf., 2011

Éditorial.
Ingénierie des Systèmes d Inf., 2011

A Decision Making Ontology Building Process for Analytical Requirements Elicitation.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Clustering Aggregation for Improving Ant Based Clustering.
Proceedings of the Advances in Swarm Intelligence - Second International Conference, 2011

Securing Data Warehouses: A Semi-automatic Approach for Inference Prevention at the Design Level.
Proceedings of the Model and Data Engineering - First International Conference, 2011

A Lane Detection and Tracking Method for Driver Assistance System.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

A generic obstacle detection method for collision avoidance.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

A Decision-Making Ontology for Analytical Requirements Elicitation.
Proceedings of the Computer and Information Sciences II, 2011

Semantic Design Patterns for Business Processes.
Proceedings of the ICSOFT 2011, 2011

A Video Grammar-Based Approach for TV News Localization and Intra-structure Identification in TV Streams.
Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

A Comparative Study of Vision-Based Lane Detection Methods.
Proceedings of the Advances Concepts for Intelligent Vision Systems, 2011

2010
Modélisation multidimensionnelle de documents XML centrés-données.
J. Decis. Syst., 2010

SVE: an integrated system for soccer video edition.
Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, 2010

Modeling Conflict of Interest in the Design of Secure Data Warehouses.
Proceedings of the KEOD 2010, 2010

Sécurisation des entrepôts de données contre les inférences en utilisant les réseaux Bayésiens.
Proceedings of the Actes des 6èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2010

Validation formelle de schéma multidimensionnel vis à vis de sa source.
Proceedings of the Actes des 6èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2010

Accurate Background Modeling for Moving Object Detection in a Dynamic Scene.
Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, 2010

A New Approach for Pattern Problem Detection.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

A Tool for Evaluationg the Quality of Business Process Models.
Proceedings of the INFORMATIK 2010 - Business Process and Service Science - Proceedings of ISSS and BPSC, September 27, 2010

2009
Multidimensional concept extraction and validation from OLAP requirements in NL.
Proceedings of the 5th International Conference on Natural Language Processing and Knowledge Engineering, 2009

A Hybrid Approach for Data Mart Schema Design from NL-OLAP Requirements.
Proceedings of the Natural Language Processing and Information Systems, 2009

A new approach for TV program identification based on video grammar.
Proceedings of the MoMM'2009, 2009

A novel approach for off-line Arabic writer identification based on stroke feature combination.
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

Functional Size of Use Case Diagrams: A Fine-Grain Measurement.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Structural and Behavioral Detection of Design Patterns.
Proceedings of the Advances in Software Engineering, 2009

An Effective Combination of MPP Contour-Based Features for Off-Line Text-Independent Arabic Writer Identification.
Proceedings of the Signal Processing, Image Processing and Pattern Recognition, 2009

Artificial Ants for Clustering with Adaptive Aggregation Conditions: Application to Image Clustering.
Proceedings of the Third Asia International Conference on Modelling & Simulation, 2009

An ant-based algorithm for clustering.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

An Artificial Vision-Based Lane Detection Algorithm.
Proceedings of the 2nd International Conference on Computer Science and its Applications, 2009

2008
Towards an agent based framework for the design of secure web services.
Proceedings of the 5th ACM Workshop On Secure Web Services, 2008

Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept.
Proceedings of the ICEIS 2008, 2008

XML Source Preparation for Building Data Warehouses.
Proceedings of the International Conference on Enterprise Information Systems and Web Technologies, 2008

Du XML au multidimensionnel : Conception de magasins de données.
Proceedings of the Actes des 4èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2008

2006
Réutilisation des patrons en étoile.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

Validation des Besoins dans les Modèles UML2.0.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

Extending UML to Guide Design Pattern Reuse.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Towards an Automatic Data Mart Design.
Proceedings of the ICEIS 2005, 2005

Towards a rigorous architectural reuse.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004
A UML based Framework Design Method.
J. Object Technol., 2004

F-UML Tool for the formal design of frameworks.
Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 2004

UML Model Verification Through Diagram Dependency Relationships.
Proceedings of the ICEIS 2004, 2004

2003
Formalizing the Framework Design Language F-UML.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002
Stepwise framework design by application unification.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Design of a Framework for Electronic Commerce Brokers.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
A UML based Design Language for Framework Reuse.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Script alignment based video retrieval.
Proceedings of the Extraction et gestion des connaissances (EGC'2001), 2001

1999
Specification and Analysis of Real-Time Systems with PARAGON.
Ann. Softw. Eng., 1999

Formally specified monitoring of temporal properties.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.
Real Time Syst., 1998

A Graphical Language for Specifying and Analyzing Real-Time Systems.
Integr. Comput. Aided Eng., 1998

MESA: Support for Scenario-Based Design of Concurrent Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Timing Constraints in Message Sequence Chart Specifications.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
Schedulability and safety analysis in the graphical communicating shared resources.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995


  Loading...