Skip to contents

Debbabi, Mourad [Other]

Verification and validation in systems engineering : assessing UML/SysML design models - [1. ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010
Zincir-Heywood, Nur [Editor]; Bonfante, Guillaume [Editor]; Debbabi, Mourad [Editor]; Garcia-Alfaro, Joaquin [Editor]

Foundations and Practice of Security : 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2019

Published in: Security and Cryptology ; 11358- Springer eBooks ; Computer Science
Danger, Jean Luc [Author] ; Debbabi, Mourad [Editor]; Marion, Jean-Yves [Editor]; Garcia-Alfaro, Joaquin [Editor]; Zincir Heywood, Nur [Editor]

Foundations and Practice of Security : 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8352
Debbabi, Mourad

From CML to a Model-Based Concurrent Specification Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

SAGE Publications, 1996

Published in: Concurrent Engineering, 4 (1996) 2, Seite 137-148
Fachkha, Claude; Debbabi, Mourad

Darknet as a Source of Cyber Intelligence: Survey, Taxonomy, and Characterization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Published in: IEEE Communications Surveys & Tutorials, 18 (2016) 2, Seite 1197-1227
Ouchani, Samir; Debbabi, Mourad

Specification, verification, and quantification of security in model-based systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2015

Published in: Computing, 97 (2015) 7, Seite 691-711
Jarraya, Yosr; Debbabi, Mourad

Quantitative and qualitative analysis of SysML activity diagrams

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2014

Published in: International Journal on Software Tools for Technology Transfer, 16 (2014) 4, Seite 399-419
Saleh, Mohamed; Debbabi, Mourad

A game-theoretic framework for specification and verification of cryptographic protocols

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2010

Published in: Formal Aspects of Computing, 22 (2010) 5, Seite 585-609
Tlili, Syrine; Debbabi, Mourad

Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2009

Published in: Journal of Automated Reasoning, 42 (2009) 2-4, Seite 265-300
Belblidia, Nadia; Debbabi, Mourad

A Dynamic Operational Semantics for JVML

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AITO - Association Internationale pour les Technologies Objets, 2007

Published in: The Journal of Object Technology, 6 (2007) 3, Seite 71
Debbabi, Mourad; Fourati, M.

A Formal Type System for Java

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AITO - Association Internationale pour les Technologies Objets, 2007

Published in: The Journal of Object Technology, 6 (2007) 8, Seite 117
Belblidia, Nadia; Debbabi, Mourad

Lecture Notes in Computer Science: Towards a Formal Semantics for AspectJ Weaving

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Lecture Notes in Computer Science (2006), Seite 155-171
Debbabi, Mourad; Saleh, Mohamed

Formal Methods and Software Engineering: Game Semantics Model for Security Protocols

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Formal Methods and Software Engineering (2005), Seite 125-140
Debbabi, Mourad; Mejri, Mohamed

Towards the Correctness of Security Protocols

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2003

Published in: Electronic Notes in Theoretical Computer Science, 83 (2003), Seite 55-98
Mourad, Azzam; Laverdière, Marc-André; Debbabi, Mourad

An aspect-oriented approach for the systematic security hardening of code

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2008

Published in: Computers & Security, 27 (2008) 3-4, Seite 101-114
Mourad, Azzam; Laverdière, Marc-André; Debbabi, Mourad

A High-level Aspect-oriented-based Framework for Software Security Hardening

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Informa UK Limited, 2008

Published in: Information Security Journal: A Global Perspective, 17 (2008) 2, Seite 56-74
Ouchani, Samir; Ait Mohamed, Otmane; Debbabi, Mourad

Lecture Notes in Computer Science: An Enhanced Interface-Based Probabilistic Compositional Verification Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2024

Published in: Lecture Notes in Computer Science (2024), Seite 60-75
Alrabaee, Saed; Debbabi, Mourad; Wang, Lingyu

A Survey of Binary Code Fingerprinting Approaches: Taxonomy, Methodologies, and Features

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2023

Published in: ACM Computing Surveys, 55 (2023) 1, Seite 1-41
Nour, Boubakr; Pourzandi, Makan; Debbabi, Mourad

A Survey on Threat Hunting in Enterprise Networks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Published in: IEEE Communications Surveys & Tutorials, 25 (2023) 4, Seite 2299-2324
Karbab, ElMouatez Billah; Debbabi, Mourad

Detection of Intrusions and Malware, and Vulnerability Assessment: PetaDroid: Adaptive Android Malware Detection Using Deep Learning

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Detection of Intrusions and Malware, and Vulnerability Assessment (2021), Seite 319-340

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication