Takuo Watanabe

44 papers A 3B 1C 3Misc 1Journal 2Unranked 34

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems. ICSCA Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
2024	C	`conf`	mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices. MPLR Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
2023	—	`conf`	Developing Distributed Systems with Multiparty Functional Reactive Programming. WSSE Sosuke Moriguchi, Takuo Watanabe
2023	—	`conf`	Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices. Programming Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
2023	—	`conf`	Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems. REBLS@SPLASH Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
2022	—	`conf`	Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems. REBLS@SPLASH Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
2021	J	`jnl`	A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types. J. Inf. Process. Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
2021	—	`conf`	Functional Reactive Programming for Embedded Systems with GPGPUs. ICSCA Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe
2019	J	`jnl`	Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
2019	—	`conf`	Towards a statically scheduled parallel execution of an FRP language for embedded systems. REBLS@SPLASH Yoshitaka Sakurai, Takuo Watanabe
2018	—	`conf`	A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems. COP@ECOOP Takuo Watanabe
2018	—	`conf`	Distributed functional reactive programming on actor-based runtime. AGERE!@SPLASH Kazuhiro Shibanai, Takuo Watanabe
2017	—	`conf`	Actoverse: a reversible debugger for actors. AGERE!@SPLASH Kazuhiro Shibanai, Takuo Watanabe
2017	C	`conf`	An actor-based runtime monitoring system for web and desktop applications. SNPD Paul Lavery, Takuo Watanabe
2017	—	`conf`	Towards Reflection in an FRP Language for Small-Scale Embedded Systems. Programming Takuo Watanabe, Kensuke Sawada
2016	—	`conf`	Emfrp: a functional reactive programming language for small-scale embedded systems. MODULARITY (Companion) Kensuke Sawada, Takuo Watanabe
2015	—	`conf`	A Reflective Implementation of an Actor-based Concurrent Context-Oriented System. ARM@Middleware Souhei Takeno, Takuo Watanabe
2014	—	`conf`	A Language Support for Exhaustive Fault-Injection in Message-Passing System Models. MOD* Masaya Suzuki, Takuo Watanabe
2014	—	`conf`	A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults. AP-BPM Naoyuki Nagatou, Takuo Watanabe
2014	—	`conf`	A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems. COP@ECOOP Takuo Watanabe, Souhei Takeno
2014	—	`conf`	Reflection in an Object-Oriented Concurrent Language. Concurrent Objects and Beyond Takuo Watanabe, Akinori Yonezawa
2013	Misc	`conf`	An interactive extension mechanism for reusing verified programs. SAC Sosuke Moriguchi, Takuo Watanabe
2013	—	`conf`	Towards a compositional reflective architecture for actor-based systems. AGERE!@SPLASH Takuo Watanabe
2012	C	`conf`	A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments. SNPD Ilankaikone Senthooran, Takuo Watanabe
2006	B	`conf`	Run-Time Detection of Covert Channels. ARES Naoyuki Nagatou, Takuo Watanabe
2005	—	`conf`	An Aspect-Oriented Approach to Modular Behavioral Specification. ABMB Kiyoshi Yamada, Takuo Watanabe
2005	—	`conf`	An Aspect-oriented Approach to Modular Behavioral Specification of Java Components. IASTED Conf. on Software Engineering Kiyoshi Yamada, Takuo Watanabe
2005	—	`conf`	Towards Reusable Heterogeneous Data-Centric Disentangled Parts. RAM-SE Michael Reinsch, Takuo Watanabe
2004	—	`conf`	Specifying context-aware runtime security policies using an algebraic policy specification language. IASTED Conf. on Software Engineering Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
2003	—	`conf`	Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances. WSTFES Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
2002	—	`conf`	A software model for flexible & safe adaptation of mobile code programs. IWPSE Noriki Amano, Takuo Watanabe
2002	—	`conf`	AnZenMail: A Secure and Certified E-mail System. ISSS Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
2001	—	`conf`	Towards Constructing Component-Based Software Systems with Safe Dynamic Adaptability. IWPSE Noriki Amano, Takuo Watanabe
1999	—	`conf`	LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation. TOOLS (31) Noriki Amano, Takuo Watanabe
1999	—	`conf`	Reflection for Dynamic Adaptibility: A Linguistic Approach Using LEAD++. Reflection Noriki Amano, Takuo Watanabe
1998	—	`conf`	LEAD: a linguistic approach to dynamic adaptability for practical applications. Systems Implementation 2000 Noriki Amano, Takuo Watanabe
1998	—	`conf`	On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima
1992	A	`conf`	Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently. OOPSLA Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa
1991	A	`conf`	Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming. ECOOP Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa
1991	—	`conf`	Object-Oriented Concurrent Reflective Architectures. Object-Based Concurrent Computing Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa
1990	—	`conf`	An Actor-Based Metalevel Architecture for Group-Wide Reflection. REX Workshop Takuo Watanabe, Akinori Yonezawa
1989	—	`conf`	Reflective computation in object-oriented concurrent systems and its applications. IWSSD Takuo Watanabe, Akinori Yonezawa
1988	—	`conf`	An introduction to object-based reflective concurrent computation. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Akinori Yonezawa, Takuo Watanabe
1988	A	`conf`	Reflection in an Object-Oriented Concurrent Language. OOPSLA Takuo Watanabe, Akinori Yonezawa

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.