Programme
ETMF 2017: tutorials, short courses and technical sessions from 27th of November to 28th of November, 2017 (official language: Portuguese)
SBMF 2017: keynote speeches and technical sessions from 29th of November to 1st of December, 2017 (official language: English)
Programme at a glance
Please notice that the program may be subject to changes.
| 29 November | 30 November | 01 December | |
|---|---|---|---|
| 08:30 -- 08:50 | Registration | Registration | Registration |
| 08:50 -- 09:00 | Opening Session | MOOC Divulgation | Registration |
| 09:00 -- 09:30 | Keynote 01 (Patrícia Machado) | Keynote 03 (Christoph Benzmüller) | Keynote 04 (Ana Cavalcanti) |
| 09:30 -- 10:00 | |||
| 10:00 -- 10:30 | |||
| 10:30 -- 11:00 | Coffee Break | Coffee Break | Coffee Break |
| 11:00 -- 11:30 | SBMF Technical Session #1 | SBMF Technical Session #3 | SBMF Technical Session #5 |
| 11:30 -- 12:00 | |||
| 12:00 -- 12:30 | |||
| 12:30 -- 13:00 | Lunch Break | Lunch Break | Closing Session |
| 13:00 -- 13:30 | Lunch Break | ||
| 13:30 -- 14:00 | |||
| 14:00 -- 14:30 | |||
| 14:30 -- 15:00 | SBMF Technical Session #2 | SBMF Technical Session #4 | |
| 15:00 -- 15:30 | |||
| 15:30 -- 16:00 | |||
| 16:00 -- 16:30 | Coffee Break | ||
| 16:30 -- 17:00 | Coffee Break | XX SBMF: Commemorative Panel | |
| 17:00 -- 17:30 | Keynote 02 (Dimitra Giannakopoulou) | > Future Perspectives of Formal Methods | |
| 17:30 -- 18:00 | (José Fiadeiro, Thierry Lecomte, Ana Melo, Leila Ribeiro) | ||
| 18:00 -- 18:30 | XX SBMF: Retrospective (Leila Ribeiro) | ||
| 18:30 -- 19:00 | |||
| 19:00 -- 19:30 | |||
| 19:30 -- 20:00 | |||
| 20:00 -- 20:30 | |||
| 20:30 -- 21:00 | Conference Dinner | ||
| 21:00 -- 21:30 | |||
| 21:30 -- 22:00 | |||
| 22:00 -- 22:30 | |||
| 22:30 -- 23:00 | |||
| 23:00 -- 23:30 |
Detailed programme
Please notice that the program may be subject to changes.
SBMF Technical Session #1 -- Formal Methods Integration
- Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
Farah Al-Sharee, Alexei Lisitsa and Clare Dixon. University of Liverpool. - From Scenarios to Timed Automata.
Neda Saeedloei and Feliks Kluzniak. Southern Illinois University, LogicBlox. - Graph Grammar Extraction from Source Code.
Lucio Mauro Duarte and Leila Ribeiro. Federal University of Rio Grande do Sul (UFRGS).
SBMF Technical Session #2 -- Model Checking
- Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks.
Mikhail Y. R. Gadelha, Lucas C. Cordeiro and Denis A. Nicole. University of Southampton, University of Oxford. - Local Analysis of Determinism for CSP.
Rodrigo Otoni, Ana Cavalcanti and Augusto Sampaio. Federal University of Pernambuco (UFPE), University of York. - OptCE: A Counterexample-Guided Inductive Optimization Solver.
Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro and Eddie B. de Lima Filho. Federal University of Amazonas (UFAM). - Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos and Annabelle McIver. Federal University of Minas Gerais (UFMG), Macquarie University.
SBMF Technical Session #3 -- Refinement and Verification
- A Refinement Relation for Families of Timed Automata.
Guillermina Cledou, José Proença and Luís S. Barbosa. HASLab INESCTEC, University of Minho. - Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems.
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz and Alexander Weiss.
TU Darmstadt, University of Lübeck. - Sound transpilation from binary to machine-independent code.
Roberto Metere, Andreas Lindner and Roberto Guanciale. Newcastle University, KTH Royal Institute of Technology.
SBMF Technical Session #4 -- Verification and Experience Reports
- Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.
Kênia Santos de Oliveira and Stéphane Julia. Federal University of Uberlândia (UFU). - Checking static properties using conservative SAT approximations for reachability.
Pedro Antonino, Thomas Gibson-Robinson and A. W. Roscoe. University of Oxford. - Applying a Formal Method in Industry: a 25-Year Trajectory.
Thierry Lecomte, David Deharbe, Etienne Prun and Erwan Mottin. ClearSy.
SBMF Technical Session #5 -- Semantics and Languages
- UTCP: compositional semantics for shared-variable concurrency.
Andrew Butterfield. Trinity College Dublin. - On Kleene Algebras for weighted computation.
Leandro Gomes, Alexandre Madeira and Luís S. Barbosa. HASLab INESCTEC, University of Minho. - Capturing Stochastic and Real-Time Behavior in Reo Connectors.
Yi Li, Xiyue Zhang, Yuanyi Ji and Meng Sun. Peking University