Paul C. Attie

65 papers A* 7A 4B 8C 3Journal 36Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Squish and Release: Exposing Hidden Hallucinations by Making Them Surface as Safety Signals.
CoRR
Nathaniel Oh, Paul C. Attie
2025 J jnl
Bypassing Array Canaries via Autonomous Function Call Resolution.
CoRR
Nathaniel Oh, Paul C. Attie, Anas Obeidat
2025 J jnl
Model and Program Repair via Group Actions and Structure Unwinding.
ACM Trans. Comput. Log.
Paul C. Attie, William L. Cocke
2024 J jnl
Code Documentation and Analysis to Secure Software Development.
CoRR
Paul C. Attie, Anas Obeidat, Nathaniel Oh, Ian Yelle
2023 B conf
Model and Program Repair via Group Actions.
FoSSaCS
Paul C. Attie, William Cocke
2022 J jnl
Model Repair via Symmetry.
CoRR
Paul C. Attie, William Cocke
2022 — conf
Operational Annotations - A New Method for Sequential Program Verification.
NFM
Paul C. Attie
2021 J jnl
Operational Annotations: A new method for sequential program verification.
CoRR
Paul C. Attie
2020 J jnl
From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program.
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
2019 J jnl
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal
2018 J jnl
Global and Local Deadlock Freedom in BIP.
ACM Trans. Softw. Eng. Methodol.
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2018 J jnl
Model and Program Repair via SAT Solving.
ACM Trans. Embed. Comput. Syst.
Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr
2017 J jnl
Finite-state concurrent programs can be expressed succinctly in triple normal form.
Inf. Process. Lett.
Paul C. Attie
2016 J jnl
A general framework for architecture composability.
Formal Aspects Comput.
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2016 J jnl
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems.
CoRR
Paul C. Attie, Nancy A. Lynch
2016 J jnl
Dynamic input/output automata: A formal and compositional model for dynamic systems.
Inf. Comput.
Paul C. Attie, Nancy A. Lynch
2016 J jnl
Finite-state concurrent programs can be expressed in pairwise normal form.
Theor. Comput. Sci.
Paul C. Attie
2016 J jnl
Synthesis of large dynamic concurrent programs from dynamic specifications.
Formal Methods Syst. Des.
Paul C. Attie
2015 C conf
Model and program repair via SAT solving.
MEMOCODE
Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi
2014 B conf
A General Framework for Architecture Composability.
SEFM
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2013 — conf
An Abstract Framework for Deadlock Prevention in BIP.
FMOODS/FORTE
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2013 J jnl
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
CoRR
Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine
2013 J jnl
Specification Construction Using Behaviours, Equivalences, and SMT Solvers.
CoRR
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri
2011 J jnl
On the refinement of liveness properties of distributed systems.
Formal Methods Syst. Des.
Paul C. Attie
2011 J jnl
The impossibility of boosting distributed service resilience.
Inf. Comput.
Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum
2008 J jnl
Finite-state concurrent programs can be expressed pairwise
CoRR
Paul C. Attie
2008 J jnl
On the Refinement of Liveness Properties of Distributed Systems
CoRR
Paul C. Attie
2008 J jnl
Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
CoRR
Paul C. Attie
2007 J jnl
Model and Program Repair via SAT Solvers
CoRR
Paul C. Attie, Jad Saklawi
2006 — conf
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.
CBSE
Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler
2005 — conf
Automatic Verification of Fault-Tolerant Register Emulations.
INFINITY
Paul C. Attie, Hana Chockler
2005 B conf
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.
VMCAI
Paul C. Attie, Hana Chockler
2005 A conf
The Impossibility of Boosting Distributed Service Resilience.
ICDCS
Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum
2004 J jnl
Preface by the section editors.
Int. J. Softw. Tools Technol. Transf.
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
2004 J jnl
Synthesis of fault-tolerant concurrent programs.
ACM Trans. Program. Lang. Syst.
Paul C. Attie, Anish Arora, E. Allen Emerson
2004 J jnl
Turing machines, transition systems, and interaction.
Inf. Comput.
Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger
2003 C conf
Beyond AIMD: Explicit Fair-share Calculation.
ISCC
Paul C. Attie, Adrian Lahanas, Vassilios Tsaoussidis
2003 A conf
On the Implementation Complexity of Specifications of Concurrent Programs.
DISC
Paul C. Attie
2003 B ed.
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings
VMCAI
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay
2002 J jnl
Wait-free Byzantine consensus.
Inf. Process. Lett.
Paul C. Attie
2001 B conf
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems.
CONCUR
Paul C. Attie, Nancy A. Lynch
2001 A* conf
Dynamic input/output automata, a formal model for dynamic systems.
PODC
Paul C. Attie, Nancy A. Lynch
2001 J jnl
Synthesis of concurrent programs for an atomic read/write model of computation.
ACM Trans. Program. Lang. Syst.
Paul C. Attie, E. Allen Emerson
2000 J jnl
Efficient formal methods for the synthesis of concurrent programs.
ACM SIGSOFT Softw. Eng. Notes
Paul C. Attie
2000 — conf
On Formal Modeling of Agent Computations.
FAABS
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
1999 A* conf
Liveness-Preserving Simulation Relations.
PODC
Paul C. Attie
1999 B conf
Synthesis of Large Concurrent Programs via Pairwise Composition.
CONCUR
Paul C. Attie
1998 J jnl
Synthesis of Concurrent Systems with Many Similar Processes.
ACM Trans. Program. Lang. Syst.
Paul C. Attie, E. Allen Emerson
1998 A* conf
Synthesis of Fault-Tolerant Concurrent Programs.
PODC
Anish Arora, Paul C. Attie, E. Allen Emerson
1997 J jnl
Automating the refinement of specifications for distributed systems via syntactic transformations.
Int. J. Syst. Sci.
Paul C. Attie, Champak Das
1996 C conf
A Formalism for Architectural Modeling of Distributed Real-Time Systems.
SEKE
Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
1996 A conf
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs.
ICDCS
Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun
1996 J jnl
Scheduling workflows by enforcing intertask dependencies.
Distributed Syst. Eng.
Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz
1996 A* conf
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).
PODC
Paul C. Attie, E. Allen Emerson
1995 B conf
An Event Algebra for Specifying and Scheduling Workflows.
DASFAA
Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie
1993 J jnl
Convergence of Iteration Systems.
Distributed Comput.
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1993 J jnl
Fairness and Hyperfairness in Multi-Party Interactions.
Distributed Comput.
Paul C. Attie, Nissim Francez, Orna Grumberg
1993 A* conf
Specifying and Enforcing Intertask Dependencies.
VLDB
Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz
1993 — conf
Task Scheduling Using Intertask Dependencies in Carot.
SIGMOD Conference
Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson
1993 J jnl
Workflow Support in Carnot.
IEEE Data Eng. Bull.
Christine Tomlinson, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Darrell Woelk
1990 B conf
Convergence of Iteration Systems (Extended Abstract).
CONCUR
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1990 A* conf
Fairness and Hyperfairness in Multi-Party Interactions.
POPL
Paul C. Attie, Nissim Francez, Orna Grumberg
1990 A conf
On Fairness as an Abstraction for the Design of Distributed Systems.
ICDCS
Paul C. Attie, Ira R. Forman, Eliezer Levy
1989 A* conf
Synthesis of Concurrent Systems with Many Similar Sequential Processes.
POPL
Paul C. Attie, E. Allen Emerson
1989 — conf
Vanna: a visual environment for the design of distributed systems.
TRI-Ada
Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen