Andrea Polini

ACM Trans. Manag. Inf. Syst., 2022

SuMo: A mutation testing approach and tool for the Ethereum blockchain.

[BibT_eX]

[DOI]

Morena Barboni

Andrea Morichetta

J. Syst. Softw., 2022

Consistent modelling of hierarchical BPMN collaborations.

[BibT_eX]

[DOI]

Bus. Process. Manag. J., 2022

Flexible execution of multi-party business processes on blockchain.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

Smart contract testing: challenges and opportunities.

[BibT_eX]

[DOI]

Morena Barboni

Andrea Morichetta

Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

X-IoT: a model-driven approach for cross-platform IoT applications development.

[BibT_eX]

[DOI]

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Quality of Information and Communications Technology, 2022

A Choreography-Driven Approach for Blockchain-Based IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper).

[BibT_eX]

[DOI]

Proceedings of Ongoing Research, 2022

DTMN a Modelling Notation for Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2022 Workshops, 2022

Towards a Digital Twin Modelling Notation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2022

2021

A formal approach for the analysis of BPMN collaboration models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Process Variance Analysis and Configuration in the Public Administration Sector.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Recent Trends and Applications in Computer Science and Information Technology, Tirana, Albania, May 21st - to, 2021

TLV-diss<sub>γ </sub>: A Dissimilarity Measure for Public Administration Process Logs.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government - 20th IFIP WG 8.5 International Conference, 2021

FloWare: An Approach for IoT Support and Application Development.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

ChorChain: A model-driven framework for choreography-based systems using blockchain.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts.

[BibT_eX]

[DOI]

Morena Barboni

Andrea Morichetta

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020

Collaboration vs. choreography conformance in BPMN.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions.

[BibT_eX]

[DOI]

J. Intell. Syst., 2020

Process-oriented knowledge management and learning in public administrations.

[BibT_eX]

[DOI]

Electron. Gov. an Int. J., 2020

Engineering trustable choreography-based systems using blockchain.

[BibT_eX]

[DOI]

Flávio Corradini

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2020

2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

Enabling Auditing of Smart Contracts Through Process Mining.

[BibT_eX]

[DOI]

Massimiliano Sampaolo

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Requirements elicitation and refinement in collaborative research projects.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

A formal approach to modeling and verification of business process collaborations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Business process flexibility - a systematic literature review with a software systems perspective.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2018

A Guidelines framework for understandable BPMN models.

[BibT_eX]

[DOI]

Giorgio Oronzo Spagnolo

Data Knowl. Eng., 2018

Evaluation of Cloud Portability of Legacy Applications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Checking Business Process Correctness in Apromore.

[BibT_eX]

[DOI]

Proceedings of the Information Systems in the Big Data Era, 2018

2017

BProVe: tool support for business process verification.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.

[BibT_eX]

[DOI]

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

Checking Business Process Modeling Guidelines in Apromore.

[BibT_eX]

[DOI]

Giorgio Oronzo Spagnolo

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

On Avoiding Erroneous Synchronization in BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 20th International Conference, 2017

2016

An Overview of Service-Oriented Computing Challenges and Issues.

[BibT_eX]

Proceedings of the 12th International Conference on Web Information Systems and Technologies, 2016

Collaborative requirements elicitation in a european research project.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Pattern for Enabling Multitenancy in Legacy Application.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

Business Process Feature Model: An Approach to Deal with Variability of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

Modeling for Learning in Public Administrations - The Learn PAd Approach.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015

Inter-organizational business process verification in public administration.

[BibT_eX]

[DOI]

Barbara Re

Bus. Process. Manag. J., 2015

A Flexible Architecture to Monitor Dynamic Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2015, 2015

Learn PAd : Collaborative and Model-based Learning in Public Administrations.

[BibT_eX]

[DOI]

Proceedings of the Projects Showcase, 2015

BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services.

[BibT_eX]

[DOI]

Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

An Operational Semantics of BPMN Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Process Variability Modeling for Complex Organizations.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Enterprise Systems, 2015

Cloud Readiness Assessment of Legacy Application.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2015, 2015

Extending Feature Models to Express Variability in Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2015

2014

An Extensible Framework for Online Testing of Choreographed Services.

[BibT_eX]

[DOI]

Computer, 2014

Research challenges in business process adaptability.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems.

[BibT_eX]

[DOI]

Maria Rita Di Berardini

Henry Muccini

Proceedings of the Formal Methods and Software Engineering, 2014

Modelling Process Intensive Scenarios for the Smart City.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government - 13th IFIP WG 8.5 International Conference, 2014

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2014

2013

Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2013

ServicePot - An Extensible Registry for Choreography Governance.

[BibT_eX]

[DOI]

Midhat Ali

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

<i>HawkEye</i>: a tool for collaborative business process modelling and verification.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

ParTes: A test generation strategy for choreography participants.

[BibT_eX]

[DOI]

Daniele Fanì

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

2012

Formal Methods to Improve Public Administration Business Processes.

[BibT_eX]

[DOI]

Andrea Polzonetti

Barbara Re

RAIRO Theor. Informatics Appl., 2012

Enhancing Service Federation Trustworthiness through Online Testing.

[BibT_eX]

[DOI]

Computer, 2012

Governance Policies for Verification and Validation of Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems and Technologies - 8th International Conference, 2012

Validation and Verification Policies for Governance of Service Choreographies.

[BibT_eX]

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Direct Verification of BPMN Processes through an Optimized Unfolding Technique.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Livelock and Deadlock Detection for PA Inter-organizational Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Advancing Democracy, Government and Governance, 2012

Improving PA Business Processes through Modeling, Analysis, and Reengineering.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government - 11th IFIP WG 8.5 International Conference, 2012

2011

Architecture-Based Testing and System Validation - Workshop Summary.

[BibT_eX]

[DOI]

Bedir Tekinerdogan

Paul C. Clements

Henry Muccini

Michel R. V. Chaudron

Eoin Woods

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

(role)CAST: A Framework for On-line Service Testing.

[BibT_eX]

Proceedings of the WEBIST 2011, 2011

Run-time systems failure prediction via proactive monitoring.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Business Processes Verification for e-Government Service Delivery.

[BibT_eX]

[DOI]

Inf. Syst. Manag., 2010

A Counter-Example Testing Approach for Orchestrated Services.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Designing Quality Business Processes for E-Government Digital Services.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, 9th IFIP WG 8.5 International Conference, 2010

FITE - Future Integrated Testing Environment.

[BibT_eX]

[DOI]

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

2009

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

WS-TAXI: A WSDL-based Testing Tool for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automated testing of healthcare document transformations in the PICASSO interoperability platform.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

On-line validation of service oriented systems in the European Project TAS3.

[BibT_eX]

[DOI]

Muhammad Jaffar-Ur Rehman

Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

Testing Run-time Evolving Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

2008

An architectural approach to the correct and automatic assembly of evolving component-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Model-Based Generation of Testbeds for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

The PLASTIC Framework and Tools for Testing Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, International Summer Schools, 2008

Towards Automated WSDL-Based Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

A participant testing strategy for service orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

Improving Trust in Composite eServices Via Run-Time Participants Testing.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, 7th International Conference, 2008

2007

Testing software components for integration: a survey of issues and techniques.

[BibT_eX]

[DOI]

Fakhra Jabeen

Softw. Test. Verification Reliab., 2007

Automatic generation of test-beds for pre-deployment QoS evaluation of web services.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

XModel-Based Testing of XSLT Applications.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

2nd international workshop on service oriented software engineering (IW-SOSWE 2007).

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Andrea Zisman

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

A QoS Test-Bed Generator for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 7th International Conference, 2007

Automatic Test Data Generation for XML Schema-based Partition Testing.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Automation of Software Test, 2007

TAXI - A Tool for XML-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Monitoring Architectural Properties in Dynamic Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Architectural Verification of Black-Box Component-Based Systems.

[BibT_eX]

[DOI]

Henry Muccini

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Systematic Generation of XML Instances to Test Complex Software Applications.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

Towards an architectural approach for the dynamic and automatic composition of software components.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

International workshop on service oriented software engineering (IW-SOSE'06).

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Interoperability testing of Web Services for e-learning.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2005

Applying advanced uml based testing methodology to e-learning.

[BibT_eX]

Jinghua Gao

Eda Marchetti

Proceedings of the AC 2005, 2005

The Audition Framework for Testing Web Services Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

2004

Early performance testing of distributed software applications.

[BibT_eX]

[DOI]

Giovanni Denaro

Wolfgang Emmerich

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Integration of "Components" to Test Software Components.

[BibT_eX]

[DOI]

Eda Marchetti

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Refactoring a Legacy System Using Components.

[BibT_eX]

Eda Marchetti

Francesca Martelli

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

A Framework for Component Deployment Testing.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

WCT: A Wrapper for Component Testing.

[BibT_eX]

[DOI]