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. 72 (2015): Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
Vol. 72 (2015): Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)
DOI:
https://doi.org/10.14279/tuj.eceasst.72
Published:
2015-11-25
Articles
Permissive strategies in timed automata and games
Patricia Bouyer, Erwin Fang, Nicolas Markey
PDF
Loop Patterns in C Programs
Thomas Pani, Helmut Veith, Florian Zuleger
PDF
Model-based WCET Analysis with Invariants
Bojan Nokovic, Emil Sekerinski
PDF
Computing Bounds for Counter Automata
Maximilien Colange, Dimitri Racordon, Didier Buchs
PDF
First-order logic for safety verification of hedge rewriting systems
Alexei Lisitsa
PDF
Estimating Rewards & Rare Events in Nondeterministic Systems
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
PDF
Approximate Active Learning of Nondeterministic Input Output Transition Systems
Michele Volpato, Jan Tretmans
PDF
ThreadSafe: Static Analysis for Java Concurrency
Robert Atkey, Donald Sannella
PDF
Studying Verification Conditions for Imperative Programs
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
PDF
State Distribution Policy for Distributed Model Checking of Actor Models
Ehsan Khamespanah, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, Mohamadreza Razzazi
PDF
Transforming Event-B Models to Dafny Contracts
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
PDF
Distributed Verification of Rare Properties using Importance Splitting Observers
Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
PDF
Conditional Lemma Discovery and Recursion Induction in Hipster
Irene Lobo Valbuena, Moa Johansson
PDF
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Vincent Rahli, David Guaspari, Mark Bickford, Robert Constable
PDF
Verifying Critical Cyber-Physical Systems After Deployment
Colin O'Halloran
PDF
Automated Verification of Asynchronous Communicating Systems with TLA+
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
PDF
Preface
Preface
Gudmund Grov, Andrew Ireland
PDF
Information
For Readers
For Authors
For Librarians