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
01/17- Víctor Braberman is an editor at TSE.
Submitted by
nderrossi
on 09/18
Language
Undefined
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
User login
Username
*
Password
*
Request new password
