Paul C. Attie
According to our database^{1},
Paul C. Attie
authored at least 48 papers
between 1989 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org

on ccs.neu.edu
On csauthors.net:
Bibliography
2021
CoRR, 2021
2020
J. Log. Algebraic Methods Program., 2020
2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019
2018
ACM Trans. Softw. Eng. Methodol., 2018
ACM Trans. Embed. Comput. Syst., 2018
2017
Finitestate concurrent programs can be expressed succinctly in triple normal form.
Inf. Process. Lett., 2017
2016
Theor. Comput. Sci., 2016
Dynamic input/output automata: A formal and compositional model for dynamic systems.
Inf. Comput., 2016
Formal Methods Syst. Des., 2016
Formal Aspects Comput., 2016
2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
2013
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
CoRR, 2013
CoRR, 2013
Proceedings of the Formal Techniques for Distributed Systems, 2013
2011
Inf. Comput., 2011
Formal Methods Syst. Des., 2011
2008
CoRR, 2008
2007
CoRR, 2007
2006
Behavioral Compatibility Without State Explosion: Design and Verification of a ComponentBased Elevator Control System.
Proceedings of the ComponentBased Software Engineering, 9th International Symposium, 2006
2005
Proceedings of the 7th International Workshop on Verification of InfiniteState Systems, 2005
Efficiently Verifiable Conditions for DeadlockFreedom of Large Concurrent Programs.
Proceedings of the Verification, 2005
2004
ACM Trans. Program. Lang. Syst., 2004
Int. J. Softw. Tools Technol. Transf., 2004
Inf. Comput., 2004
2003
Proceedings of the Distributed Computing, 17th International Conference, 2003
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003
2002
Inf. Process. Lett., 2002
2001
ACM Trans. Program. Lang. Syst., 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the Formal Approaches to AgentBased Systems, First International Workshop, 2000
1999
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
ACM Trans. Program. Lang. Syst., 1998
1997
Automating the refinement of specifications for distributed systems via syntactic transformations.
Int. J. Syst. Sci., 1997
1996
Distributed Syst. Eng., 1996
A Formalism for Architectural Modeling of Distributed RealTime Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Waitfor Graphs.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
1995
An Event Algebra for Specifying and Scheduling Workflows.
Proceedings of the Database Systems for Advanced Applications '95, 1995
1993
IEEE Data Eng. Bull., 1993
Distributed Comput., 1993
Distributed Comput., 1993
Proceedings of the 19th International Conference on Very Large Data Bases, 1993
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993
1990
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990
Proceedings of the CONCUR '90, 1990
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989