Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Stress Testing of Design Assumptions in Cyber-Physical Systems: A Control Theory-Based ApproachMandrioli, Claudio ; Shin, Seung Yeob ; Maggio, Martina ; Bianculli, Domenico ; Briand, LionelACM transactions on software engineering and methodology, 2023 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Control-Theoretical Software Adaptation: A Systematic Literature ReviewShevtsov, Stepan ; Berekmeri, Mihaly ; Weyns, Danny ; Maggio, MartinaIEEE transactions on software engineering, 2018-08, Vol.44 (8), p.784-810 [Periódico revisado por pares]New York: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Opinion Fluctuations and Disagreement in Social NetworksAcemoğlu, Daron ; Como, Giacomo ; Fagnani, Fabio ; Ozdaglar, AsumanMathematics of operations research, 2013-02, Vol.38 (1), p.1-27 [Periódico revisado por pares]Linthicum: INFORMSTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Automated tight Lyapunov analysis for first-order methodsUpadhyaya, Manu ; Banert, Sebastian ; Taylor, Adrien B. ; Giselsson, PontusMathematical programming, 2024-02 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Feedback systems: An introduction for scientists and engineers.Aström, Karl Johan ; Murray, Richard M ; Astr M, Karl JohanNew Jersey: Princeton University Press 2010Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Testing Abstractions for Cyber-Physical Control SystemsMandrioli, Claudio ; Nyberg Carlsson, Max ; Maggio, MartinaACM transactions on software engineering and methodology, 2023-11, Vol.33 (1), p.1-32, Article 18 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Stress Testing Control Loops in Cyber-physical SystemsMandrioli, Claudio ; Shin, Seung Yeob ; Maggio, Martina ; Bianculli, Domenico ; Briand, LionelACM transactions on software engineering and methodology, 2023-12, Vol.33 (2), p.1-58, Article 35 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Control Strategies for Self-Adaptive Software SystemsFilieri, Antonio ; Maggio, Martina ; Angelopoulos, Konstantinos ; D’ippolito, Nicolás ; Gerostathopoulos, Ilias ; Hempel, Andreas Berndt ; Hoffmann, Henry ; Jamshidi, Pooyan ; Kalyvianaki, Evangelia ; Klein, Cristian ; Krikava, Filip ; Misailovic, Sasa ; Papadopoulos, Alessandro V. ; Ray, Suprio ; Sharifloo, Amir M. ; Shevtsov, Stepan ; Ujma, Mateusz ; Vogel, ThomasACM transactions on autonomous and adaptive systems, 2017-02, Vol.11 (4), p.1-31 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Equilibria and Systemic Risk in Saturated NetworksMassai, Leonardo ; Como, Giacomo ; Fagnani, FabioMathematics of operations research, 2022-08, Vol.47 (3), p.1781-1801 [Periódico revisado por pares]Linthicum: INFORMSTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Stochastic Analysis of Control Systems Subject to Communication and Computation FaultsVreman, Nils ; Maggio, MartinaACM transactions on embedded computing systems, 2023-09, Vol.22 (5s), p.1-25, Article 144 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |