Sfoglia
Formation of quark phases in compact stars and SN explosion
2008-01-01 Drago, A; Pagliara, G; Pagliaroli, G; Villante, F L; Vissani, F
Exploring model repositories by means of megamodel-aware search operators
2018-01-01 Basciani, Francesco; Di Ruscio, Davide; Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso
Electromagnetic counterparts of gravitational wave transients
2015-01-01 Branchesi, Marica
Cosmic Ray propagation in the Galaxy and diffuse gamma-ray emission
2008-01-01 Evoli, C; Gaggero, D; Grasso, D; Maccione, L
Exploiting software performance engineering techniques to optimise the quality of smart grid environments
2015-01-01 Trubiani, C; Koziolek, A; Happe, L
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems
2018-01-01 Inverso, O; Bemporad, A; Tribastone, M
Digging into UML models to remove performance antipatterns
2010-01-01 Cortellessa, Vittorio; Marco Antinisca, Di; Eramo, Romina; Pierantonio, Alfonso; Trubiani, Catia
Three dimensional modeling of CR propagation
2013-01-01 Gaggero, D; Maccione, L; Di Bernardo, G; Evoli, C; Grasso, D
A case study to elicit challenges for performance engineering of cyber physical systems
2017-01-01 Pagliari, L; Mirandola, R; Trubiani, C
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formation of quark phases in compact stars and SN explosion | 1-gen-2008 | Drago, A; Pagliara, G; Pagliaroli, G; Villante, F L; Vissani, F | |
| Exploring model repositories by means of megamodel-aware search operators | 1-gen-2018 | Basciani, Francesco; Di Ruscio, Davide; Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso | |
| Electromagnetic counterparts of gravitational wave transients | 1-gen-2015 | Branchesi, Marica | |
| Cosmic Ray propagation in the Galaxy and diffuse gamma-ray emission | 1-gen-2008 | Evoli, C; Gaggero, D; Grasso, D; Maccione, L | |
| Exploiting software performance engineering techniques to optimise the quality of smart grid environments | 1-gen-2015 | Trubiani, C; Koziolek, A; Happe, L | |
| SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems | 1-gen-2018 | Inverso, O; Bemporad, A; Tribastone, M | |
| Digging into UML models to remove performance antipatterns | 1-gen-2010 | Cortellessa, Vittorio; Marco Antinisca, Di; Eramo, Romina; Pierantonio, Alfonso; Trubiani, Catia | |
| Three dimensional modeling of CR propagation | 1-gen-2013 | Gaggero, D; Maccione, L; Di Bernardo, G; Evoli, C; Grasso, D | |
| A case study to elicit challenges for performance engineering of cyber physical systems | 1-gen-2017 | Pagliari, L; Mirandola, R; Trubiani, C | |
| Consistency Recovery in Interactive Modeling | 1-gen-2017 | Di Rocco, Juri; Di Ruscio, Davide; Heinz, Marcel; Iovino, Ludovico; Laemmel, Ralf; Pierantonio, Alfonso | |
| SMILE - Simple Middleware Independent LayEr for distributed mobile applications | 1-gen-2008 | Bartolomeo, G; Salsano, S; Melazzi, Nb; Trubiani, C | |
| A methodological approach for the coupled evolution of metamodels and ATL transformations | 1-gen-2013 | Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Performance-based software model refactoring in fuzzy contexts | 1-gen-2015 | Arcelli, D; Cortellessa, V; Trubiani, C | |
| A tool for clustering metamodel repositories | 1-gen-2015 | Basciani, Francesco; Di Ruscio, Davide; Di Rocco, Juri; Pierantonio, Alfonso; Iovino, Ludovico | |
| Model-based performance analysis of software architectures under uncertainty | 1-gen-2013 | Trubiani, C; Meedeniya, I; Cortellessa, V; Aleti, A; Grunske, L | |
| Automated chaining of model transformations with incompatible metamodels | 1-gen-2014 | Basciani, Francesco; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Singular Spectrum Analysis for Astronomical Time Series: Constructing a Parsimonious Hypothesis Test | 1-gen-2016 | 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) | 1-gen-2014 | 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 | 1-gen-2014 | Di Marco, A; Trubiani, C | |
| To what extent formal methods are applicable for performance analysis of smart cyber-physical systems? | 1-gen-2019 | Pagliari, L; D'Angelo, M; Caporuscio, M; Mirandola, R; 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 ...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