[CONCUR 2013] Merging Partial Behaviour Models with Different Vocabularies

CONCUR 2013: Shoham Ben-David, Marsha Chechik and Sebastian Uchitel: Merging Partial Behaviour Models with Different Vocabularies

Accepted to appear in the proceedings of the conference CONCUR 2013, Buenos Aires, Argentina, August 2013.

Undefined

On our way to ICSE 2013!

Sebastián Uchitel, Esteban Pavese and Nicolás D'Ippolito departed to San Francisco... Good Luck!

Undefined

Congratulations! Sebastián Uchitel is awarded by the Foundation Konex

On April 30 was announced the list of recognized personalities and institutions for the Konex Awards 2013, this year dedicated to the Science and Technology.
The Grand Jury has chosen, among other things, the 100 most leading personalities of the last decade (2003-2012) of the Science and Technology in Argentina, forming quintets in 20 disciplines.
Dr. Sebastian Uchitel integrates the quintet of "Information and Communications Technologies".
Congratulations!

Undefined

[ICSE 2013] Automated Reliability Estimation over Partial Systematic Exprorations

ICSE 2013: Esteban Pavese, Víctor Braberman, Sebastian Uchitel , Automated Reliability Estimation over Partial Systematic Exprorations

This work will be presented by Esteban Pavese in ICSE 2013, San Francisco, May 18-26.

http://publicaciones.dc.uba.ar/Publications/2013/PBU13/

Undefined

More of us, 4 new PhD Students!

Guido Chari, Edgardo Zoppi and Rodrigo Castaño have a doctoral scholarship from CONICET.
Daniel Ciolek has a doctoral scholarship from ANPCyT.

Welcome to Lafhis!

Undefined

FACAS 2013 was a success!

We organized the First Argentinian Workshop on Foundations for Automatic Construction and Analysis of Software, from 12 to 14 April in Nature Reserve Vaquerías, Córdoba.
You can see the program in http://lafhis-server.exp.dc.uba.ar/facas2013/
Thanks to all the attendees!

Undefined

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

Pages

Subscribe to LaFHIS RSS