I am responsible for the development of web services for the application of AI in industry. Currently I am developing a software for the automated generation of anomaly detection services. I am also active in market research and customer acquisition, making use of the great experience of the MIT Bootcamp in March 2019.http://bootcamp.mit.edu/entrepreneurship/japanhttps://youtu.be/Pa0MDIMpzzUPlease let me know if I can support you in applying leading machine learning… Show more I am responsible for the development of web services for the application of AI in industry. Currently I am developing a software for the automated generation of anomaly detection services. I am also active in market research and customer acquisition, making use of the great experience of the MIT Bootcamp in March 2019.http://bootcamp.mit.edu/entrepreneurship/japanhttps://youtu.be/Pa0MDIMpzzUPlease let me know if I can support you in applying leading machine learning algorithms for predictive maintenance and advanced monitoring;) Show less

I have been responsible for the development and operation of a cloud application for robot management.I have also contributed advanced configuration features to the firmware of a service robot for visitor management.Applied technologies include Amazon compute, database, and monitoring services (AWS), web frameworks such as Play, Spark, Angular, and Bootstrap, as well as tools for testing and performance evaluation.

Software model checking and runtime verification of distributed systems and cloud middlewarejpf-net-iocache v2, an extension of Java Pathfinder for network applications. Selected publications (please connect to me to see the full list of publications and projects):Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, and Mitsuharu Yamamoto. Cardinality of UDP Transmission Outcomes. In Proceedings of the First International Symposium… Show more Software model checking and runtime verification of distributed systems and cloud middlewarejpf-net-iocache v2, an extension of Java Pathfinder for network applications. Selected publications (please connect to me to see the full list of publications and projects):Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, and Mitsuharu Yamamoto. Cardinality of UDP Transmission Outcomes. In Proceedings of the First International Symposium on Dependable Software Engineering (SETTA 2015), pages 120–134, Nanjing, China, 2015. Springer.Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Mitsuharu Yamamoto, and Yoshinori Tanabe. Software model checking of UDP-based distributed applications. International Journal of Networking and Computing (IJNC), 5(2):373–402, 2015.Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto. Using Checkpointing and Virtualization for Fault Injection. International Journal of Networking and Computing (IJNC), 5(2):347–372, 2015.Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto. Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication. In Proceedings of the 28th International Conference on Auto-mated Software Engineering (ASE 2013), pages 169–179, Palo Alto, USA, 2013.C. Artho, A. Biere, M. Hagiya, R. Potter, R. Ramler, Y. Tanabe, F. Weitl, and M. Yamamoto. Modbat: A model-based API tester for event-driven systems. In 10th Dependable Systems Workshop (DSW 2012) , pages 1–2, Kobe, Japan, 2012. Show less

Methods for modelling and formal analysis of hybrid "cyber-physical" systems

Methods for counter-example guided fault analysis of structured documents and object-oriented software, based on model checking, description logics, and satisfiability modulo theories (SMT).

DFG project "Verdikt" (verification of technical documents)Assisting undergraduate computer science courses

Development of methods for checking the semantic consistency of semi-structureddocuments, using XML, RDF, OWL, and temporal description logics.Assisting the teaching of undergraduate courses in computer science (internet computing, computer architecture, algorithms and data structures, data modelling, etc.)

National joint project WWR (knowledge factory of computing systems): Development of web-based learning content for university courses in computer architecture.Founded by the German Federal Ministry for Education and Research