Quantitative Verification

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

Visible to the public CFP: IEEE International Conference on Assured Autonomy (ICAA)

Submitted by Anonymous on Wed, 02/01/2023 - 10:07am

CALL FOR PAPERS

IEEE International Conference on Assured Autonomy (ICAA)

June 6-8, 2023 | The Johns Hopkins University Applied Physics Laboratory, Maryland | https://icaa-conf.github.io/icaa2023/

Important Dates

forum

Visible to the public CALL FOR PAPERS - GraMSec 2017

Submitted by Anonymous on Mon, 03/06/2017 - 5:03pm

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

Submitted by Anonymous on Mon, 03/06/2017 - 3:31pm

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

Submitted by Anonymous on Mon, 03/06/2017 - 3:29pm

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.