Travelled to:
1 × Austria
1 × USA
Collaborated with:
G.Spanoudakis C.Kloukinas
Talks about:
event (2) base (2) framework (1) distribut (1) calculus (1) monitor (1) lifetim (1) toward (1) system (1) servic (1)
Person: Khaled Mahbub
DBLP: Mahbub:Khaled
Contributed to:
Wrote 2 papers:
- SEKE-2008-KloukinasSM #distributed #runtime #verification
- Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
- ASE-2004-SpanoudakisM #calculus #framework #monitoring #requirements #towards
- Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.