IRIS

4.1 Contributo in Atti di convegno: [1389] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 701 a 720 di 1.389
Titolo Data di pubblicazione Autore(i) File
Engineering the software of robotic systems 1-gen-2017 Ciccozzi, Federico; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tumova, Jana
Variability Modeling of Service Robots: Experiences and Challenges 1-gen-2019 García, Sergio; Strüber, Daniel; Brugali, Davide; Di Fava, Alessandro; Schillinger, Philipp; Pelliccione, Patrizio; Berger, Thorsten
Hey, my data are mine! Active data to empower the user 1-gen-2020 Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Maria Fiore, Matteo; Russo, Alejandro
Automatic synthesis of behavior protocols for composable web-services 1-gen-2009 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Formal Analysis and Verication of Self-Healing Systems 1-gen-2010 Antonio, Bucchiarone; Hartmut, Ehrig; Claudia, Ermel; Olga, Runge; Pelliccione, P
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 701 a 720 di 1.389
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 ...1389
Autore
  • PELLICCIONE, PATRIZIO140
  • FLAMMINI, MICHELE115
  • TUOSTO, EMILIO87
  • TRUBIANI, CATIA81
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA72
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS64
  • DE MITRI, IVAN55
  • OLIVETTI, DENNIS46
Data di pubblicazione
  • 2020 - 2026492
  • 2010 - 2019632
  • 2000 - 2009219
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer87
  • IEEE Computer Society42
  • IEEE37
  • 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 SCIENCE42
  • 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 PROCEEDINGS5
  • 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
  • eng791
  • ita12
  • und7
  • slv1
Accesso al fulltext
  • no fulltext1182
  • open101
  • reserved96
  • partially open10