Tuesday, September 15th, 2015

Presenters: 20 minute talk, 5 minutes for Q&A plus transition to the next speaker
(suggested ~20-25 slides)


14:00–15:40 IWCPS (room E6)
14:00-14:25 Modeling Resiliency and Its Essential Components for Cyberphysical Systems - Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki, Bogdan Czejdo
14:25-14:50 Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application - Richard Banach, Pieter Van Schaik, Eric Verhulst
14:50-15:15 Behavior-Preserving Abstraction of Esterel Programs - Nir Koblenc, Shmuel Tyszberowicz
15:15-15:40 Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores - Libero Nigro and Franco Cicirelli (Universitŕ della Calabria)
16:00–18:00 IWCPS (room E6)
16:10-16:35 Real-Time Cyber-Physical Systems: Transatlantic Engineering Curricula Framework - Andrew J. Kornecki, Wojciech Grega
16:35-17:00 Using Domain Specific Languages to Improve the Development of a Power Control Unit - Mathijs Schuts, Jozef Hooman
17:00-17:25 Qualitative and Quantitative Evaluation of Stochastic Time Petri Net - Libero Nigro, Franco Cicirelli, Christian Nigro
17:25-17:50 A Quality Attributes Approach to Defining Reactive Systems Solution Applied to Cloud of Sensors - Jan Werewka, Artur Skowronski


Important dates

  • Call for event proposals: October 31, 2014
  • Paper submission: Friday May 08 2015 23:59:59 pm HST
  • Position paper submission: June 01, 2015
  • Acceptance decision: June 15, 2015
  • Final version of paper submission: July 01, 2015
  • Final deadline for discounted fee: July 31, 2015
  • Conference dates: September 13-16, 2015

FedCSIS is organized by :


Under auspices of

Prof. Lena Kolarska-Bobińska

Minister of Science
and Higher Education

Prof. Michał Kleiber

President of the Polish Academy of Sciences

Andrzej Halicki

Minister of Administration
and Digitization

Witold Stępień

Marszałek Województwa

Hanna Zdanowska

Mayor of the City of Lodz

Professor Stanisław Bielecki

His Magnificence Rector of Łódź University of Technology