DB
Domenico Bianculli
Associated professor/Chief Scientist 2 (Software engineering not elsewhere classified)
Luxembourg
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
- Checking Complex Source Code-Level Constraints using Runtime Verification
- Toward Automated Change Impact Analysis of Financial Regulations
- Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques
- Impact of log parsing on deep learning-based anomaly detection
- Towards Generating Executable Metamorphic Relations Using Large Language Models
- Automated anomaly detection for categorical data by repurposing a form filling recommender system
- Scoping Software Engineering for AI: The TSE Perspective
- A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms - RCR Report
- A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms—RCR Report
- Tracing content requirements in financial documents using multi-granularity text analysis