Login / Signup
ESSS
2015
2015
2015
Keyphrases
Publications
2015
Johan Arcile
,
Jean-Yves Didier
,
Hanna Klaudel
,
Raymond R. Devillers
,
Artur Rataj
Indefinite waitings in MIRELA systems.
ESSS
(2015)
Simon Busard
,
Quentin Cappart
,
Christophe Limbrée
,
Charles Pecheur
,
Pierre Schaus
Verification of railway interlocking systems.
ESSS
(2015)
Linna Pang
,
Chen-Wei Wang
,
Mark Lawford
,
Alan Wassyng
,
Josh Newell
,
Vera Chow
,
David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS.
ESSS
(2015)
Sentot Kromodimoeljo
,
Peter A. Lindsay
Automatic Generation of Minimal Cut Sets.
ESSS
(2015)
Eike Möhlmann
,
Oliver E. Theel
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems.
ESSS
(2015)
Chen-Wei Wang
,
Jonathan S. Ostroff
,
Simon Hudon
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.
ESSS
(2015)
volume 184, 2015
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015.
ESSS
184 (2015)
2014
Ling Fang
,
Yoriyuki Yamagata
,
Yutaka Oiwa
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.
ESSS
(2014)
Étienne André
,
Mohamed Mahdi Benmoussa
,
Christine Choppy
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.
ESSS
(2014)
Gurvan Le Guernic
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.
ESSS
(2014)
Cornelius Diekmann
,
Lars Hupel
,
Georg Carle
Directed Security Policies: A Stateful Network Implementation.
ESSS
(2014)
Julien Brunel
,
Laurent Rioux
,
Stéphane Paul
,
Anthony Faucogney
,
Frédérique Vallée
Formal Safety and Security Assessment of an Avionic Architecture with Alloy.
ESSS
(2014)
David Hauzar
,
Jan Kofron
,
Pavel Bastecký
Data-flow Analysis of Programs with Associative Arrays.
ESSS
(2014)
volume 150, 2014
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014.
ESSS
150 (2014)