Bastian Schlich

42 papers A* 1A 1B 3C 9Misc 1Journal 6Unranked 16

Year	Rank	Type	Title / Venue / Authors
2015	B	`conf`	Analyzing the Restart Behavior of Industrial Control Applications. FM Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley
2015	C	`conf`	Automatic test case generation for PLC programs using coverage metrics. ETFA Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski
2015	B	`conf`	Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC. CLOUD Thomas Goldschmidt, Mahesh Kumar Murugaiah, Christian Sonntag, Bastian Schlich, Sebastian Biallas, Peter Weber
2014	C	`conf`	Applying static code analysis on industrial controller code. ETFA Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski
2014	—	`conf`	Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. WODES Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich
2013	Misc	`conf`	Accelerated robustness testing of state-based components using reverse execution. SAC Patrick Heckeler, Bastian Schlich, Thomas Kropf
2013	—	`conf`	Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
2013	J	`jnl`	Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report. Empir. Softw. Eng. Heiko Koziolek, Bastian Schlich, Steffen Becker, Michael Hauck
2012	C	`conf`	"Safety automata" - A new specification language for the development of PLC safety applications. ETFA Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach
2012	—	`ed.`	Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. SSV Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich
2012	—	`conf`	Range and value-set analysis for programmable logic controllers. WODES Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
2011	A*	`conf`	An industrial case study on quality impact prediction for evolving service-oriented software. ICSE Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek
2011	J	`jnl`	Application of static analyses for state-space reduction to the microcontroller binary code. Sci. Comput. Program. Bastian Schlich, Jörg Brauer, Stefan Kowalewski
2011	J	`jnl`	Model checking embedded software of an industrial knitting machine. Int. J. Inf. Technol. Commun. Convergence Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer
2010	—	`ed.`	5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010 SSV Ralf Huuck, Gerwin Klein, Bastian Schlich
2010	A	`conf`	A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis. ISSRE Heiko Koziolek, Bastian Schlich, Carlos G. Bilich
2010	—	`conf`	Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
2010	C	`conf`	Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES Jörg Brauer, Thomas Noll, Bastian Schlich
2010	J	`jnl`	Model checking of software for microcontrollers. ACM Trans. Embed. Comput. Syst. Bastian Schlich
2010	C	`conf`	Synthesizing simulators for model checking microcontroller binary code. DDECS Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
2009	B	`conf`	Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp
2009	—	`conf`	Interprocedural Pointer Analysis in Goanna. SSV Jörg Brauer, Ralf Huuck, Bastian Schlich
2009	J	`jnl`	Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. Bastian Schlich, Stefan Kowalewski
2009	J	`jnl`	Operating System Verification. J. Autom. Reason. Gerwin Klein, Ralf Huuck, Bastian Schlich
2009	—	`conf`	Parallel and Distributed Invariant Checking of Microcontroller Software. SSV Jörg Brauer, Bastian Schlich, Stefan Kowalewski
2009	—	`conf`	Preface. SSV Ralf Huuck, Gerwin Klein, Bastian Schlich
2009	—	`conf`	Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
2009	—	`conf`	Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich
2009	—	`conf`	Stack bounds analysis for microcontroller assembly code. WESS Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski
2009	C	`conf`	Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS Thomas Reinbacher, Martin Horauer, Bastian Schlich
2008	—	`conf`	Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich
2008	C	`conf`	Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
2008	—	`—`	Model checking of software for microcontrollers. Bastian Schlich
2008	—	`conf`	Preface. SSV Ralf Huuck, Gerwin Klein, Bastian Schlich
2008	—	`ed.`	Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008 SSV Ralf Huuck, Gerwin Klein, Bastian Schlich
2008	—	`ed.`	Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009 SSV Ralf Huuck, Gerwin Klein, Bastian Schlich
2008	—	`conf`	Proving Correctness of an Efficient Abstraction for Interrupt Handling. SSV Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
2007	C	`conf`	Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. FMICS Bastian Schlich, Jann Löll, Stefan Kowalewski
2007	—	`conf`	Applying Model Checking to an Automotive Microcontroller Application. SIES Bastian Schlich, Falk Salewski, Stefan Kowalewski
2007	—	`conf`	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference Thomas Noll, Bastian Schlich
2006	—	`conf`	Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. GI Jahrestagung (1) Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
2006	C	`conf`	[mc]square: A Model Checker for Microcontroller Code. ISoLA Bastian Schlich, Stefan Kowalewski

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.