default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Communication of the European Association of Software Science and Technology, Volume 53

> Home > Journals > Electronic Communication of the European Association of Software Science and Technology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 53, 2012

Automated Verification of Critical Systems

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/LuttgenM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/LuttgenM12
Gerald Lüttgen, Stephan Merz:
Preface.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SiminiceanuAC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SiminiceanuAC12
Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño:
Automated Verification of Specifications with Typestates and Access Permissions.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ZhaoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ZhaoR12
Yang Zhao, Kristin Yvonne Rozier:
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/PockrandtHGG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/PockrandtHGG12
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner:
Optimized Transformation and Verification of SystemC Methods.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KeirenK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KeirenK12
Jeroen J. A. Keiren, Martijn Klabbers:
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MerzV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MerzV12
Stephan Merz, Hernán Vanzetto:
Harnessing SMT Solvers for TLA+ Proofs.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/RoggenbachMSTN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RoggenbachMSTN12
Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen:
Railway modelling in CSP||B: the double junction case study.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MuraliI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MuraliI12
Rajiv Murali, Andrew Ireland:
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HatefiH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HatefiH12
Hassan Hatefi, Holger Hermanns:
Model Checking Algorithms for Markov Automata.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DijkLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DijkLP12
Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-core and/or Symbolic Model Checking.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Gast12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Gast12
Holger Gast:
Semi-automatic Proofs about Object Graphs in Separation Logic.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DongolDH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DongolDH12
Brijesh Dongol, John Derrick, Ian J. Hayes:
Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/TravkinWS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/TravkinWS12
Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn:
Proving Linearizability of Multiset with Local Proof Obligations.

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.