Sebastian Junges
发表
Sebastian Junges,
Erika Ábrahám,
Florian Corzilius,
2015,
SAT.
B. Becker,
J. Katoen,
Sebastian Junges,
2018,
UAI.
Guy Van den Broeck,
Todd Millstein,
Sebastian Junges,
2021,
CAV.
U. Topcu,
J. Katoen,
Sebastian Junges,
2018
.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
B. Becker,
U. Topcu,
J. Katoen,
2017
.
Sebastian Junges,
2013
.
U. Topcu,
J. Katoen,
Sebastian Junges,
2016,
AAAI Fall Symposia.
J. Katoen,
Sebastian Junges,
N. Jansen,
2022,
Principles of Systems Design.
Thom S. Badings,
U. Topcu,
J. Katoen,
2021,
ArXiv.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
ArXiv.
U. Topcu,
Sebastian Junges,
N. Jansen,
2022,
AAAI.
E. Ábrahám,
J. Katoen,
Florian Corzilius,
2016
.
S. Seshia,
Sebastian Junges,
Marcell Vazquez-Chanlatte,
2022,
ATVA.
Thom S. Badings,
U. Topcu,
J. Katoen,
2021,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
N. Jansen,
Marck van der Vegt,
2023,
TACAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
QEST.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Jip Spel,
2021,
VMCAI.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
CAV.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2021,
J. Comput. Syst. Sci..
U. Topcu,
Sebastian Junges,
N. Jansen,
2020,
AAAI.
U. Topcu,
J. Katoen,
Sebastian Junges,
2019,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2019,
CONCUR.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods Syst. Des..
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020,
CONCUR.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
U. Topcu,
Sebastian Junges,
N. Jansen,
2022,
ArXiv.
J. Katoen,
Sebastian Junges,
Milan Češka,
2022,
UAI.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
2105.13411.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2021,
Formal Aspects of Computing.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2021,
CAV.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ATVA.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2019,
FM.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2017,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2022,
International Conference on Cyber-Physical Systems.
Sebastian Junges,
Daniel J. Fremont,
Edward Kim,
2021,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Sebastian Junges,
Joost-Pieter Katoen,
Arend Rensink,
2015,
Formal Aspects of Computing.
Sebastian Junges,
Joost-Pieter Katoen,
Mariëlle Stoelinga,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Sebastian Junges,
Torno Da Didática,
2016
.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
IEEE Transactions on Automatic Control.
J. Katoen,
Sebastian Junges,
Alexander Bork,
2023,
ArXiv.
Sebastian Junges,
Nils Jansen,
Roderick Bloem,
2018,
1807.06096.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2018,
ArXiv.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020
.
Thom S. Badings,
U. Topcu,
Sebastian Junges,
2023,
ArXiv.
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2019,
Reliab. Eng. Syst. Saf..
Sebastian Junges,
Joost-Pieter Katoen,
Mariëlle Stoelinga,
2018,
Petri Nets.
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2017,
SAFECOMP.
A. Rensink,
J. Katoen,
M. Stoelinga,
2017,
Formal Aspects of Computing.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
SAFECOMP.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
ArXiv.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2018,
IEEE Transactions on Industrial Informatics.
Sebastian Junges,
N. Jansen,
Wietze Koops,
2023
.
Benjamin Lucien Kaminski,
J. Katoen,
Sebastian Junges,
2022,
TACAS.
Sebastian Junges,
Arnd Hartmanns,
Tim Quatmann,
2020,
Journal of Automated Reasoning.
Sebastian Junges,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2021,
Robotics: Science and Systems.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2017,
Formal Methods in System Design.
Sebastian Junges,
Joost-Pieter Katoen,
Arnd Hartmanns,
2018,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2021,
TACAS.
Sebastian Junges,
Carlos E. Budde,
Arnd Hartmanns,
2017,
TACAS.
S. Seshia,
Sebastian Junges,
Marcell Vazquez-Chanlatte,
2023,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ATVA.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Daniel J. Fremont,
A. Sangiovanni-Vincentelli,
S. Seshia,
2022,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Sebastian Junges,
Tim Quatmann,
A. Hartmanns,
2023,
TACAS.
Sebastian Junges,
N. Jansen,
G. Pérez,
2022,
SETTA.
J. Katoen,
Sebastian Junges,
G. Pérez,
2020,
J. Comput. Syst. Sci..
Sebastian Junges,
Erika Ábrahám,
Florian Corzilius,
2012,
SAT.
Sebastian Junges,
Joost-Pieter Katoen,
Jip Spel,
2019,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
TACAS.
Technické V Brně,
Vysoké Učení,
Sebastian Junges,
2020
.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
Joost-Pieter Katoen,
James Gross,
2016,
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS).