::Research::
Research Topics
- verification and validation
- temporal logics and specification languages
- run-time verification
- formal methods
- compliance checking
- model-driven engineering
- domain-specific languages
- security and privacy, access control
- service-oriented and cloud computing
Current Projects
- 957254 - "COSMOS: DevOps for Complex Cyber-physical Systems" (UL, Co-PI), funded by the European Union under the Horizon 2020 research and innovation programme
- 14016225 - "INSTRUCT: Integrated Satellite-Terrestrial Systems for Ubiquitous Beyond 5G Com- munications", (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).
