Domenico Bianculli

Dataset, May, 2022

Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques".

[BibT_eX]

[DOI]

Dataset, January, 2022

Automated reverse engineering of role-based access control policies of web applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

PRINS: scalable model inference for component-based system logs.

[BibT_eX]

[DOI]

Donghwan Shin

Empir. Softw. Eng., 2022

A Machine Learning Approach for Automated Filling of Data Entry Forms.

[BibT_eX]

[DOI]

CoRR, 2022

Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components.

[BibT_eX]

[DOI]

Joshua Heneage Dawes

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

An AI-based Approach for Tracing Content Requirements in Financial Documents.

[BibT_eX]

[DOI]

Xiaochen Li

CoRR, 2021

A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.

[BibT_eX]

[DOI]

Joshua Heneage Dawes

Proceedings of the Runtime Verification - 21st International Conference, 2021

Log-based slicing for system-level test cases.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

ThEodorE: a Trace Checker for CPS Properties.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

ACM SIGSOFT Empirical Standards.

[BibT_eX]

[DOI]

CoRR, 2020

Effective Removal of Operational Log Messages: an Application to Model Inference.

[BibT_eX]

[DOI]

Donghwan Shin

CoRR, 2020

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.

[BibT_eX]

[DOI]

Chaima Boufaied

J. Object Technol., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Signal-Based Properties: Taxonomy and Logic-based Characterization.

[BibT_eX]

[DOI]

CoRR, 2019

Scalable Inference of System-level Models from Component Logs.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.

[BibT_eX]

[DOI]

IEEE Softw., 2018

Security slicing for auditing common injection vulnerabilities.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Model-driven run-time enforcement of complex role-based access control policies.

[BibT_eX]

[DOI]

Ameni Ben Fadhel

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A search-based approach for accurate identification of log message formats.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

2017

The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.

[BibT_eX]

[DOI]

IEEE Softw., 2017

JoanAudit: a tool for auditing common injection vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper).

[BibT_eX]

[DOI]

Srdjan Krstic

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Search-driven string constraint solving for vulnerability detection.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies.

[BibT_eX]

[DOI]

Ameni Ben Fadhel

Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016

Testing the untestable: model testing of complex software-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Efficient large-scale trace checking using mapreduce.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

A Model-driven Approach to Representing and Checking RBAC Contextual Policies.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

Syntactic-semantic incrementality for agile verification.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

A comprehensive modeling framework for role-based access control policies.

[BibT_eX]

[DOI]

Ameni Ben Fadhel

J. Syst. Softw., 2015

Syntax-Driven Program Verification of Matching Logic Properties.

[BibT_eX]

[DOI]

Alessandro Maria Rizzi

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

Offline Trace Checking of Quantitative Properties of Service-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.

[BibT_eX]

[DOI]

Srdan Krstic

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Specification Patterns from Research to Industry: A Case Study in Service-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Towards the formalization of properties of cloud-based elastic systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.

[BibT_eX]

[DOI]

Marcello Maria Bersani

Proceedings of the Fundamental Approaches to Software Engineering, 2014

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Cloud-Based Systems Need Multi-Level Management.

[BibT_eX]

[DOI]

Luciano Baresi

Sam Guinea

Proceedings of the Advanced Web Services, 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

A Syntactic-Semantic Approach to Incremental Verification

[BibT_eX]

[DOI]

CoRR, 2013

5th international workshop on principles of engineering service-oriented systems (PESOS 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Open-world Software: Specification, Verification and Beyond.

[BibT_eX]

[DOI]

PhD thesis, 2012

The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.

[BibT_eX]

[DOI]

Pierluigi San Pietro

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Interface decomposition for service compositions.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Corina S. Pasareanu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Automated performance assessment for service-oriented middleware: a case study on BPEL engines.

[BibT_eX]

[DOI]

Walter Binder

Mauro Luigi Drago

Proceedings of the 19th International Conference on World Wide Web, 2010

SOABench: performance evaluation of service-oriented middleware made easy.

[BibT_eX]

[DOI]

Walter Binder

Mauro Luigi Drago

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

2009

Embedding continuous lifelong verification in service life cycles.

[BibT_eX]

[DOI]

Cesare Pautasso

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

ReMan: A pro-active reputation management infrastructure for composite Web services.

[BibT_eX]

[DOI]

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

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.

[BibT_eX]

[DOI]

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

Transparent Reputation Management for Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards a methodology for lifelong validation of service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Systems Development in SOA Environments, 2008

2007

Validation of web service compositions.

[BibT_eX]

[DOI]

IET Softw., 2007

A Model Checking Approach to Verify BPEL4WS Workflows.

[BibT_eX]

[DOI]

Paola Spoletini

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Monitoring conversational web services.

[BibT_eX]

[DOI]