Franz Weitl

Experience

• 

  Institute for Information Systems and Software Engineering (IFIS), University of Passau

  May 2001 - Sept 2004

  Research assistant (Wissenschaftlicher Mitarbeiter)

  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

• 

  University of Passau

  Oct 2004 - Aug 2009

  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.)

  • Senior teaching and research assistant (Akademischer Rat)

    Jun 2008 - Aug 2009

  • Teaching and research assistant (Lehrstuhlmitarbeiter zur Promotion)

    Oct 2004 - Jun 2008
• 

  National Institute of Informatics

  Sept 2009 - Jun 2012

  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).

  • Specially appointed researcher (postdoc)

    Sept 2011 - Jun 2012

  • DAAD research fellow (postdoc)

    Sept 2009 - Aug 2011
• 

  Chiba University

  Jul 2012 - Mar 2016

  Specially appointed researcher (postdoc)

  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

• 

  ABIST Inc

  Apr 2016 - now

  Section Manager Cloud Computing

  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.

• 

  ABIST Co., Ltd.

  Mar 2019 - now

  Section Manager AI Solutions

  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

• 

  ABIST Co Ltd

  Mar 2019 - now

  Section Manager AI Solutions