Towards the synthesis of context-aware choreographies
2020-01-01 Filippone, Gianluca; Gianluca And, Autili; Marco And, Tivoli; Massimo,
Formalization of Automated Trading Systems in a Concurrent Linear Framework
2019-01-01 Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa
Enhancing direct data-driven model-reference controllers from open loop data: a closed-loop estimation approach
2025-01-01 Masti, Daniele; Fabiani, Filippo; Breschi, Valentina
Certified Inductive Synthesis for Online Mixed-Integer Optimization
2025-01-01 Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco
Learning approximate semi-explicit hybrid MPC with an application to microgrids
2020-01-01 Masti, D.; Pippia, T.; Bemporad, A.; De Schutter, B.
Learning Nonlinear State-Space Models Using Deep Autoencoders
2018-01-01 Masti, Daniele; Bemporad, Alberto
Development of an innovative and sustainable sail-drone
2017-01-01 Benedetto, A.; Luca, P.; Marco, M.; Corrieri, A.; Masti, D.; Vanni, L.
Learning explicit binary warm starts for mixed-integer programming
2019-01-01 Masti, D.; Bemporad, A.
NAW-NET: Neural anti-windup control for saturated nonlinear systems
2020-01-01 Breschi, V.; Masti, D.; Formentin, S.; Bemporad, A.
Learning virtual sensors for estimating the scheduling signal of parameter-varying systems
2019-01-01 Masti, Daniele; D., Bernardini; A., Bemporad
Direct data-driven design of neural reference governors
2020-01-01 Masti, D.; Breschi, V.; Formentin, S.; Bemporad, A.
Learning affine predictors for MPC of nonlinear systems via artificial neural networks
2020-01-01 Masti, D.; Smarra, F.; D'Innocenzo, A.; Bemporad, A.
Future of Neural Networks and Energy Consumption Aspects
2024-01-01 Talanov, Max; Bojic, Ljubisa; Zunic, Dragisa; Samardzic, Natasa; Medojević, Milovan
Hybrid Autonomy: Towards a Unified Framework on Adaptability and Ethical Trust in Autonomous Systems
2025-01-01 Melis, Beatrice; De Sanctis, Martina; Inverardi, Paola; Malizia, Alessio
Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges
2023-01-01 Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul
A Conceptual Model for Trustworthiness in Intelligent IoT Systems
2025-01-01 Spalazzese, Romina; Sanctis, Martina De; Jacobsson, Andreas; Alkhabbas, Fahed; Davidsson, Paul
Leveraging LLMs for Dynamic IoT Systems Generation Through Mixed-Initiative Interaction
2025-01-01 Adnan, Bassam; Miryala, Sathvika; Sambu, Aneesh; Vaidhyanathan, Karthik; De Sanctis, Martina; Spalazzese, Romina
Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible Security Analysis
2025-01-01 Opdebeeck, Ruben; Pontillo, Valeria; Velázquez-Rodríguez, Camilo; De Meuter, Wolfgang; De Roover, Coen
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
2021-01-01 Caldas, Ricardo; Ghzouli, Razan; Papadopoulos, Alessandro V.; Pelliccione, Patrizio; Weyns, Danny; Berger, Thorsten
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
2021-01-01 Gil, Eric Bernd; Caldas, Ricardo; Rodrigues, Arthur; Da Silva, Gabriel Levi Gomes; Rodrigues, Genaína Nunes; Pelliccione, Patrizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards the synthesis of context-aware choreographies | 1-gen-2020 | Filippone, Gianluca; Gianluca And, Autili; Marco And, Tivoli; Massimo, | |
| Formalization of Automated Trading Systems in a Concurrent Linear Framework | 1-gen-2019 | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa | |
| Enhancing direct data-driven model-reference controllers from open loop data: a closed-loop estimation approach | 1-gen-2025 | Masti, Daniele; Fabiani, Filippo; Breschi, Valentina | |
| Certified Inductive Synthesis for Online Mixed-Integer Optimization | 1-gen-2025 | Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco | |
| Learning approximate semi-explicit hybrid MPC with an application to microgrids | 1-gen-2020 | Masti, D.; Pippia, T.; Bemporad, A.; De Schutter, B. | |
| Learning Nonlinear State-Space Models Using Deep Autoencoders | 1-gen-2018 | Masti, Daniele; Bemporad, Alberto | |
| Development of an innovative and sustainable sail-drone | 1-gen-2017 | Benedetto, A.; Luca, P.; Marco, M.; Corrieri, A.; Masti, D.; Vanni, L. | |
| Learning explicit binary warm starts for mixed-integer programming | 1-gen-2019 | Masti, D.; Bemporad, A. | |
| NAW-NET: Neural anti-windup control for saturated nonlinear systems | 1-gen-2020 | Breschi, V.; Masti, D.; Formentin, S.; Bemporad, A. | |
| Learning virtual sensors for estimating the scheduling signal of parameter-varying systems | 1-gen-2019 | Masti, Daniele; D., Bernardini; A., Bemporad | |
| Direct data-driven design of neural reference governors | 1-gen-2020 | Masti, D.; Breschi, V.; Formentin, S.; Bemporad, A. | |
| Learning affine predictors for MPC of nonlinear systems via artificial neural networks | 1-gen-2020 | Masti, D.; Smarra, F.; D'Innocenzo, A.; Bemporad, A. | |
| Future of Neural Networks and Energy Consumption Aspects | 1-gen-2024 | Talanov, Max; Bojic, Ljubisa; Zunic, Dragisa; Samardzic, Natasa; Medojević, Milovan | |
| Hybrid Autonomy: Towards a Unified Framework on Adaptability and Ethical Trust in Autonomous Systems | 1-gen-2025 | Melis, Beatrice; De Sanctis, Martina; Inverardi, Paola; Malizia, Alessio | |
| Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges | 1-gen-2023 | Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul | |
| A Conceptual Model for Trustworthiness in Intelligent IoT Systems | 1-gen-2025 | Spalazzese, Romina; Sanctis, Martina De; Jacobsson, Andreas; Alkhabbas, Fahed; Davidsson, Paul | |
| Leveraging LLMs for Dynamic IoT Systems Generation Through Mixed-Initiative Interaction | 1-gen-2025 | Adnan, Bassam; Miryala, Sathvika; Sambu, Aneesh; Vaidhyanathan, Karthik; De Sanctis, Martina; Spalazzese, Romina | |
| Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible Security Analysis | 1-gen-2025 | Opdebeeck, Ruben; Pontillo, Valeria; Velázquez-Rodríguez, Camilo; De Meuter, Wolfgang; De Roover, Coen | |
| Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns | 1-gen-2021 | Caldas, Ricardo; Ghzouli, Razan; Papadopoulos, Alessandro V.; Pelliccione, Patrizio; Weyns, Danny; Berger, Thorsten | |
| Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain | 1-gen-2021 | Gil, Eric Bernd; Caldas, Ricardo; Rodrigues, Arthur; Da Silva, Gabriel Levi Gomes; Rodrigues, Genaína Nunes; Pelliccione, Patrizio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1329
Data di pubblicazione
- In corso di stampa1
- 2020 - 2026441
- 2010 - 2019622
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE36
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...12
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LECTURE NOTES IN COMPUTER SCIENCE36
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...7
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng776
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1128
- open97
- reserved94
- partially open10