M. Chechik

发表

Marsha Chechik, Krzysztof Czarnecki, Paul Grünbacher, 2015, SPLC.
Marsha Chechik, Steve M. Easterbrook, S. Easterbrook, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, TACAS.
Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2003, TSEM.
Dimitrie O. Paun, M. Chechik, 2003, Formal Aspects of Computing.
Mehrdad Sabetzadeh, Marsha Chechik, Pamela Zave, 2007, 29th International Conference on Software Engineering (ICSE'07).
S. Easterbrook, M. Chechik, 2001 .
A. Gurfinkel, M. Chechik, B. Devereux, 2002, SOEN.
M. Chechik, Yi Li, 2012 .
J. Rubin, M. Chechik, Yi Li, 2018, IEEE Transactions on Software Engineering.
Franck van Breugel, Marsha Chechik, M. Chechik, 2009 .
A. Gurfinkel, M. Chechik, S. Ben-David, 2010 .
M. Chechik, J. Gorzny, Michalis Famelis, 2012 .
Aws Albarghouthi, A. Gurfinkel, Zachary Kincaid, 2014, POPL.
Rick Salay, Marsha Chechik, Steffen Zschaler, 2016 .
Marsha Chechik, Martin Wirsing, M. Chechik, 2009, Lecture Notes in Computer Science.
M. Chechik, Wirsing, 2017 .
M. Chechik, Michalis Famelis, 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Boyue Caroline Hu, K. Czarnecki, M. Chechik, 2022, 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
M. Chechik, Alessio Di Sandro, Ramy Shahin, 2023, VaMoS.
M. Chechik, C. Menghi, Alessio Di Sandro, 2022, Software and Systems Modeling.
Marsha Chechik, Arie Gurfinkel, Mihaela Gheorghiu Bobaru, 2007, IFM.
Marsha Chechik, Jean-François Raskin, M. Chechik, 2016, Lecture Notes in Computer Science.
Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2006, Formal Methods Syst. Des..
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, CAV.
Marsha Chechik, Steve M. Easterbrook, Benet Devereux, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Marsha Chechik, Andre Wong, M. Chechik, 1999, J. Syst. Softw..
Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, 2013, The Personal Web.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2010, TOCL.
Sahar Kokaly, Marsha Chechik, Mike Maksimov, 2019, ACM Comput. Surv..
Sahar Kokaly, Marsha Chechik, Mike Maksimov, 2018, SAFECOMP Workshops.
Juan de Lara, Esther Guerra, Rick Salay, 2018, MoDELS.
Marsha Chechik, Gabriele Taentzer, Julia Rubin, 2017, Formal Aspects of Computing.
Rick Salay, Steffen Zschaler, Marsha Chechik, 2016, ICMT.
Rick Salay, Marsha Chechik, Michalis Famelis, 2016, IFM.
Marsha Chechik, Gabriele Taentzer, Julia Rubin, 2016, FASE.
Marsha Chechik, Gabriele Taentzer, Julia Rubin, 2015, FASE.
Rick Salay, Marsha Chechik, Steffen Zschaler, 2015, AMT@MoDELS.
Marsha Chechik, Julia Rubin, J. Rubin, 2013, Domain Engineering, Product Lines, Languages, and Conceptual Models.
Rick Salay, Marsha Chechik, Jennifer Horkoff, 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).
Marsha Chechik, Steve M. Easterbrook, Benet Devereux, 2001, CONCUR.
Marsha Chechik, John D. Gannon, J. Gannon, 2001, IEEE Trans. Software Eng..
Rick Salay, Krzysztof Czarnecki, Marsha Chechik, 2020, 2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).
Arie Gurfinkel, Marsha Chechik, A. Gurfinkel, 2008 .
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2003, IEEE Trans. Software Eng..
Marsha Chechik, Wendy MacCaull, M. Chechik, 2003, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, TACAS.
Marsha Chechik, Wei Ding, M. Chechik, 2001, Inf. Syst. Frontiers.
Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh, 2001, FME.
Marsha Chechik, Hai Wang, M. Chechik, 2000, CASCON.
Marsha Chechik, Dimitrie O. Paun, M. Chechik, 1999, SPIN.
Marsha Chechik, Dimitrie O. Paun, M. Chechik, 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).
Marsha Chechik, M. Chechik, 1998, CASCON.
Marsha Chechik, Joanne M. Atlee, John Gannon, 1997 .
Marsha Chechik, Joanne M. Atlee, John D. Gannon, 1996, Adv. Comput..
Sahar Kokaly, Marsha Chechik, Jin L.C. Guo, 2019, 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW).
Marsha Chechik, Sandrine Blazy, Sandrine Blazy, 2016, Lecture Notes in Computer Science.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2011, Inf. Comput..
Marsha Chechik, Alicia M. Grubb, M. Chechik, 2021, Requirements Engineering.
Marsha Chechik, Alicia M. Grubb, M. Chechik, 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).
Marsha Chechik, Gabriele Taentzer, Julia Rubin, 2014, FASE.
Sahar Kokaly, Rick Salay, Marsha Chechik, 2016, ME@MoDELS.
Marsha Chechik, Federico Mora, Yi Li, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sebastián Uchitel, Dario Fischbein, Nicolás D'Ippolito, 2012, TSEM.
Marsha Chechik, Chenguang Zhu, Julia Rubin, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Rick Salay, Marsha Chechik, Michalis Famelis, 2013, MoDELS.
Sebastián Uchitel, Arie Gurfinkel, Shoham Ben-David, 2011, ESEC/FSE '11.
Marsha Chechik, Sebastián Uchitel, Greg Brunet, 2009, IEEE Transactions on Software Engineering.
Marsha Chechik, Steve M. Easterbrook, S. Easterbrook, 2002, Requirements Engineering.
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2001, SPIN '01.
Sebastián Uchitel, Dario Fischbein, Nicolás D'Ippolito, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Marsha Chechik, John Gannon, J. Gannon, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Sahar Kokaly, Rick Salay, Marsha Chechik, 2015, P&D@MoDELS.
Marsha Chechik, Chenguang Zhu, Yi Li, 2017, SPLC.
Rick Salay, Marsha Chechik, Michalis Famelis, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Marsha Chechik, Arie Gurfinkel, David L. Dill, 2005, D/PDPAR@IJCAR.
Mehrdad Sabetzadeh, Marsha Chechik, Greg Brunet, 2006, GaMMa '06.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, CAV.
Dániel Varró, Rick Salay, Marsha Chechik, 2015, GEMOC+MPM@MoDELS.
Alessio Di Sandro, M. Chechik, C. Menghi, 2023, 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2014, POPL.
Marsha Chechik, Julia Rubin, J. Rubin, 2013, ESEC/FSE 2013.
Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).
Marsha Chechik, Krzysztof Czarnecki, Julia Rubin, 2015, International Journal on Software Tools for Technology Transfer.
Marsha Chechik, Vincent Hui, Nick Feng, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Jocelyn Simmonds, Julie Waterhouse, Marsha Chechik, 2007, IEEE Transactions on Services Computing.
Marsha Chechik, Chenguang Zhu, Yi Li, 2017, 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR).
Marsha Chechik, Krzysztof Czarnecki, Julia Rubin, 2013, SPLC '13.
Boyue Caroline Hu, K. Czarnecki, M. Chechik, 2022, 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Muhammed Tawfiq Chowdhury, J. Cleland-Huang, M. Chechik, 2022, J. Syst. Softw..
Dalal Alrajeh, Sebastián Uchitel, Shoham Ben-David, 2012, Computer Science - Research and Development.
Marsha Chechik, Sebastián Uchitel, Mathieu Sassolas, 2011, Software & Systems Modeling.
Marsha Chechik, Sebastián Uchitel, M. Chechik, 2004, SIGSOFT '04/FSE-12.
Marsha Chechik, Alicia M. Grubb, M. Chechik, 2017, 2017 IEEE 25th International Requirements Engineering Conference (RE).
Rick Salay, Marsha Chechik, Jennifer Horkoff, 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).
Marsha Chechik, Alicia M. Grubb, Gary Song, 2016, iStar.
Marsha Chechik, Richard F. Paige, Jonathan S. Ostroff, 2009, CPA.
Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
Marsha Chechik, Sebastián Uchitel, Greg Brunet, 2007, 29th International Conference on Software Engineering (ICSE'07).
Marsha Chechik, Michalis Famelis, M. Chechik, 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Sahar Kokaly, Rick Salay, Marsha Chechik, 2016, MoDELS.
Marsha Chechik, Benet Devereux, M. Chechik, 2003, J. Multiple Valued Log. Soft Comput..
J. Jézéquel, M. Gogolla, M. Chechik, 2015, Software & Systems Modeling.
Marsha Chechik, Shiva Nejati, M. Chechik, 2008, MiSE '08.
Rick Salay, Marsha Chechik, Jan Gorzny, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Rick Salay, Marsha Chechik, Michalis Famelis, 2012, MoDeVVa '12.
Rick Salay, Marsha Chechik, Michalis Famelis, 2012, 2012 4th International Workshop on Modeling in Software Engineering (MISE).
Rick Salay, Marsha Chechik, Michalis Famelis, 2012, FASE.
Rick Salay, Shoham Ben-David, Marsha Chechik, 2011, MoDeVVa.
Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, 2009, 2009 ICSE Workshop on Modeling in Software Engineering.
Marsha Chechik, Steve M. Easterbrook, Julia Rubin, 2008, MiSE '08.
Marsha Chechik, David Lie, Thomas E. Hart, 2007, ASE.
Ramy Shahin, Ramy I. Shahin, Murad Akhundov, 2021, IEEE Transactions on Software Engineering.
Marsha Chechik, John D. Gannon, J. Gannon, 1994, ISSTA '94.
Rick Salay, Marsha Chechik, M. Chechik, 2015, FASE.
Rick Salay, Marsha Chechik, Jan Gorzny, 2013, FASE.
Ramy I. Shahin, M. Chechik, 2019, PADL.
A. Gurfinkel, S. Easterbrook, M. Chechik, 2003, TSEM.
Marsha Chechik, Ramy Shahin, Ramy I. Shahin, 2020, Proc. ACM Program. Lang..
Juan de Lara, Esther Guerra, Rick Salay, 2018, SLE.
Rick Salay, Marsha Chechik, Krzysztof Czarnecki, 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Marsha Chechik, Chenguang Zhu, Yi Li, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marsha Chechik, M. Chechik, 2015, 2015 International Symposium on Theoretical Aspects of Software Engineering.
Alessio Di Sandro, Jennifer Horkoff, M. Chechik, 2012, Requirements Engineering.
Marsha Chechik, Goetz Botterweck, Julia Rubin, 2012, SPLC '12.
Marsha Chechik, Julia Rubin, J. Rubin, 2012, FASE.
Marsha Chechik, Julia Rubin, J. Rubin, 2010, SPLC Workshops.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2006, VMCAI.
Marsha Chechik, J. Cannon, J. Gannon, 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
Ramy I. Shahin, J. Atlee, M. Chechik, 2022, Empirical Software Engineering.
Marsha Chechik, Joanne M. Atlee, Ramy Shahin, 2021, 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Rick Salay, Marsha Chechik, Michalis Famelis, 2014, ICSE.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, CHARME.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, CONCUR.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, International Journal on Software Tools for Technology Transfer.
Rick Salay, Marsha Chechik, Fabiano Dalpiaz, 2015, 2015 IEEE/ACM 2nd International Workshop on CrowdSourcing in Software Engineering.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2006, TACAS.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, SAS.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, VMCAI.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2008, VMCAI.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2008, ATVA.
Marsha Chechik, Arie Gurfinkel, David Lie, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Marsha Chechik, Jocelyn Simmonds, Arie Gurfinkel, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Marsha Chechik, Arie Gurfinkel, Mihaela Gheorghiu Bobaru, 2007, FASE.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2006, CAV.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, VSTTE.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2005, CHARME.
M. Chechik, A. Gurfinkel, S. Nejati, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2004, FMCAD.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2004, TACAS.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, FME.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, CAV.
Christopher D. Thompson-Walsh, S. Easterbrook, M. Chechik, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, SIGSOFT '02/FSE-10.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2010 .
M. Chechik, A. Grubb, 2017, 2017 IEEE 25th International Requirements Engineering Conference (RE).