Franz Weitl Email & Phone Number

Yotsuya, Tokyo, Japan

Yotsuya, Tokyo

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

Nakano, Tokyo, Japan

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.

Chiba, Japan

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

Tokyo, Japan

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

Tokyo, Japan

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

Passau Area, Germany

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

Passau Area, Germany

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

Passau Area, Germany

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

Doctor Of Philosophy (Ph.D.), Information Management, Formal Methods, Semantic Web, Document Verification, 1.0 (Magna Cum Laude)

Thesis on "Document Verification with Temporal Description Logics"

Diplom Informatiker (Dipl. Inf.), Equivalent Ot Master'S Degree, Mathematics And Computer Science, 1.1

Activities and Societies: Culture and Language Exchange Thesis on XML- and Rule-Based Access Control for Information Systems

Erasmus Research Internship

Activities and Societies: Development of web-based e-learning services for students at Lund University

Erasmus Exchange Year, Undergraduate Courses In Computer Science

Mathematisch-Technischer Assistent (Mathematical Technical Assistant), Applied Mathematics (Analysis, Alegbra, Numerics...) And Computer Science (Programming, Databases), 1.5

Activities and Societies: Volleyball, Tennis

High School, Mathematics, Physics, 1.6

Activities and Societies: Computer, Programming and Electronics, Volleyball, Brass Band