IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 381 a 400 di 1.084
Titolo Data di pubblicazione Autore(i) File
Checking consistency between architectural models using SPIN 1-gen-2001 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Using UML for SA-based Modeling and Analysis 1-gen-2004 Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P
Poster: Towards multi-robot applications planning under uncertainty 1-gen-2018 Menghi, Claudio; García, Sergio; Pelliccione, Patrizio; Tumova, Jana
Engineering a platform for mission planning of autonomous and resilient quadrotors 1-gen-2013 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 1-gen-2012 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
The manager perspective on requirements impact on automotive systems development speed 1-gen-2018 Agren, S. Magnus; Knauss, Eric; Heldal, Rogardt; Pelliccione, Patrizio; Malmqvist, Gosta; Boden, Jonas
High-level mission specification for multiple robots 1-gen-2019 Garcia, S.; Pelliccione, P.; Menghi, C.; Berger, T.; Bures, T.
Descriptive vs prescriptive models in industry 1-gen-2016 Heldal, Rogardt; Pelliccione, Patrizio; Eliasson, Ulf; Lantz, Jonn; Derehag, Jesper; Whittle, Jon
A proposal for an Automotive Architecture Framework for Volvo Cars 1-gen-2016 Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt; Ågren, Magnus; Mallozzi, Piergiuseppe; Alminger, Anders; Borgentun, Daniel
An Experience in Architectural Extension: Active Object in J2EE 1-gen-2002 Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
Architecting cars as constituents of a system of systems 1-gen-2016 Pelliccione, Patrizio; Kobetski, Avenir; Larsson, Tony; Aramrattana, Maytheewat; Aderum, Tobias; Magnus Ågren, S.; Jonsson, Göran; Heldal, Rogardt; Bergenhem, Carl; Thorsén, Anders
Continuous Integration Beyond the Team: A Tooling Perspective on Challenges in the Automotive Industry 1-gen-2016 Knauss, Eric; Pelliccione, Patrizio; Heldal, Rogardt; Ågren, Magnus; Hellman, Sofia; Maniette, Daniel
CHARMY: An Extensible Tool for Architectural Analysis 1-gen-2005 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
Architecting Fault Tolerant Systems 1-gen-2007 H., Muccini; Pelliccione, P; A., Romanovsky
On Interfaces to Support Agile Architecting in Automotive: An Exploratory Case Study 1-gen-2019 Wohlrab, Rebekka; Pelliccione, Patrizio; Knauss, Eric; Heldal, Rogardt
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 381 a 400 di 1.084
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
Autore
  • PELLICCIONE, PATRIZIO115
  • FLAMMINI, MICHELE110
  • TUOSTO, EMILIO77
  • D'ANGELO, GIANLORENZO72
  • TRUBIANI, CATIA71
  • INVERARDI, PAOLA59
  • IOVINO, LUDOVICO52
  • DE MITRI, IVAN49
  • TROQUARD, NICOLAS41
  • FERRONI, Fernando34
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