Perry Alexander

发表

Perry Alexander, Nicolas Frisby, M. Peck, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.
Perry Alexander, Grant Jurgensen, Michael Neises, 2020, HotSoS.
Perry Alexander, Nicolas Frisby, Philip Weaver, 2007, ASE '07.
Perry Alexander, Nicolas Frisby, Philip Weaver, 2007, GPCE '07.
Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1999, IPPS/SPDP Workshops.
Perry Alexander, Cindy Kong, Darryl D. Dieckman, 2000, FMSP '00.
Perry Alexander, Brandon Morel, P. Alexander, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
John Penix, Perry Alexander, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
Perry Alexander, 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.
John Penix, Klaus Havelund, Perry Alexander, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
Costas Tsatsoulis, Perry Alexander, 1991 .
John Penix, Philip A. Wilsey, Murali Rangarajan, 1997, Proceedings of 1997 SCS Simulation Multiconference.
Perry Alexander, 2009, Computer.
Murali Rangarajan, Perry Alexander, Kshama Jambhekar, 2002, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.
Nael B. Abu-Ghazaleh, Murali Rangarajan, Perry Alexander, 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).
Perry Alexander, Phillip Baraona, 1999, VLSI Design.
John Penix, Perry Alexander, Phillip Baraona, 1995, Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
John Penix, Perry Alexander, Phillip Baraona, 1995 .
Ranga Vemuri, Perry Alexander, P. Chawla, 1998, Proceedings of the IEEE 1998 National Aerospace and Electronics Conference. NAECON 1998. Celebrating 50 Years (Cat. No.98CH36185).
Perry Alexander, Lorraine J. Haricombe, L. Ada Emmett, 2012, Computer.
Perry Alexander, Garrin Kimmell, Ed Komp, 2006 .
Perry Alexander, Nicolas Frisby, Andy Gill, 2012, WGP '12.
Perry Alexander, P. Alexander, 2005, J. Syst. Softw..
Perry Alexander, Phillip Baraona, 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.
Perry Alexander, Nicolas Frisby, Garrin Kimmell, 2008 .
Perry Alexander, 2007 .
Perry Alexander, 2007 .
Perry Alexander, Kalpesh Zinjuwadia, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..
Perry Alexander, Adam Petz, P. Alexander, 2019, HotSoS.
Pierre Flener, Perry Alexander, 2003 .
Philip A. Wilsey, Perry Alexander, Darryl Dieckman, 1998, LICS 1998.
Perry Alexander, Nicolas Frisby, Philip Weaver, 2010, Sci. Comput. Program..
Peter J. Ashenden, Perry Alexander, D. Barton, 2001 .
Perry Alexander, Brandon Morel, P. Alexander, 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
Perry Alexander, Cindy Kong, 2001, Computer.
Perry Alexander, Mark Snyder, 2010, Trends in Functional Programming.
Perry Alexander, 2007 .
Perry Alexander, Megan Peck, 2014 .
Perry Alexander, 2007 .
Perry Alexander, 2007 .
Julian C. Holtzman, Perry Alexander, P. Magis, 1989, IEEE Military Communications Conference, 'Bridging the Gap. Interoperability, Survivability, Security'.
Krishnan Subramani, Philip A. Wilsey, Perry Alexander, 1998, J. Syst. Archit..
Perry Alexander, Brandon Morel, 2004 .
John Penix, Perry Alexander, Phillip Baraona, 1995, Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer-Based Systems.
Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1996, FME.
John Penix, Perry Alexander, J. Penix, 1999, Automated Software Engineering.
Perry Alexander, 2007 .
Perry Alexander, Brigid Halling, P. Alexander, 2013, NASA Formal Methods.
Perry Alexander, 2006 .
Perry Alexander, P. Chawla, 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).
Perry Alexander, Cindy Kong, P. Alexander, 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
Perry Alexander, 2007 .
Perry Alexander, Cindy Kong, 2001, EMSOFT.
Costas Tsatsoulis, Perry Alexander, Gary J. Minden, 1990, Expert Planning Systems.
Perry Alexander, D. Barton, 1999, 1999 Fall VIUF Workshop (Cat. No.PR00465).
Nael B. Abu-Ghazaleh, Murali Rangarajan, Perry Alexander, 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
Perry Alexander, Amitvikram Rajkhowa, 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
Perry Alexander, Nicolas Frisby, Mark Snyder, 2009, SC@TOOLS.
Perry Alexander, Mary Cindy Kong Shing Cheong, P. Alexander, 2004 .
Perry Alexander, Garrin Kimmell, Justin Ward, 2005, ASE '05.
Perry Alexander, Brandon Morel, P. Alexander, 2004, IEEE Transactions on Software Engineering.
Perry Alexander, R. Kamath, David L. Barton, 1999, Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No.99TH8454).
Perry Alexander, 1997 .
Perry Alexander, Garrin Kimmell, Cindy Kong, 2006 .
Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1998, PARA.
Perry Alexander, Phillip Baraona, P. Alexander, 1997, Proceedings VHDL International Users' Forum. Fall Conference.
Murali Rangarajan, Perry Alexander, Phillip Baraona, 1999, World Congress on Formal Methods.
Perry Alexander, D. Barton, 2001 .
Perry Alexander, Cindy Kong, 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.
Catherine Menon, Perry Alexander, Cindy Kong, 2003, J. Univers. Comput. Sci..
Joseph B. Evans, Perry Alexander, Gary J. Minden, 2008, FDL 2008.
Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 2002, IEEE Trans. Software Eng..
Perry Alexander, Phillip Baraona, P. Alexander, 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.
Perry Alexander, 2007 .
David Barton, Perry Alexander, Roshan Kamath, 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).
Perry Alexander, 1998, Int. J. Softw. Eng. Knowl. Eng..
John Penix, Perry Alexander, Phillip Baraona, 1994 .
Perry Alexander, Garrin Kimmell, Ed Komp, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
Murali Rangarajan, Perry Alexander, Arun Venkataraman, 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
Joseph B. Evans, Perry Alexander, Gary J. Minden, 2008, 2008 Forum on Specification, Verification and Design Languages.
Perry Alexander, Hayley Borck, Todd Carpenter, 2017, SERENE.
Perry Alexander, John D. Ramsdell, Paul D. Rowe, 2019, POST.
Perry Alexander, 2007 .
Nael B. Abu-Ghazaleh, Philip A. Wilsey, Murali Rangarajan, 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
Perry Alexander, Evan Austin, 2013, ITP.
Pierre Flener, Perry Alexander, P. Flener, 2003, Automated Software Engineering.
Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.
John Penix, Philip A. Wilsey, Perry Alexander, 1998, FMSP '98.
Perry Alexander, Lee Pike, Peter Loscocco, 2015, TSEC.
Perry Alexander, John D. Ramsdell, Paul D. Rowe, 2021, ACM Trans. Priv. Secur..
Perry Alexander, Grant Jurgensen, Adam Petz, 2021, 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Perry Alexander, 2007 .
Perry Alexander, Jennifer Streb, P. Alexander, 2006 .