Registro:

Referencias:

• The International Workshop on Models@run.time Series at the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
• Basset, N., Kwiatkowska, M.Z., Topcu, U., Wiltsche, C., Strategy synthesis for stochastic games with multiple long-run objectives (2015) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS, 2015, pp. 256-271
• Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Morph: A reference architecture for configuration and behaviour self-adaptation (2015) Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE, pp. 9-16. , ACM, 2015
• Brun, Y., (2008) Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distrbuted Networks, , PhD thesis, University of Southern California
• Cámara, J., Moreno, G.A., Garlan, D., Reasoning about human participation in self-adaptive systems (2015) Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, pp. 146-156
• Chatterjee, K., Henzinger, T.A., A survey of stochastic omega-regular games (2012) J. Comput. Syst. Sci., 78 (2), pp. 394-413. , March
• Cheng, B.H., Software engineering for self-adaptive systems (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap, pp. 1-26. , chapter Springer-Verlag, Berlin, Heidelberg
• Cimatti, A., Pistore, M., Roveri, M., Traverso, P., Weak, strong, and strong cyclic planning via symbolic model checking (2003) Artif. Intell., 147 (1-2), pp. 35-84
• Di Marco, A., Inverardi, P., Spalazzese, R., Synthesizing self-adaptive connectors meeting functional and performance concerns (2013) Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '13, pp. 133-142
• D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S., Synthesizing non-anomalous event-based controllers for liveness goals (2013) ACM Trans. Softw. Eng. Methodol., 22 (1), p. 9
• D'Ippolito, N., Braberman, V.A., Kramer, J., Magee, J., Sykes, D., Uchitel, S., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems (2014) 36th Intl. Conf. on Software Engineering, ICSE, 2014, pp. 688-699
• D'Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Synthesis of live behaviour models for fallible domains (2011) Proceedings of the 33rd International Conference on Software Engineering, ICSE, pp. 211-220
• D'Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., The modal transition system control problem (2012) FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 155-170
• D'Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Controllability in partial and uncertain environments (2014) 14th Intl. Conf. on Application of Concurrency to System Design, ACSD, pp. 52-61
• Ellis, C., Keddara, K., Rozenberg, G., Dynamic change within workflow systems (1995) Proceedings of Conference on Organizational Computing Systems, COCS, pp. 10-21
• Fabre, J., Nicomette, V., Wu, Z., Implementing fault-tolerant applications using reflective object-oriented programming (1995) Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, FTCS '95, p. 489. , Washington, DC, USA, IEEE Computer Society
• Filieri, A., Hoffmann, H., Maggio, M., Automated design of self-adaptive software with control-theoretical formal guarantees (2014) 36th International Conference on Software Engineering, ICSE, pp. 299-310
• Fox, A., Gribble, S.D., Brewer, E.A., Amir, E., Adapting to network and client variability via on-demand dynamic distillation (1996) Proceedings of the 7th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, ASPLOS, pp. 160-170. , NY, USA, ACM
• Ghezzi, C., Greenyer, J., La Manna, V.P., Synthesizing dynamically updating controllers from changes in scenario-based specifications (2012) Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '12, pp. 145-154. , Piscataway, NJ, USA, IEEE Press
• Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M., (2004) Feedback Control of Computing Systems, , John Wiley & Sons
• Jackson, M., The world and the machine (1995) Proceedings of the 17th International Conference on Software Engineering, ICSE '95, pp. 283-292. , New York, NY, USA, ACM
• Van Lamsweerde, A., Goal-Oriented Requirements Engineering: A Guided Tour (2001) Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, , Los Alamitos, CA, USA, IEEE CS
• Malek, S., Ghezzi, C., (2016) International Symposium on Software Engineering for Adaptive and Self-managing Systems, , http://seams2016.jgreen.de, March
• (2014) Windows Workflow Foundations - Foundation Programming - Dynamic Update, , http://msdn.microsoft.com/enus/library/hh314052(v=vs.110).aspx, August
• Mohajerani, S., Malik, R., Ware, S., Fabian, M., Compositional synthesis of discrete event systems using synthesis abstraction (2011) Control and Decision Conference (CCDC), pp. 1549-1554. , May
• Muise, C.J., McIlraith, S.A., Beck, J.C., Improved non-deterministic planning by exploiting state relevance (2012) Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS
• Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Assured and correct dynamic update of controllers (2016) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, , ACM
• Patikirikorala, T., Colman, A., Han, J., Wang, L., A systematic survey on the design of self-adaptive software systems using control engineering approaches (2012) Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on, pp. 33-42. , June
• Piterman, N., Pnueli, A., Sa'ar, Y., Synthesis of reactive (1) designs (2006) Lecture Notes in Computer Science, 3855, pp. 364-380
• Pnueli, A., Rosner, R., On the synthesis of a reactive module (1989) Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '89, pp. 179-190. , New York, NY, USA, ACM
• Ramadge, P.J.G., Wonham, W.M., The control of discrete event systems (1989) Proceedings of the IEEE, 77 (1), pp. 81-98
• Robinson, B., White, L., Testing of user-configurable software systems using firewalls (2008) 19th Intl. Symposium on Software Reliability Engineering. ISSRE, pp. 177-186. , Nov
• Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K., Learning revised models for planning in adaptive systems (2013) Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, pp. 63-71. , Piscataway, NJ, USA, IEEE Press
• Sykes, D., Magee, J., Kramer, J., Flashmob: Distributed adaptive self-assembly (2011) Proceedings of the 6th Intl. Symp. on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, pp. 100-109. , New York, NY, USA, ACM
• Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N., Plasma: A plan-based layered architecture for software model-driven adaptation (2010) Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE '10, pp. 467-476. , New York, NY, USA, ACM
• Van Der Aalst, W.M.P., Jablonski, S., Dealing with workflow change: Identification of issues and solutions (2000) International Journal of Computer Systems Science and Engineering, 15 (5), pp. 267-276. , September
• VanderAalst, W., VanHee, K., (2004) Workflow Management: Models, Methods, and Systems, , MIT Press, Cambridge, MA, USA
• Zhang, J., Cheng, B.H.C., Specifying adaptation semantics (2005) Proceedings of the 2005 Workshop on Architecting Dependable Systems, WADS '05, pp. 1-7. , New York, NY, USA, ACMA4 - Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------