IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 di 1.389
Titolo Data di pubblicazione Autore(i) File
Verdict machinery: On the need to automatically make sense of test results 1-gen-2016 Fagerström, Mikael; Ismail Emre, Emir; Liebel, Grischa; Guliani, Rohit; Larsson, Fredrik; Nordling, Karin; Knauss, Eric; Pelliccione, Patrizio
Towards An Assume-Guarantee Theory for Adaptable Systems 1-gen-2009 Inverardi, P; Pelliccione, P; Tivoli, M
DUALLY: a framework for Architectural Languages and Tools Interoperability 1-gen-2008 Malavolta, Ivano; H, Muccini; Pelliccione, Patrizio
MoVEMo: A structured approach for engineering reward functions 1-gen-2018 Mallozzi, Piergiuseppe; Pardo, Raúl; Duplessis, Vincent; Pelliccione, Patrizio; Schneider, Gerardo
Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach 1-gen-2019 Felix Solano, G.; Diniz Caldas, R.; Nunes Rodrigues, G.; Vogel, T.; Pelliccione, P.
Developing next generation ADLs through MDE techniques 1-gen-2010 Di Ruscio, D; Malavolta, I; Muccini, H; Pelliccione, P; Pierantonio, A
TeStor: Deriving Test Sequences from Model-based Specifications 1-gen-2005 Pelliccione, Patrizio; Muccini, Henry; A., Bucchiarone; AND F., Facchini
Towards Maintainer Script Modernization in FOSS Distributions 1-gen-2009 Di Ruscio, D; Pelliccione, P; Pierantonio, A; Zacchiroli, S
Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems 1-gen-2007 Muccini, H.; Pelliccione, P.; Romanovsky, A.
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 1-gen-2003 Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A.
Multi-robot LTL planning under uncertainty 1-gen-2018 Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana
Realizing architecture frameworks through megamodelling techniques 1-gen-2010 Rich, Hilliard; Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments 1-gen-2019 Mallozzi, P.; Castellano, E.; Pelliccione, P.; Schneider, G.; Tei, K.
The problem of consolidating RE practices at scale: An ethnographic study 1-gen-2018 Wohlrab, Rebekka; Pelliccione, Patrizio; Knauss, Eric; Gregory, Sarah C.
Supporting the Evolution of Free and Open Source Software Distributions 1-gen-2013 Davide Di, Ruscio; Pelliccione, P
Managing the Evolution of Free and Open Source Software Complex Systems 1-gen-2011 Davide Di, Ruscio; Pelliccione, P
A framework for integration of functional and non-functional analysis of software architectures 1-gen-2005 Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P.
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 1-gen-2015 Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Automated Check of Architectural Models Consistency using Spin 1-gen-2001 Inverardi, P.; Muccini, H.; Pelliccione, P
DUALLY: Putting in Synergy UML 2.0 and ADLs 1-gen-2005 Inverardi, P; Muccini, H; Pelliccione, P
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 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