Patrizio Pelliccione

According to our database1, Patrizio Pelliccione authored at least 151 papers between 2001 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
INTERO: An Interoperability Model for Large Systems.
IEEE Softw., 2020

Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures ([email protected] 2018).
ACM SIGSOFT Softw. Eng. Notes, 2020

Beyond connected cars: A systems of systems perspective.
Sci. Comput. Program., 2020

Collaborative traceability management: a multiple case study from the perspectives of organization, process, and culture.
Requir. Eng., 2020

Why and how to balance alignment and diversity of requirements engineering practices in automotive.
J. Syst. Softw., 2020

PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput., 2020

Robotics Software Engineering: A Perspective from the Service Robotics Domain.
CoRR, 2020

Why and How Your Traceability Should Evolve: Insights from an Automotive Supplier.
CoRR, 2020

Hey, my data are mine!: active data to empower the user.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Real-world ethics for self-driving cars.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

A hybrid approach combining control theory and AI for engineering self-adaptive systems.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

PROMISE: high-level mission specification for multiple robots.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Technical Architectures for Automotive Systems.
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Architecting and Analysing Connected Autonomous Vehicles.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

2019
Editorial to theme issue on model-driven engineering of component-based software systems.
Softw. Syst. Model., 2019

Boundary objects and their use in agile systems engineering.
J. Softw. Evol. Process., 2019

The impact of requirements on systems development speed: a multiple-case study in automotive.
Requir. Eng., 2019

Introduction to the special issue on architecting autonomous and smart systems.
J. Syst. Softw., 2019

Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective.
J. Syst. Softw., 2019

Managing safety and mission completion via collective run-time adaptation.
J. Syst. Archit., 2019

Software Architectures for Context-Aware Smart Systems.
Inf. Softw. Technol., 2019

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems.
CoRR, 2019

Specification Patterns for Robotic Missions.
CoRR, 2019

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.
IEEE Access, 2019

Variability Modeling of Service Robots: Experiences and Challenges.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

High-level mission specification for multiple robots.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

PsALM: specification of dependable robotic missions.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments.
Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

MAPmAKER: performing multi-robot LTL planning under uncertainty.
Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

On Interfaces to Support Agile Architecting in Automotive: An Exploratory Case Study.
Proceedings of the IEEE International Conference on Software Architecture, 2019

Improving the Consistency and Usefulness of Architecture Descriptions: Guidelines for Architects.
Proceedings of the IEEE International Conference on Software Architecture, 2019

Autonomous Vehicles: State of the Art, Future Trends, and Challenges.
Proceedings of the Automotive Systems and Software Engineering, 2019

2018
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures ([email protected] 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures ([email protected] 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

Automatic generation of predictive monitors from scenario-based specifications.
Inf. Softw. Technol., 2018

Ethical and Social Aspects of Self-Driving Cars.
CoRR, 2018

The Problem of Consolidating RE Practices at Scale: An Ethnographic Study.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018

The Manager Perspective on Requirements Impact on Automotive Systems Development Speed.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Boundary objects in Agile practices: continuous management of systems engineering artifacts in the automotive domain.
Proceedings of the 2018 International Conference on Software and System Process, 2018

MoVEMo: A Structured Approach for Engineering Reward Functions.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Transparency and contracts: continuous integration and delivery in the automotive ecosystem.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

A learning approach to enhance assurances for real-time self-adaptive systems.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Property specification patterns for robotic missions.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Towards multi-robot applications planning under uncertainty.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Keeping intelligence under control.
Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, 2018

Message from the ICSA 2018 Tutorials Chairs.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

An Architecture for Decentralized, Collaborative, and Autonomous Robots.
Proceedings of the IEEE International Conference on Software Architecture, 2018

Multi-robot LTL Planning Under Uncertainty.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Model-Driven Engineering for Mission-Critical IoT Systems.
IEEE Softw., 2017

An industrial case study on an architectural assumption documentation framework.
J. Syst. Softw., 2017

Automotive Architecture Framework: The experience of Volvo Cars.
J. Syst. Archit., 2017

RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network.
IEEE Access, 2017

Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

A Generated Property Specification Language for Resilient Multirobot Missions.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Engineering the software of robotic systems.
Proceedings of the 39th International Conference on Software Engineering, 2017

Online Robustness Testing of Distributed Embedded Systems: An Industrial Approach.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Architectural Assumptions and Their Management in Industry - An Exploratory Study.
Proceedings of the Software Architecture - 11th European Conference, 2017

2016
Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems.
IEEE Access, 2016

Formal Verification of the On-the-Fly Vehicle Platooning Protocol.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

A/B Testing in E-commerce Sales Processes.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Automatic generation of detailed flight plans from high-level mission descriptions.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Descriptive vs prescriptive models in industry.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Verdict machinery: on the need to automatically make sense of test results.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Leveraging Collective Run-Time Adaptation for UAV-Based Systems.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

Continuous Integration Beyond the Team: A Tooling Perspective on Challenges in the Automotive Industry.
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

Architecting cars as constituents of a system of systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

2015
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.
IEEE Trans. Software Eng., 2015

The Road Ahead for Architectural Languages.
IEEE Softw., 2015

A model-driven approach to detect faults in FOSS systems.
J. Softw. Evol. Process., 2015

Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture.
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

AC-Contract: Run-Time Verification of Context-Aware Applications.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.
Proceedings of the Software, 2015

2014
Simulating upgrades of complex systems: The case of Free and Open Source Software.
Inf. Softw. Technol., 2014

A Family of Domain-Specific Languages for Specifying Civilian Missions of Multi-Robot Systems.
Proceedings of the 1st International Workshop on Model-Driven Robot Software Engineering co-located with International Conference on Software Technologies: Applications and Foundations, 2014

The Role of Parts in the System Behaviour.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Open Architectures and Software Evolution: The Case of Software Ecosystems.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

Ad-Opera: Music-Inspired Self-Adaptive Systems.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014

2013
What Industry Needs from Architectural Languages: A Survey.
IEEE Trans. Software Eng., 2013

Producing software by integration: challenges and research directions (keynote).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Supporting the Evolution of Free and Open Source Software Distributions.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

2012
A model-driven approach to automate the propagation of changes among Architecture Description Languages.
Softw. Syst. Model., 2012

Developing highly complex distributed systems: a software engineering perspective.
J. Internet Serv. Appl., 2012

Managing the Evolution of FOSS Systems.
ERCIM News, 2012

Guaranteeing Correct Evolution of Software Product Lines.
ERCIM News, 2012

On the Composition and Reuse of Viewpoints across Architecture Frameworks.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Assume-Guarantee Testing of Evolving Software Product Line Architectures.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Automated Inference of Models for Black Box Systems Based on Interface Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

EVOSS: A tool for managing the evolution of free and open source software systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

Model-Driven Techniques to Enhance Architectural Languages Interoperability.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Supporting software evolution in component-based FOSS systems.
Sci. Comput. Program., 2011

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem.
Proceedings of the Software Engineering for Resilient Systems, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

ModelLAND: Where Do Models Come from?
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies.
IEEE Trans. Software Eng., 2010

An Introduction to Software Engineering and Fault Tolerance
CoRR, 2010

Ad-opera: music-inspired self-adaptive systems.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Realizing architecture frameworks through megamodelling techniques.
Proceedings of the ASE 2010, 2010

Developing next generation ADLs through MDE techniques.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing adapters for conversational web-services from their WSDL interface.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Formal Analysis and Verification of Self-Healing Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

ByADL: An MDE Framework for Building Extensible Architecture Description Languages.
Proceedings of the Software Architecture, 4th European Conference, 2010

2009
CHARMY: A Framework for Designing and Verifying Architectural Specifications.
IEEE Trans. Software Eng., 2009

POPEYE: providing collaborative services for ad hoc and spontaneous communities.
Serv. Oriented Comput. Appl., 2009

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw., 2009

From Requirements to code: an Architecture-centric Approach for producing Quality Systems
CoRR, 2009

Towards maintainer script modernization in FOSS distributions
CoRR, 2009

Self-Repairing systems modeling and verification using AGG.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Towards a Framework for Distributed and Collaborative Modeling.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Automatic synthesis of behavior protocols for composable web-services.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Towards an assume-guarantee theory for adaptable systems.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Integrating AADL within a Multi-domain Modeling Framework.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

A Model Driven Approach to Upgrade Package-Based Software Systems.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2009

Towards a Model Driven Approach to Upgrade Complex Software Systems.
Proceedings of the ENASE 2009, 2009

2008
Model Checking.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

An architectural approach to the correct and automatic assembly of evolving component-based systems.
J. Syst. Softw., 2008

Towards a Graphical Tool for Refining User to System Requirements.
Electron. Notes Theor. Comput. Sci., 2008

Special issue: Engineering Fault Tolerant Systems.
Comput. Syst. Sci. Eng., 2008

Simulating Software Architectures for Functional Analysis.
Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

DUALLY: A framework for Architectural Languages and Tools Interoperability.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
Electron. Notes Theor. Comput. Sci., 2007

Graphical scenarios for specifying temporal properties: an automated approach.
Autom. Softw. Eng., 2007

Architecting Fault Tolerant Systems.
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007

A Software Architecture for Reliable Collaborative Working Environments.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

2006
A scenario based notation for specifying temporal properties.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

The Fault-Tolerant Insulin Pump Therapy.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

A Practical Architecture-Centric Analysis Process.
Proceedings of the Quality of Software Architectures, 2006

TowardsWeaving Software Architecture Models.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

Towards an architectural approach for the dynamic and automatic composition of software components.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.
Electron. Notes Theor. Comput. Sci., 2005

DUALLY: Putting in Synergy UML 2.0 and ADLs.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

CHARMY: an extensible tool for architectural analysis.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Rapid System Development Via Product Line Architecture Implementation.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
Proceedings of the Software Architecture, 2nd European Workshop, 2005

TeStor: Deriving Test Sequences from Model-Based Specifications.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Compositional Verification of Middleware-Based Software Architecture Descriptions.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Formal Analysis of Architectural Patterns.
Proceedings of the Software Architecture, First European Workshop, 2004

2003
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
Proceedings of the FME 2003: Formal Methods, 2003

2002
An Experience in Architectural Extensions: Active Objects in J2EE.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

2001
Automated Check of Architectural Models Consistency Using SPIN.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001


  Loading...