Patrizia Asirelli

31 papers A* 1A 1B 5C 1Journal 4Unranked 19

Year	Rank	Type	Title / Venue / Authors
2012	—	`conf`	A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011	—	`conf`	A Model-Checking Tool for Families of Services. FMOODS/FORTE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011	—	`conf`	Design and validation of variability in product lines. PLEASE@ICSE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011	B	`conf`	Formal Description of Variability in Product Families. SPLC Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010	—	`conf`	A Deontic Logical Framework for Modelling Product Families. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010	B	`conf`	A Logical Framework to Deal with Variability. IFM Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2009	—	`conf`	Deontic Logics for Modeling Behavioural Variability. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2006	—	`conf`	MultiMedia Metadata Management: a Proposal for an Infrastructure. SWAP Patrizia Asirelli, Suzanne Little, Massimo Martinelli, Ovidio Salvetti
2000	J	`jnl`	Using MedLan to Integrate Geographical Data. J. Log. Program. Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini
1999	—	`conf`	Firewall Policies Definition Tools: An Implementation Idea. IICIS Patrizia Asirelli, Fabrizio Fabbrini
1998	—	`conf`	The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS Patrizia Asirelli, Chiara Renso, Franco Turini
1997	J	`jnl`	Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1997	—	`conf`	View Constraints: An Interpretation of Integrity Constraints for Security. IICIS Patrizia Asirelli
1996	B	`conf`	A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi
1996	—	`conf`	A Logical Database for Validating System Models. DDLP Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery
1996	—	`conf`	Integrity Constraints as Views in Deductice Databases. FMLDO Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza
1996	—	`conf`	Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases Patrizia Asirelli, Chiara Renso, Franco Turini
1995	—	`conf`	A Declarative Approach to the Design and Realization of Graphic Interfaces. GULP-PRODE Domenico Aquilino, D. Apuzzo, Patrizia Asirelli
1995	B	`conf`	An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1994	—	`conf`	Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1994	J	`jnl`	Graphics by a Logic Database Management System. J. Vis. Lang. Comput. Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi
1992	C	`conf`	Prototyping in the GEDBLOG System. SEKE Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1991	—	`conf`	Supporting Reuse and Configuration: A Port Based SCM Model. SCM Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara
1989	—	`conf`	Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS Patrizia Asirelli, C. Billi, Paola Inverardi
1988	—	`conf`	EDBLOG: A Kernel for Configuration Environments. SCM Patrizia Asirelli, Paola Inverardi
1988	A	`conf`	Improving Integrity Constraint Checking in Deductive Databases. ICDT Patrizia Asirelli, Paola Inverardi, A. Mustaro
1988	—	`conf`	Using Logic Databases in Software Development Environments. PLILP Patrizia Asirelli, Paola Inverardi
1987	—	`conf`	Enhancing Configuration Facilities in Software Development: A Logic Approach. ESEC Patrizia Asirelli, Paola Inverardi
1985	J	`jnl`	Integrity Constraints for Logic Databases. J. Log. Program. Patrizia Asirelli, Michele de Santis, Maurizio Martelli
1983	B	`conf`	Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. Logic Programming Workshop Patrizia Asirelli
1979	A*	`conf`	A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini

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.

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.