Program

Workshop on Formal Methods Integration - FMi

Session 1: August 14, 2014, 9:45 am - 11:45 am

Salon 1

Regular paper

501

Age semantics based State Space Computation of Time Petri Nets

Abdelkrim Abdelli,

USTHB University, Algeria

Regular paper

503

Ensuring that your Dart will Hit the Mark: An Introduction to Dart Contracts

Patrice Chalin

Kansas State University, USA

Regular paper

504

Towards Ray Optics Formalization of Optical Imaging Systems

Umair Siddique and Sofiene Tahar,

Concordia University, Canada

Regular paper

507

Time properties Verification of UML/MARTE Real-Time Systems

1Aymen Louati, 2Kamel Barkaoui and 3Chadlia Jerad

1,3ENIT, Tunisia

1,2CNAM Paris, France

Workshop on Formal Methods Integration - FMi

Session 2: August 14, 2014, 1:15 pm - 3:15 pm

Salon 1

Regular paper

506

Reachability in Hierarchical Machines

1Omer Landry Nguena Timo, 2Alexandre Petrenko, 3Arnaud Dury and 4S. Ramesh

1,2,3Computer Research Institute of Montreal, Canada

4GM Global R&D, USA

Regular paper

502

Formalization and analysis of Timed BPEL

Imed Eddine Chama, Nabil Belala and Djamel Eddine Saϊdouni

University of Constantine II, Algeria

Regular paper

505

A Paradigm integration in a specication course

1Manuel A. Martins, 2Alexandre Madeira, 3Luis Barbosa and 4Renato Neves

1University of Aveiro, Portugal

2,3University of Minho, Portugal

4INESC TEC & University of Minho, Portugal

Invited paper

508

CEGAR Approach for the Reachability Analysis of PLC-Controlled Chemical Plants

Johanna Nellen and Erika Abraham

RWTH Aachen University, Germany