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
Primary tabs
Log in
(active tab)
Request new password
Username
*
Enter your LaFHIS username.
Password
*
Enter the password that accompanies your username.
Latest News
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
12/21
New Article: "Assured Automatic Dynamic Reconfiguration of Business Processes"
06/21
New Article: "Synthesis of Run-To-Completion Controllers for Discrete Event Systems"
More news
