by Cha, Suhyun, Vogel‐Heuser, Birgit, Weigl, Alexander, Ulbrich, Mattias, Beckert, Bernhard
Published in IET cyber-physical systems (01.12.2021)

by Klebanov, Vladimir, Weigl, Alexander, Weisbarth, Jörg
Published in Electronic proceedings in theoretical computer science (25.10.2016)

by Beckert, Bernhard, Bingmann, Timo, Kiefer, Moritz, Sanders, Peter, Ulbrich, Mattias, Weigl, Alexander
Published in Electronic proceedings in theoretical computer science (23.03.2018)

by Teuber, Samuel, Weigl, Alexander
Published in Quantitative Evaluation of Systems

by Lanzinger, Florian, Weigl, Alexander
Published in Data Privacy Management, Cryptocurrencies and Blockchain Technology

by PRUIJMBOOM ARMAND, WEIGL ALEXANDER
Year of Publication 29.11.2022

by Bechberger, Johannes, Weigl, Alexander
Published in Software Engineering and Formal Methods

by Weigl, Alexander
Published in Data Privacy Management and Security Assurance

by De Boer, Martin, De Gouw, Stijn, Klamroth, Jonas, Jung, Christian, Ulbrich, Mattias, Weigl, Alexander
Published in Formal aspects of computing (13.09.2023)

by Gombotz, Hans, Zacharowski, Kai, Spahn, Donat Rudolf
Year of Publication 2016

by Huisman, Marieke, Monti, Raúl, Ulbrich, Mattias, Weigl, Alexander
Published in Deductive Software Verification: Future Perspectives

by Lanzinger, Florian, Weigl, Alexander, Ulbrich, Mattias, Dietl, Werner
Published in Proceedings of ACM on programming languages (01.10.2021)

by Beckert, Bernhard, Ulbrich, Mattias, Vogel-Heuser, Birgit, Weigl, Alexander
Published in Formal Methods and Software Engineering (2015)

by Lanzinger, Florian, Ulbrich, Mattias, Weigl, Alexander
Published in Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

by Gronenborn, Stephan, Gu, Xi, Herper, Markus, Kolb, Johanna, Wabra, Stefan, Weigl, Alexander, Koerner, Roman, Pruijmboom, Armand
Published in 2021 27th International Semiconductor Laser Conference (ISLC) (10.10.2021)

by Bader, Sven, Herper, Markus, Weigl, Alexander, van der Lee, Alexander, Weichmann, Ulrich, Moench, Holger, Pruijmboom, Armand, Koerner, Roman
Published in 2022 28th International Semiconductor Laser Conference (ISLC) (16.10.2022)

by Beckert, Bernhard, Ulbrich, Mattias, Vogel-Heuser, Birgit, Weigl, Alexander
Published in Theoretical Aspects of Computing - ICTAC 2022 (2022)

by Cha, Suhyun, Weigl, Alexander, Ulbrich, Mattias, Beckert, Bernhard, Vogel-Heuser, Birgit
Published in Automatisierungstechnik : AT (25.10.2018)

by Cha, Suhyun, Ulbrich, Mattias, Weigl, Alexander, Beckert, Bernhard, Land, Kathrin, Vogel-Heuser, Birgit
Published in 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) (01.07.2019)

by Bader, Sven, Weigl, Alexander, van der Kloet, Robert, Gronenborn, Stephan, Helper, Markus, Weichmann, Ulrich, Koerner, Roman, Pruijmboom, Armand
Published in 2021 27th International Semiconductor Laser Conference (ISLC) (10.10.2021)