Uli Fahrenberg

130 papers A 1B 15C 14Misc 4Journal 68Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automata on Graph Alphabets. CoRR Hugo Bazille, Uli Fahrenberg
2026	C	`ed.`	Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings RAMICS Uli Fahrenberg, Wesley Fussner, Luigi Santocanale
2026	J	`jnl`	Variants of Higher-Dimensional Automata. CoRR Hugo Bazille, Jérémy Dubut, Uli Fahrenberg, Krzysztof Ziemianski
2025	J	`jnl`	Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025	J	`jnl`	Closure and decision properties for higher-dimensional automata. Theor. Comput. Sci. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2025	J	`jnl`	Higher-Dimensional Automata : Extension to Infinite Tracks. CoRR Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025	B	`conf`	Higher-Dimensional Automata: Extension to Infinite Tracks. FSCD Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025	B	`conf`	Petri Nets and Higher-Dimensional Automata. Petri Nets Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025	J	`jnl`	Petri Nets and Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025	J	`jnl`	ω-Regular Energy Problems. Formal Aspects Comput. Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber
2024	C	`conf`	Bisimulations and Logics for Higher-Dimensional Automata. ICTAC Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024	J	`jnl`	Bisimulations and Logics for Higher-Dimensional Automata. CoRR Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
2024	J	`jnl`	Kleene Theorem for Higher-Dimensional Automata. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2024	B	`conf`	Languages of Higher-Dimensional Timed Automata. Petri Nets Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024	J	`jnl`	Languages of Higher-Dimensional Timed Automata. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024	C	`conf`	Logic and Languages of Higher-Dimensional Automata. DLT Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024	J	`jnl`	Logic and Languages of Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024	J	`jnl`	Myhill-Nerode Theorem for Higher-Dimensional Automata. Fundam. Informaticae Uli Fahrenberg, Krzysztof Ziemianski
2024	C	`conf`	Presenting Interval Pomsets with Interfaces. RAMiCS Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024	J	`jnl`	Presenting Interval Pomsets with Interfaces. CoRR Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024	C	`ed.`	Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings RAMiCS Uli Fahrenberg, Wesley Fussner, Roland Glück
2023	B	`conf`	A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets Uli Fahrenberg, Krzysztof Ziemianski
2023	C	`conf`	Closure and Decision Properties for Higher-Dimensional Automata. ICTAC Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023	J	`jnl`	Developments in Higher-Dimensional Automata Theory. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023	B	`conf`	Energy Büchi Problems. FM Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022	J	`jnl`	A Generic Approach to Quantitative Verification. CoRR Uli Fahrenberg
2022	B	`conf`	A Kleene Theorem for Higher-Dimensional Automata. CONCUR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Kleene Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Krzysztof Ziemianski
2022	J	`jnl`	Energy Büchi Problems. CoRR Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022	J	`jnl`	Featured games. Sci. Comput. Program. Uli Fahrenberg, Axel Legay
2022	J	`jnl`	Higher-Dimensional Timed and Hybrid Automata. Leibniz Trans. Embed. Syst. Uli Fahrenberg
2022	J	`jnl`	Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. Alessandro Abate, Uli Fahrenberg, Martin Fränzle
2022	J	`jnl`	Posets with interfaces as a model for concurrency. Inf. Comput. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	Misc	`conf`	Featured Games. TASE Uli Fahrenberg, Axel Legay
2021	J	`jnl`	Languages of Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Languages of higher-dimensional automata. Math. Struct. Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021	J	`jnl`	Posets with Interfaces for Concurrent Kleene Algebra. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`ed.`	Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
2021	J	`jnl`	Sculptures in Concurrency. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2021	J	`jnl`	lr-Multisemigroups and Modal Convolution Algebras. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`conf`	ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020	J	`jnl`	A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. Uli Fahrenberg, Axel Legay
2020	—	`conf`	Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Behavioral Specification Theories: an Algebraic Taxonomy. CoRR Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Computing branching distances with quantitative games. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay, Karin Quaas
2020	J	`jnl`	Domain Semirings United. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
2020	J	`jnl`	Featured Games. CoRR Uli Fahrenberg, Axel Legay
2020	C	`conf`	Generating Posets Beyond N. RAMiCS Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2020	J	`jnl`	Logical vs. behavioural specifications. Inf. Comput. Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2020	C	`ed.`	Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. RAMiCS Uli Fahrenberg, Peter Jipsen, Michael Winter
2019	J	`jnl`	An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. David Cachera, Uli Fahrenberg, Axel Legay
2019	C	`conf`	Computing Branching Distances Using Quantitative Games. ICTAC Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Computing Branching Distances Using Quantitative Games. CoRR Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Generating Posets Beyond N. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2019	J	`jnl`	Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. Uli Fahrenberg, Axel Legay
2018	J	`jnl`	Compositionality for quantitative specifications. Soft Comput. Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2018	—	`conf`	Energiautomater, energifunktioner og Kleene-algebra. NIK Uli Fahrenberg, Kim G. Larsen
2018	—	`conf`	Higher-Dimensional Timed Automata. ADHS Uli Fahrenberg
2018	J	`jnl`	Higher-Dimensional Timed Automata. CoRR Uli Fahrenberg
2018	—	`ch.`	Model Checking Real-Time Systems. Handbook of Model Checking Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
2018	B	`conf`	Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Sculptures in Concurrency. CoRR Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
2018	—	`conf`	Trace checking for dynamic software product lines. SEAMS@ICSE Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg
2017	B	`conf`	A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM Uli Fahrenberg, Axel Legay
2017	J	`jnl`	An Algebraic Approach to Energy Problems I - Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An ω-Algebra for Real-Time Energy Problems. CoRR David Cachera, Uli Fahrenberg, Axel Legay
2017	Misc	`conf`	Compatibility flooding: measuring interaction of services interfaces. SAC Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
2017	—	`conf`	Featured Weighted Automata. FormaliSE@ICSE Uli Fahrenberg, Axel Legay
2017	J	`jnl`	Featured Weighted Automata. CoRR Uli Fahrenberg, Axel Legay
2017	—	`ch.`	From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering Kim G. Larsen, Uli Fahrenberg, Axel Legay
2016	J	`jnl`	A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR Uli Fahrenberg, Axel Legay
2016	J	`jnl`	Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2016	J	`jnl`	Long-Term Average Cost in Featured Transition Systems. CoRR Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2016	B	`conf`	Long-term average cost in featured transition systems. SPLC Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2015	—	`conf`	*-Continuous Kleene ω-Algebras for Energy Problems. FICS Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	C	`conf`	*-Continuous Kleene ω-Algebras. DLT Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	J	`jnl`	*-Continuous Kleene ω-Algebras. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	—	`conf`	An omega-Algebra for Real-Time Energy Problems. FSTTCS David Cachera, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE Joanne M. Atlee, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Merging Features in Featured Transition Systems. MoDeVVa@MoDELS Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Compositionality for Quantitative Specifications. CoRR Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Configurable Formal Methods for Extreme Modeling. XM@MoDELS Uli Fahrenberg, Axel Legay
2014	J	`jnl`	General quantitative specification theories with modal transition systems. Acta Informatica Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Axel Legay
2014	—	`conf`	Measuring Global Similarity Between Texts. SLSP Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	J	`jnl`	Measuring Structural Distances between Texts. CoRR Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	—	`conf`	Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
2014	B	`conf`	Sound Merging and Differencing for Class Diagrams. FASE Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
2014	—	`conf`	Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	C	`conf`	Structural Refinement for the Modal nu-Calculus. ICTAC Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Structural Refinement for the Modal nu-Calculus. CoRR Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay
2014	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	—	`conf`	A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2013	B	`conf`	Generalized Quantitative Analysis of Metric Transition Systems. APLAS Uli Fahrenberg, Axel Legay
2013	B	`conf`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	J	`jnl`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	B	`conf`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS Uli Fahrenberg, Axel Legay
2013	B	`conf`	Kleene Algebras and Semimodules for Energy Problems. ATVA Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	J	`jnl`	Kleene Algebras and Semimodules for Energy Problems. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	—	`conf`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering Uli Fahrenberg, Kim G. Larsen, Axel Legay
2013	—	`ch.`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane
2013	—	`conf`	Refinement and Difference for Probabilistic Automata. QEST Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
2013	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	J	`jnl`	Weighted modal transition systems. Formal Methods Syst. Des. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012	Misc	`conf`	A Robust Specification Theory for Modal Event-Clock Automata FIT Uli Fahrenberg, Axel Legay
2012	Misc	`conf`	General Quantitative Specification Theories with Modalities. CSR Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	J	`jnl`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps CoRR Uli Fahrenberg, Axel Legay
2012	—	`ed.`	Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. QFM Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	J	`jnl`	Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
2012	—	`conf`	Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2012	J	`jnl`	Weighted Modal Transition Systems CoRR Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	—	`conf`	Distances for Weighted Transition Systems: Games and Properties QAPL Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
2011	C	`conf`	Energy Games in Multiweighted Automata. ICTAC Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
2011	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings FORMATS Uli Fahrenberg, Stavros Tripakis
2011	J	`jnl`	Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2011	—	`ch.`	Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
2011	B	`conf`	Quantitative Refinement for Weighted Modal Transition Systems. MFCS Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	J	`jnl`	Quantitative analysis of real-time systems using priced timed automata. Commun. ACM Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011	—	`conf`	The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS Uli Fahrenberg, Axel Legay, Claus R. Thrane
2011	A	`conf`	Vision Paper: Make a Difference! (Semantically). MoDELS Uli Fahrenberg, Axel Legay, Andrzej Wasowski
2010	J	`jnl`	Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
2010	—	`conf`	Timed automata with observers under energy constraints. HSCC Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2009	—	`conf`	A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2009	—	`conf`	Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

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.