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