MicroART: A software architecture recovery tool for maintaining microservice-based systems
2017-01-01 Granchelli, Giona; Cardarelli, Mario; DI FRANCESCO, Paolo; Malavolta, Ivano; Iovino, Ludovico; Di Salle, Amleto
Multi-agent systems with virtual stigmergy
2018-01-01 De Nicola, R; Di Stefano, L; Inverso, O
Supporting variability exploration and resolution during model migration
2016-01-01 Di Ruscio, Davide; Etzlstorfer, Juergen; Iovino, Ludovico; Pierantonio, Alfonso; Schwinger, Wieland
Bridging state-based differencing and co-evolution
2012-01-01 Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso
Dark Matter effects on high-redshift universe
2010-01-01 Evoli, C; Valdés, M; Ferrara, A
Reusing model transformations through typing requirements models
2017-01-01 De Lara, Juan; Di Rocco, Juri; Di Ruscio, Davide; Guerra, Esther; Iovino, Ludovico; Pierantonio, Alfonso; Cuadrado Jesús, Sánchez
A tool for automatically selecting optimal model transformation chains
2018-01-01 Basciani, Francesco; Di Ruscio, Davide; D'Emidio, Mattia; Frigioni, Daniele; Pierantonio, Alfonso; Iovino, Ludovico
Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings
2017-01-01 Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Verifying properties of systems relying on attribute-based communication
2017-01-01 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
A Combined Interpretation of CR Nuclei and Antiproton High Energy Measurements
2010-01-01 Evoli, C; Gaggero, D; Grasso, D; Maccione, L
Supporting users to manage breaking and unresolvable changes in coupled evolution
2015-01-01 Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
MU-CSeq 0.4: Individual memory location unwindings
2016-01-01 Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Automatic transformation co-evolution using traceability models and graph transformation
2018-01-01 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy
MDEForge: An extensible Web-based modeling platform
2014-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso
CRPropa 3.0 - a Public Framework for Propagating UHE Cosmic Rays through Galactic and Extragalactic Space
2013-01-01 Alves Batista, R; Erdmann, M; Evoli, C; Kampert, K H; Kuempel, D; Müller, G; Schiffer, P; Sigl, G; van Vliet, A; Walz, D; Winchen, T
Model repositories: Will they become reality? A position statement
2015-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications
2013-01-01 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
AErlang at Work
2017-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Mining metrics for understanding metamodel characteristics
2014-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| MicroART: A software architecture recovery tool for maintaining microservice-based systems | 1-gen-2017 | Granchelli, Giona; Cardarelli, Mario; DI FRANCESCO, Paolo; Malavolta, Ivano; Iovino, Ludovico; Di Salle, Amleto | |
| Multi-agent systems with virtual stigmergy | 1-gen-2018 | De Nicola, R; Di Stefano, L; Inverso, O | |
| Supporting variability exploration and resolution during model migration | 1-gen-2016 | Di Ruscio, Davide; Etzlstorfer, Juergen; Iovino, Ludovico; Pierantonio, Alfonso; Schwinger, Wieland | |
| Bridging state-based differencing and co-evolution | 1-gen-2012 | Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso | |
| Dark Matter effects on high-redshift universe | 1-gen-2010 | Evoli, C; Valdés, M; Ferrara, A | |
| Reusing model transformations through typing requirements models | 1-gen-2017 | De Lara, Juan; Di Rocco, Juri; Di Ruscio, Davide; Guerra, Esther; Iovino, Ludovico; Pierantonio, Alfonso; Cuadrado Jesús, Sánchez | |
| A tool for automatically selecting optimal model transformation chains | 1-gen-2018 | Basciani, Francesco; Di Ruscio, Davide; D'Emidio, Mattia; Frigioni, Daniele; Pierantonio, Alfonso; Iovino, Ludovico | |
| Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings | 1-gen-2017 | Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Verifying properties of systems relying on attribute-based communication | 1-gen-2017 | De Nicola, R; Duong, T; Inverso, O; Mazzanti, F | |
| A Combined Interpretation of CR Nuclei and Antiproton High Energy Measurements | 1-gen-2010 | Evoli, C; Gaggero, D; Grasso, D; Maccione, L | |
| Supporting users to manage breaking and unresolvable changes in coupled evolution | 1-gen-2015 | Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico | |
| MU-CSeq 0.4: Individual memory location unwindings | 1-gen-2016 | Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
| Automatic transformation co-evolution using traceability models and graph transformation | 1-gen-2018 | Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy | |
| MDEForge: An extensible Web-based modeling platform | 1-gen-2014 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso | |
| CRPropa 3.0 - a Public Framework for Propagating UHE Cosmic Rays through Galactic and Extragalactic Space | 1-gen-2013 | Alves Batista, R; Erdmann, M; Evoli, C; Kampert, K H; Kuempel, D; Müller, G; Schiffer, P; Sigl, G; van Vliet, A; Walz, D; Winchen, T | |
| Model repositories: Will they become reality? A position statement | 1-gen-2015 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico | |
| Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications | 1-gen-2013 | Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
| AErlang at Work | 1-gen-2017 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
| Mining metrics for understanding metamodel characteristics | 1-gen-2014 | 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 ...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