Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Pascal Fenkam

Papers on DiSC'04


On Methodologies for Constructing Correct Event-Based Applications

Publications


Note: Links lead to the DBLP on the Web.

Pascal Fenkam

Schahram Dustdar , Pascal Fenkam: Formally Designing Web Services for Mobile Team Collaboration. EUROMICRO 2004 : 469-476

Antonio Carzaniga , Pascal Fenkam: Third International Workshop on Distributed Event-Based Systems - DEBS '04. ICSE 2004 : 750-751

Pascal Fenkam, Mehdi Jazayeri : Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study. SEM 2004 : 78-90

Pascal Fenkam, Harald Gall , Mehdi Jazayeri : Composing Specifications of Event Based Applications. FASE 2003 : 67-86

Pascal Fenkam, Harald Gall , Mehdi Jazayeri : Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. FME 2003 : 636-657

Sagar Chaki , Pascal Fenkam, Harald Gall , Somesh Jha , Engin Kirda , Helmut Veith : Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003 : 510-517

Pascal Fenkam, Harald Gall , Mehdi Jazayeri : A Systematic Approach to the Development of Event Based Applications. SRDS 2003 : 199-208

Pascal Fenkam, Harald Gall , Mehdi Jazayeri : Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. ASE 2002 : 129-138

Engin Kirda , Harald Gall , Pascal Fenkam, Gerald Reif : MOTION: A Peer-to-Peer Platform for Mobile Teamwork Support. COMPSAC 2002 : 1115-1117

Engin Kirda , Gerald Reif , Harald Gall , Pascal Fenkam: TWSAPI: A Generic Teamwork Services Application Programming Interface. ICDCS Workshops 2002 : 365-372

Pascal Fenkam, Harald Gall , Mehdi Jazayeri , Christopher Krügel : DPS : An Architectural Style for Development of Secure Software. InfraSec 2002 : 180-198

Pascal Fenkam, Harald Gall , Mehdi Jazayeri : Visual Requirements Validation: Case Study in a Corba-Supported Environment. RE 2002 : 81-90

Engin Kirda , Pascal Fenkam, Gerald Reif , Harald Gall : A service architecture for mobile teamwork. SEKE 2002 : 513-518

Pascal Fenkam, Engin Kirda , Schahram Dustdar , Harald Gall , Gerald Reif : Evaluation of a Publish/Subscribe System for Collaborative and Mobile Working. WETICE 2002 : 23-28

Pascal Fenkam, Schahram Dustdar , Engin Kirda , Gerald Reif , Harald Gall : Towards an Access Control System for Mobile Peer-to-Peer Collaborative Environments. WETICE 2002 : 95-102

Pascal Fenkam: Security Specification and Verification. ASE 2001 : 434

Gerald Reif , Engin Kirda , Harald Gall , Pascal Fenkam, Gian Pietro Picco , Gianpaolo Cugola : A Web-Based Peer-to-Peer Architecture for Collaborative Nomadic Working. WETICE 2001 : 334-339

1 [ 16 ]

2 [ 12 ]

3 [ 1 ]

4 [ 3 ] [ 4 ] [ 17 ]

5 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ]

6 [ 6 ] [ 7 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] [ 15 ]

7 [ 12 ]

8 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 8 ] [ 9 ] [ 12 ]

9 [ 7 ]

10 [ 1 ]

11 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 8 ] [ 9 ]

12 [ 12 ]




©2005 Association for Computing Machinery