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
|
![]() |
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 |
3 |
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 |
4 |
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 |
5 |
Material Type: Artigo
|
![]() |
A Software Platform for Adaptive High Order Multistep MethodsArévalo, Carmen ; Jonsson-Glans, Erik ; Olander, Josefine ; Soto, Monica Selva ; Söderlind, GustafACM transactions on mathematical software, 2020-04, Vol.46 (1), p.1-17 [Periódico revisado por pares]Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Game-theoretic network bandwidth distribution for self-adaptive camerasSeetanadi, Gautham Nayak ; Oliveira, Luis ; Almeida, Luis ; Arzén, Karl-Erik ; Maggio, MartinaSIGBED review, 2018-08, Vol.15 (3), p.31-36 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing SystemsMaggio, Martina ; Hoffmann, Henry ; Papadopoulos, Alessandro V. ; Panerati, Jacopo ; Santambrogio, Marco D. ; Agarwal, Anant ; Leva, AlbertoACM transactions on autonomous and adaptive systems, 2012-12, Vol.7 (4), p.1-32 [Periódico revisado por pares]Texto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Self-aware computing in the Angstrom processorHoffmann, Henry ; Holt, Jim ; Kurian, George ; Lau, Eric ; Maggio, Martina ; Miller, Jason E. ; Neuman, Sabrina M. ; Sinangil, Mahmut ; Sinangil, Yildiz ; Agarwal, Anant ; Chandrakasan, Anantha P. ; Devadas, Srinivas49th Annual Design and Automation Conference,San Francisco, CA, United States,2012-06-03, 2012, p.259-264New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Optimal Priority Assignment to Control TasksMancuso, Giulio M. ; Bini, Enrico ; Pannocchia, GabrieleACM transactions on embedded computing systems, 2014-11, Vol.13 (5s), p.1-17 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Task scheduling: A control-theoretical viewpoint for a general and flexible solutionMaggio, Martina ; Terraneo, Federico ; Leva, AlbertoACM transactions on embedded computing systems, 2014-11, Vol.13 (4), p.1-22 [Periódico revisado por pares]Texto completo disponível |