CHOREOS: Large scale choreographies for the future internet
2014-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction
2017-01-01 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
Don't You Agree with My Ethics? Let's Negotiate!
2023-01-01 Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco
Towards Adaptable and Evolving Service Choreography in the Future Internet
2014-01-01 DI SALLE, Amleto; Inverardi, Paola; Alexander, Perucci; DI SALLE, Amleto
Symbolic model checking for one-resource RB?ATL
2015-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.
Decidable model-checking for a resource logic with production of resources
2014-01-01 Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F.
Introducing Trust in Service-oriented Distributed Systems through Blockchain
2019-01-01 Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo
AI Act and Individual Rights: A Juridical and Technical Perspective
2022-01-01 Alfieri, C.; Caroccia, F.; Inverardi, P.
An empirical approach for determining context of mobile systems
2017-01-01 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments
2017-01-01 Vannucchi, C.; Diamanti, M.; Mazzante, G.; Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F.
Teaching functional patterns through robotic applications
2016-01-01 Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F.
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems
2013-01-01 Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M.
Is Really IoT Technology Gender Neutral?
2020-01-01 Cassioli, Dajana; Di Marco, Antinisca; Di Mascio, Tania; Tarantino, Laura; Inverardi, Paola
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola
A Model-Based Synthesis Process for Choreography Realizability Enforcement
2013-01-01 Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo
Software performance model-driven architecture
2006-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
Technical architectures for automotive systems
2020-01-01 Bucaioni, A.; Pelliccione, P.
Robotics software engineering: A perspective from the service robotics domain
2020-01-01 García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars
Self-adaptive Testing in the Field: Are We There Yet?
2022-01-01 Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CHOREOS: Large scale choreographies for the future internet | 1-gen-2014 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
| Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction | 1-gen-2017 | Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola | |
| Don't You Agree with My Ethics? Let's Negotiate! | 1-gen-2023 | Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco | |
| Towards Adaptable and Evolving Service Choreography in the Future Internet | 1-gen-2014 | DI SALLE, Amleto; Inverardi, Paola; Alexander, Perucci; DI SALLE, Amleto | |
| Symbolic model checking for one-resource RB?ATL | 1-gen-2015 | Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F. | |
| Decidable model-checking for a resource logic with production of resources | 1-gen-2014 | Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F. | |
| Introducing Trust in Service-oriented Distributed Systems through Blockchain | 1-gen-2019 | Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo | |
| AI Act and Individual Rights: A Juridical and Technical Perspective | 1-gen-2022 | Alfieri, C.; Caroccia, F.; Inverardi, P. | |
| An empirical approach for determining context of mobile systems | 1-gen-2017 | Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola | |
| vIRONy: A tool for analysis and verification of ECA rules in intelligent environments | 1-gen-2017 | Vannucchi, C.; Diamanti, M.; Mazzante, G.; Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F. | |
| Teaching functional patterns through robotic applications | 1-gen-2016 | Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F. | |
| Aviation safety: Modeling and analyzing complex interactions between humans and automated systems | 1-gen-2013 | Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M. | |
| Is Really IoT Technology Gender Neutral? | 1-gen-2020 | Cassioli, Dajana; Di Marco, Antinisca; Di Mascio, Tania; Tarantino, Laura; Inverardi, Paola | |
| Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola | |
| A Model-Based Synthesis Process for Choreography Realizability Enforcement | 1-gen-2013 | Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo | |
| Software performance model-driven architecture | 1-gen-2006 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola | |
| Technical architectures for automotive systems | 1-gen-2020 | Bucaioni, A.; Pelliccione, P. | |
| Robotics software engineering: A perspective from the service robotics domain | 1-gen-2020 | García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars | |
| Self-adaptive Testing in the Field: Are We There Yet? | 1-gen-2022 | Silva, Samira; Bertolino, Antonia; 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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- 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 COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10