by Xue, Bai, Zhan, Naijun, Franzle, Martin, Wang, Ji, Liu, Wanwei
Published in IEEE transactions on automatic control (01.01.2024)

by Xue, Bai, Zhan, Naijun, Franzle, Martin
Published in IEEE transactions on automatic control (01.03.2024)

by Neurohr, Birte, Koopmann, Tjark, Mohlmann, Eike, Franzle, Martin
Published in IEEE access (2023)

by Xue, Bai, Franzle, Martin, Zhan, Naijun
Published in IEEE transactions on automatic control (01.04.2020)

by Finkbeiner, Bernd, Fränzle, Martin, Kohn, Florian, Kröger, Paul
Published in Algorithms (01.04.2022)

by Fränzle, Martin, Herde, Christian
Published in Formal methods in system design (01.06.2007)

by Damm, Werner, Fränzle, Martin, Hagemann, Willem, Kröger, Paul, Rakow, Astrid
Published in Electronic proceedings in theoretical computer science (31.10.2019)

by Fränzle, Martin, Hansen, Michael R., Ody, Heinrich
Published in Correct System Design (2015)

by änzle, Martin, Markey, Nicolas
Year of Publication 2016

by Franzle, Martin, Kapur, Deepak, Zhan, Naijun
Year of Publication 2016

by Trende, Alexander, Unni, Anirudh, Jablonski, Mischa, Biebl, Bianca, Lüdtke, Andreas, Fränzle, Martin, Rieger, Jochem W
Published in Frontiers in neuroergonomics (16.08.2022)

by Abdelaal, Mohamed, Theel, Oliver, Kuka, Christian, Zhang, Peilin, Gao, Yang, Bashlovkina, Vasilisa, Nicklas, Daniela, Fränzle, Martin
Published in International journal of distributed sensor networks (01.01.2016)

by Unni, Anirudh, Trende, Alexander, Pauley, Claire, Weber, Lars, Biebl, Bianca, Kacianka, Severin, Lüdtke, Andreas, Bengler, Klaus, Pretschner, Alexander, Fränzle, Martin, Rieger, Jochem W
Published in Frontiers in neuroergonomics (24.02.2022)

by Xue, Bai, Franzle, Martin, Zhan, Naijun, Bogomolov, Sergiy, Xia, Bican
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2020)

by Bai Xue, Easwaran, Arvind, Nam-Joon Cho, Franzle, Martin
Published in IEEE transactions on automatic control (01.07.2017)

by Scheibler, Karsten, Neubauer, Felix, Mahdi, Ahmed, Franzle, Martin, Teige, Tino, Bienmuller, Tom, Fehrer, Detlef, Becker, Bernd
Published in 2016 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2016)

by Dorff, Sebastian vom, Cheng, Chih-Hong, Esen, Hasan, Fränzle, Martin
Published in Software Engineering and Formal Methods (2021)

by Mosaad, Peter Nazier, Fränzle, Martin, Xue, Bai
Published in Scientific annals of computer science (01.01.2017)

by Dorff, Sebastian vom, Boddeker, Bert, Kneissl, Maximilian, Franzle, Martin
Published in 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2020)

by Bairy, Akhila, Franzle, Martin
Published in 2024 IEEE/ACM Workshop on Explainability Engineering (ExEn) (20.04.2024)