Model-based performance analysis of software architectures under uncertainty
2013-01-01 Trubiani, C; Meedeniya, I; Cortellessa, V; Aleti, A; Grunske, L
Automated chaining of model transformations with incompatible metamodels
2014-01-01 Basciani, Francesco; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Singular Spectrum Analysis for Astronomical Time Series: Constructing a Parsimonious Hypothesis Test
2016-01-01 Greco, G.; Kondrashov, D.; Kobayashi, S.; Ghil, M.; Branchesi, M.; Guidorzi, C.; Stratta, G.; Ciszak, M.; Marino, F.; Ortolan, A.
A model-driven approach to broaden the detection of software performance antipatterns at runtime
2014-01-01 Di Marco, A; Trubiani, C
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution)
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?
2019-01-01 Pagliari, L; D'Angelo, M; Caporuscio, M; Mirandola, R; Trubiani, C
A DevOps Perspective for QoS-Aware Adaptive Applications
2020-01-01 De Sanctis, M; Bucchiarone, A; Trubiani, C
The economic assessment of seismic damage: an example for the 2012 event in Northern Italy
2016-01-01 Meroni, F; Pessina, V; Squarcina, T; Locati, M; Modica, M; Zoboli, R
Evolutionary togetherness: how to manage coupled evolution in metamodeling ecosystems
2012-01-01 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
The radio luminosity function of radio galaxies in distant clusters
2006-01-01 Branchesi, M.; Gioia, I. M.; Fanti, C.; Fanti, R.; Perley, R.
PLANS FOR THE UPGRADE OF THE GRAVITATIONAL WAVE DETECTOR VIRGO: ADVANCED VIRGOThe Twelfth Marcel Grossmann Meeting - On Recent Developments in Theoretical and Experimental General Relativity, Astrophysics and Relativistic Field Theories - Proceedings of the MG12 Meeting on General Relativity
2012-01-01 Virgo, Collaboration; M., Punturo; Drago, Marco; Prodi, Giovanni Andrea; Re, Virginia
Translational semantics of a co-evolution specific language with the EMF transformation virtual machine
2012-01-01 Wagelaar, Dennis; Iovino, Ludovico; Di Ruscio, Davide; Pierantonio, Alfonso
PLUS: Performance Learning for Uncertainty of Software
2019-01-01 Trubiani, C; Apel, S
Sustainability assessment of urban areas through a multicriteria decision support system
2016-01-01 Devitofrancesco, A; Ghellere, M; Meroni, I; Modica, M; Paleari, S; Zoboli, R
Parallel and distributed bounded model checking of multi-threaded programs
2020-01-01 Inverso, O; Trubiani, C
QoS-based feedback for service compositions
2015-01-01 Caporuscio, M; Mirandola, R; Trubiani, C
Heterogeneous spillover effects from MNE investments: Domestic learning capacity and technological opportunities
2017-01-01 Ascani, A; Gagliardi, L
A feature-based approach for variability exploration and resolution in model transformation migration
2017-01-01 Di Ruscio, Davide; Etzlstorfer, Juergen; Iovino, Ludovico; Pierantonio, Alfonso; Schwinger, Wieland
Do you really follow them? Automatic detection of credulous twitter users
2019-01-01 Balestrucci, A; De Nicola, R; Petrocchi, M; Trubiani, C
Il settore culturale nello sviluppo urbano: il caso di Ancona
2007-01-01 Crociata, A; Veneri, P
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