PhD Symposium Program

TimeJune 5
08:30-09:30
Invited Talk 1
09:30-10:00
Session 1
 10:00-10:30Coffee Break
 10:30-12:00 Session 2
 12:00-13:30Lunch
 13:30-14:30 Invited Talk 2
 14:30-15:00 Session 3
 15:00-15:30Coffee Break
 15:30-17:30 Session 4

Invited Talk 1

 8:30- 9:30, Room M104.

Mohammad Reza Mousavi (Halmstad University, Sweden) will talk about “How to Write and Present a Computer Science Paper”.

Session 1

 9:30-10:00, Room M104.

Model Based construction of reliable Concurrent Software. Raúl Nestor Neri Alborodo.

Session 2

10:30-12:00, Room M104.

Using the theory of institutions to integrate software models via refinement. Marie Farrell.

Modeling Metablic Networks in Event-B. Usman Sanwal, Luigia Petre, and Ion Petre.

The Burden of High-Level Languages: Complicated Symbolic Model Checking. Sebastian Krings.

Invited Talk 2

13:30-14:30, Room M104.

Carlo Ghezzi (Politecnico di Milano, Italy) will talk about “Formal models and verification to support software evolution”.

Session 3

14:30-15:00, Room M104.

Delta-Oriented FSM-Based Testing. Masha Varshosaz and Mohammad Reza Mousavi.

Session 4

15:30-17:30, Room M104.

Specifying BYOD Policies With Authorisation Logic. Joseph Hallett and David Aspinall.

Practice-Oriented Formal Methods for PLC Programs of Industrial Control Systems. Dániel Darvas.

Software model checking in floating-points dominated C programs. Ahmed Mahdi and Martin Fränzle.

Combining parallel techniques for Cloud-Based SMT Solving. Matteo Marescotti.



Was the content helpful? Yes No