Workshop on Formal Methods Integration - FMi

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

Salon 1

Regular paper


Age semantics based State Space Computation of Time Petri Nets

Abdelkrim Abdelli,

USTHB University, Algeria

Regular paper


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

Patrice Chalin

Kansas State University, USA

Regular paper


Towards Ray Optics Formalization of Optical Imaging Systems

Umair Siddique and Sofiene Tahar,

Concordia University, Canada

Regular paper


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


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


Formalization and analysis of Timed BPEL

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

University of Constantine II, Algeria

Regular paper


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


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

Johanna Nellen and Erika Abraham

RWTH Aachen University, Germany