Abdeslam En-Nouaary

According to our database1, Abdeslam En-Nouaary authored at least 46 papers between 1998 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Shortest Path Method for Hardware/Software Partitioning Problems.
Int. J. Inf. Syst. Soc. Chang., 2021

2020
Heuristic algorithms for multi-criteria hardware/software partitioning in embedded systems codesign.
Comput. Electr. Eng., 2020

2019
Practical Model Checking of a Home Area Network System: Case Study.
J. Comput. Inf. Technol., 2019

GO Game Inspired Algorithm for Hardware Software Partitioning in Multiprocessor Embedded Systems.
Comput. Inf. Sci., 2019

Model Checking of WebRTC Peer to Peer System.
Comput. Inf. Sci., 2019

2018
An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.
Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, 2018

A New Signaling Topology for Multiparty Web Real-time Video Conference Networks.
Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, 2018

Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models.
Proceedings of the Networked Systems - 6th International Conference, 2018

An AHP-Based Method to Fix Inconsistencies in UML Collaborative Modeling.
Proceedings of the 5th IEEE International Congress on Information Science and Technology, 2018

On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.
Proceedings of the 9th International Conference on Ambient Systems, 2018

2017
Towards a Framework for the Analysis and Evaluation of Computational Trust Models in Multi-agent Systems.
J. Softw., 2017

Managing Inconsistencies in UML Models: A Systematic Literature Review.
J. Softw., 2017

DataFlow Analysis in BPMN Models.
Proceedings of the ICEIS 2017, 2017

2016
Liveness and Reachability Analysis of BPMN Process Models.
J. Comput. Inf. Technol., 2016

Toward a Practical Method for Introducing and Evaluating Trust Learning Models in Open Multi-agent Systems.
Proceedings of the Advances in Ubiquitous Networking 2 - Proceedings of the UNet'16, Casablanca, Morocco, May 30, 2016

Analysis of common business rules in BPMN process models using business rule language.
Proceedings of the 11th International Conference on Intelligent Systems: Theories and Applications, 2016

Verification of Common Business Rules in BPMN Process Models.
Proceedings of the Networked Systems - 4th International Conference, 2016

A Formal Model for WebRTC Signaling Using SDL.
Proceedings of the Networked Systems - 4th International Conference, 2016

A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams.
Proceedings of the ICEIS 2016, 2016

Detecting and fixing UML model inconsistencies using constraints.
Proceedings of the 4th IEEE International Colloquium on Information Science and Technology, 2016

2015
Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML.
Int. J. Comput. Sci. Appl., 2015

Guest Editorial.
Int. J. Comput. Sci. Appl., 2015

A New Taxonomy of Inconsistencies in UML Models : with their Detection Methods for Better MDE.
Int. J. Comput. Sci. Appl., 2015

An Abstract Framework for Introducing Computational Trust Models in JADE-Based Multi-Agent Systems.
Proceedings of the Advances in Ubiquitous Networking, 2015

2014
Preface.
Proceedings of the 9th International Conference on Intelligent Systems: Theories and Applications, 2014

2013
A test purpose-based approach for testing timed input output automata.
Softw. Test. Verification Reliab., 2013

2010
An Integrated Framework for Automated Firewall Testing and Validation.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
A novel path protection scheme for MPLS networks using multi-path routing.
Comput. Networks, 2009

MPLS security: an approach for unicast and multicast environments.
Ann. des Télécommunications, 2009

On the Measurement of Negotiation Dialogue Games.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

2008
A scalable method for testing real-time systems.
Softw. Qual. J., 2008

A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

A New Approach for Security in MPLS Multicast Networks.
Proceedings of the Distributed Computing and Internet Technology, 2008

2007
A Multiple LSPs Approach to Secure Data in MPLS Networks.
J. Networks, 2007

Test selection criteria for real-time systems modeled as timed input-output automata.
Int. J. Web Inf. Syst., 2007

New Approach for EFSM-Based Passive Testing of Web Services.
Proceedings of the Testing of Software and Communicating Systems, 2007

Securing MPLS Networks with Multi-path Routing.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

A Multiple Tree Approach for Fault Tolerance in MPLS Networks.
Proceedings of the Distributed Computing and Internet Technology, 2007

2003
A Guided Method for Testing Timed Input Output Automata.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002
Timed Wp-Method: Testing Real-Time Systems.
IEEE Trans. Software Eng., 2002

2000
Testing embedded real-time systems.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

An Approach for Testing Real Time Protocol Entities.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999
Test development for communication protocols: towards automation.
Comput. Networks, 1999

From timed scenarios to SDL: specification, implementation and testing of real-time systems.
Proceedings of the SDL '99 The Next Millennium, 1999

Fault Coverage in Testing Real-Time Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

1998
Timed Test Cases Generation Based on State Characterization Technique.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998


  Loading...