Guaranteeing Correct Evolution of Software Product Lines
2012-01-01 H., ter Beek Maurice; Henry, Muccini; Pelliccione, P
Towards weaving software architecture models
2006-01-01 Di Ruscio, D; Muccini, H; Pierantonio, A; Pelliccione, P
The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group
2015-01-01 Eliasson, Ulf; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio
A Software Architecture for Reliable Collaborative Working Environments
2007-01-01 HOA DUNG HA, Duong; Christian, Melchiorre; EIKE MICHAEL, Meyer; Ignacio, Nieto; Gerard, Paris; Pelliccione, Patrizio; AND FREDERIQUE TASTET, Cherel
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions
2016-01-01 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Architecting Fault-tolerant Component-based Systems: from requirements to testing
2006-01-01 Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio
Poster: Property specification patterns for robotic missions
2018-01-01 Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo
Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs
2020-01-01 Conte, Alessio; Crescenzi, Pierluigi; Marino, Andrea; Punzi, Giulia
Simple and Fast Distributed Computation of Betweenness Centrality
2020-01-01 Crescenzi, Pierluigi; Fraigniaud, Pierre; Paz, Ami
Results on 82Se 2νββ with CUPID-0 Phase I
2020-01-01 Pagnanini, L; Azzolini, O; Beeman, J W; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Capelli, S; Cardani, L; Carniti, P; Casali, N; Chiesa, D; Clemenza, M; Cremonesi, O; Cruciani, A; Dafinei, I; Domizio, S Di; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Martinez, M; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orlandi, D; Pallavicini, M; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Rusconi, C; Schäffner, K; Tomei, C; Vignati, M; Zolotarova, A S
Edelta 2.0: Supporting Live Metamodel Evolutions
2020-01-01 Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Parameterized Complexity of Manipulating Sequential Allocation
2020-01-01 Flammini, Michele; Gilbert, Hugo
Inequity Aversion Pricing in Multi-Unit Markets
2020-01-01 Flammini, Michele; Mauro, Manuel; Tonelli, Matteo; Vinci, Cosimo
The Quality of Content Publishing in the Digital Era
2020-01-01 Bilò, Vittorio; Flammini, Michele; Vinci, Cosimo
Distance Hedonic Games
2020-01-01 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
Strategyproof Mechanisms for Friends and Enemies Games
2020-01-01 Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna
The Impact of Selfishness in Hypergraph Hedonic Games
2020-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum
2020-01-01 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
2020-01-01 Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra
An Operational Guide to Monitorability
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Guaranteeing Correct Evolution of Software Product Lines | 1-gen-2012 | H., ter Beek Maurice; Henry, Muccini; Pelliccione, P | |
| Towards weaving software architecture models | 1-gen-2006 | Di Ruscio, D; Muccini, H; Pierantonio, A; Pelliccione, P | |
| The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group | 1-gen-2015 | Eliasson, Ulf; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio | |
| A Software Architecture for Reliable Collaborative Working Environments | 1-gen-2007 | HOA DUNG HA, Duong; Christian, Melchiorre; EIKE MICHAEL, Meyer; Ignacio, Nieto; Gerard, Paris; Pelliccione, Patrizio; AND FREDERIQUE TASTET, Cherel | |
| Automatic Generation of detailed Flight Plans from High-level Mission Descriptions | 1-gen-2016 | DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo | |
| Architecting Fault-tolerant Component-based Systems: from requirements to testing | 1-gen-2006 | Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio | |
| Poster: Property specification patterns for robotic missions | 1-gen-2018 | Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo | |
| Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs | 1-gen-2020 | Conte, Alessio; Crescenzi, Pierluigi; Marino, Andrea; Punzi, Giulia | |
| Simple and Fast Distributed Computation of Betweenness Centrality | 1-gen-2020 | Crescenzi, Pierluigi; Fraigniaud, Pierre; Paz, Ami | |
| Results on 82Se 2νββ with CUPID-0 Phase I | 1-gen-2020 | Pagnanini, L; Azzolini, O; Beeman, J W; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Capelli, S; Cardani, L; Carniti, P; Casali, N; Chiesa, D; Clemenza, M; Cremonesi, O; Cruciani, A; Dafinei, I; Domizio, S Di; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Martinez, M; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orlandi, D; Pallavicini, M; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Rusconi, C; Schäffner, K; Tomei, C; Vignati, M; Zolotarova, A S | |
| Edelta 2.0: Supporting Live Metamodel Evolutions | 1-gen-2020 | Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Parameterized Complexity of Manipulating Sequential Allocation | 1-gen-2020 | Flammini, Michele; Gilbert, Hugo | |
| Inequity Aversion Pricing in Multi-Unit Markets | 1-gen-2020 | Flammini, Michele; Mauro, Manuel; Tonelli, Matteo; Vinci, Cosimo | |
| The Quality of Content Publishing in the Digital Era | 1-gen-2020 | Bilò, Vittorio; Flammini, Michele; Vinci, Cosimo | |
| Distance Hedonic Games | 1-gen-2020 | Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna | |
| Strategyproof Mechanisms for Friends and Enemies Games | 1-gen-2020 | Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna | |
| The Impact of Selfishness in Hypergraph Hedonic Games | 1-gen-2020 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
| On the Axiomatisability of Parallel Composition: A Journey in the Spectrum | 1-gen-2020 | Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias | |
| CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) | 1-gen-2020 | Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra | |
| An Operational Guide to Monitorability | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
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