Hosting the MEALS workshop

0.5th MEALS Workshop

Computer Science Department - School of Sciences - University of Buenos Aires

MONDAY 28

9:55 - Opening/Welcome

10:00 - Benoit Delahaye, "Distances and Difference for Abstract Probabilistic Automata"

10:30 - Nicolas D'ippolito, "Synthesis of Event-Based Controllers for Software Engineering

11:00 - Coffee Break

11:45 - Marcelo Frias, "Parallel Analysis of Code by Refinement of TACO Bounds"

12:15 - Hassan Hatefi, "Model Checking Algorithms for Markov Automata"

12:45 - Lunch

14:15 - Gabriel Senno, "The length of controlled bad sequences: upper bounds for the product and
majoring WQOs via linearizations"

14:45 - Nils Jansen, “Symbolic Counterexample Generation for Discrete-time Markov Chains with
Costs”

15:15 - Coffee Break

16:00 - Carlos E. Budde, "Non-deterministic Labelled Markov Processes: Bisimulations and Logic"

16:30 - Fernando Asteasuian, "Declaratively building behavior by means of scenario clauses"

TUESDAY 29

9:30 - Esteban Pavese, "Automated Reliability Estimation over Partial Systematic Explorations"

10:00 - Matías Tealdi, "Parallelization for Model Checking of Probabilistic System with GPU
Computing"

10:30 - Arnd Hartmanns, "A Comparative Analysis of Decentralised Power Grid Stabilisation
Strategies"

11:00 - Coffee Break

11:45 - Hernan Czemerinski, "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria"

12:15 - Edgardo Zoppi, "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts"

12:45 - Closing / Lunch