page_view

New Article: "On Resolving Nondeterminism in Choreographies"

Submitted by jgaleotti on 09/20

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”

Submitted by jgaleotti on 09/20

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"

Submitted by jgaleotti on 07/20

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"

Submitted by jgaleotti on 07/20

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"

Submitted by jgaleotti on 07/20

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

New Article: "A Choreography-Driven Approach to APIs"

Submitted by nderrossi on 06/20
Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti and Emilio Tuosto. A Choreography-Driven Approach to APIs: the OpenDXL Case Study. Coordination 2020
Undefined

"New Article: "Reversible Occurrence Nets and Causal Reversible Event Structures"

Submitted by nderrossi on 06/20
Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski. Reversible Occurrence Nets and Causal Reversible Event Structures. Reversible Computing 2020
Undefined

New Article: "Compositional Supervisory Control via Reactive Synthesis and Automated Planning"

Submitted by nderrossi on 11/19

The article "Compositional Supervisory Control via Reactive Synthesis and Automated Planning" by Daniel Ciolek, Victor Braberman, Nicolás D'Ippolito, Sebastian Sardina, Sebastián Uchitel was accepted for publication at IEEE Transactions on Automatic Control. https://doi.org/10.1109/TAC.2019.2948270

 

Undefined

Pages