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: Attie:Paul_C=
Facilitated 1 volumes:
EdContributed to:
2014
20062005
1996
1993
1993
19901989Wrote 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.