Domenico Bianculli

Publications

• A Syntactic-Semantic Approach to Incremental Verification
• Specification patterns from research to industry: A case study in service-based applications
• Revisiting model-driven engineering for run-time verification of business processes
• Cloud-based systems need multi-level management
• Security slicing for auditing common injection vulnerabilities
• Towards the formalization of properties of cloud-based elastic systems
• A model-driven approach to representing and checking RBAC contextual policies
• Trace checking of metric temporal logic with aggregating modalities using MapReduce
• Syntax-Driven Program Verification of Matching Logic Properties
• GemRBAC-DSL: A high-level specification language for role-based access control policies
• A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties
• 5th International workshop on principles of engineering service-oriented systems (PESOS 2013)
• SMT-based checking of SOLOIST over sparse traces
• JoanAudit: A tool for auditing common injection vulnerabilities
• Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART York, UK, September 7-8, 2015 Revised Selected Papers
• Search-Driven String Constraint Solving for Vulnerability Detection
• OCLR: A more expressive, pattern-based temporal extension of OCL
• Offline trace checking of quantitative properties of service-based applications
• The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated
• Incremental syntactic-semantic reliability analysis of evolving structured workflows
• Testing the untestable: Model testing of complex software-intensive systems
• Efficient large-scale trace checking using mapreduce
• Foreword
• Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs
• A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
• Towards Log Slicing
• Trace Diagnostics for Signal-Based Temporal Properties
• Automated reverse engineering of role-based access control policies of web applications
• Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
• Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
• PRINS: scalable model inference for component-based system logs
• 40 editions of ICSE: the ruby anniversary celebration
• ThEodorE: a Trace Checker for CPS Properties
• Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques
• TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
• On the Risk of Tool Over-tuning in Runtime Verification Competitions
• Syntactic-semantic incrementality for agile verification
• A comprehensive modeling framework for role-based access control policies
• Log-based slicing for system-level test cases
• An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving
• Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
• Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
• A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations
• Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact
• Model-driven Run-time Enforcement of Complex Role-based Access Control Policies
• Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
• A Search-based Approach for Accurate Identification of Log Message Formats
• A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection
• From SOLOIST to CLTLB (D): Checking quantitative properties of service-based applications
• Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies
• Service-Oriented Software... and Carlo’s Services
• QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications
• Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
• Model checking temporal metric specifications with Trio2Promela
• A guided tour through SAVVY-WS: A methodology for specifying and validating web service compositions
• REMAN: A pro-active reputation management infrastructure for compositeweb services
• Trio2Promela: A model checker for temporal metric specifications
• Validation of web service compositions
• Specification patterns from research to industry: A case study in service-based applications
• Towards a methodology for lifelong validation of service compositions
• Monitoring conversational web services
• Keep it small, keep it real: Efficient run-time verification of web service compositions
• SOABench: Performance evaluation of service-oriented middleware made easy
• Interface decomposition for service compositions
• Automated performance assessment for service-oriented middleware: A case study on BPEL engines
• Foreword
• Welcome message
• Automated dynamic maintenance of composite services based on service reputation
• The tale of SOLOIST: A specification language for service compositions interactions
• Lifelong verification of dynamic service compositions
• A timed extension of WSCoL
• SAVVY-WS at a glance: Supporting verifiable dynamic service compositions
• Transparent reputation management for composite web services
• A model checking approach to verify BPEL4WS workflows
• Embedding continuous lifelong verification in service life cycles
• Matinée with Carlo Ghezzi: from Programming Languages to Software Engineering
• Open-world Sofware: Specification, Verification, and Beyond
• Stress Testing Control Loops in Cyber-physical Systems
• Learning-based Relaxation of Completeness Requirements for Data Entry Forms
• Rigorous Assessment of Model Inference Accuracy using Language Cardinality
• Diagnosing Violations of Time-based Properties Captured in iCFTL