Current Own Projects
EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning
- DFG project (Sachbeihilfe)
- PIs:
- Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
- Dr. Jens Kotlarski, Institute for Mechatronic Systems, Leibniz Universität Hannover, Germany.
- started in April 2016.
Scenario-based Specification and Analysis of Structurally Dynamic Reactive Systems

GIF project group: Shlomi Steinberg, Assaf Marron, Daniel Gritzner, Joel Greenyer, David Harel
- GIF project (German-Israeli Foundation for Scientific Research and Development)
- PIs:
- Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
- Prof. David Harel, Department of Computer Science and Applied Mathematics Faculty of Mathematics and Computer Science, Weizmann Institute of Science, Israel.
- started in January 2015
Industry Collaborations
- Automatic Tests of Programmable Logic Controllers by Executing Modifiable Recordings of the Machine’s Behavior, cooperation with Continental Machinery, 2016.
- Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering, cooperation with IAV Automotive Engineering, 2014-2015.
- Hybrid Modeling — Integration of Hybrid Modeling and Validation Techniques in CAMeL-View, Transfer project T2 of the Collaborative Research Center 614, cooperation with iXtronics GmbH, 2010-2011.
- Automated Testing of the Code Generator TargetLink, in cooperation with dSPACE GmbH,2009.
Past Project Involvement (other PIs)
- Self-Managing Situated Computing (SMScom), ERC Advanced Investigator Grant N. 227977, PI Prof. Carlo Ghezzi, http://www.erc-smscom.org/, as postdoc.
- Collaborative Research Center 614 “Self-Optimizing Concepts and Structures in Mechanical Engineering”, DFG Sonderforschungsbereich (SFB~614), as doctoral student. Working Group B2, Design Methodology.