Skip to main content
Home
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA

Main menu

  • Home
  • People
  • Publications
  • Past Members
  • Contact

You are here

Home

New Article: "Reversing Place Transition Nets"

Submitted by jgaleotti on 10/20

H. Melgratti, C. Mezzina, I. Ulidowski. Reversing Place Transition Nets. Accepted in Logical Methods in Computer Science. 

Undefined

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

User login

  • Request new password
LAFHIS
Departamento de Computación, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Argentina. [ Google Maps Link ]
Pabellón 1, Ciudad Universitaria, Intendente Güiraldes 2160
Buenos Aires (C1428EGA), Argentina
Tel. (+54 11) 4576 3390 ext. 704