Realizing architecture frameworks through megamodelling techniques
2010-01-01 Rich, Hilliard; Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
2019-01-01 Mallozzi, P.; Castellano, E.; Pelliccione, P.; Schneider, G.; Tei, K.
The problem of consolidating RE practices at scale: An ethnographic study
2018-01-01 Wohlrab, Rebekka; Pelliccione, Patrizio; Knauss, Eric; Gregory, Sarah C.
Supporting the Evolution of Free and Open Source Software Distributions
2013-01-01 Davide Di, Ruscio; Pelliccione, P
Managing the Evolution of Free and Open Source Software Complex Systems
2011-01-01 Davide Di, Ruscio; Pelliccione, P
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P.
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters
2015-01-01 Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, P.; Muccini, H.; Pelliccione, P
DUALLY: Putting in Synergy UML 2.0 and ADLs
2005-01-01 Inverardi, P; Muccini, H; Pelliccione, P
Simulating Software Architectures for functional analysis
2008-01-01 H, Muccini; Pelliccione, Patrizio
An Experience in Architectural Extensions: Active Objects in J2EE
2002-01-01 Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P.
A generated property specification language for resilient multirobot missions
2017-01-01 Dragule, Swaib; Meyers, Bart; Pelliccione, Patrizio
Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture
2015-01-01 Eliasson, Ulf; Heldal, Rogardt; Pelliccione, Patrizio; Lantz, Jonn
Open architectures and software evolution: The case of software ecosystems
2014-01-01 Pelliccione, Patrizio
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Using UML for SA-based Modeling and Analysis
2004-01-01 Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P
Poster: Towards multi-robot applications planning under uncertainty
2018-01-01 Menghi, Claudio; García, Sergio; Pelliccione, Patrizio; Tumova, Jana
Engineering a platform for mission planning of autonomous and resilient quadrotors
2013-01-01 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space
2012-01-01 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
The manager perspective on requirements impact on automotive systems development speed
2018-01-01 Agren, S. Magnus; Knauss, Eric; Heldal, Rogardt; Pelliccione, Patrizio; Malmqvist, Gosta; Boden, Jonas
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Realizing architecture frameworks through megamodelling techniques | 1-gen-2010 | Rich, Hilliard; Ivano, Malavolta; Muccini, Henry; Pelliccione, Patrizio | |
| A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments | 1-gen-2019 | Mallozzi, P.; Castellano, E.; Pelliccione, P.; Schneider, G.; Tei, K. | |
| The problem of consolidating RE practices at scale: An ethnographic study | 1-gen-2018 | Wohlrab, Rebekka; Pelliccione, Patrizio; Knauss, Eric; Gregory, Sarah C. | |
| Supporting the Evolution of Free and Open Source Software Distributions | 1-gen-2013 | Davide Di, Ruscio; Pelliccione, P | |
| Managing the Evolution of Free and Open Source Software Complex Systems | 1-gen-2011 | Davide Di, Ruscio; Pelliccione, P | |
| A framework for integration of functional and non-functional analysis of software architectures | 1-gen-2005 | Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P. | |
| FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters | 1-gen-2015 | Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo | |
| Automated Check of Architectural Models Consistency using Spin | 1-gen-2001 | Inverardi, P.; Muccini, H.; Pelliccione, P | |
| DUALLY: Putting in Synergy UML 2.0 and ADLs | 1-gen-2005 | Inverardi, P; Muccini, H; Pelliccione, P | |
| Simulating Software Architectures for functional analysis | 1-gen-2008 | H, Muccini; Pelliccione, Patrizio | |
| An Experience in Architectural Extensions: Active Objects in J2EE | 1-gen-2002 | Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P. | |
| A generated property specification language for resilient multirobot missions | 1-gen-2017 | Dragule, Swaib; Meyers, Bart; Pelliccione, Patrizio | |
| Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture | 1-gen-2015 | Eliasson, Ulf; Heldal, Rogardt; Pelliccione, Patrizio; Lantz, Jonn | |
| Open architectures and software evolution: The case of software ecosystems | 1-gen-2014 | Pelliccione, Patrizio | |
| Checking consistency between architectural models using SPIN | 1-gen-2001 | Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio | |
| Using UML for SA-based Modeling and Analysis | 1-gen-2004 | Cortellessa, V; DI MARCO, A; Inverardi, P; Muccini, H; Pelliccione, P | |
| Poster: Towards multi-robot applications planning under uncertainty | 1-gen-2018 | Menghi, Claudio; García, Sergio; Pelliccione, Patrizio; Tumova, Jana | |
| Engineering a platform for mission planning of autonomous and resilient quadrotors | 1-gen-2013 | DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio | |
| Integration Architecture Synthesis for Taming Uncertainty in the Digital Space | 1-gen-2012 | Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
| The manager perspective on requirements impact on automotive systems development speed | 1-gen-2018 | Agren, S. Magnus; Knauss, Eric; Heldal, Rogardt; Pelliccione, Patrizio; Malmqvist, Gosta; Boden, Jonas |
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