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.
Combinatorial optimization based recommender systems
2009-01-01 Roda, F.; Liberti, L.; Raimondi, F.
The anonymous subgraph problem
2009-01-01 Bettinelli, A.; Liberti, L.; Raimondi, F.; Savourey, D.
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper)
2016-01-01 Bottone, M.; Palumbo, F.; Primiero, G.; Raimondi, F.; Stocker, R.
Automatic Annotation of~Confidential Data in~Java Code
2022-01-01 Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D.
MIRTO: An open-source robotic platform for education
2018-01-01 Androutsopoulos, K.; Aristodemou, L.; Boender, J.; Bottone, M.; Currie, E.; El-Aroussi, I.; Fields, B.; Gheri, L.; Gorogiannis, N.; Heeney, M.; Micheletti, M.; Loomes, M.; Margolis, M.; Petridi, M.; Piermarteri, A.; Primiero, G.; Raimondi, F.; Weldin, N.
Implementing adaptation and reconfiguration strategies in heterogeneous WSN
2013-01-01 Di Marco, A.; Gallo, F.; Gemikonakli, O.; Mostarda, L.; Raimondi, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| Combinatorial optimization based recommender systems | 1-gen-2009 | Roda, F.; Liberti, L.; Raimondi, F. | |
| The anonymous subgraph problem | 1-gen-2009 | Bettinelli, A.; Liberti, L.; Raimondi, F.; Savourey, D. | |
| Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) | 1-gen-2016 | Bottone, M.; Palumbo, F.; Primiero, G.; Raimondi, F.; Stocker, R. | |
| Automatic Annotation of~Confidential Data in~Java Code | 1-gen-2022 | Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D. | |
| MIRTO: An open-source robotic platform for education | 1-gen-2018 | Androutsopoulos, K.; Aristodemou, L.; Boender, J.; Bottone, M.; Currie, E.; El-Aroussi, I.; Fields, B.; Gheri, L.; Gorogiannis, N.; Heeney, M.; Micheletti, M.; Loomes, M.; Margolis, M.; Petridi, M.; Piermarteri, A.; Primiero, G.; Raimondi, F.; Weldin, N. | |
| Implementing adaptation and reconfiguration strategies in heterogeneous WSN | 1-gen-2013 | Di Marco, A.; Gallo, F.; Gemikonakli, O.; Mostarda, L.; 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 ...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