Henry Muccini

Orcid: 0000-0001-6365-6515

Affiliations:
  • University of L'Aquila, University of L'Aquila, DISIM Department, Italy


According to our database1, Henry Muccini authored at least 192 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modeling and Architecting of Complex Software Systems.
IEEE Softw., 2024

2023
Education 4.0 in higher education and computer science: A systematic review.
Comput. Appl. Eng. Educ., September, 2023

Focusing on Developers in the Era of AI and ML.
IEEE Softw., 2023

Software Architecture and Machine Learning (Dagstuhl Seminar 23302).
Dagstuhl Reports, 2023

A Synthesis of Green Architectural Tactics for ML-Enabled Systems.
CoRR, 2023

The BET project: Behavior-enabled IoT.
CoRR, 2023

Modeling Data Analytics Architecture for Smart Cities Data-Driven Applications using DAT.
CoRR, 2023

Data Architecture for Digital Object Space Management Service (DOSM) using DAT.
CoRR, 2023

Enhancing Gameful Systems with a Domain Specific Language for Rules Lifecycle Management.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

PyDaQu: Python Data Quality Code Generation Based on Data Architecture.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Architecture Description Framework For Data-Intensive Applications.
Proceedings of the Fourth International Conference on Intelligent Data Science Technologies and Applications, 2023

Modeling Data Analytics Architecture for IoT Applications using DAT.
Proceedings of the 20th International Conference on Software Architecture, 2023

Introduction to the Minitrack on IoB: Internet of Behaviors.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

A Graph-Based Java Projects Representation for Antipatterns Detection.
Proceedings of the Software Architecture - 17th European Conference, 2023

2022
Agile4MLS - Leveraging Agile Practices for Developing Machine Learning-Enabled Systems: An Industrial Experience.
IEEE Softw., 2022

Digital Twins.
IEEE Softw., 2022

Model-based generation of test scripts across product variants: An experience report from the railway industry.
J. Softw. Evol. Process., 2022

TracIMo: a traceability introduction methodology and its evaluation in an Agile development team.
Requir. Eng., 2022

Software Architecture and Artificial Intelligence.
J. Syst. Softw., 2022

Visitors flow management at Uffizi Gallery in Florence, Italy.
J. Inf. Technol. Tour., 2022

FEAST: a framework for evaluating implementation architectures of self-adaptive IoT systems.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Education and Monitoring of People with Migraine Through a Mobile App: A Prototype Developed by a Multidisciplinary Group.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2022

Designing Internet of Behaviors Systems.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022

A Systematic Literature Review on Migration to Microservices: a Quality Attributes perspective.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

DAT: Data Architecture Modeling Tool for Data-Driven Applications.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey.
IEEE Trans. Software Eng., 2021

Rapid Yet Robust Continuous Delivery of Software for Disaster Management Scenarios.
IEEE Softw., 2021

Behavioral Science and Diversity in Software Engineering.
IEEE Softw., 2021

IoT4Emergency: Internet of Things for Emergency Management.
ACM SIGSOFT Softw. Eng. Notes, 2021

Architecture Design for Human-Driven Systems.
CoRR, 2021

A Service for Supporting Digital and Immersive Cultural Experiences.
CoRR, 2021

When industry meets Education 4.0: What do Computer Science companies need from Higher Education?
Proceedings of the TEEM'21: Ninth International Conference on Technological Ecosystems for Enhancing Multiculturality, Barcelona, Spain, October 26, 2021

A User-driven Adaptation Approach for Microservice-based IoT Applications.
Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021

Software Architecture for ML-based Systems: What Exists and What Lies Ahead.
Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

A Machine Learning Approach to Service Discovery for Microservice Architectures.
Proceedings of the Software Architecture - 15th European Conference, 2021

Human Behavior-Oriented Architectural Design.
Proceedings of the Software Architecture - 15th European Conference, 2021

Model-based Automation of Test Script Generation Across Product Variants: a Railway Perspective.
Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020
Towards Self-Learnable Software Architectures.
ERCIM News, 2020

Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review.
CoRR, 2020

Leveraging Machine Learning Techniques for Architecting Self-Adaptive IoT Systems.
Proceedings of the IEEE International Conference on Smart Computing, 2020

Human behaviour centered design: developing a software system for cultural heritage.
Proceedings of the ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June, 2020

Data-driven Adaptation in Microservice-based IoT Architectures.
Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems.
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

2019
A4WSN: an architecture-driven modelling platform for analysing and developing WSNs.
Softw. Syst. Model., 2019

Measuring Systems and Architectures: A Sustainability Perspective.
IEEE Softw., 2019

Continuous Data-driven Software Engineering - Towards a Research Agenda: Report on the Joint 5th International Workshop on Rapid Continuous Software Engineering (RCoSE 2019) and 1st International Works.
ACM SIGSOFT Softw. Eng. Notes, 2019

Reducing the effort for systematic reviews in software engineering.
Data Sci., 2019

Fault-Tolerant IoT - A Systematic Mapping Study.
Proceedings of the Software Engineering for Resilient Systems, 2019

Modeling and Code Generation Framework for IoT.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

A Combined Netflow-Driven and Agent-Based Social Modeling Approach for Building Evacuation.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Generating Heterogeneous Codes for IoT Systems Based on CAPS.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Real-time Emergency Response through Performant IoT Architectures.
Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

Agent-based Simulation for IoT Facilitated Building Evacuation.
Proceedings of the 5th International Conference on Information and Communication Technologies for Disaster Management, 2019

A Machine Learning-Driven Approach for Proactive Decision Making in Adaptive Architectures.
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

An IoT Software Architecture for an Evacuable Building Architecture.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Architecture description language for climate smart agriculture systems.
Proceedings of the 13th European Conference on Software Architecture, 2019

ArchLearner: leveraging machine-learning techniques for proactive architectural adaptation.
Proceedings of the 13th European Conference on Software Architecture, 2019

CATRES: a Context-Aware Recommender System for Indoor and Outdoor Museums Tours Planning.
Proceedings of the Second Workshop on Knowledge-aware and Conversational Recommender Systems, 2019

2018
Collaborative Model-Driven Software Engineering: A Classification Framework and a Research Map.
IEEE Trans. Software Eng., 2018

Collaborative Modeling in Software Engineering.
IEEE Softw., 2018

Group decision-making in software architecture: A study on industrial practices.
Inf. Softw. Technol., 2018

The History of Software Architecture - In the Eye of the Practitioner.
CoRR, 2018

Applying a network flow model to quick and safe evacuation of people from a building: a real case.
Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, 2018

COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

A comparative analysis of self-adaptive patterns in cyber-physical systems.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

ArIA: arduino code generation based on the CAPS.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

Arduino realization of CAPS IoT architecture descriptions.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

Self-adaptive IoT architectures: an emergency handling case study.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

IoT Architectural Styles - A Systematic Mapping Study.
Proceedings of the Software Architecture, 2018

2017
Distributed Teams, Developer Participation, and More.
IEEE Softw., 2017

GitHub, Technical Debt, Code Formatting, and More.
IEEE Softw., 2017

Report from the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016).
ACM SIGSOFT Softw. Eng. Notes, 2017

A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Envisioning the future of collaborative model-driven software engineering.
Proceedings of the 39th International Conference on Software Engineering, 2017

CAPS: A Tool for Architecting Situational-Aware Cyber-Physical Systems.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

CAPS: Architecture Description of Situational Aware Cyber Physical Systems.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Simulating architectures of situational-aware cyber-physical space.
Proceedings of the 11th European Conference on Software Architecture, 2017

CAPSim: simulation and code generation based on the CAPS.
Proceedings of the 11th European Conference on Software Architecture, 2017

An Architecture Framework for Modelling and Simulation of Situational-Aware Cyber-Physical Systems.
Proceedings of the Software Architecture - 11th European Conference, 2017

Adaptation for situational-aware cyber-physical systems driven by energy consumption and human safety.
Proceedings of the 11th European Conference on Software Architecture, 2017

Patterns for Self-Adaptation in Cyber-Physical Systems.
Proceedings of the Multi-Disciplinary Engineering for Cyber-Physical Production Systems, 2017

2016
Product Lines, Energy Conservation, Use Cases, Agile Development, and Infotainment.
IEEE Softw., 2016

Protocol for a Systematic Mapping Study on Collaborative Model-Driven Software Engineering.
CoRR, 2016

A model-based method for seamless web and mobile experience.
Proceedings of the 1st International Workshop on Mobile Development, 2016

Exploring the Temporal Aspects of Software Architecture.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Self-adaptation for cyber-physical systems: a systematic literature review.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

On the use of security principles and practices for architecting cyber-physical systems.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

Welcome Message from the Chairs of WICSA, QoSA and CBSE.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

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

Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012).
Sci. Comput. Program., 2015

Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12).
Sci. Comput. Program., 2015

Stakeholders, Viewpoints and Languages of a Modelling Framework for the Design and Development of Data-Intensive Mobile Apps.
CoRR, 2015

Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Crowd and Laboratory Testing, Can They Co-exist? An Exploratory Study.
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Automatically Bridging UML Profiles to MOF Metamodels.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

On the Social Dimensions of Architectural Decisions.
Proceedings of the Software Architecture - 9th European Conference, 2015

A Preliminary Study on Architecting Cyber-Physical Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
A Study on Group Decision-Making in Software Architecture.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Architecture Description Leveraging Model Driven Engineering and Semantic Wikis.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Towards a collaborative framework for the design and development of data-intensive mobile applications.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems.
Proceedings of the Formal Methods and Software Engineering, 2014

How do you Feel Today? Buggy!
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

A Survey on the Specification of the Physical Environment of Wireless Sensor Networks.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

A Study on MDE Approaches for Engineering Wireless Sensor Networks.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Suitability of Software Architecture Decision Making Methods for Group Decisions.
Proceedings of the Software Architecture - 8th European Conference, 2014

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

Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems (MOBS 2013): 12.
ACM SIGSOFT Softw. Eng. Notes, 2013

Software architecture-based analysis and testing: a look into achievements and future challenges.
Computing, 2013

Foreword.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

8th international workshop on automation of software test (AST 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

1st international workshop on the engineering of mobile-enabled systems (MOBS 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

A Categorization of Green Practices Used by Dutch Data Centers.
Proceedings of the 4th International Conference on Ambient Systems, 2013

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

An empirical study of learning by osmosis in global software engineering.
J. Softw. Evol. Process., 2012

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

Software architecture tool demonstrations.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 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

Path Loss Effect on Energy Consumption in a WSN.
Proceedings of the 14th International Conference on Computer Modelling and Simulation, 2012

A model-driven engineering framework for architecting and analysing Wireless Sensor Networks.
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

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

Software testing of mobile applications: Challenges and future research directions.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

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

2011
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng., 2011

Architecture-Based Testing and System Validation - Workshop Summary.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Supporting Architectural Design Decisions Evolution through Model Driven Engineering.
Proceedings of the Software Engineering for Resilient Systems, 2011

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

Run-time systems failure prediction via proactive monitoring.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

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

A classification and comparison of model checking software architecture techniques.
J. Syst. Softw., 2010

Model and Verification of WS-CDL Based on UML Diagrams.
Int. J. Softw. Eng. Knowl. Eng., 2010

An Introduction to Software Engineering and Fault Tolerance
CoRR, 2010

Leveraging Software Architectures through the ISO/IEC 42010 Standard: A Feasibility Study.
Proceedings of the Trends in Enterprise Architecture Research - 5th International Workshop, 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

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

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

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

A scoped approach to traceability management.
J. Syst. Softw., 2009

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

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

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

Testing Run-time Evolving Systems.
Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

A Model-Driven Engineering Framework for Component Models Interoperability.
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008
Software Testing: Testing New Software Paradigms and New Artifacts.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 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

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Developing a Course on Designing Software in Globally Distributed Teams.
Proceedings of the 3rd IEEE International Conference on Global Software Engineering, 2008

An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions.
Proceedings of the Advanced Web and NetworkTechnologies, and Applications, 2008

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

What Makes Software Architecture-Based Testing Distinguishable.
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 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

Welcome to the WISE track.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Using Model Differencing for Architecture-level Regression Testing.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Towards a European Master Programme on Global Software Engineering.
Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

Monitoring Architectural Properties in Dynamic Component-Based Systems.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
Software architecture-based regression testing.
J. Syst. Softw., 2006

Architecting Fault-tolerant Component-based Systems: from requirements to testing.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Architectural Verification of Black-Box Component-Based Systems.
Proceedings of the Rapid Integration of Software Engineering Techniques, 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

2005
Towards software architecture-based regression testing.
ACM SIGSOFT Softw. Eng. Notes, 2005

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

An Architecture-Centric Approach for Producing Quality Systems.
Proceedings of the Quality of Software Architectures and Software Quality, 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

Reasoning About Software Architecture-Based Regression Testing Through a Case Study.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

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

2004
Using Software Architecture for Code Testing.
IEEE Trans. Software Eng., 2004

A data-modelling approach to web application synthesis.
Int. J. Web Eng. Technol., 2004

A Software Engineering Approach For Coordination Policies Elicitation.
Int. J. Cooperative Inf. Syst., 2004

Introducing a Reasonably Complete and Coherent Approach for Model-based Testing.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

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

Systematic Testing of Software Architectures in the C2 Style.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003
Software Architectures and Coordination Models.
J. Supercomput., 2003

Towards Testing Product Line Architectures.
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Formal Methods in Testing Software Architectures.
Proceedings of the Formal Methods for Software Architectures, 2003

Eliciting Coordination Policies from Requirements.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Detecting Implied Scenarios Analyzing Non-local Branching Choices.
Proceedings of the Fundamental Approaches to Software Engineering, 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

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
A Coordination Process Based on UML and a Software Architectural Description.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Deriving test plans from architectural descriptions.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Coordination Models and Software Architectures in a Unified Software Development Process.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1997
An approach to integration testing based on architectural descriptions.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997


  Loading...