page_view

New Article: "Synthesis of Run-To-Completion Controllers for Discrete Event Systems"

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"

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

Undefined

New Article: "Enablednessbased Testing of Object Protocols"

A new article has been accepted:

"Enablednessbased Testing of Object Protocols." by   J. Godoy; J. P. Galeotti; D. Garbervetsky; S. Uchitel. Accepted at  ACM Transactions on Software Engineering and Methodology (TOSEM), 2020. 

Undefined

New Article: "On Resolving Nondeterminism in Choreographies"

A new article has been accepted:

"On Resolving Nondeterminism in Choreographies" by Laura Bocchi, Hernán Melgratti, Emilio Tuosto. Accepted at Logical Methods in Computer Science.

Undefined

New article: "Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems”

A new article has been accepted:

"Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems” by E. Pecker-Marcosig, S. Zudaire, M. Garrett, S. Uchitel, R. Castro. Accepted at  Winter Simulation Conference (WSC2020), December 2020, USA.

 

Undefined

New Article: "Iterator-Based Temporal Logic Task Planning"

A new article has been published:

Sebastian Zudaire, Martin Garret, Sebastian Uchitel. "Iterator-Based Temporal Logic Task Planning"International Conference on Robotics and Automation (ICRA 2020) , (2020).

Undefined

New Article: "Testability Transformations For Existing APIs"

A new article has been published:

ANDREA ARCURI, JUAN PABLO GALEOTTI. "Testability Transformations For Existing APIs" IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 , (2020).  [link]

Undefined

New Article: "Handling SQL Databases in Automated System Test Generation"

A new article has been published:

ANDREA ARCURI, JUAN PABLO GALEOTTI. "Handling SQL Databases in Automated System Test Generation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2020).  [link]

Undefined

Pages