Abstract is missing.
- Risk management for high tech systemsMariëlle Stoelinga. 1 [doi]
- Formal verification of complex robotic systems on resource-constrained platformsMohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. 2-9 [doi]
- Extending specification patterns for verification of parametric tracesYoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz. 10-19 [doi]
- Runtime verification of hyperproperties for deterministic programsSrinivas Pinisetty, Gerardo Schneider, David Sands. 20-29 [doi]
- Testing meets static and runtime verificationJesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider. 30-39 [doi]
- CIL to Java-bytecode translation for static analysis leveragingPietro Ferrara, Agostino Cortesi, Fausto Spoto. 40-49 [doi]
- Modeling time in Java programs for automatic error detectionGiovanni Liva, Muhammad Taimoor Khan 0001, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger 0001. 50-59 [doi]
- Domain-specific design of patient classification in cancer-related cachexia researchAlexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria. 60-63 [doi]
- Self-adaptive automataAimee Borda, Vasileios Koutavas. 64-73 [doi]
- Formal verification of an autonomous wheel loader by model checkingRong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist. 74-83 [doi]
- Formal verification of automotive embedded softwareVassil Todorov, Frédéric Boulanger, Safouan Taha. 84-87 [doi]