Automated Negotiation - Preliminary Results of a Systematic Mapping Study
2023-01-01 Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco
How does Migrating to Kotlin Impact the Run-time Efficiency of Android Apps?
2021-01-01 Peters, Michael; Scoccia, Gian Luca; Malavolta, Ivano
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub
2021-01-01 Scoccia, Gian Luca; Migliarini, Patrizio; Autili, Marco
Evolution of Kotlin Apps in terms of Energy Consumption: An Exploratory Study
2023-01-01 Ahmed, Hesham; Boshchenko, Alina; Khan, Niaz Ali; Knyajev, Dmitriy; Garifollina, Dinara; Scoccia, Gian Luca; Martinez, Matias; Malavolta, Ivano
Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool
2023-01-01 Scoccia, Gian Luca
An empirical history of permission requests and mistakes in open source android apps
2019-01-01 Scoccia, G. L.; Peruma, A.; Pujols, V.; Christians, B.; Krutz, D.
Perspectives on static analysis of mobile apps (invited talk)
2015-01-01 Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.
Automated Feature Identification for Android Apps
2020-01-01 Scoccia, G. L.
A self-configuring and adaptive privacy-aware permission system for Android apps
2020-01-01 Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
On the elicitation of privacy and ethics preferences of mobile users
2020-01-01 Migliarini, Patrizio; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
Permission issues in open-source android apps: An exploratory study
2019-01-01 Scoccia, G. L.; Peruma, A.; Pujols, V.; Malavolta, I.; Krutz, D. E.
An extensible approach for taming the challenges of JavaScript dead code elimination
2018-01-01 Obbink, N. G.; Malavolta, I.; Scoccia, G. L.; Lago, P.
An investigation into Android run-time permissions from the end users' perspective
2018-01-01 Scoccia, GIAN LUCA; Ruberto, Stefano; Malavolta, Ivano; Autili, Marco; Inverardi, Paola
Multi-agent based simulations of block-free distributed ledgers
2018-01-01 Bottone, M.; Raimondi, F.; Primiero, G.
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers
2016-01-01 Zbrzezny, A. M.; Zbrzezny, A.; Raimondi, F.
A Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, F.; Culmone, R.; Mostarda, L.; Tesei, L.; Raimondi, F.
A typed natural deduction calculus to reason about secure trust
2014-01-01 Primiero, G.; Raimondi, F.
Minimizing transitive trust threats in software management systems
2015-01-01 Boender, J.; Primiero, G.; Raimondi, F.
Slrtool: A tool to support collaborative systematic literature reviews
2014-01-01 Barn, B. S.; Raimondi, F.; Athappian, L.; Clark, T.
Towards Cyber-physical Systems as Services: The ASIP Protocol
2015-01-01 Bordoni, M.; Bottone, M.; Fields, B.; Gorogiannis, N.; Margolis, M.; Primiero, G.; Raimondi, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated Negotiation - Preliminary Results of a Systematic Mapping Study | 1-gen-2023 | Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco | |
How does Migrating to Kotlin Impact the Run-time Efficiency of Android Apps? | 1-gen-2021 | Peters, Michael; Scoccia, Gian Luca; Malavolta, Ivano | |
Challenges in Developing Desktop Web Apps: a Study of Stack Overflow and GitHub | 1-gen-2021 | Scoccia, Gian Luca; Migliarini, Patrizio; Autili, Marco | |
Evolution of Kotlin Apps in terms of Energy Consumption: An Exploratory Study | 1-gen-2023 | Ahmed, Hesham; Boshchenko, Alina; Khan, Niaz Ali; Knyajev, Dmitriy; Garifollina, Dinara; Scoccia, Gian Luca; Martinez, Matias; Malavolta, Ivano | |
Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool | 1-gen-2023 | Scoccia, Gian Luca | |
An empirical history of permission requests and mistakes in open source android apps | 1-gen-2019 | Scoccia, G. L.; Peruma, A.; Pujols, V.; Christians, B.; Krutz, D. | |
Perspectives on static analysis of mobile apps (invited talk) | 1-gen-2015 | Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L. | |
Automated Feature Identification for Android Apps | 1-gen-2020 | Scoccia, G. L. | |
A self-configuring and adaptive privacy-aware permission system for Android apps | 1-gen-2020 | Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola | |
On the elicitation of privacy and ethics preferences of mobile users | 1-gen-2020 | Migliarini, Patrizio; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola | |
Permission issues in open-source android apps: An exploratory study | 1-gen-2019 | Scoccia, G. L.; Peruma, A.; Pujols, V.; Malavolta, I.; Krutz, D. E. | |
An extensible approach for taming the challenges of JavaScript dead code elimination | 1-gen-2018 | Obbink, N. G.; Malavolta, I.; Scoccia, G. L.; Lago, P. | |
An investigation into Android run-time permissions from the end users' perspective | 1-gen-2018 | Scoccia, GIAN LUCA; Ruberto, Stefano; Malavolta, Ivano; Autili, Marco; Inverardi, Paola | |
Multi-agent based simulations of block-free distributed ledgers | 1-gen-2018 | Bottone, M.; Raimondi, F.; Primiero, G. | |
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers | 1-gen-2016 | Zbrzezny, A. M.; Zbrzezny, A.; Raimondi, F. | |
A Constrained ECA Language Supporting Formal Verification of WSNs | 1-gen-2015 | Corradini, F.; Culmone, R.; Mostarda, L.; Tesei, L.; Raimondi, F. | |
A typed natural deduction calculus to reason about secure trust | 1-gen-2014 | Primiero, G.; Raimondi, F. | |
Minimizing transitive trust threats in software management systems | 1-gen-2015 | Boender, J.; Primiero, G.; Raimondi, F. | |
Slrtool: A tool to support collaborative systematic literature reviews | 1-gen-2014 | Barn, B. S.; Raimondi, F.; Athappian, L.; Clark, T. | |
Towards Cyber-physical Systems as Services: The ASIP Protocol | 1-gen-2015 | Bordoni, M.; Bottone, M.; Fields, B.; Gorogiannis, N.; Margolis, M.; Primiero, G.; Raimondi, F. |
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 ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- 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...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3