Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
forum

Visible to the public CALL FOR PAPERS - GraMSec 2017

CALL FOR PAPERS

The Fourth International Workshop on Graphical Models for Security

Santa Barbara, CA, USA | August 21, 2017 | http://gramsec.uni.lu

Co-located with CSF 2017

forum

Visible to the public CfP: Software Engineering for Resilient Systems - SERENE 2017 workshop

CALL FOR PAPERS

SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems

September 4-5, 2017 | Geneva, Switzerland | http://serene.disim.univaq.it/2017/home

Co-located with EDCC, European Dependable Computing Conference.

Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc.

event

Visible to the public  SERENE 2017
Sep 04, 2017 7:00 am - Sep 05, 2017 6:00 pm CEST

SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems

Co-located with EDCC, European Dependable Computing Conference.

Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc.

event

Visible to the public  MEMICS 2016
Oct 21, 2016 7:00 am - Oct 23, 2016 6:00 pm CEST

11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)

Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.