Architectural assumptions and their management in industry – An exploratory study
2017-01-01 Yang, Chen; Liang, Peng; Avgeriou, Paris; Eliasson, Ulf; Heldal, Rogardt; Pelliccione, Patrizio
Self-Repairing systems modeling and verification using AGG
2009-01-01 Antonio, Bucchiarone; Pelliccione, P; Charlie, Vattani; Olga, Runge
A family of domain-specific languages for specifying civilian missions of multi-robot systems
2014-01-01 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio
Engineering an Open-Source Platform for Mission Planning of Autonomous Quadrotors
2013-01-01 Davide Di, Ruscio; Ivano, Malavolta; Pelliccione, P
A learning approach to enhance assurances for real-time self-adaptive systems
2018-01-01 Rodrigues, Arthur; Caldas, Ricardo Diniz; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio
Assume-Guarantee Testing of Evolving Software Product Line Architectures
2012-01-01 Ter Beek, Maurice H.; Muccini, Henry; Pelliccione, Patrizio
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Architectural assumptions and their management in industry – An exploratory study | 1-gen-2017 | Yang, Chen; Liang, Peng; Avgeriou, Paris; Eliasson, Ulf; Heldal, Rogardt; Pelliccione, Patrizio | |
Self-Repairing systems modeling and verification using AGG | 1-gen-2009 | Antonio, Bucchiarone; Pelliccione, P; Charlie, Vattani; Olga, Runge | |
A family of domain-specific languages for specifying civilian missions of multi-robot systems | 1-gen-2014 | DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio | |
Engineering an Open-Source Platform for Mission Planning of Autonomous Quadrotors | 1-gen-2013 | Davide Di, Ruscio; Ivano, Malavolta; Pelliccione, P | |
A learning approach to enhance assurances for real-time self-adaptive systems | 1-gen-2018 | Rodrigues, Arthur; Caldas, Ricardo Diniz; Rodrigues, Genaína Nunes; Vogel, Thomas; Pelliccione, Patrizio | |
Assume-Guarantee Testing of Evolving Software Product Line Architectures | 1-gen-2012 | Ter Beek, Maurice H.; Muccini, Henry; Pelliccione, Patrizio | |
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 |
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