Program for Thursday, December 3rd: Talk View

PROGRAM FOR THURSDAY, DECEMBER 3RD: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

10:30-11:30

Taming delays in cyber-physical systems

Naijun Zhan

12:00-12:20

Qsimulation V2.0: an Optimized Quantum Simulator

Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du

12:20-12:40

Star-freeness, First-order Definability and Aperiodicity of Structured Context-free Languages

Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi

12:40-13:00

A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

Frits Vaandrager, Abhisek Midya

13:00-14:00 Break

14:00-14:20

Compositionality of Safe Communication in Systems of Team Automata

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

14:20-14:40

The Complexity of Boolean State Separation

Ronny Tredup, Evgeny Erofeev

14:40-15:00

On Two Characterizations of Feature Models

Ferruccio Damiani, Michael Lienhardt, Luca Paolini

15:00-15:30 Break

15:30-15:50

Analysis of Bayesian Networks via Prob-Solvable Loops

Ezio Bartocci, Laura Kovacs, Miroslav Stankovic

15:50-16:10

Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm

Evgeny Erofeev, Ronny Tredup

16:10-16:30

Statistical Analysis of Non-Deterministic Fork-Join Processes

Antoine Genitrini, Martin Pépin, Frederic Peschanski

16:30-16:40

Best Paper Award

Chairs

16:40-16:45

Concluding Remarks

Chairs