Producing software by integration: challenges and research directions (keynote)
2013-01-01 Paola, Inverardi; Marco, Autili; Davide Di, Ruscio; Pelliccione, P; Massimo, Tivoli
Formal verication of the on-the-fly vehicle platooning protocol
2016-01-01 Mallozzi, Piergiuseppe; Sciancalepore, Massimo; Pelliccione, Patrizio
Online robustness testing of distributed embedded systems: An industrial approach
2017-01-01 Alnawasreh, Khaled; Pelliccione, Patrizio; Hao, Zhenxiao; Range, Marten; Bertolino, Antonia
A Scenario Based Notation for Specifying Temporal Properties
2006-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
A/B Testing in E-commerce Sales Processes
2016-01-01 Koukouvis, Kostantinos; Alcañiz Cubero, Roberto; Pelliccione, Patrizio
MAPmAKER: Performing multi-robot LTL planning under uncertainty
2019-01-01 Garcia, S.; Menghi, C.; Pelliccione, P.
Using models at runtime to address assurance for self-adaptive systems
2014-01-01 Cheng, B. H. C.; Eder, K. I.; Gogolla, M.; Grunske, L.; Litoiu, M.; Müller, H. A.; Pelliccione, Patrizio; Perini, A.; Qureshi, N. A.; Rumpe, B.; Schneider, D.; Trollmann, F.; Villegas, N. M.
Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
2005-01-01 A., Capozucca; B., Gallina; N., Guelfi; Pelliccione, P
Leveraging Collective Run-time Adaptation for UAV-based Systems
2016-01-01 Bozhinoski, Darko; Bucchiarone, Antonio; Malavolta, Ivano; Marconi, Annapaola; Pelliccione, Patrizio
PsALM: Specification of dependable robotic missions
2019-01-01 Menghi, C.; Tsigkanos, C.; Berger, T.; Pelliccione, P.
Towards a Model Driven Approach to Upgrade Complex Software Systems
2009-01-01 Cicchetti, A; Di Ruscio, D; Pelliccione, P; Pierantonio, A; Zacchiroli, S
Automated Inference of Models for Black Box Systems based on Interface Descriptions
2012-01-01 Maik, Merten; Falk, Howar; Bernhard, Steffen; Pelliccione, P; Massimo, Tivoli
Architecting Fault-tolerant Component-based Systems: from requirements to testing
2007-01-01 A., Bucchiarone; H., Muccini; Pelliccione, P
Integrating AADL within a Multi-domain Modeling Framework
2009-01-01 Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio
CAA-DRIP: a framework for implementing Coordinated Atomic Actions
2006-01-01 A., Capozucca; N., Guelfi; Pelliccione, P; A., Romanovsky; A., Zorzo
Status and results from the CUORE experiment
2020-01-01 Campani, A.; Adams, D. Q.; Alduino, C.; Alfonso, K.; Avignone, F. T.; Azzolini, O.; Bari, G.; Bellini, F.; Benato, G.; Biassoni, M.; Branca, A.; Brofferio, C.; Bucci, C.; Caminata, A.; Canonica, L.; Cao, X. G.; Capelli, S.; Cappelli, L.; Cardani, L.; Carniti, P.; Casali, N.; Chiesa, D.; Chott, N.; Clemenza, M.; Copello, S.; Cosmelli, C.; Cremonesi, O.; Creswick, R. J.; D’Addabbo, A.; D’Aguanno, D.; Dafinei, I.; Davis, C. J.; Dell’Oro, S.; Di Domizio, S.; Dompè, V.; Fang, D. Q.; Fantini, G.; Faverzani, M.; Ferri, E.; Ferroni, F.; Fiorini, E.; Franceschi, M. A.; Freedman, S. J.; Fujikawa, B. K.; Giachero, A.; Gironi, L.; Giuliani, A.; Gorla, P.; Gotti, C.; Gutierrez, T. D.; Han, K.; Heeger, K. M.; Huang, R. G.; Huang, H. Z.; Johnston, J.; Keppel, G.; Kolomensky, Yu. G.; Ligi, C.; Ma, Y. G.; Ma, L.; Marini, L.; Maruyama, R. H.; Mei, Y.; Moggi, N.; Morganti, S.; Napolitano, T.; Nastasi, M.; Nikkel, J.; Nones, C.; Norman, E. B.; Novati, V.; Nucciotti, A.; Nutini, I.; O’Donnell, T.; Ouellet, J. L.; Pagliarone, C. E.; Pagnanini, L.; Pallavicini, M.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, V.; Pira, C.; Pirro, S.; Pozzi, S.; Previtali, E.; Puiu, A.; Rosenfeld, C.; Rusconi, C.; Sakai, M.; Sangiorgio, S.; Schmidt, B.; Scielzo, N. D.; Sharma, V.; Singh, V.; Sisti, M.; Speller, D.; Surukuchi, P. T.; Taffarello, L.; Terranova, F.; Tomei, C.; Vignati, M.; Wagaarachchi, S. L.; Wang, B. S.; Welliver, B.; Wilson, J.; Wilson, K.; Winslow, L. A.; Zanotti, L.; Zimmermann, S.; Zucchelli, S.
AC-contract: Run-time verication of context-aware applications
2015-01-01 Mongiello, Marina; Pelliccione, Patrizio; Sciancalepore, Massimo
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio
POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks
2008-01-01 Paolo, Gianrossi; Christian, Melchiorre; Pelliccione, Patrizio
A Practical Architecture-centric Analysis Process
2006-01-01 Bucchiarone, A; Muccini, H; Pelliccione, P
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Producing software by integration: challenges and research directions (keynote) | 1-gen-2013 | Paola, Inverardi; Marco, Autili; Davide Di, Ruscio; Pelliccione, P; Massimo, Tivoli | |
| Formal verication of the on-the-fly vehicle platooning protocol | 1-gen-2016 | Mallozzi, Piergiuseppe; Sciancalepore, Massimo; Pelliccione, Patrizio | |
| Online robustness testing of distributed embedded systems: An industrial approach | 1-gen-2017 | Alnawasreh, Khaled; Pelliccione, Patrizio; Hao, Zhenxiao; Range, Marten; Bertolino, Antonia | |
| A Scenario Based Notation for Specifying Temporal Properties | 1-gen-2006 | Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio | |
| A/B Testing in E-commerce Sales Processes | 1-gen-2016 | Koukouvis, Kostantinos; Alcañiz Cubero, Roberto; Pelliccione, Patrizio | |
| MAPmAKER: Performing multi-robot LTL planning under uncertainty | 1-gen-2019 | Garcia, S.; Menghi, C.; Pelliccione, P. | |
| Using models at runtime to address assurance for self-adaptive systems | 1-gen-2014 | Cheng, B. H. C.; Eder, K. I.; Gogolla, M.; Grunske, L.; Litoiu, M.; Müller, H. A.; Pelliccione, Patrizio; Perini, A.; Qureshi, N. A.; Rumpe, B.; Schneider, D.; Trollmann, F.; Villegas, N. M. | |
| Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA | 1-gen-2005 | A., Capozucca; B., Gallina; N., Guelfi; Pelliccione, P | |
| Leveraging Collective Run-time Adaptation for UAV-based Systems | 1-gen-2016 | Bozhinoski, Darko; Bucchiarone, Antonio; Malavolta, Ivano; Marconi, Annapaola; Pelliccione, Patrizio | |
| PsALM: Specification of dependable robotic missions | 1-gen-2019 | Menghi, C.; Tsigkanos, C.; Berger, T.; Pelliccione, P. | |
| Towards a Model Driven Approach to Upgrade Complex Software Systems | 1-gen-2009 | Cicchetti, A; Di Ruscio, D; Pelliccione, P; Pierantonio, A; Zacchiroli, S | |
| Automated Inference of Models for Black Box Systems based on Interface Descriptions | 1-gen-2012 | Maik, Merten; Falk, Howar; Bernhard, Steffen; Pelliccione, P; Massimo, Tivoli | |
| Architecting Fault-tolerant Component-based Systems: from requirements to testing | 1-gen-2007 | A., Bucchiarone; H., Muccini; Pelliccione, P | |
| Integrating AADL within a Multi-domain Modeling Framework | 1-gen-2009 | Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio | |
| CAA-DRIP: a framework for implementing Coordinated Atomic Actions | 1-gen-2006 | A., Capozucca; N., Guelfi; Pelliccione, P; A., Romanovsky; A., Zorzo | |
| Status and results from the CUORE experiment | 1-gen-2020 | Campani, A.; Adams, D. Q.; Alduino, C.; Alfonso, K.; Avignone, F. T.; Azzolini, O.; Bari, G.; Bellini, F.; Benato, G.; Biassoni, M.; Branca, A.; Brofferio, C.; Bucci, C.; Caminata, A.; Canonica, L.; Cao, X. G.; Capelli, S.; Cappelli, L.; Cardani, L.; Carniti, P.; Casali, N.; Chiesa, D.; Chott, N.; Clemenza, M.; Copello, S.; Cosmelli, C.; Cremonesi, O.; Creswick, R. J.; D’Addabbo, A.; D’Aguanno, D.; Dafinei, I.; Davis, C. J.; Dell’Oro, S.; Di Domizio, S.; Dompè, V.; Fang, D. Q.; Fantini, G.; Faverzani, M.; Ferri, E.; Ferroni, F.; Fiorini, E.; Franceschi, M. A.; Freedman, S. J.; Fujikawa, B. K.; Giachero, A.; Gironi, L.; Giuliani, A.; Gorla, P.; Gotti, C.; Gutierrez, T. D.; Han, K.; Heeger, K. M.; Huang, R. G.; Huang, H. Z.; Johnston, J.; Keppel, G.; Kolomensky, Yu. G.; Ligi, C.; Ma, Y. G.; Ma, L.; Marini, L.; Maruyama, R. H.; Mei, Y.; Moggi, N.; Morganti, S.; Napolitano, T.; Nastasi, M.; Nikkel, J.; Nones, C.; Norman, E. B.; Novati, V.; Nucciotti, A.; Nutini, I.; O’Donnell, T.; Ouellet, J. L.; Pagliarone, C. E.; Pagnanini, L.; Pallavicini, M.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, V.; Pira, C.; Pirro, S.; Pozzi, S.; Previtali, E.; Puiu, A.; Rosenfeld, C.; Rusconi, C.; Sakai, M.; Sangiorgio, S.; Schmidt, B.; Scielzo, N. D.; Sharma, V.; Singh, V.; Sisti, M.; Speller, D.; Surukuchi, P. T.; Taffarello, L.; Terranova, F.; Tomei, C.; Vignati, M.; Wagaarachchi, S. L.; Wang, B. S.; Welliver, B.; Wilson, J.; Wilson, K.; Winslow, L. A.; Zanotti, L.; Zimmermann, S.; Zucchelli, S. | |
| AC-contract: Run-time verication of context-aware applications | 1-gen-2015 | Mongiello, Marina; Pelliccione, Patrizio; Sciancalepore, Massimo | |
| A framework for integration of functional and non-functional analysis of software architectures | 1-gen-2005 | Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio | |
| POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks | 1-gen-2008 | Paolo, Gianrossi; Christian, Melchiorre; Pelliccione, Patrizio | |
| A Practical Architecture-centric Analysis Process | 1-gen-2006 | Bucchiarone, A; Muccini, H; Pelliccione, P |
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