Mahjoub Langar

15 papers C 6Journal 2Unranked 7

Year	Rank	Type	Title / 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