Ethan K. Jackson

发表

Janos Sztipanovits, András Nádas, Tihamer Levendovszky, 2014, Sci. Comput. Program..
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, 2010, EMSOFT '10.
Daniel Balasubramanian, Tihamer Levendovszky, Ethan K. Jackson, 2013, Software & Systems Modeling.
Wolfram Schulte, Ethan K. Jackson, Wolfram Schulte, 2012, Monterey Workshop.
Janos Sztipanovits, Ethan K. Jackson, J. Sztipanovits, 2006, EMSOFT '06.
Janos Sztipanovits, Ethan K. Jackson, Gabor Simko, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Wolfram Schulte, Ethan K. Jackson, 2008, FORTE.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2012, MODELS'12.
Janos Sztipanovits, Ethan K. Jackson, 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
Wolfram Schulte, Ethan K. Jackson, 2011, MoDELS.
Wolfram Schulte, Ethan K. Jackson, 2013, ICTAC Training School on Software Engineering.
Wolfram Schulte, Janos Sztipanovits, Ethan K. Jackson, 2012, 2012 4th International Workshop on Software Engineering in Health Care (SEHC).
Wolfram Schulte, Ethan K. Jackson, Eunsuk Kang, 2010, Monterey Workshop.
Sandeep Neema, Xenofon D. Koutsoukos, Janos Sztipanovits, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Wolfram Schulte, Ethan K. Jackson, Wolfram Schulte, 2008 .
Janos Sztipanovits, Ethan K. Jackson, J. Sztipanovits, 2005, EMSOFT.
Janos Sztipanovits, Ethan K. Jackson, 2007, MODELS'07.
Daniel Balasubramanian, Ethan K. Jackson, D. Balasubramanian, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2009, SC@TOOLS.
Wolfram Schulte, Ethan K. Jackson, Wolfram Schulte, 2008, SC@ETAPS.
Ethan K. Jackson, 2014, Theory Pract. Log. Program..
Sherif Abdelwahed, Janos Sztipanovits, Ethan K. Jackson, 2005, ECMDA-FA.
Sriram K. Rajamani, Damien Zufferey, Ethan K. Jackson, 2013, PLDI.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2011, ICLP.
Janos Sztipanovits, Ethan K. Jackson, Joseph Porter, 2009 .
Daniel Balasubramanian, Tihamer Levendovszky, Ethan K. Jackson, 2011, MODELS'11.
Sandeep Neema, Janos Sztipanovits, Ethan K. Jackson, 2014, FPS@ETAPS.
Wolfram Schulte, Ethan K. Jackson, Daniel Lucrdio, 2008 .
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2013 .
Gabor Karsai, Wolfram Schulte, Daniel Balasubramanian, 2010, FASE.
Sandeep Neema, Janos Sztipanovits, Tihamer Levendovszky, 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).
Ethan K. Jackson, Gabor Simko, 2014, HSCC.
Janos Sztipanovits, Ethan K. Jackson, J. Sztipanovits, 2009, Software & Systems Modeling.
Sanjit A. Seshia, Amar Phanishayee, Ethan K. Jackson, 2015 .
Daniel Lucrédio, Wolfram Schulte, Ethan K. Jackson, 2008 .
Ethan K. Jackson, Gabor Simko, T. Levendovszky, 2012 .
Damien Zufferey, Ethan K. Jackson, Ankush Desai, 2013, PLDI.
Radu Calinescu, Ethan K. Jackson, Ethan K. Jackson, 2010, Lecture Notes in Computer Science.
Sandeep Neema, Xenofon Koutsoukos, Janos Sztipanovits, 2018, Proceedings of the IEEE.
Sandeep Neema, Janos Sztipanovits, Ethan K. Jackson, 2012 .
Ethan K. Jackson, 2014, Theory and Practice of Logic Programming.