Skip to main content
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA
Main menu
Home
People
Publications
Past Members
Contact
You are here
Home
»
User account
User account
Primary tabs
Log in
Request new password
(active tab)
Username or e-mail address
*
Latest News
05/23
New Article “Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations"
05/23
Diego Garbervetsky organized the "MEGA ACE Hackaton", funded by the Algorand Foundation
11/22
Sebastian Uchitel is now Head of the Interinstitutional Centre of Data Science(MINCYT/UBA)
11/22
New Article: "Assumption monitoring of temporal task planning using stream runtime verification"
11/22
New Article: "On-the-fly Informed Search of Non-blocking Directed Controllers"
09/22
New Article: "Predicate Abstractions for Smart Contract Validation"
12/21
Sebastian Uchitel will be keynote speaker at the 19th International Conference on Software Engineering and Formal Methods
12/21
Victor Braberman is program committee member for ESEC/FSE 2021, ASE 2021 and ICSE 2022
More news
