Anne Remke

发表

Boudewijn R. Haverkort, Anne Remke, B. Haverkort, 2007, FORMATS.
Boudewijn R. Haverkort, Anne Remke, Nigel Thomas, 2016, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Arjan J. Mooij, Anne Remke, 2013, EPEW.
Matthias Kuntz, Boudewijn R. Haverkort, Anne Remke, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2015, EAI Endorsed Trans. Self Adapt. Syst..
Anne Remke, Boudewijn R. Haverkort, Justyna Joanna Chromik, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track.
Anne Remke, Valerio Senni, Anna Kolesnichenko, 2012, ROCKS.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2008, ASMTA.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2011, Perform. Evaluation.
Anne Remke, Carina Pilch, Anne Remke, 2017, 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Anne Remke, Michael Biech, Timo Bigdon, 2016, ASMTA.
Boudewijn R. Haverkort, Anne Remke, Maarten Wegdam, 2009 .
Erika Ábrahám, Anne Remke, Stefan Schupp, 2017, VALUETOOLS.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2005, TACAS.
Boudewijn R. Haverkort, Anne Remke, Marijn R. Jongerden, 2016, 2016 IEEE International Energy Conference (ENERGYCON).
Pieter-Tjerk de Boer, Anne Remke, José Camacho, 2009 .
Boudewijn R. Haverkort, Anne Remke, Marijn R. Jongerden, 2015, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Matthias Kuntz, Anne Remke, Boudewijn R. Haverkort, 2010 .
Boudewijn R. Haverkort, Anne Remke, Justyna Joanna Chromik, 2018, Energy Inform..
Marco Gribaudo, Anne Remke, 2016, Perform. Evaluation.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2007, Theor. Comput. Sci..
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2016, Perform. Evaluation.
Felicita Di Giandomenico, Anne Remke, Martin Riedl, 2012, Resilience Assessment and Evaluation of Computing Systems.
Boudewijn R. Haverkort, Anne Remke, Max Kerkers, 2018, MMB.
Boudewijn R. Haverkort, Anne Remke, B. Haverkort, 2005 .
Marco Gribaudo, Anne Remke, 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
Anne Remke, Marco Caselli, Justyna J. Chromik, 2018, MMB.
Hind Castel-Taleb, Paolo Ballarini, Anne Remke, 2018, Lecture Notes in Computer Science.
Laura Carnevali, Enrico Vicario, Boudewijn R. Haverkort, 2015, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2016, 2016 Joint Workshop on Cyber- Physical Security and Resilience in Smart Grids (CPSR-SG).
Pieter H. Hartel, Boudewijn R. Haverkort, Anne Remke, 2009 .
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2014, MMB/DFT.
Anne Remke, Carina Pilch, Fabian Edenfeld, 2017, VALUETOOLS.
Marco Gribaudo, Anne Remke, J. G. van den Broek, 2009 .
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2017, 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm).
Boudewijn R. Haverkort, Marco Gribaudo, Anne Remke, 2012, FORMATS.
Ramin Sadre, Boudewijn R. Haverkort, Anne Remke, 2012, MMB/DFT.
Boudewijn R. Haverkort, Anne Remke, Freek van den Berg, 2014, MCPS.
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2013, VALUETOOLS 2013.
Anne Remke, Boudewijn R. Haverkort, Justyna Joanna Chromik, 2018 .
Anne Remke, Jannik Huels, 2016, 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS).
Anne Remke, Geert J. Heijenk, Martijn van Eenennaam, 2014, QEST.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Anne Remke, Carina Pilch, Mathis Niehage, 2018, 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS).
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2011, EPEW.
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.
Anne Remke, Marijn R. Jongerden, Boudewijn R. Haverkort, 2016 .
Jozef Hooman, Boudewijn R. Haverkort, Anne Remke, 2015, EPEW.
Boudewijn R. Haverkort, Anne Remke, William J. Knottenbelt, 2016 .
Matthias Kuntz, Florian Leitner-Fischer, Anne Remke, 2010 .
Boudewijn R. Haverkort, Anne Remke, Geert J. Heijenk, 2010, MMB/DFT.
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2016, ICS-CSR.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Boudewijn R. Haverkort, Anne Remke, Freek van den Berg, 2015, EPEW.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Marco Gribaudo, Anne Remke, Daniele Manini, 2015, Lecture Notes in Computer Science.
Boudewijn R. Haverkort, Gianfranco Ciardo, Anne Remke, 2016, VALUETOOLS.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2016, 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN).
William H. Sanders, Erika Ábrahám, Anne Remke, 2014 .
Anne Remke, Xian Wu, Anne Remke, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Anne Remke, Geert J. Heijenk, Martijn van Eenennaam, 2012, 2012 IEEE Vehicular Networking Conference (VNC).
Anne Remke, Arnd Hartmanns, Mathis Niehage, 2021, 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Anne Remke, Jannik Hüls, Henner Niehaus, 2021, ACM Trans. Model. Comput. Simul..
Sofie Haesaert, Alessandro Abate, Anne Remke, 2021, ARCH@ADHS.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, SMCtools '06.
Boudewijn R. Haverkort, Anne Remke, Justyna J. Chromik, 2017 .