page_view

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

New Article: "A Categorical Account for the Specification of Replicated Data Type"

Submitted by nderrossi on 11/19

The article "A Categorical Account for the Specification of Replicated Data Type" by Fabio Gadducci, Hernán Melgratti, Matteo Sammartino and Christian Roldán was accepted for publication at 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.(FSTTCS), Bombay, India, 2019.

Undefined

STINT Workshop on Assured Software Engineering

Submitted by suchitel on 10/19

STINT Workshop on Assured Software Engineering

 

Undefined

New Article: “Bayesian network semantics for Petri nets”

Submitted by nderrossi on 10/19

The article "Bayesian network semantics for Petri nets" by R. Bruni, H. Melgrati and U.

Undefined

Pages