Patrizio Pelliccione

Orcid: 0000-0002-5438-2281

Affiliations:
  • Chalmers University of Technology, Gothenburg, Sweden
  • University of L'Aquila, Italy (former)


According to our database1, Patrizio Pelliccione authored at least 200 papers between 2001 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems.
IEEE Trans. Software Eng., April, 2024

Self-Adaptive Testing in the Field.
ACM Trans. Auton. Adapt. Syst., March, 2024

Architecting ML-enabled systems: Challenges, best practices, and design decisions.
J. Syst. Softw., January, 2024

Modelling centralised automotive E/E software architectures.
Adv. Eng. Informatics, 2024

Self-Adaptation in Industry: A Survey.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems.
IEEE Internet Things J., August, 2023

Self-Adaptation in Industry: A Survey.
ACM Trans. Auton. Adapt. Syst., June, 2023

Mission specification and decomposition for multi-robot systems.
Robotics Auton. Syst., May, 2023

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng., April, 2023

A compositional approach to creating architecture frameworks with an application to distributed AI systems.
J. Syst. Softw., April, 2023

Reference architectures modelling and compliance checking.
Softw. Syst. Model., 2023

Software variability in service robotics.
Empir. Softw. Eng., 2023

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version).
CoRR, 2023

Software Reconfiguration in Robotics.
CoRR, 2023

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.
CoRR, 2023

Software Variability in Service Robots (Summary).
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Synthesized Data Quality Requirements and Roadmap for Improving Reusability of In-Situ Marine Data.
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

Quality Metrics in Software Architecture.
Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

Standardisation in Digital Twin Architectures in Manufacturing.
Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

Analysing Interoperability in Digital Twin Software Architectures for Manufacturing.
Proceedings of the Software Architecture - 17th European Conference, 2023

2022
Agile Beyond Teams and Feedback Beyond Software in Automotive Systems.
IEEE Trans. Engineering Management, 2022

Model-driven engineering for mobile robotic systems: a systematic mapping study.
Softw. Syst. Model., 2022

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
ACM SIGSOFT Softw. Eng. Notes, 2022

An architecture for mission coordination of heterogeneous robots.
J. Syst. Softw., 2022

Architecture evaluation in continuous development.
J. Syst. Softw., 2022

Guidelines for the development of a critical software under emergency.
Inf. Softw. Technol., 2022

A Driver-Vehicle Model for ADS Scenario-based Testing.
CoRR, 2022

A Quality 4.0 Model for architecting industry 4.0 systems.
Adv. Eng. Informatics, 2022

Preliminary Results of a Survey on the Use of Self-Adaptation in Industry.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Self-adaptive Testing in the Field: Are We There Yet?
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes.
Proceedings of the Product-Focused Software Process Improvement, 2022

Message from the ICSA 2022 General Chairs and Program Chairs.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

Significance of Continuous Compliance in Automotive.
Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022

Ethical-aware autonomous systems from a social psychological lens.
Proceedings of the Sixth International Workshop on Cultures of Participation in the Digital Age: AI for Humans or Humans for AI? co-located with the International Conference on Advanced Visual Interfaces (AVI 2022), 2022

Towards an Evaluation Framework for Autonomous Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021
Specification Patterns for Robotic Missions.
IEEE Trans. Software Eng., 2021

A survey on the design space of end-user-oriented languages for specifying robotic missions.
Softw. Syst. Model., 2021

Why and How Your Traceability Should Evolve: Insights From an Automotive Supplier.
IEEE Softw., 2021

Adaptive heterogeneous multi-robot collaboration from formal task specifications.
Robotics Auton. Syst., 2021

Efficient Cooperation of Heterogeneous Robotic Agents: A Decentralized Framework.
IEEE Robotics Autom. Mag., 2021

Future Intelligent Autonomous Robots, Ethical by Design. Learning from Autonomous Cars Ethics.
CoRR, 2021

Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Robotics Software Engineering: A Perspective from the Service Robotics Domain (Summary).
Proceedings of the Software Engineering 2021, 2021

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Aligning Architecture with Business Goals in the Automotive Domain.
Proceedings of the 18th IEEE International Conference on Software Architecture, 2021

Incremental Refinement of Goal Models with Contracts.
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

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

Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 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.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

CROME: Contract-Based Robotic Mission Specification.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 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

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 (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 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

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
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
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Towards a Graphical Tool for Refining User to System Requirements.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 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
Charmy: A framework for software architecture specification and analysis.
PhD thesis, 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
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 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...