Paul C. Attie

Available identifiers

zbMath Open attie.paul-cMaRDI QIDQ248920

List of research outcomes

Publication	Date of Publication	Type
Model and program repair via group actions	2023-11-24	Paper
From global choreographies to verifiable efficient distributed implementations	2020-08-17	Paper
Finite-state concurrent programs can be expressed succinctly in triple normal form	2017-04-20	Paper
Synthesis of large dynamic concurrent programs from dynamic specifications	2016-11-30	Paper
A general framework for architecture composability	2016-08-04	Paper
Dynamic input/output automata: a formal and compositional model for dynamic systems	2016-07-07	Paper
Synthesis of fault-tolerant concurrent programs	2016-03-02	Paper
Finite-state concurrent programs can be expressed in pairwise normal form	2016-02-26	Paper
Synthesis of concurrent systems for an atomic read/atomic write model of computation	2015-09-11	Paper
Liveness-preserving simulation relations	2015-09-11	Paper
Automatic verification of fault-tolerant register emulations	2013-10-07	Paper
On the refinement of liveness properties of distributed systems	2012-03-09	Paper
The impossibility of boosting distributed service resilience	2011-07-08	Paper
Distributed Computing	2010-02-23	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Turing machines, transition systems, and interaction	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4791834	2003-02-03	Paper
Wait-free Byzantine consensus.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536749	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4270054	1999-11-10	Paper
Automating the refinement of specifications for distributed systems via syntactic transformations	1998-06-08	Paper
Convergence of iteration systems	1994-01-06	Paper
Fairness and hyperfairness in multi-party interactions	1993-09-16	Paper

Research outcomes over time

This page was built for person: Paul C. Attie