Rachida Dssouli

Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

2015

Computational logics and verification techniques of multi-agent commitments: survey.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2015

A service oriented broker-based approach for dynamic resource discovery in virtual networks.

[BibT_eX]

[DOI]

J. Cloud Comput., 2015

Decision making under subjective uncertainty in argumentation-based agent negotiation.

[BibT_eX]

[DOI]

Omar Marey

Ehsan Khosrowshahi Asl

Khalid Sultan

J. Ambient Intell. Humaniz. Comput., 2015

Formal Specification and Automatic Verification of Conditional Commitments.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2015

Real-Time Conditional Commitment Logic.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

A new information model towards context-aware service provisioning in the Internet-of-Things.

[BibT_eX]

[DOI]

Mohab Aly

Proceedings of the 18th International Conference on Intelligence in Next Generation Networks, 2015

Big Data Pre-processing: A Quality Framework.

[BibT_eX]

[DOI]

Ikbal Taleb

Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014

Conditional Commitments: Reasoning and Model Checking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Using model checking for Trivial File Transfer Protocol validation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Communications and Networking, 2014

Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation.

[BibT_eX]

[DOI]

Omar Marey

Ehsan Khosrowshahi Asl

Mohamed Mbarki

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

A SIP servlets-based framework for service provisioning in stand-alone MANETs.

[BibT_eX]

[DOI]

Slimane Bah

J. Netw. Comput. Appl., 2013

Verifying conformance of multi-agent commitment-based protocols.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

A Model for Multi-levels SLA Monitoring in Federated Cloud Environment.

[BibT_eX]

[DOI]

Asma Al Falasi

Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Representing and reasoning about communicative conditional commitments.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Service-Oriented Architecture for High-Dimensional Private Data Mashup.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2012

Communicative commitments: Model checking and complexity analysis.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2012

Open virtual playground: Initial architecture and results.

[BibT_eX]

[DOI]

Nadjia Kara

Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

2011

Control-level call differentiation in IMS-based 3G core networks.

[BibT_eX]

[DOI]

IEEE Netw., 2011

An overlay network for autonomous information discovery in the post-composition registries of ambient networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2011

Model Checking Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Performance Evaluation of Mobile Web Services.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Conference on Web Services, 2011

On the verification of social commitments and time.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

On the Performance of Hosting Web Services on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

An evaluation of timed scenario notations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2010

A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem.

[BibT_eX]

[DOI]

Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Case Study: Master of Science in Service Computing (Msc SC).

[BibT_eX]

[DOI]

Proceedings of the 6th World Congress on Services, 2010

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Towards a service-oriented network virtualization architecture.

[BibT_eX]

[DOI]

Nadjia Kara

Proceedings of the 2010 ITU-Kaleidoscope: Beyond the Internet?, 2010

Symbolic Model Checking Commitment Protocols Using Reduction.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Symbolic model checking for agent interactions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Use Case Maps as a property specification language.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Media handling for multimedia conferencing in multihop cellular networks.

[BibT_eX]

[DOI]

IEEE Netw., 2009

Efficient traces' collection mechanisms for passive testing of Web Services.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking.

[BibT_eX]

[DOI]

Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

Enhancing Engineering Methodology for Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

An Integrated Semantics of Social Commitments and Associated Operations.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Verifiable Semantic Model for Agent Interactions Using Social Commitments.

[BibT_eX]

[DOI]

Proceedings of the Languages, 2009

A New Semantics of Social Commitments Using Branching Space-Time Logic.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

Ambient network composition.

[BibT_eX]

[DOI]

IEEE Netw., 2008

A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem.

[BibT_eX]

[DOI]

Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem.

[BibT_eX]

[DOI]

Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs.

[BibT_eX]

[DOI]

Slimane Bah

Proceedings of the NTMS 2008, 2008

Preserving Privacy in E-health Systems Using Hippocratic Databases.

[BibT_eX]

[DOI]

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

Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

SIP Servlets for Service Provisioning in Multihop Cellular Networks: High-Level Architectural Alternatives.

[BibT_eX]

[DOI]

Slimane Bah

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

Securing Telehealth Applications in a Web-Based e-Health Portal.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Merging partial system behaviours: composition of use-case automata.

[BibT_eX]

[DOI]

IET Softw., 2007

Using Formal Composition of Use Cases in Requirements Engineering.

[BibT_eX]

Rabeb Mizouni

Aziz Salah

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Formal Verification of Use Case Maps with Real Time Extensions.

[BibT_eX]

[DOI]

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

New Approach for EFSM-Based Passive Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

A Negotiation Framework for the Composition of Registries in Ambient Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

A Novel Overlay-Based Failure Detection Architecture for MANET Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Networks, 2007

An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Networks, 2007

A Megaco Based-Architecture for Controlling Media Mixers When Conferencing in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

An Architecture for Composing Registries when Ambient Networks Compose.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

An Overlay Architecture for Information Publication and Discovery After the Composition of Registries in Ambient Networks.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

2006

Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks.

[BibT_eX]

[DOI]

IEEE Netw., 2006

VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services.

[BibT_eX]

[DOI]

Int. J. Intell. Inf. Technol., 2006

Timed Use Case Maps.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Towards the Testing of Composed Web Services in 3<sup>rd</sup> Generation Networks.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Composition of Use Cases Using Synchronization and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2005

A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks.

[BibT_eX]

[DOI]

Chunyan Fu

Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

An ASM Operational Semantics for Use Case Maps.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Mobile Agents for Testing Web Services in Next Generation Networks.

[BibT_eX]

[DOI]

Abdelghani Benharref

Proceedings of the Mobility Aware Technologies and Applications, 2005

Toward A new Approach for Web Services Development Life Cycle.

[BibT_eX]

Proceedings of The 2005 International Symposium on Web Services and Applications, 2005

Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

A QoS Broker Based Architecture for Efficient Web Services Selection.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Abstract Operational Semantics for Use Case Maps.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Applying Reduction Techniques to Software Functional Requirement Specifications.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

Formal Composition of Distributed Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Implicit integration of scenarios into a reduced timed automaton.

[BibT_eX]

[DOI]

Aziz Salah

Guy Lapalme

Inf. Softw. Technol., 2003

Preface.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

A Guided Method for Testing Timed Input Output Automata.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

Timed Wp-Method: Testing Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Performance testing of a negotiation platform.

[BibT_eX]

[DOI]

Charles Hélou

Teodor Gabriel Crainic

Inf. Softw. Technol., 2002

Preface.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

2001

A test case generation approach for conformance testing of SDL systems.

[BibT_eX]

[DOI]

Nathalie Rico

Comput. Commun., 2001

MSC and SDL in project life cycles.

[BibT_eX]

[DOI]

Yair Lahav

Comput. Networks, 2001

Test cases selection from SDL specifications.

[BibT_eX]

[DOI]

Comput. Networks, 2001

Compiling Real-Time Scenarios into a Timed Automaton.

[BibT_eX]

Aziz Salah

Guy Lapalme

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Testing embedded real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

An Approach for Testing Real Time Protocol Entities.

[BibT_eX]

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

A service creation environment based on scenarios.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

Communications software design for testability: specification transformations and testability measures.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

Test development for communication protocols: towards automation.

[BibT_eX]

[DOI]

Kassem Saleh

Comput. Networks, 1999

Statistical properties of MPEG video traffic and their impact on bandwidth allocation in wireless ATM networks.

[BibT_eX]

[DOI]

Youssef Iraqi

Raouf Boutaba

Proceedings of the 1999 IEEE Wireless Communications and Networking Conference, 1999

From timed scenarios to SDL: specification, implementation and testing of real-time systems.

[BibT_eX]

Proceedings of the SDL '99 The Next Millennium, 1999

A test case generation tool for conformance testing of SDL systems.

[BibT_eX]

Nathalie Rico

Proceedings of the SDL '99 The Next Millennium, 1999

Fault Coverage in Testing Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs.

[BibT_eX]

[DOI]

Kamel Karoui

Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 1999

Protocol Synthesis for Real-Time Applications.

[BibT_eX]

Ahmed Khoumsi

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study.

[BibT_eX]

[DOI]

Abdelhakim Hafid

Comput. Networks, 1998

Timed Test Cases Generation Based on State Characterization Technique.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols.

[BibT_eX]

Nathalie Rico

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW).

[BibT_eX]

[DOI]

Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998

1997

A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks.

[BibT_eX]

[DOI]

Zhongping Tao

Mob. Networks Appl., 1997

Forte '95.

[BibT_eX]

[DOI]

Omar Rafiq

Comput. Networks ISDN Syst., 1997

Design for testability of communication protocols based on SDL language.

[BibT_eX]

Kamel Karoui

Nina Yevtushenko

Proceedings of the SDL '97 Time for Testing, 1997

Detection of Feature Interactions with REST.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996

Testing in context: framework and test derivation.

[BibT_eX]

[DOI]

Comput. Commun., 1996

1995

A Negotiation Model for Distributed Multimedia Applications.

[BibT_eX]

Abdelhakim Hafid

Proceedings of the International Conference on Multimedia Networking, 1995

Verification and diagnosis of testing equivalence and reduction relation.

[BibT_eX]

[DOI]

Zhongping Tao

Proceedings of the 1995 International Conference on Network Protocols, 1995

An efficient method for protocol conversion.

[BibT_eX]

[DOI]

Z. P. Tao

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120.

[BibT_eX]

Stéphane S. Somé

Jean G. Vaucher

Proceedings of the Formal Description Techniques VIII, 1995

From Scenarios to Timed Automata: Building Specifications from Users Requirements.

[BibT_eX]

[DOI]

Stéphane S. Somé

Jean G. Vaucher

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

On specifying services and synthesizing protocols for real-time applications.

[BibT_eX]

Ahmed Khoumsi

Proceedings of the Protocol Specification, 1994

On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation.

[BibT_eX]

Proceedings of the Protocols for High-Speed Networks IV, 1994

Quality of service verification experiments.

[BibT_eX]

[DOI]

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

On Evaluation of Testability of Protocol Structures.

[BibT_eX]

Alexandre Petrenko

Hartmut König

Proceedings of the Protocol Test Systems, 1993

Conformance Relations and Test Derivation.

[BibT_eX]

Alexandre Petrenko

Proceedings of the Protocol Test Systems, 1993

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports.

[BibT_eX]

Proceedings of the Protocol Test Systems, 1993

Multiple Fault Diagnostics for Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Diagnosis of Single Transition Faults in Communicating Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

1992

Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.

[BibT_eX]