::Research::
Research Topics
- verification and validation
- temporal logics and specification languages
- run-time verification
- formal methods
- log analysis
- compliance checking
- security and privacy, access control
Current Projects
- Automated Testing of Web Applications, (UL, PI), industry partner: Q-Leap Luxembourg
- C22/IS/17373407 - LOGODOR "Automated Log Smell Detection and Removal" (UL, PI), funded by Fonds National de la Recherche Luxembourg under the CORE scheme
- AFRICA "Automated Financial Regulations Change Impact Analysis", (UL, PI), funded by the SnT Centre of the University of Luxembourg as part of the FNR-funded National Centre of Excellence in Research on Financial Technologies (NCER-FT)
- ICCOFIDO "Incremental compliance checking of financial documents", (UL, PI), funded by the SnT Centre of the University of Luxembourg as part of the FNR-funded National Centre of Excellence in Research on Financial Technologies (NCER-FT)
- RUMOFA "Runtime monitoring of fund activities", (UL, PI), funded by the SnT Centre of the University of Luxembourg as part of the FNR-funded National Centre of Excellence in Research on Financial Technologies (NCER-FT)
- REGCHECK "Program analysis for regulatory compliance assessment of FinTech Software", (UL, co-PI), funded by the SnT Centre of the University of Luxembourg as part of the FNR-funded National Centre of Excellence in Research on Financial Technologies (NCER-FT)
- 957254 - COSMOS "DevOps for Complex Cyber-physical Systems" (UL, PI), funded by the European Union under the Horizon 2020 research and innovation programme
- 14016225 - INSTRUCT "Integrated Satellite-Terrestrial Systems for Ubiquitous Beyond 5G Communications", (coordinator for the "System Technologies" area) funded by Fonds National de la Recherche Luxembourg under the IBPG scheme (Industrial Partnership with SES)
Past Projects
- Automated Compliance Checking of Fund Documents (UL, Lead Scientist and Industry Partner Manager), industry partner: CSSF Luxembourg.
- Self-healing distributed security (UL, Lead Scientist and Industry Partner Manager), industry partner: HITEC Luxembourg.
- Automated Quality Assurance for the Management of Financial Data (UL, Lead Scientist and Industry Partner Manager), industry partner: BGL BNP Paribas - Alphonse Weicker foundation.
- Specification and Verification of Signal-based Properties for Cyber-Physical Systems (UL, Lead Scientist and Industry Partner Manager), industry partner: LuxSpace.
- C-PPP17/IS/11602677 - "LISTENER: Log-driven, Search-based Test Generation for Ground Control Systems" (UL, Co-PI), funded by Fonds National de la Recherche Luxembourg under the CORE PPP scheme (Industry Partnership with SES TechCom).
- Search-based Integration Testing for Ground Control Systems (UL, Lead Scientist and Industry Partner Manager), industry partner: SES TechCom.
- TUNE: Testing the Untestable (UL, Co-Lead scientist), funded by the European Research Council under the ERC Advanced Grant programme (PI: Lionel Briand).
- MOVIDA: Model-driven Trace Checking of Quantitative Properties using Big Data Technologies (UL, Co-PI), funded by the University of Luxembourg under the IRP scheme.
- ReACP: Context and Business Aware Reverse-engineering and Testing for Access Control Policies (UL, Lead Scientist), funded by the University of Luxembourg.
- INTER/DFG/14/11092585 - "CRC1223 - Methods and Tools for Understanding and Controlling Privacy" (UL, Lead Scientist), funded by Fonds National de la Recherche Luxembourg.
- Model-driven Run-time Verification of RBAC policies (UL, Lead Scientist and Industry Partner Manager), industry partner: HITEC Luxembourg.
- Model-driven Run-time Verification of eGovernment business processes (UL, Lead Scientist and Industry Partner Manager), industry partner: CTIE Luxembourg.
- Verification of Quantitative Properties of Software Systems (UL and Politecnico di Milano, Co-Lead Scientist )
- EU-FP7-215483 S-Cube - "European Network of Excellence in Software Services and Systems" (USI, technical contributor).
- Automated Performance Assessment of Service-oriented Middleware (USI, technical contributor).
- SNF 125337 and SNF 135051 CLAVOS - "Continuous Lifelong Analysis and Verification of Open Services" (USI, technical contributor), funded by the Swiss National Science Foundation.
- PBTIP2-125604 - Lifelong Verification of Dynamic Service Compositions (USI, sole PI), funded by the Swiss National Science Foundation under the program for fellowships for prospective researchers, to support a research visit at the NASA Ames Research Center.
- Transparent Reputation Management for Composite Web Services (USI, technical contributor).
- IST-FP6-026995 PLASTIC - "Providing Lightweight and Adaptable Service Technology for Pervasive Information and Communication" (USI, technical contributor), funded by the European Union.
- Model Checking Web Service Compositions (USI and Politecnico di Milano, technical contributor).
- Model Checking Temporal Metric Specifications (USI and Politecnico di Milano, technical contributor).
