Domenico Bianculli

According to our database1, Domenico Bianculli authored at least 50 papers between 2007 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Security slicing for auditing common injection vulnerabilities.
Journal of Systems and Software, 2018

Model-driven run-time enforcement of complex role-based access control policies.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A search-based approach for accurate identification of log message formats.
Proceedings of the 26th Conference on Program Comprehension, 2018

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

JoanAudit: a tool for auditing common injection vulnerabilities.
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).
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.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Search-driven string constraint solving for vulnerability detection.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies.
Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016

Testing the untestable: model testing of complex software-intensive systems.
Proceedings of the 38th International Conference on Software Engineering, 2016

Efficient large-scale trace checking using mapreduce.
Proceedings of the 38th International Conference on Software Engineering, 2016

A Model-driven Approach to Representing and Checking RBAC Contextual Policies.
Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015
Syntactic-semantic incrementality for agile verification.
Sci. Comput. Program., 2015

A comprehensive modeling framework for role-based access control policies.
Journal of Systems and Software, 2015

Efficient Large-scale Trace Checking Using MapReduce.
CoRR, 2015

Syntax-Driven Program Verification of Matching Logic Properties.
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.
CoRR, 2014

Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce.
CoRR, 2014

Offline Trace Checking of Quantitative Properties of Service-Based Applications.
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.
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.
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.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.
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.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Cloud-Based Systems Need Multi-Level Management.
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.
ACM SIGSOFT Software Engineering Notes, 2013

A Syntactic-Semantic Approach to Incremental Verification
CoRR, 2013

5th international workshop on principles of engineering service-oriented systems (PESOS 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Open-world Software: Specification, Verification and Beyond.
PhD thesis, 2012

Specification patterns from research to industry: A case study in service-based applications.
Proceedings of the 34th International Conference on Software Engineering, 2012

The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Interface decomposition for service compositions.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Automated performance assessment for service-oriented middleware: a case study on BPEL engines.
Proceedings of the 19th International Conference on World Wide Web, 2010

SOABench: performance evaluation of service-oriented middleware made easy.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Embedding continuous lifelong verification in service life cycles.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
Proceedings of the Formal Techniques for Distributed Systems, 2009

2008
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Transparent Reputation Management for Composite Web Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007
Validation of web service compositions.
IET Software, 2007

A Model Checking Approach to Verify BPEL4WS Workflows.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Monitoring conversational web services.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

A Timed Extension of WSCoL.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
Proceedings of the Service-Oriented Computing, 2007

Trio2Promela: A Model Checker for Temporal Metric Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Model Checking Temporal Metric Specifications with Trio2Promela.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007


  Loading...