Belhassen Mazigh

16 papers B 3C 2Misc 2Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2019	B	`conf`	Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems. KES Ezzine Missaoui, Belhassen Mazigh, Vincent Hilaire, Sami Bhiri
2018	B	`conf`	A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems. KES Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2017	C	`conf`	A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP. AICCSA Aida Boudhaouia, Belhassen Mazigh, Ezzine Missaoui
2017	B	`conf`	A Normative Model for Holonic Multi-agent Systems. ICTAI Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2017	Misc	`conf`	NCRIO: A Normative Holonic Metamodel for Multi-agent Systems. HAIS Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2015	C	`conf`	The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. SNPD Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam
2014	J	`jnl`	Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security. CoRR Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam
2013	—	`conf`	A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. PNSE+ModPE Belhassen Mazigh, Kais Ben Fadhel
2013	J	`jnl`	Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains. J. Simulation Belhassen Mazigh, Mohamed Garoui, Abder Koukam
2012	—	`conf`	Adapting and Extended ASPECS Methodology to Support the Goal Concept. ANT/MobiWIS Mohamed Garoui, Belhassen Mazigh
2012	—	`conf`	To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification. KES-AMSTA Belhassen Mazigh, Ahmed Hammed, Vincent Hilaire
2011	Misc	`conf`	Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company. PAAMS Belhassen Mazigh, Vincent Hilaire, Abderrafiaa Koukam
1998	—	`conf`	An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. ESM Belhassen Mazigh, Pablo Gruer, Abder Koukam
1998	J	`jnl`	Modeling and quantitative analysis of discrete event systems: A statecharts based approach. Simul. Pract. Theory Pablo Gruer, Abder Koukam, Belhassen Mazigh
1996	—	`conf`	An Optimization Approach of Complex Discrete Event Systems. ESM Belhassen Mazigh, Pablo Gruer, Abder Koukam
1993	—	`conf`	GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system. PNPM Belhassen Mazigh, Julien Gresser, François Simon

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

In 2025, he co-authored Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja, published at CheckMATE. The paper evaluates the effectiveness of obfuscation techniques and their impact on source-level static analysis and binary-level decompilation.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.