S. Edwards

发表

Stephen A. Edwards, S. Edwards, 2018, Principles of Modeling.
S. Edwards, 2009 .
Stephen A. Edwards, Nicolas Halbwachs, Robert de Simone, 2003, Proc. IEEE.
Stephen A. Edwards, S. Edwards, 2002, IWLS.
S. Edwards, 2000, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).
Stephen A. Edwards, Nicolas Halbwachs, Paul Caspi, 1997 .
Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.
S. Edwards, O. Tardieu, Cristian Soviani, 2005 .
R. Brayton, A. Sangiovanni-Vincentelli, G. Hachtel, 2021 .
S. Edwards, A. Keromytis, M. Hicks, 2007 .
R. Brayton, S. Edwards, G. Swamy, 1996 .
Martha A. Kim, S. Edwards, Richard Townsend, 2014 .
S. Edwards, Stephen Anthony Edwards, 2007 .
S. Edwards, Xiaoyu Song, Osama Neiroukh, 2008 .
Luca Benini, Stephen A. Edwards, Yunheung Paek, 2009 .
Bo Joel Svensson, S. Edwards, K. Claessen, 2022, 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
S. Edwards, J. Hui, 2022, ACM Transactions on Embedded Computing Systems.
Martha A. Kim, S. Edwards, Richard Townsend, 2019 .
Stephen A. Edwards, John Hui, S. Edwards, 2020, 2020 Forum for Specification and Design Languages (FDL).
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2011 .
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2010 .
Stephen A. Edwards, S. Edwards, 2009, SEUS.
Stephen A. Edwards, Edward A. Lee, Hiren D. Patel, 2008, CASES '08.
Stephen A. Edwards, Jia Zeng, S. Edwards, 2008 .
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2008, SLA++P@ETAPS.
Stephen A. Edwards, Jia Zeng, S. Edwards, 2007, EURASIP J. Embed. Syst..
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2006, EMSOFT '06.
Stephen A. Edwards, Nicholas Jun Hao Ip, S. Edwards, 2006, EUC.
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2006, LCTES '06.
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Stephen A. Edwards, Becky Plummer, Mukul Khajanchi, 2006 .
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2006 .
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2006 .
Stephen A. Edwards, Jia Zeng, S. Edwards, 2005, ICESS.
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2005, ATVA.
Stephen A. Edwards, Reinhard von Hanxleden, Thomas Stauner, 2005 .
Stephen Edwards, S. Edwards, Stephen Anthony Edwards, 2005, Embedded Systems Handbook.
Stephen A. Edwards, Cristian Soviani, S. Edwards, 2005 .
Stephen A. Edwards, Michael Halasz, Vimal Kapadia, 2006, SLAP@ETAPS.
Stephen A. Edwards, Jia Zeng, Cristian Soviani, 2004, LCTES '04.
Stephen A. Edwards, S. Edwards, 2004, SYNCHRON.
Stephen A. Edwards, Jia Zeng, Cristian Soviani, 2004 .
Stephen A. Edwards, Jia Zeng, Cristian Soviani, 2004 .
Stephen A. Edwards, Edward A. Lee, S. Edwards, 2003, Sci. Comput. Program..
Stephen A. Edwards, S. Edwards, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Stephen A. Edwards, S. Edwards, Stephen Anthony Edwards, 2003, TODE.
Stephen A. Edwards, S. Edwards, 2003 .
Stephen A. Edwards, S. Edwards, 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Stephen Edwards, S. Edwards, 2002, SLAP@ETAPS.
Stephen A. Edwards, S. Edwards, Stephen Anthony Edwards, 2001 .
S. Edwards, 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).
Stephen A. Edwards, S. Edwards, Stephen Anthony Edwards, 1998 .
Stephen A. Edwards, Stephen Jan, Paolo de Dios, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
Stephen A. Edwards, Edward A. Lee, Luciano Lavagno, 1997, Proc. IEEE.
Stephen A. Edwards, Jia Zeng, Chuck Mitchell, 2006, LDTA@ETAPS.
Stephen A. Edwards, Jia Zeng, Chuck Mitchell, 2006 .
Stephen A. Edwards, S. Edwards, 2005, SIGBED.
Stephen A. Edwards, Edward A. Lee, S. Edwards, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Stephen A. Edwards, Nalini Vasudevan, Kedar S. Namjoshi, 2010, 2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Stephen A. Edwards, Jia Zeng, S. Edwards, 2008, PEPM '08.
Stephen A. Edwards, Xiaoyu Song, Osama Neiroukh, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards, Xiaoyu Song, Osama Neiroukh, 2006, IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06).
Stephen A. Edwards, Dumitru Potop-Butucaru, Gérard Berry, 2007 .
Stephen A. Edwards, Kedar S. Namjoshi, Dennis Dams, 2005, CAV.
Stephen A. Edwards, Kenneth A. Ross, Mingoo Seok, 2019, 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA).
Stephen A. Edwards, T. Ma, R. Damiano, 2001, ASICON 2001. 2001 4th International Conference on ASIC Proceedings (Cat. No.01TH8549).
S. Edwards, Maxwell Levatich, R. Krishnan, 2022, MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM).
Edward A. Lee, S. Edwards, David Broman, 2023, CPS-IoT Week Workshops.
Martha A. Kim, S. Edwards, Martha Barker, 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL).
Stephen A. Edwards, Martha A. Kim, Richard Townsend, 2017, MEMOCODE.
Stephen A. Edwards, Martha A. Kim, Richard Townsend, 2017, CC.
Stephen A. Edwards, Kenneth A. Ross, Martha A. Kim, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).
Stephen A. Edwards, Nalini Vasudevan, Baolin Shao, 2009, EMSOFT '09.
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Stephen A. Edwards, Nalini Vasudevan, Julian Dolby, 2009, CC.
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2009, SAC '09.
Stephen A. Edwards, Nalini Vasudevan, S. Edwards, 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Stephen A. Edwards, Nalini Vasudevan, Satnam Singh, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu, 2008, 2008 Design, Automation and Test in Europe.
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Stephen A. Edwards, Olivier Tardieu, S. Edwards, 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Stephen A. Edwards, Nalini Vasudevan, Julian Dolby, 2008 .
S. Edwards, A. Girault, K. Schneider, 2014 .
Stephen A. Edwards, S. Edwards, Stephen Anthony Edwards, 2012, Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Stephen A. Edwards, S. Edwards, Stephen Anthony Edwards, 2005, Design, Automation and Test in Europe.
Stephen A. Edwards, Angelos D. Keromytis, Gail E. Kaiser, 2002 .