page_view

New Article: "Assumption monitoring of temporal task planning using stream runtime verification"

Submitted by jgaleotti on 11/22

"Assumption monitoring of temporal task planning using stream runtime verification" by 
 Sebastian Zudaire, Felipe Gorostiaga, Cesar Sanchez, Gerardo Schneider, and Sebastian Uchitel was accepted for publication in the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA, 2022.

Undefined

New Article: "On-the-fly Informed Search of Non-blocking Directed Controllers"

Submitted by jgaleotti on 11/22

On-the-fly Informed Search of Non-blocking Directed Controllers
by Daniel Ciolek, Matias Duran, Florencia Zanollo, Julián Braier, Nicolás Pazos, Victor Braberman, Nicolás D'Ippolito, and Sebastián Uchitel was accepted for publication at Automatica, a Journal of IFAC, the International Federation of Automatic Control

Undefined

New Article: "Predicate Abstractions for Smart Contract Validation"

Submitted by jgaleotti on 09/22

The article "Predicate Abstractions for Smart Contract Validation" by Javier Godoy, Diego Garbervetsky, Juan Pablo Galeotti and Sebastian Uchitel was accepted for publication at the  25th International Conference on Model Driven Engineering Languages and Systems (MODELS), 

 

Undefined

New Article: "Assured Automatic Dynamic Reconfiguration of Business Processes"

Submitted by jgaleotti on 12/21

The paper   "Assured Automatic Dynamic Reconfiguration of Business Processes" by Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Jeff Kramer and Sebastian Uchitel was published in Information Systems, 2021.  

Undefined

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

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

Pages