Paul C. Attie
Orcid: 0000-0003-1989-0974Affiliations:
- Northeastern University, Boston, USA
According to our database1,
Paul C. Attie
authored at least 51 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
2
1
4
2
2
1
1
3
1
1
1
1
1
1
3
1
1
1
1
1
2
2
1
1
2
3
1
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on ccs.neu.edu
On csauthors.net:
Bibliography
2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2020
J. Log. Algebraic Methods Program., 2020
2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019
2018
2017
Inf. Process. Lett., 2017
2016
Theor. Comput. Sci., 2016
Inf. Comput., 2016
Formal Methods Syst. Des., 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
Formal Methods Syst. Des., 2011
2008
2007
2006
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
2005
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005
Proceedings of the Verification, 2005
2004
ACM Trans. Program. Lang. Syst., 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
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 Agent-Based 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 Real-Time 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 Wait-for 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
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 on Tri-Ada 1989, 1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989