BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Sweden
2 × France
4 × USA
Collaborated with:
H.Chockler E.A.Emerson A.P.Sheth M.P.Singh N.Francez O.Grumberg D.H.Lorenz A.Portnova Y.Deng W.Du M.Evangelist M.Rusinkiewicz E.Baranov S.Bliudze M.Jaber J.Sifakis D.Woelk P.Cannata G.Meredith C.Tomlinson
Talks about:
system (3) architectur (2) intertask (2) concurr (2) depend (2) hyperfair (1) framework (1) distribut (1) synthesi (1) sequenti (1)

Person: Paul C. Attie

DBLP DBLP: Attie:Paul_C=

Facilitated 1 volumes:

VMCAI 2003Ed

Contributed to:

SEFM 20142014
CBSE 20062006
VMCAI 20052005
SEKE 19961996
SIGMOD 19931993
VLDB 19931993
POPL 19901990
POPL 19891989

Wrote 8 papers:

SEFM-2014-AttieBBJS #architecture #framework
A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
CBSE-2006-AttieLPC #behaviour #component #design #explosion #verification
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
VMCAI-2005-AttieC #concurrent #scalability #source code
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs (PCA, HC), pp. 465–481.
SEKE-1996-DengDAE #architecture #distributed #modelling #realtime
A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.
SIGMOD-1993-WoelkACMSST #dependence #scheduling #using
Task Scheduling Using Intertask Dependencies in Carot (DW, PCA, PC, GM, APS, MPS, CT), pp. 491–494.
VLDB-1993-AttieSSR #dependence #specification
Specifying and Enforcing Intertask Dependencies (PCA, MPS, APS, MR), pp. 134–145.
POPL-1990-AttieFG #interactive #multi
Fairness and Hyperfairness in Multi-Party Interactions (PCA, NF, OG), pp. 292–305.
POPL-1989-AttieE #concurrent #process #synthesis
Synthesis of Concurrent Systems with Many Similar Sequential Processes (PCA, EAE), pp. 191–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.