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 76

> 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 76, 2018

Preface

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/PichardieS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/PichardieS18
David Pichardie, Mihaela Sighireanu:
Preface.

Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Moy18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Moy18
Yannick Moy:
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Kamburjan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Kamburjan18
Eduard Kamburjan:
Detecting Deadlocks in Formal System Models with Condition Synchronization.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/Becker18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/Becker18
Jan Steffen Becker:
Analyzing Consistency of Formal Requirements.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SerbanI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SerbanI18
Cristina Serban, Radu Iosif:
An Entailment Checker for Separation Logic with Inductive Definitions.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/PetraschOKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/PetraschOKG18
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke:
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SchnepfBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SchnepfBLM18
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz:
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FarkasTHV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FarkasTHV18
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös:
Backward Reachability Analysis for Timed Automata with Data Variables.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/LimbreeP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/LimbreeP18
Christophe Limbrée, Charles Pecheur:
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/WebsterBDFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/WebsterBDFM18
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/JomaaTNGH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/JomaaTNGH18
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym:
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MadelaineQZB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MadelaineQZB18
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze:
Using SMT Engine to Generate Symbolic Automata.

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.