Mahjoub Langar

15 papers C 6Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2020 J jnl
QoS monitor as a service.
Softw. Qual. J.
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
2017 — conf
Consumer oriented web services ranking and classification.
ICC
Taycir Bouasker, Mahjoub Langar
2016 C conf
NFRs based web services scoring as web service.
ISCC
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
2016 C conf
Novel time related quality of service criteria.
AICCSA
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
2016 C conf
Web Services Orchestration's Monitor as a Web Service.
SoMeT
Imene Hadded, Mahjoub Langar, Riadh Robbana
2015 C conf
A Formal Dynamic Verification of Choreographed Web Services Conversations.
ProvSec
Karim Dahmani, Mahjoub Langar, Riadh Robbana
2014 — conf
Detecting Malicious Sessions Through Traffic Fingerprinting Using Hidden Markov Models.
SecureComm (1)
Sami Zhioua, Adnene Ben Jabeur, Mahjoub Langar, Wael Ilahi
2014 — conf
Formal Enforcement of Security Policies on Choreographed Services.
FMS @ Petri Nets
Mahjoub Langar, Karim Dahmani
2014 — conf
Traffic Analysis of Web Browsers.
FMS @ Petri Nets
Sami Zhioua, Mahjoub Langar
2011 J jnl
Formal enforcement of security policies on concurrent systems.
J. Symb. Comput.
Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010 C conf
Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach.
SECRYPT
Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010 — conf
Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems.
Security and Management
Mahjoub Langar, Mohamed Mejri, Kamel Adi
2007 — conf
A Formal Approach for Security Policy Enforcement in Concurrent Programs.
Security and Management
Mahjoub Langar, Mohamed Mejri, Kamel Adi
2007 C conf
Automatic Enforcement of Security in Computer Networks.
SoMeT
T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu
2005 — conf
Formal and Efficient Enforcement of Security Policies.
FCS
Mahjoub Langar, Mohamed Mejri