Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)
Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)
DOI:
https://doi.org/10.14279/tuj.eceasst.76
Published:
2019-05-14
Articles
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
Christophe Limbree, Charles Pecheur
PDF
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
PDF
An Entailment Checker for Separation Logic with Inductive Definitions
Cristina Serban, Radu Iosif
PDF
Using SMT Engine to Generate Symbolic Automata
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
PDF
Detecting Deadlocks in Formal System Models with Condition Synchronization
Eduard Kamburjan
PDF
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
PDF
Backward Reachability Analysis for Timed Automata with Data Variables
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
PDF
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
PDF
Analyzing Consistency of Formal Requirements
Jan Steffen Becker
PDF
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
PDF
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software
Yannick Moy
PDF
Preface
Preface
David Pichardie, Mihaela Sighireanu
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.