Bastien Maubert

65 papers A* 16A 4B 4C 1Journal 28Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Formal verification and synthesis of mechanisms for social choice. Artif. Intell. Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2024	J	`jnl`	On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. Laura Bozzelli, Bastien Maubert, Aniello Murano
2023	A*	`conf`	Formal Verification of Bayesian Mechanisms. AAAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2023	J	`jnl`	Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. Bastien Maubert, Aniello Murano, Sasha Rubin
2023	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2022	A*	`conf`	Automated Synthesis of Mechanisms. IJCAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2022	A*	`conf`	Public and Private Affairs in Strategic Reasoning. KR Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2022	—	`conf`	Synthesis of Mechanisms with Strategy Logic. ICTCS Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	J	`jnl`	Copy and remove as dynamic operators. J. Appl. Non Class. Logics Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
2021	J	`jnl`	Preface. Inf. Comput. Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Reasoning About Agents That May Know Other Agents' Strategies. IJCAI Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	—	`conf`	Recent Results on Strategy Logic with Imperfect Information. ICTCS Bastien Maubert
2021	A*	`conf`	Strategic Reasoning in Automated Mechanism Design. KR Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2021	J	`jnl`	Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	A*	`conf`	Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi
2020	A*	`conf`	Concurrent Games in Dynamic Epistemic Logic. IJCAI Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	A	`conf`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	A*	`conf`	Nondeterministic Strategies and their Refinement in Strategy Logic. KR Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
2020	A	`conf`	Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2020	J	`jnl`	Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR Bastien Maubert, Aniello Murano, Olivier Serre
2020	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2019	J	`jnl`	Dealing with imperfect information in Strategy Logic. CoRR Sophia Knight, Bastien Maubert
2019	J	`jnl`	Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
2019	A*	`conf`	Probabilistic Strategy Logic. IJCAI Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Reachability Games in Dynamic Epistemic Logic. IJCAI Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2019	J	`jnl`	Reachability Games in Dynamic Epistemic Logic. CoRR Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2019	A	`conf`	Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Reasoning about knowledge and messages in asynchronous multi-agent systems. Math. Struct. Comput. Sci. Sophia Knight, Bastien Maubert, François Schwarzentruber
2019	A*	`conf`	The Complexity of Model Checking Knowledge and Time. IJCAI Laura Bozzelli, Bastien Maubert, Aniello Murano
2019	—	`conf`	Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
2018	A*	`conf`	Changing Observations in Epistemic Temporal Logic. KR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Changing Observations in Epistemic Temporal Logic. CoRR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Decidability results for ATL* with imperfect information and perfect recall. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2018	B	`conf`	Quantifying Bounds in Strategy Logic. CSL Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Reasoning about Knowledge and Strategies under Hierarchical Information. KR Bastien Maubert, Aniello Murano
2018	J	`jnl`	Reasoning about Knowledge and Strategies. CoRR Bastien Maubert, Aniello Murano
2018	J	`jnl`	Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. ACM Trans. Comput. Log. Catalin Dima, Bastien Maubert, Sophie Pinchinat
2018	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2017	A	`conf`	Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS Raphaël Berthon, Bastien Maubert, Aniello Murano
2017	A*	`conf`	Strategy logic with imperfect information. LICS Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2016	A*	`conf`	On the Impact of Modal Depth in Epistemic Planning. IJCAI Tristan Charrier, Bastien Maubert, François Schwarzentruber
2016	J	`jnl`	Quantified CTL with imperfect information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2016	—	`conf`	Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. ICTCS Catalin Dima, Bastien Maubert, Sophie Pinchinat
2015	C	`conf`	Asynchronous Announcements in a Public Channel. ICTAC Sophia Knight, Bastien Maubert, François Schwarzentruber
2015	B	`conf`	Games with Communication: From Belief to Preference Change. PRIMA Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2015	—	`conf`	Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. MFCS (1) Catalin Dima, Bastien Maubert, Sophie Pinchinat
2015	J	`jnl`	Uniform strategies, rational relations and jumping automata. Inf. Comput. Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2015	B	`conf`	Unifying Hyper and Epistemic Temporal Logics. FoSSaCS Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2014	J	`jnl`	A General Notion of Uniform Strategies. IGTR Bastien Maubert, Sophie Pinchinat
2014	—	`conf`	Automata Techniques for Epistemic Protocol Synthesis. SR Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
2014	—	`—`	Logical foundations of games with imperfect information : uniform strategies. (Fondations logiques des jeux à information imparfaite : stratégies uniformes). Bastien Maubert
2014	J	`jnl`	The Expressive Power of Epistemic $μ$-Calculus. CoRR Catalin Dima, Bastien Maubert, Sophie Pinchinat
2014	J	`jnl`	Unifying Hyper and Epistemic Temporal Logic. CoRR Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2013	—	`conf`	Jumping Automata for Uniform Strategies. FSTTCS Bastien Maubert, Sophie Pinchinat
2013	—	`conf`	The Complexity of Synthesizing Uniform Strategies SR Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
2012	B	`conf`	Generalized DEL-Sequents. JELIA Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2012	J	`jnl`	Uniform Strategies CoRR Bastien Maubert, Sophie Pinchinat
2011	—	`conf`	Opacity Issues in Games with Imperfect Information GandALF Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
2011	—	`conf`	Tableau Method and NEXPTIME-Completeness of DEL-Sequents. M4M/LAMAS Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2009	—	`conf`	Games with Opacity Condition. RP Bastien Maubert, Sophie Pinchinat

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.