[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.


[ICSE'16] Risk-Driven Revision of Requirements Models.

Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo and Sebastian Uchitel. "Risk-Driven Revision of Requirements Models". 38th IEEE/ACM International Conference on Software Engineering (ICSE16), 2016.


[TSE'16] Probabilistic interface automata.

Esteban Pavese, Victor A. Braberman, and Sebastian Uchitel. "Probabilistic interface automata". IEEE Transactions on Software Egnineering, In Press, 2016.



Subscribe to LaFHIS RSS