Arnd Hartmanns

发表

Holger Hermanns, Jonathan Bogdoll, Luis María Ferrer Fioriti, 2011, FMOODS/FORTE.
Pedro R. D'Argenio, Arnd Hartmanns, Juan A. Fraire, 2020, NFM.
Arnd Hartmanns, A. Hartmanns, 2012, Proceeding of the 2012 Forum on Specification and Design Languages.
Holger Hermanns, Arnd Hartmanns, Ernst Moritz Hahn, 2014 .
Joost-Pieter Katoen, Holger Hermanns, Arnd Hartmanns, 2012, Formal Methods in System Design.
Arnd Hartmanns, Mark Timmer, A. Hartmanns, 2013, NASA Formal Methods.
Kim G. Larsen, Axel Legay, Holger Hermanns, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Holger Hermanns, Alexandre David, Jonathan Bogdoll, 2012, SPIN.
Pedro R. D'Argenio, Carlos E. Budde, Arnd Hartmanns, 2019, Sci. Comput. Program..
Holger Hermanns, Arnd Hartmanns, Jan Krcál, 2015, Semantics, Logics, and Calculi.
Pedro R. D'Argenio, Carlos E. Budde, Arnd Hartmanns, 2017, SETTA.
Sanghamitra Roy, Arnd Hartmanns, Prabal Basu, 2019, FMICS.
Arnd Hartmanns, A. Hartmanns, 2015 .
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2015, Sci. Comput. Program..
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2012, ISoLA.
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, FoSSaCS.
Sofie Haesaert, Alessandro Abate, Cristian-Ioan Vasile, 2018, ARCH@ADHS.
Sebastian Junges, Joost-Pieter Katoen, Arnd Hartmanns, 2018, TACAS.
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2013, it Inf. Technol..
Mariëlle Stoelinga, Arnd Hartmanns, Marcus Gerhold, 2019, Innovations in Systems and Software Engineering.
Mariëlle Stoelinga, Arnd Hartmanns, Marcus Gerhold, 2018, NFM.
Arnd Hartmanns, A. Hartmanns, 2010, FMCO.
Henk A. P. Blom, Arnd Hartmanns, Abraham P. Vinod, 2020, ARCH.
Axel Legay, Sean Sedwards, Pedro R. D'Argenio, 2016, IFM.
Holger Hermanns, Arnd Hartmanns, Yuliya Butkova, 2019, QEST.
Arnd Hartmanns, Ernst Moritz Hahn, E. M. Hahn, 2020, SAC.
Holger Hermanns, Arnd Hartmanns, Pascal Berrang, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
Jozef Hooman, Boudewijn R. Haverkort, Anne Remke, 2015, EPEW.
Sebastian Junges, Carlos E. Budde, Arnd Hartmanns, 2017, TACAS.
Carlos E. Budde, Arnd Hartmanns, Pedro R. D’Argenio, 2020, International Journal on Software Tools for Technology Transfer.
Arnd Hartmanns, Benjamin Lucien Kaminski, Benjamin Kaminski, 2019, CAV.
Holger Hermanns, Jonathan Bogdoll, Arnd Hartmanns, 2012, MMB/DFT.
Holger Hermanns, Arnd Hartmanns, Alexander Graf-Brill, 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, 2017 Winter Simulation Conference (WSC).
Sean Sedwards, Pedro R. D'Argenio, Carlos E. Budde, 2018, TACAS.
Arnd Hartmanns, David Parker, Michaela Klauck, 2019, TACAS.
Sebastian Junges, Arnd Hartmanns, Tim Quatmann, 2020, Journal of Automated Reasoning.
Holger Hermanns, Arnd Hartmanns, Michael Bungert, 2016, 2016 International Conference on Embedded Software (EMSOFT).
Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2018, ISoLA.
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2015, ATVA.
Arnd Hartmanns, Mark Timmer, 2014, International Journal on Software Tools for Technology Transfer.
Holger Hermanns, Arnd Hartmanns, H. Hermanns, 2019, RW.
Joost-Pieter Katoen, Arnd Hartmanns, Jip Spel, 2021, QEST.
Sanghamitra Roy, Koushik Chakraborty, Arnd Hartmanns, 2021 .
Anne Remke, Arnd Hartmanns, Mathis Niehage, 2021, 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Holger Hermanns, Arnd Hartmanns, Yuliya Butkova, 2021, ACM Trans. Model. Comput. Simul..
Nils Jansen, Arnd Hartmanns, Thom S. Badings, 2021, NFM.
Sofie Haesaert, Alessandro Abate, Anne Remke, 2021, ARCH@ADHS.
Sanghamitra Roy, Koushik Chakraborty, Arnd Hartmanns, 2021, FMICS.