IEEE Transactions on Software Engineering (TSE)
FosterEvolution
IEEE Transactions on Software Engineering (TSE)
Recent Publications
- Formal Certification and Compliance for Run-Time Service Environments (SCC2012)
- Safety, Certification and Compliance for Software Services (WESOA11)
- Dynamic Creation of Monitoring Infrastructures
- SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
- Sixth International Workshop on Automation of Software Test (AST11)






