default search action

combined dblp search
author search
venue search
publication search

ask others

3rd ESSS 2014: Singapore

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ESSS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/PangL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PangL14
Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AndreBC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AndreBC14
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. 1-7
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrunelRPFV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrunelRPFV14
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. 8-19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DiekmannHC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DiekmannHC14
Cornelius Diekmann, Lars Hupel, Georg Carle:
Directed Security Policies: A Stateful Network Implementation. 20-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FangYO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FangYO14
Ling Fang, Yoriyuki Yamagata, Yutaka Oiwa:
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. 35-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Guernic14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Guernic14
Gurvan Le Guernic:
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. 50-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HauzarKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HauzarKB14
David Hauzar, Jan Kofron, Pavel Bastecký:
Data-flow Analysis of Programs with Associative Arrays. 56-70

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.