ABCD
1
Monday (9 Sept)
2
9:00–10:05opening + invited talk #1chair:Bohuslav Křena
3
09:00opening
4
09:05Mauro Pezzè
USI Università della Svizzera Italiana
Automatic Verification of Human-Centric Cyber-Physical Systems
5
6
10:05–10:30coffee break☕️☕️☕️☕️☕️☕️☕️☕️
7
8
10:30–12:30technical session #1chair:Milan Češka
9
Bettina KönighoferTU GrazSafe Learning via Shielding
10
Stefan PrangerTU GrazOptimal Learning via Shielding
11
Jeremy Guijt
Radboud University Nijmegen
Probabilistic Shields: Shielded Decision Making in MDPs and POMDPs
12
Masoud EbrahimiTU GrazLearning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
13
Chencheng LiangUppsala UniversityGuiding interpolation selection for model checking by using machine learning techniques
14
Niveditha Manjunath
AIT Austrian Institute of Technology
Automatic Failure Explanation in CPS Models
15
Miroslav StankovičTU WienAutomatic Analysis for Prob-Solvable Loops
16
Anja KarlTU GrazSmall Faults Grow Up - A Verification Method for Countermeasures Against Fault Injection Attacks
17
18
12:30–14:00lunch🌭🌭🌭🌭🌭🌭🌭🌭
19
20
14:00–15:35
invited talk #2 + technical session #2
chair:Tomáš Vojnar
21
14:00Nikos Gorogiannis
Facebook & Middlesex University
Concurrency bug detection at scale with Infer
22
15:00Nicolas JeannerodIRIF, Université de ParisSymbolic Execution of Debian Packages
23
Thomas LembergerLMU MunichConditional Testing: Off-the-Shelf Combination of Test-Case Generators
24
25
15:35–16:00coffee break☕️☕️☕️☕️☕️☕️☕️☕️
26
27
16:00–18:00technical session #3chair:Javier Esparza
28
Stefan Ratschan
ICS, Czech Academy of Sciences
Formal Software Specification From A Different Angle
29
Bernhard KraglIST AustriaInductive Sequentialization of Asynchronous Programs
30
Florian ZulegerTU WienThe Polynomial Complexity of Vector Addition Systems with States
31
Thanh-Hai TranTU WienTLA+ Model Checking Made Symbolic
32
Vlastimil DortCharles UniversityReference Immutability for Dotty and DOT
33
Martin BlichaCharles UniversityDecomposing Farkas Interpolants
34
Sebastian WolffTU BraunschweigDecoupling lock-free data structures from memory reclamation for static analysis
35
36
18:00–24:00dinner, beer, games, ... 🍻🍻🍻🍻
37
38
Tuesday (10 Sept)
39
9:00–10:00invited talk #3chair:Jan Strejček
40
Javier EsparzaTU Munich
Population protocols: A Case Study in Parameterized Verification of Liveness Properties of Probabilistic Distributed Algorithms
41
42
10:00–10:30coffee break☕️☕️☕️☕️☕️☕️☕️☕️
43
44
10:30–12:00technical session #4chair:Mauro Pezzè
45
Frank SchüsseleUniversity of FreiburgTrace Abstraction with Maximal Causality Reduction
46
Dominik KlumppUniversity of FreiburgAutomated Control Flow Reconstruction from Assembler Programs
47
Kaled AlshmranyUniversity of ManchesterFinding Vulnerabilities in Network Protocols Using Fuzzing and Symbolic Execution
48
Juraj MajorMasaryk UniversityLTL3TELA: a translator of LTL to small omega-automata
49
Vojtěch Havlena
Brno University of Technology
Automata Terms in a Lazy WSkS Decision Procedure
50
51
12:00–13:10lunch🍕🍕🍕🍕🍕🍕🍕🍕
52
53
13:20–23:00trip to Moravian carst🚌🚌🚌🚌🚌🚌🚌🚌
54
13:20bus departure
55
23:00expected return to the Avanti hotel
56
57
Wednesday (11 Sept)
58
9:00–10:05
industrial talk #1 + technical session #5
chair:Nikos Gorogiannis
59
09:00Kamil Dudka (industrial talk)Red HatStatic Analysis and Formal Verification at Red Hat
60
09:30Gidon ErnstLMU MunichSecCSL: Security Concurrent Separation Logic
61
Jens KatelaanTU WienOn Magic Wands and Bi-Abduction: Deciding Expressive Separation Logics
62
63
10:05–10:30coffee break☕️☕️☕️☕️☕️☕️☕️☕️
64
65
10:30–12:45
industrial talk #2 + technical session #5
chair:Roderick Bloem
66
10:30Jan Fiedor (industrial talk)HoneywellVerification of Safety-critical Systems at Honeywell
67
11:00Heinz RienerEPFLSAT-based Exact Synthesis
68
Emily YuJKU LinzQBF-based Bounded Model Checking for Temporal Epistemic Logic
69
Tanja SchindlerUniversity of FreiburgFinding Conflict and Unit Instances via E-Matching
70
Jaroslav BendikMasaryk UniversityMinimal Inductive Validity Cores
71
Jiří Matyáš
Brno University of Technology
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
72
Pavol Vargovčík
Brno University of Technology
Tuning MiniSAT
73
12:40closure
74
75
12:45–14:00lunch & departure🍔🍔🍔🍔🍔🍔🍔🍔