Abstract is missing.
- Feasibility of Spatial Model Checking for Nevus SegmentationGina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink. 1-12 [doi]
- Formal characterization and efficient verification of a biological robustness propertyLucia Nasti, Roberta Gori, Paolo Milazzo. 13-18 [doi]
- Monitoring Cumulative Cost PropertiesOmar Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran. 19-30 [doi]
- Runtime Verification Under Access RestrictionsRania Taleb, Raphaël Khoury, Sylvain Hallé. 31-41 [doi]
- How much Specification is Enough? Mutation Analysis for Software ContractsAlexander Knüppel, Leon Schaer, Ina Schaefer. 42-53 [doi]
- Methodology for Specification and Verification of High-Level Requirements with MetAcslVirgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall. 54-67 [doi]
- Quantifying Faultiness: What Does It Mean to Have N Faults?Besma Khaireddine, Ali Mili. 68-74 [doi]
- Formally Verified Credentials Management for Industrial Control SystemsTomas Kulik, Jalil Boudjadar, Diego F. Aranha. 75-85 [doi]
- Checking temporal patterns of API usage without code executionErick Raelijohn, Michalis Famelis, Houari A. Sahraoui. 86-96 [doi]
- Improved Bounded Model Checking of Timed AutomataRobert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro. 97-110 [doi]
- Permission-Based Verification of Red-Black Trees and Their MergingLukas Armborst, Marieke Huisman. 111-123 [doi]
- GUIDO: Automated Guidance for the Configuration of Deductive Program VerifiersAlexander Knüppel, Thomas Thüm, Ina Schaefer. 124-129 [doi]
- PEQCHECK: Localized and Context-aware Checking of Functional EquivalenceMarie-Christine Jakobs. 130-140 [doi]