Ondrej Sery - RankMe

25 papers A* 1A 1B 7C 2Journal 3Unranked 9

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Flexible SAT-based framework for incremental bounded upgrade checking. Int. J. Softw. Tools Technol. Transf. Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2015	—	`ch.`	Function Summarization-Based Bounded Model Checking. Validation of Evolving Software Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2015	—	`ch.`	Incremental Upgrade Checking. Validation of Evolving Software Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2013	—	`conf`	PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
2013	J	`jnl`	Threaded behavior protocols. Formal Aspects Comput. Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron
2013	A	`conf`	eVolCheck: Incremental Upgrade Checker for C. TACAS Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2012	B	`conf`	FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ATVA Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2012	B	`conf`	Incremental upgrade checking by means of interpolation-based function summaries. FMCAD Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2012	A*	`conf`	Leveraging Interpolant Strength in Model Checking. CAV Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina
2011	—	`conf`	Function Summaries in Software Upgrade Checking. Haifa Verification Conference Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina
2011	—	`conf`	Interpolation-Based Function Summaries in Bounded Model Checking. Haifa Verification Conference Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
2011	—	`conf`	Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
2009	—	`conf`	Applicability of the BLAST Model Checker: An Industrial Case Study. Ershov Memorial Conference Emanuel Kolb, Ondrej Sery, Roland Weiss
2009	B	`conf`	Enhanced Property Specification and Verification in BLAST. FASE Ondrej Sery
2009	J	`jnl`	Modes in component behavior specification via EBP and their application in product lines. Inf. Softw. Technol. Jan Kofron, Frantisek Plásil, Ondrej Sery
2009	—	`conf`	On Teaching Formal Methods: Behavior Models and Code Analysis. TFM Jan Kofron, Pavel Parízek, Ondrej Sery
2009	B	`conf`	UnitCheck: Unit Testing and Model Checking Combined. ATVA Michal Kebrt, Ondrej Sery
2008	C	`conf`	Making Components Fit: SPINing. SEW Jan Kofron, Tomás Poch, Ondrej Sery
2008	C	`conf`	TBP: Code-Oriented Component Behavior Specification. SEW Jan Kofron, Tomás Poch, Ondrej Sery
2007	—	`conf`	CoCoME in Fractal. CoCoME Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plásil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
2007	—	`conf`	CoCoME in SOFA. CoCoME Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma
2007	B	`conf`	Simulation Level of Detail for Virtual Humans. IVA Cyril Brom, Ondrej Sery, Tomás Poch
2007	—	`conf`	Slicing of Component Behavior Specification with Respect to Their Composition. CBSE Ondrej Sery, Frantisek Plásil
2006	B	`conf`	Level-of-Detail in Behaviour of Virtual Humans. SOFSEM Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom
2005	B	`conf`	GAL: Towards Large Simulations with Tens of Agents. IVA Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata

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.