Marieke Huisman

发表

Sebastiaan J. C. Joosten, Marieke Huisman, M. Huisman, 2018, ISoLA.
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2012, COMPARE.
Marieke Huisman, Stefan Blom, Saeed Darabi, 2014, PLACES.
Rosemary Monahan, Marieke Huisman, Dilian Gurov, 2016, ISoLA.
Bart Jacobs, Marieke Huisman, Joachim van den Berg, 1998, OOPSLA '98.
Dirk Beyer, Marieke Huisman, 2020, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Mark van den Brand, Lars van den Haak, 2020, IFM.
Marieke Huisman, Dilian Gurov, Irem Aktug, 2008, ICFEM.
Marieke Huisman, Daniel Grahl, Wolfgang Ahrendt, 2016, Deductive Software Verification.
Marieke Huisman, Maurice van Keulen, Lesley Wevers, 2014 .
Gary T. Leavens, Roberta Coelho, Marieke Huisman, 2011, FTfJP@ECOOP.
Marieke Huisman, 2018 .
Marieke Huisman, Stefan Blom, Joseph Kiniry, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.
Marieke Huisman, Maurice van Keulen, Lesley Wevers, 2016, IDEAS.
Marieke Huisman, Mohsen Safari, Stefan Blom, 2018, ISoLA.
Marieke Huisman, Stefan Blom, M. Huisman, 2013, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Stefan Blom, Saeed Darabi, 2017, IFM.
Marieke Huisman, Henri-Charles Blondeel, M. Huisman, 2011, TOSCA.
Marieke Huisman, Dilian Gurov, Christoph Sprenger, 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Sebastiaan J. C. Joosten, Marieke Huisman, M. Huisman, 2018, Principled Software Development.
Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2015, SEFM.
Marieke Huisman, Dilian Gurov, 2009, Electron. Notes Theor. Comput. Sci..
Anton Wijs, Marieke Huisman, M. Huisman, 2020, FTfJP@ECOOP.
Cyrille Artho, Marieke Huisman, Pedro de Carvalho Gomes, 2016, FTSCS.
Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2012, FLACOS.
Erik Poll, Marieke Huisman, Alessandro Coglio, 2004 .
Sebastiaan J. C. Joosten, Marieke Huisman, Mohsen Safari, 2018, ISSTA/ECOOP Workshops.
Marieke Huisman, Wojciech Mostowski, 2015, 2015 14th International Symposium on Parallel and Distributed Computing.
Marieke Huisman, Raúl E. Monti, M. Huisman, 2020, ISoLA.
Marieke Huisman, M. Huisman, 2014, Sci. Comput. Program..
Marieke Huisman, Stefan Blom, Afshin Amighi, 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
Bart Jacobs, Néstor Cataño, Marieke Huisman, 2005, Sci. Comput. Program..
Marieke Huisman, Stefan Blom, Saeed Darabi, 2015, FASE.
Peter Müller, Erik Poll, Marieke Huisman, 2004, ECOOP Workshops.
Marieke Huisman, Dilian Gurov, Christoph Sprenger, 2003 .
Marieke Huisman, Dilian Gurov, Christoph Sprenger, 2008, Inf. Comput..
Marieke Huisman, Dilian Gurov, Alexander Malkis, 2020, ArXiv.
Marieke Huisman, Ina Schaefer, Mariëlle Stoelinga, 2012, Dagstuhl Reports.
Marieke Huisman, Wolfgang Ahrendt, Giles Reger, 2018, ISoLA.
Marieke Huisman, Stefan Blom, M. Huisman, 2014, FM.
Marieke Huisman, Thomas P. Jensen, M. Huisman, 2004, J. Log. Algebraic Methods Program..
Sebastiaan J. C. Joosten, Marieke Huisman, Jan Boerman, 2018, IFM.
Marieke Huisman, Maarten H. Everts, Sophie Lathouwers, 2020, ICISSP.
Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2014, FTfJP@ECOOP.
Marieke Huisman, Maurice van Keulen, Lesley Wevers, 2015, DATA.
Marieke Huisman, Alejandro Tamalet, 2009, FASE.
Marieke Huisman, Dilian Gurov, M. Huisman, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Marieke Huisman, Kerry Trentelman, M. Huisman, 2002, AMAST.
Joost-Pieter Katoen, Marieke Huisman, Albert Cohen, 2013 .
Marieke Huisman, Clément Hurlin, M. Huisman, 2007 .
Erik Poll, Rosemary Monahan, Marieke Huisman, 2016 .
Gilles Barthe, Marieke Huisman, Simão Melo de Sousa, 2001, E-smart.
Marieke Huisman, Dilian Gurov, Siavash Soleimanifard, 2011, SEFM.
Marieke Huisman, Dilian Gurov, 2013, Theor. Comput. Sci..
Marieke Huisman, Dilian Gurov, Stefan Blom, 2017, VSTTE.
Sebastiaan J. C. Joosten, Marieke Huisman, Henk Mulder, 2020, 20 Years of KeY.
Marieke Huisman, Stefan Blom, Afshin Amighi, 2018, MeTRiD@ETAPS.
Marieke Huisman, Dilian Gurov, Siavash Soleimanifard, 2015, Software & Systems Modeling.
Marieke Huisman, Afshin Amighi, Stefan Blom, 2013 .
Marieke Huisman, W.M.P. van der Aalst, J. J. van Wijk, 2015 .
Marieke Huisman, Stefan Blom, Saeed Darabi, 2014, SFM.
Dirk Beyer, Marieke Huisman, 2020, J. Autom. Reason..
Marieke Huisman, Mariëlle Stoelinga, Tri Minh Ngo, 2012, ESSoS.
Marieke Huisman, Pratik Worah, Kim Sunesen, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Marieke Huisman, Stefan Blom, Wojciech Mostowski, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Arie van Deursen, Sjaak Brinkkemper, Jan Friso Groote, 2016, ISoLA.
Marieke Huisman, Tri Minh Ngo, M. Huisman, 2014, ESSoS.
Marieke Huisman, Dilian Gurov, Christoph Sprenger, 2004, FASE.
Bart Jacobs, Marieke Huisman, B. Jacobs, 2000, FASE.
Marieke Huisman, Saeed Darabi, Stefan C. C. Blom, 2017, NFM.
Reiner Hähnle, Marieke Huisman, Reiner Hähnle, 2019, Computing and Software Science.
Erika Ábrahám, Marieke Huisman, E. Ábrahám, 2016, Lecture Notes in Computer Science.
Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.
Marieke Huisman, Stefan Blom, Matej Mihelcic, 2013, Sci. Comput. Program..
Bart Jacobs, Marieke Huisman, B. Jacobs, 2000, TPHOLs.
Bart Jacobs, Erik Poll, Marieke Huisman, 1999, WADT.
Bart Jacobs, Hendrik Tews, Marieke Huisman, 1998, ESOP.
Marieke Huisman, Dilian Gurov, 2004 .
Reiner Hähnle, Marieke Huisman, 2017, ARCADE@CADE.
Daniel Bruns, Martin Hentschel, Marieke Huisman, 2014 .
Marieke Huisman, Jorne Kandziora, Marina Zaharieva-Stojanovski, 2014 .
Jean-Louis Lanet, Gilles Barthe, Marieke Huisman, 2004, CARDIS.
Néstor Cataño, Marieke Huisman, M. Huisman, 2002, VMCAI.
Marieke Huisman, Dilian Gurov, Siavash Soleimanifard, 2010, FTfJP@ECOOP.
Fausto Spoto, Marieke Huisman, 2007, Electron. Notes Theor. Comput. Sci..
Gidon Ernst, Radu Grigore, Vladimir Klebanov, 2011, FoVeOOS.
Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2016, FTSCS.
Marieke Huisman, Tri Minh Ngo, M. Huisman, 2017 .
Marieke Huisman, Dilian Gurov, Wytse Oortwijn, 2020, VMCAI.
Marieke Huisman, Kerry Trentelman, M. Huisman, 2005, CATS.
Marieke Huisman, G. Petri, M. Huisman, 2007 .
Marieke Huisman, Stefan Blom, Saeed Darabi, 2015, SEFM.
Marieke Huisman, Lesley Wevers, Matthijs Hofstra, 2014 .
Jaco van de Pol, Marieke Huisman, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Gilles Barthe, Marieke Huisman, Dilian Gurov, 2002, FASE.
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2016, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Aleksy Schubert, Jacek Chrzaszcz, 2009, FMCO.
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2013 .
Marieke Huisman, Dilian Gurov, M. Huisman, 2008, Theor. Comput. Sci..
Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2012, PLPV '12.
Marieke Huisman, Pedro de Carvalho Gomes, Afshin Amighi, 2011 .
Marieke Huisman, Stefan Blom, Wytse Oortwijn, 2016, PLACES.
Marieke Huisman, Julia Rubin, 2018, International Journal on Software Tools for Technology Transfer.
Vladimir Klebanov, Dirk Beyer, Rosemary Monahan, 2014, Dagstuhl Reports.
Gidon Ernst, Mattias Ulbrich, Marieke Huisman, 2019, TACAS.
Marieke Huisman, Marina Zaharieva-Stojanovski, 2014, FASE.
Marieke Huisman, Stefan Blom, Afshin Amighi, 2014 .
Jaco van de Pol, Marieke Huisman, 2016, Sci. Comput. Program..
Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2015 .
Marieke Huisman, W. O. David Griffioen, 1998, TPHOLs.
Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2016, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Gustavo Petri, M. Huisman, 2008 .
Rosemary Monahan, Marieke Huisman, Carlo A. Furia, 2020, ArXiv.
Marieke Huisman, Mariëlle Stoelinga, Tri Minh Ngo, 2014, J. Comput. Secur..
Marieke Huisman, Maurice van Keulen, Lesley Wevers, 2015, ADBIS.
Marieke Huisman, Dilian Gurov, M. Huisman, 2010, FoVeOOS.
Joost-Pieter Katoen, Albert Cohen, Marieke Huisman, 2013 .
Makoto Tatsuta, Marieke Huisman, Thomas Noll, 2017 .
Marieke Huisman, Christian Haack, Clément Hurlin, 2014, Log. Methods Comput. Sci..
Marieke Huisman, J. C. van de Pol, M. T. Ngo, 2010 .
Hendrik Tews, Marieke Huisman, Martijn van Berkum, 1998, Conference on Object-Oriented Programming Systems, Languages, and Applications.
Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, 2008, ECOOP Workshops.
Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2012, SEFM.
Joost-Pieter Katoen, Albert Cohen, Marieke Huisman, 2013, Dagstuhl Reports.
Marieke Huisman, Tri Minh Ngo, M. Huisman, 2013, QAPL.
Marieke Huisman, Françoise Bellegarde, Jacques Julliand, 2004 .
Sophia Antipolis, Inria Sophia Antipolis, Marieke Huisman, 2007 .
Marieke Huisman, Christian Haack, Clément Hurlin, 2008, APLAS.
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2015, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Maarten H. Everts, Joran J. Honig, 2019, DPM/CBT@ESORICS.
Jaco van de Pol, Sebastiaan J. C. Joosten, Marieke Huisman, 2020, TACAS.
Vladimir Klebanov, Dirk Beyer, Rosemary Monahan, 2014 .
Marieke Huisman, Wytse Oortwijn, Stefan Blom, 2016 .
Sebastiaan J. C. Joosten, Marieke Huisman, Mohsen Safari, 2020, NFM.
Jean-Louis Lanet, Benjamin Grégoire, Julien Charles, 2006, FMCO.
Marieke Huisman, Stefan Blom, Afshin Amighi, 2014, APLAS.
Bart Jacobs, Marieke Huisman, Joachim van den Berg, 1999, International Journal on Software Tools for Technology Transfer.
Mattias Ulbrich, Marieke Huisman, Raúl E. Monti, 2020, 20 Years of KeY.
Michael Felderer, Björn Lisper, Marieke Huisman, 2018, ISoLA.
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Christoph Bockisch, Marieke Huisman, Jorne Kandziora, 2015, FTfJP@ECOOP.
Marieke Huisman, Cristina Cerschi Seceleanu, 2020, ISoLA.
Makoto Tatsuta, Marieke Huisman, Thomas Noll, 2017, NII Shonan Meet. Rep..
Makoto Tatsuta, Marieke Huisman, Thomas Noll, 2017 .
Marieke Huisman, Dilian Gurov, Wytse Oortwijn, 2020 .
Dirk Beyer, Marieke Huisman, 2021, Int. J. Softw. Tools Technol. Transf..
Marieke Huisman, Stefan Blom, Saeed Darabi, 2021, Int. J. Softw. Tools Technol. Transf..
Fabrice Kordon, Dirk Beyer, Marieke Huisman, 2021, International Journal on Software Tools for Technology Transfer.
Marieke Huisman, Sophie Lathouwers, Robert Rubbens, 2021, FMICS.
Marieke Huisman, Ra'ul E. Monti, 2021, 2021 Third International Workshop on Software Engineering Education for the Next Generation (SEENG).
Marieke Huisman, Lukas Armborst, M. Huisman, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
Peter Müller, Rosemary Monahan, Marieke Huisman, 2021, Int. J. Softw. Tools Technol. Transf..
Marieke Huisman, Wytse Oortwijn, Mohsen Safari, 2021, SAS.