page_view

Hernán Czemerinski presents at Zeller@Saarland

Hernán Czemerinski visits Saarland University, Saarbrücken (March 4-8). He will give the talk "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria", and work with Prof. Zeller's group.
The week after he will visit Imperial College of London (March 11-18).

Undefined

Guido de Caso is now a PhD!

Today Guido de Caso defended his PhD thesis, an excellent work. Congratulations!

Undefined

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"

Undefined

ICST 2013 Paper accepted.

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria will be presented by Hernán Czemerinski in ICST 2013, Luxembourg, March 19-21

Undefined

Philippe Clauss, INRIA-CAMUS, visits for the week.

12/12 Philippe Clauss from INRIA-CAMUS visits us for the week.

Undefined

PhD Student Camilo Bruno from IMRIA-Rmod visits us for 3 weeks.

12/12 PhD Student Camilo Bruno from IMRIA-Rmod visits us for 3 weeks.

Undefined

NII from Japan visits us to attend the first NII-UBA workshop.

11/12 National Institute of Informatics from Japan visits us to attend the first NII-UBA workshop.

http://lafhis.dc.uba.ar/misc/niiuba/

Undefined

S. Uchitel is invited to be on the ASE 2013 PC

11/12 Sebastian Uchitel is invited to be on the ASE 2013 Program Committee at Palo Alto.

Undefined

Pages