IRIS
PELLICCIONE, PATRIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1432
EU - Europa 1337
AS - Asia 229
Continente sconosciuto - Info sul continente non disponibili 8
SA - Sud America 5
AF - Africa 4
OC - Oceania 2
Totale 3017
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1423
SE - Svezia 506
UA - Ucraina 397
VN - Vietnam 190
IE - Irlanda 162
FR - Francia 66
DE - Germania 56
IT - Italia 52
BE - Belgio 19
EE - Estonia 11
CN - Cina 10
FI - Finlandia 9
GB - Regno Unito 9
CA - Canada 7
RO - Romania 7
A2 - ???statistics.table.value.countryCode.A2??? 4
AT - Austria 4
ES - Italia 4
EU - Europa 4
IL - Israele 4
JP - Giappone 4
RU - Federazione Russa 4
SG - Singapore 4
CH - Svizzera 3
CL - Cile 3
CZ - Repubblica Ceca 3
DK - Danimarca 3
IN - India 3
MY - Malesia 3
NL - Olanda 3
NO - Norvegia 3
PH - Filippine 3
RS - Serbia 3
AU - Australia 2
BG - Bulgaria 2
HR - Croazia 2
IM - Isola di Man 2
NG - Nigeria 2
AL - Albania 1
AM - Armenia 1
BD - Bangladesh 1
BR - Brasile 1
CO - Colombia 1
ET - Etiopia 1
GR - Grecia 1
KZ - Kazakistan 1
LT - Lituania 1
LU - Lussemburgo 1
MM - Myanmar 1
MU - Mauritius 1
MX - Messico 1
PA - Panama 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
TW - Taiwan 1
Totale 3017
Salva come PNG Salva come JPEG
Città #
Chandler 751
Dong Ket 190
Dublin 162
San Mateo 146
Wilmington 96
Ann Arbor 59
Strasbourg 56
Turin 29
Brussels 18
Tallinn 11
Frankfurt am Main 9
Helsinki 9
Berlin 8
Hanover 6
Clearwater 5
Gothenburg 4
Toronto 4
Vienna 4
Aachen 3
Belgrade 3
Cyberjaya 3
Jönköping 3
Lambesc 3
Madrid 3
Paris 3
Prague 3
Shanghai 3
Adliswil 2
Chicago 2
Cincinnati 2
Davao City 2
Douglas 2
Göteborg 2
Heilbronn 2
Kemerovo 2
La Canada Flintridge 2
Lagos 2
London 2
Miami 2
Milan 2
New York 2
Oslo 2
Saint Louis 2
Saint Paul 2
Seattle 2
Trento 2
Vancouver 2
Vasto 2
Xian 2
Zagreb 2
Zhengzhou 2
Almaty 1
Almere Stad 1
Apo 1
Aprilia 1
Ashburn 1
Athens 1
Athína 1
Beijing 1
Belovo 1
Brasília 1
Brisbane 1
Bucharest 1
Charlottesville 1
Copenhagen 1
Dortmund 1
Groningen 1
Hoegaarden 1
Houston 1
Huntsville 1
Irving 1
Islamabad 1
Istanbul 1
Karlsruhe 1
Kharkov 1
Kherson 1
Las Vegas 1
Lisbon 1
Manchester 1
Manila 1
Medellín 1
Media 1
Monterrey 1
Montreal 1
Montréal 1
Mountain View 1
Napoli 1
Nay Pyi Taw 1
Norwalk 1
Omaha 1
Panama City 1
Phoenix 1
Princeton 1
Redmond 1
Redwood City 1
Rome 1
Sanremo 1
Secaucus 1
Sofia 1
Stockholm 1
Totale 1691
Salva come PNG Salva come JPEG
Nome #
A generated property specification language for resilient multirobot missions 69
A framework for integration of functional and non-functional analysis of software architectures 68
A framework for integration of functional and non-functional analysis of software architectures 66
A family of domain-specific languages for specifying civilian missions of multi-robot systems 66
A Model Driven Approach to Upgrade Package Based Software Systems 44
A learning approach to enhance assurances for real-time self-adaptive systems 43
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 41
What Industry needs from Architectural Languages: A Survey 37
The Role of Parts in the System Behaviour 37
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle Upon Tyne — November 17 - 19, 2008 36
Ad-Opera: Music-inspired Self-adaptive Systems 33
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 32
A Practical Architecture-centric Analysis Process 32
Editorial to theme issue on model-driven engineering of component-based software systems 31
A model-driven approach to detect faults in FOSS systems 31
On the Composition and Reuse of Viewpoints across Architecture Frameworks 31
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments 30
Synthesizing adapters for conversational web-services from their WSDL interface 29
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar 28
ModelLAND: Where do models come from? 28
Charmy: A framework for Software Architecture Specification and Analysis 28
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 28
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters 28
Software Engineering of Fault Tolerant Systems [Hardcover] 27
TeStor: Deriving Test Sequences from Model-based Specifications 27
Towards an architectural approach for the dynamic and automatic composition of software components 27
Boundary Objects and their Use in Agile Systems Engineering Organizations 26
Organic Evolution of Development Organizations - An Experience Report 26
Model Checking 25
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 25
CHARMY: An Extensible Tool for Architectural Analysis 25
Towards An Assume-Guarantee Theory for Adaptable Systems 25
DUALLY: Putting in Synergy UML 2.0 and ADLs 25
Multi-robot LTL planning under uncertainty 25
Managing Safety and Mission Completion via Collective Run-time Adaptation 24
Keeping intelligence under control 24
Rule-based modeling and static analysis of self-adaptive systems by graph transformation 24
Managing the Evolution of Free and Open Source Software Complex Systems 24
The novel Mechanical Ventilator Milano for the COVID-19 pandemic 24
Specification Patterns for Robotic Missions 23
Engineering Fault Tolerant Systems 23
RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network 23
Hey, my data are mine! Active data to empower the user 23
A proposal for an Automotive Architecture Framework for Volvo Cars 23
An Architecture for Decentralized, Collaborative, and Autonomous Robots 23
AC-contract: Run-time verication of context-aware applications 23
Automatic synthesis of behavior protocols for composable web-services 23
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies 22
Improving robustness of AUTOSAR software components with design by contract: A study within Volvo AB 22
Descriptive vs prescriptive models in industry 22
Verdict machinery: On the need to automatically make sense of test results 22
Automated Check of Architectural Models Consistency using Spin 22
Transparency and contracts: Continuous integration and delivery in the automotive ecosystem 22
Towards Maintainer Script Modernization in FOSS Distributions 22
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 22
From requirements to Java code: An architecture-centric approach for producing quality systems 21
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions 21
Introduction to the special issue on architecting autonomous and smart systems 21
An architectural approach to the correct and automatic assembly of evolving component-based systems 21
Engineering the software of robotic systems 21
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 20
Automotive Architecture Framework: The experience of Volvo Cars 20
Model-driven techniques to enhance Architectural Languages Interoperability 20
A Software Architecture for Reliable Collaborative Working Environments 20
Formal Analysis of Architectural Patterns 20
INTERO: an Interoperability Model for Large Systems 20
Using UML for SA-based Modeling and Analysis 20
Open architectures and software evolution: The case of software ecosystems 20
Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture 20
Supporting the Evolution of Free and Open Source Software Distributions 20
A Scenario Based Notation for Specifying Temporal Properties 20
Architecting cars as constituents of a system of systems 20
Agile Beyond Teams and Feedback Beyond Software in Automotive Systems 20
Guaranteeing Correct Evolution of Software Product Lines 19
Towards a Graphical Tool for Refining User to System Requirements 19
Charmy: A Framework for Designing and Validating Architectural Specifications 19
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems 19
Engineering a platform for mission planning of autonomous and resilient quadrotors 19
An Experience in Architectural Extension: Active Object in J2EE 19
An Experience in Architectural Extensions: Active Objects in J2EE 19
ByADL: An MDE Framework for Building Extensible Architecture Description Languages 19
Adaptive heterogeneous multi-robot collaboration from formal task specifications 19
An industrial case study on an architectural assumption documentation framework 18
Developing highly complex distributed systems: A software engineering perspective 18
The Road Ahead for Architectural Languages 18
Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems 18
Checking consistency between architectural models using SPIN 18
Improving the Consistency and Usefulness of Architecture Descriptions: Guidelines for Architects 18
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 18
POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks 18
Producing software by integration: challenges and research directions (keynote) 18
Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach 18
Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem 18
AN INTRODUCTION TO SOFTWARE ENGINEERING AND FAULT TOLERANCE 17
POPEYE: a simple and reliable collaborative working environment over mobile ad-hoc networks 17
Why and how to balance alignment and diversity of requirements engineering practices in automotive 17
Formal Analysis and Verication of Self-Healing Systems 17
Self-Repairing systems modeling and verification using AGG 17
Using models at runtime to address assurance for self-adaptive systems 17
Compositional Verification of Middleware-Based Software Architecture descriptions 17
Totale 2512
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23038
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23038
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021656 0000 00 0164 2910119343
2021/20221006 12817735 344 414 23722162
2022/20231571 92957242 178308 181297 270000
Totale 3233