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: "Synthesis of Run-To-Completion Controllers for Discrete Event Systems"

Submitted by jgaleotti on 06/21

The paper   "Synthesis of Run-To-Completion Controllers for Discrete Event Systems" by Yehia Abd Alrahman, Victor Braberman, Nicolás D'Ippolito, Nir Piterman and Sebastián Uchitel was published in Proceedings of the IEEE American Control Conference, 2021. https://arxiv.org/abs/2009.05554 

 

Undefined

Latest News

06/25
Víctor Braberman fue invitado a formar parte de un comité de programa: Program Committee (PC) of the 23rd edition of the International Conference on Software Engineering and Formal Methods (SEFM2025, https://sefm-conference.github.io/2025/)
05/24
Diego Garbervetsky fué seleccionado en la convocatoria PIP 2022.
05/24
Sebastián Uchitel, Victor Braberman y LaFHIS ganaron uno de los Automated Reasoning Amazon Research Awards (ARA).
04/24
Victor Braberman was promoted to "Director Researcher”" at CONICET.
04/24
New Article: "Brewing Up Reliability: Espresso Test Generation for Android Apps"
04/24
Interview with Sebastian Uchitel at El Cronista's Digital Transformation 2024.
04/24
Sebastian Uchitel was promoted to "Senior Researcher" at CONICET.
02/24
Aceptado en la 17th IEEE International Conference on Software.
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