Francis Atampore

According to our database, Francis Atampore authored at least 4 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A controller synthesis framework for automated service composition.

Francis Atampore, Juergen Dingel, Karen Rudie

Discret. Event Dyn. Syst., 2019

2017

Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis.

Francis Atampore

PhD thesis, 2017

2016

Automated service composition via supervisory control theory.

Francis Atampore, Juergen Dingel, Karen Rudie

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2012

Relation Algebras, Matrices, and Multi-valued Decision Diagrams.

Francis Atampore, Michael Winter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012