::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).