IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 341 a 360 di 1.389
Titolo Data di pubblicazione Autore(i) File
Improving the model checking of strategies under partial observability and fairness constraints 1-gen-2014 Busard, S.; Pecheur, C.; Qu, H.; Raimondi, F.
Domain types: Abstract-domain selection based on variable usage 1-gen-2013 Apel, S.; Beyer, D.; Friedberger, K.; Raimondi, F.; Von Rhein, A.
An approach to quantify workload in a system of agents 1-gen-2015 Stocker, R.; Rungta, N.; Mercer, E.; Raimondi, F.; Holbrook, J.; Cardoza, C.; Goodrich, M.
Symbolic model-checking for resource-bounded ATL 1-gen-2015 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.; Mostarda, L.
Software of the future is the future of Software? 1-gen-2007 Inverardi, Paola
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 1-gen-2008 Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli
A publication culture in software engineering (panel) 1-gen-2013 Steven, Fraser; Luciano, Baresi; Jane, Cleland Huang; Carlo A, Furia; Georges, Gonthier; Inverardi, Paola; Moshe, Y. Vardi
A programming model for adaptable Java applications 1-gen-2010 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 1-gen-2009 Valérie, Issarny; Bernhard, Steffen; Bengt, Jonsson; GORDON S., Blair; Paul, Grace; MARTA Z., Kwiatkowska; Radu, Calinescu; Inverardi, Paola; Tivoli, Massimo; Antonia, Bertolino; Antonino, Sabetta
Exploiting software architecture to support requirements satisfaction testing 1-gen-2011 Paul C., Clements; María José Escalona, Cuaresma; Inverardi, Paola; Ivano, Malavolta; Eda, Marchetti
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 1-gen-2011 Antonia, Bertolino; Antonello, Calabrò; Felicita Di, Giandomenico; Nicola, Nostro; Inverardi, Paola; Romina, Spalazzese
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 1-gen-2013 Marco, Mori; Anthony, Cleve; Inverardi, Paola
Towards a formalization of mediating connectors for on the fly interoperability 1-gen-2009 Romina, Spalazzese; Inverardi, Paola; Valérie, Issarny
Towards a Stem Architecture Description Language for Self-Adaptive Systems 1-gen-2010 DI MARCO, Antinisca; Francesco, Gallo; Inverardi, Paola; Ippoliti, Rodolfo
A Development Process for Context-Aware Adaptive Services 1-gen-2008 Autili, Marco; DI BENEDETTO, P; DI RUSCIO, Davide; Inverardi, Paola; Tivoli, Massimo
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems 1-gen-2011 Marco, Mori; Fei, Li; Christoph, Dorn; Inverardi, Paola; Schahram, Dustdar
Mediating Connector Patterns for Components Interoperability 1-gen-2010 Inverardi, Paola; Spalazzese, Romina
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 1-gen-2013 Inverardi, Paola; Tivoli, Massimo
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Monitoring Hyperproperties with Circuits 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 341 a 360 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