Multi-modeling approach to performance engineering of Cyber-Physical Systems design
2017-01-01 Pagliari, L; Mirandola, R; Trubiani, C
Describing the correlations between metamodels and transformations aspects
2014-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Collaborative development of feature models and evaluation of performance bounds
2017-01-01 Arcaini, P; Trubiani, C
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
A deep investigation for QoS-based feedback at design time and runtime
2012-01-01 Mirandola, R; Trubiani, C
Galactic electron and positron properties from cosmic ray and radio observations
2013-01-01 Grasso, D; Di Bernardo, G; Evoli, C; Gaggero, D; Maccione, L
Role of women in software architecture: An attempt at a systematic literature review
2017-01-01 Spichkova, M; Schmidt, H; Trubiani, C
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution)
2014-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Detection and solution of software performance antipatterns in Palladio architectural models
2011-01-01 Trubiani, C; Koziolek, A
Qualifying chains of transformation with coverage based evaluation criteria
2014-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Approaching the model-driven generation of feedback to remove software performance flaws
2009-01-01 Cortellessa, V; Di Marco, A; Eramo, R; Pierantonio, A; Trubiani, C
A customizable approach for the automated quality assessment of modelling artifacts
2017-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Searching for electromagnetic counterparts of gravitational wave transients
2011-01-01 Branchesi, M.; behalf of the LIGO Scientific Collaboration, On; Virgo Collaboration, The; Klotz, A.; Laas-Bourez, M.
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution)
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Towards the identification of "guilty" performance antipatterns
2010-01-01 Cortellessa, V; Martens, A; Reussner, R; Trubiani, C
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Exploiting traceability uncertainty between software architectural models and performance analysis results
2015-01-01 Trubiani, C; Ghabi, A; Egyed, A
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Fischer, B; Inverso, O; Parlato, G
Exploring synergies between bottleneck analysis and performance antipatterns
2014-01-01 Trubiani, C; Di Marco, A; Cortellessa, V; Mani, N; Petriu, D
Mining correlations of ATL model transformation and metamodel metrics
2015-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- 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 SCIENCE43
- 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 PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10