Zum Inhalt springen

Debbabi, Mourad [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, 2019

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

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham [u.a.]: Springer, 2014

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

From CML to a Model-Based Concurrent Specification Language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

SAGE Publications, 1996

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2015

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

Quantitative and qualitative analysis of SysML activity diagrams

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2014

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2010

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2009

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

A Dynamic Operational Semantics for JVML

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

AITO - Association Internationale pour les Technologies Objets, 2007

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

A Formal Type System for Java

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

AITO - Association Internationale pour les Technologies Objets, 2007

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

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

Towards the Correctness of Security Protocols

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2003

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2008

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Informa UK Limited, 2008

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2024

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2023

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

A Survey on Threat Hunting in Enterprise Networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr