page_view

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

C. Roldán will co-chair the 9th Young Researchers Workshop on Concurrency Theory at CONCUR 2019.

Submitted by nderrossi on 10/19

Christian Roldán co-chairs in 9th Young Researchers Workshop on Concurrency Theory, Workshop at CONCUR 2019. 31 August 2019, Amsterdam, Netherlands.

Undefined

Pages