Travelled to:1 × Germany
1 × Poland
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:H.C.Gall M.Jazayeri ∅ E.Kirda G.Reif S.Chaki S.Jha H.Veith
Talks about:support (3) construct (2) teamwork (2) specif (2) applic (2) studi (2) mobil (2) event (2) corba (2) test (2)
Person: Pascal Fenkam
DBLP: Fenkam:Pascal
Contributed to:
2003
2003
2003
2002
200220022001Wrote 7 papers:
- FASE-2003-FenkamGJ #specification
- Composing Specifications of Event Based Applications (PF, HCG, MJ), pp. 67–86.
- FME-2003-FenkamGJ #approach #concurrent
- Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.
- SEKE-2003-ChakiFGJKV #framework #mobile #platform
- Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.
- ASE-2002-FenkamGJ #automation #case study #testing
- Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (PF, HCG, MJ), pp. 129–138.
- RE-2002-FenkamGJ #case study #requirements #validation #visual notation
- Visual Requirements Validation: Case Study in a Corba-Supported Environment (PF, HCG, MJ), pp. 81–90.
- SEKE-2002-KirdaFRG #architecture #mobile
- A service architecture for mobile teamwork (EK, PF, GR, HCG), pp. 513–518.
- ASE-2001-Fenkam #security #specification #verification
- Security Specification and Verification (PF), p. 434.