Program

Overview

Please notice that all times are GMT-3:00

International School on Formal Methods and Theoretical Informatics (ETMF)

Lecture 1: Formal methods in robotics - Prof. Ana Cavalcanti (University of York)

Session chair: Tiago Massoni

Lecture 2: Introduction to Formal Languages - Prof. Gustavo Carvalho (Federal University of Pernambuco)

Session chair: Marius Minea

Tutorial 1: Timed Automata - Prof. Neda Saeedloei (Towson University)

Session chair: Sérgio Campos

Tutorial 2: Model Checking - Prof. Sérgio Campos (Federal University of Minas Gerais)

Session chair: Gustavo Carvalho

Tutorial 3: Modelling Languages - Prof. Leila Ribeiro (Federal University of Rio Grande do Sul)

Session chair: Sérgio Campos


Brazilian Symposium on Formal Methods (SBMF)

Keynotes


Technical Session 1: Timed Systems

Session chair: Thierry Lecomte


  • Minimization of the Number of Clocks for Timed Scenarios

Neda Saeedloei and Feliks Kluzniak

  • Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

Abdulrazaq Abba, Ana Cavalcanti and Jeremy Jacob


Technical Session 2: Model Checking

Session chair: Sidney Nogueira


  • Model Checking and Strategy Synthesis for Multi-Agent Systems for Resource Allocation

Nils Timm and Josua Botha

  • A Two-level Approach Based on Model Checking to Support Architecture Conformance Checking

Bruno Menezes, Ana Teresa Martins and Thiago Alves Rocha

  • Statistical Model Checking for Traffic Models

Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar and M. V. Panduranga Rao


Technical Session 3: Modelling Languages

Session chair: Volker Stolz


  • Cost Analysis for an Actor-Based Workflow Modelling Language

Muhammad Rizwan Ali and Violet Ka I Pun

  • Module Integration using Graph Grammars (MIGRATE)

Diogo Raphael Cravo and Leila Ribeiro

  • Visual specification of properties for robotic designs

Waldeck Lindoso Jr, Sidney C. Nogueira, Renato Domingues and Lucas Lima