Consistency Recovery in Interactive Modeling
2017-01-01 Di Rocco, Juri; Di Ruscio, Davide; Heinz, Marcel; Iovino, Ludovico; Laemmel, Ralf; Pierantonio, Alfonso
SMILE - Simple Middleware Independent LayEr for distributed mobile applications
2008-01-01 Bartolomeo, G; Salsano, S; Melazzi, Nb; Trubiani, C
A methodological approach for the coupled evolution of metamodels and ATL transformations
2013-01-01 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Performance-based software model refactoring in fuzzy contexts
2015-01-01 Arcelli, D; Cortellessa, V; Trubiani, C
A tool for clustering metamodel repositories
2015-01-01 Basciani, Francesco; Di Ruscio, Davide; Di Rocco, Juri; Pierantonio, Alfonso; Iovino, Ludovico
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.
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution)
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
A model-driven approach to broaden the detection of software performance antipatterns at runtime
2014-01-01 Di Marco, A; Trubiani, C
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
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
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