by Attie, Paul C.
Published in Theoretical computer science (14.03.2016)

by Attie, Paul C.
Published in Formal methods in system design (01.04.2016)

by Attie, Paul C.
Published in Formal methods in system design (01.08.2011)

by Attie, Paul C., Chockler, Hana
Published in Lecture notes in computer science (01.01.2005)

by Goldin, Dina Q., Smolka, Scott A., Attie, Paul C., Sonderegger, Elaine L.
Published in Information and computation (01.11.2004)

by Attie, Paul C., Lorenz, David H., Portnova, Aleksandra, Chockler, Hana
Published in Component-Based Software Engineering (2006)

by Attie, Paul C.
Published in NASA Formal Methods

by Attie, Paul C.
Published in Information processing letters (01.07.2017)

by Attie, Paul C., Lynch, Nancy A.
Published in Information and computation (01.08.2016)

by Attie, Paul, Baranov, Eduard, Bliudze, Simon, Jaber, Mohamad, Sifakis, Joseph
Published in Formal aspects of computing (01.04.2016)

by Jaber, Mohamad, Falcone, Yliès, Attie, Paul, Khalil, Al-Abbass, Hallal, Rayan, El-Hokayem, Antoine
Published in Journal of logical and algebraic methods in programming (01.10.2020)

by Attie, Paul, Cocke, William
Published in arXiv.org (24.04.2022)

by Attie, Paul C
Published in arXiv.org (18.01.2022)

by Attie, Paul, Guerraoui, Rachid, Kuznetsov, Petr, Lynch, Nancy, Rajsbaum, Sergio
Published in Information and computation (01.06.2011)

by Attie, Paul, Obeidat, Anas, Oh, Nathaniel, Yelle, Ian
Year of Publication 16.07.2024

by Attie, Paul C., Bensalem, Saddek, Bozga, Marius, Jaber, Mohamad, Sifakis, Joseph, Zaraket, Fadi A.
Published in Formal Techniques for Distributed Systems

by Attie, Paul
Published in Information processing letters (31.08.2002)

by Attie, Paul, Baranov, Eduard, Bliudze, Simon, Jaber, Mohamad, Sifakis, Joseph
Published in Software Engineering and Formal Methods

by Attie, Paul, Obeidat, Anas, Oh, Nathaniel, Yelle, Ian
Published in arXiv.org (16.07.2024)

by Zuck, Lenore, Attie, Paul, Cortesi, Agostino
Published in International journal on software tools for technology transfer (01.07.2004)