The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10)

[1]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[2]  FilieriAntonio,et al.  Control Strategies for Self-Adaptive Software Systems , 2017 .

[3]  Raman Kazhamiakin,et al.  Formal verification of requirements using SPIN: a case study on Web services , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[4]  Alex Simpkins,et al.  System Identification: Theory for the User, 2nd Edition (Ljung, L.; 1999) [On the Shelf] , 2012, IEEE Robotics & Automation Magazine.

[5]  Bradley R. Schmerl,et al.  Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.

[6]  Valérie Issarny,et al.  Automated Synthesis of Mediators to Support Component Interoperability , 2015, IEEE Transactions on Software Engineering.

[7]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[8]  Ramon Vilanova,et al.  PID control in the Third Millennium : lessons learned and new approaches , 2012 .

[9]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[10]  Axel van Lamsweerde,et al.  Agent-based tactics for goal-oriented requirements elaboration , 2002, ICSE '02.

[11]  Bernhard Rinner,et al.  Static, Dynamic, and Adaptive Heterogeneity in Distributed Smart Camera Networks , 2015, ACM Trans. Auton. Adapt. Syst..

[12]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[13]  Sebastián Uchitel,et al.  Synthesizing nonanomalous event-based controllers for liveness goals , 2013, TSEM.

[14]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[15]  M. Hoagland,et al.  Feedback Systems An Introduction for Scientists and Engineers SECOND EDITION , 2015 .

[16]  Dimitra Giannakopoulou,et al.  Fluent model checking for event-based systems , 2003, ESEC/FSE-11.

[17]  Holger Hermanns,et al.  Discrete-time rewards model-checked (to appear) , 2003 .

[18]  Stephen P. Boyd,et al.  Linear controller design: limits of performance via convex optimization , 1990 .

[19]  Thomas Vogel,et al.  Control Strategies for Self-Adaptive Software Systems , 2017, ACM Trans. Auton. Adapt. Syst..

[20]  Karl-Erik Årzén,et al.  Brownout: building more robust cloud applications , 2014, ICSE.