[ATVA 2016] Observational Refinement and Merge for Disjunctive MTSs.

Shoham Ben-David, Marsha Chechik and Sebastian Uchitel,
Observational Refinement and Merge for Disjunctive MTSs,
ATVA 2016.


[TSE’16] Interaction Models and Automated Control under Partial Observable Environments.

Daniel Ciolek, Victor Braberman, Nicolas D’Ippolito, Nir Piterman and Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments


[SEAMS'16] Reusable Self-Adaptation Through Bidirectional Programming.

Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang Hu, Sebastian Uchitel, and Pierre-Yves Schobbens. "Reusable Self-Adaptation Through Bidirectional Programming". In 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 16-17, 2016. Austin, Texas. ACM,2016.



Subscribe to LaFHIS RSS