Sebastian Junges
发表
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2018,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
QEST.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
MBMV.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
TACAS.
Sebastian Junges,
Dimitri Bohlender,
Thomas Noll,
2014,
ISoLA.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2017,
CAV.
Sebastian Junges,
Joost-Pieter Katoen,
Christoph Matheja,
2020,
CAV.
Sebastian Junges,
Erika Ábrahám,
Florian Corzilius,
2013,
CAI.
Sebastian Junges,
Joost-Pieter Katoen,
Mariëlle Stoelinga,
2018,
Petri Nets.
Sebastian Junges,
Joost-Pieter Katoen,
Arend Rensink,
2015,
Formal Aspects of Computing.
Sebastian Junges,
Nils Jansen,
Ufuk Topcu,
2020,
TACAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods in System Design.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2019,
CONCUR.
Sebastian Junges,
Joost-Pieter Katoen,
Mariëlle Stoelinga,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2019,
Reliab. Eng. Syst. Saf..
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2018,
IEEE Transactions on Industrial Informatics.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction
pdf
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
ArXiv.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2017,
SAFECOMP.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
MBMV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Arnd Hartmanns,
2018,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
SAFECOMP.
Sebastian Junges,
Joost-Pieter Katoen,
Jip Spel,
2019,
ATVA.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2019,
FM.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2017,
Formal Methods in System Design.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
ATVA.
Sebastian Junges,
Ufuk Topcu,
Murat Cubuktepe,
2020,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Sebastian Junges,
Joost-Pieter Katoen,
Arend Rensink,
2016,
Formal Aspects of Computing.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020
.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
TACAS.
Sebastian Junges,
Erika Ábrahám,
Florian Corzilius,
2015,
SAT.
Sebastian Junges,
Carlos E. Budde,
Arnd Hartmanns,
2017,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
James Gross,
2016,
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS).
Sebastian Junges,
Nils Jansen,
Roderick Bloem,
2018,
1807.06096.
Sebastian Junges,
Arnd Hartmanns,
Tim Quatmann,
2020,
Journal of Automated Reasoning.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
ArXiv.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020,
CONCUR.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ArXiv.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
ArXiv.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Sebastian Junges,
Erika Ábrahám,
Florian Corzilius,
2012,
SAT.
Christel Baier,
Sebastian Junges,
Joost-Pieter Katoen,
2020,
Inf. Comput..
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
Sebastian Junges,
Daniel J. Fremont,
Edward Kim,
2021,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2021,
Formal Aspects of Computing.
Guy Van den Broeck,
Todd Millstein,
Sebastian Junges,
2021,
CAV.
Sebastian Junges,
Daniel J. Fremont,
Marcell Vazquez-Chanlatte,
2021,
Robotics: Science and Systems.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2021
.
Sebastian Junges,
Joost-Pieter Katoen,
Jip Spel,
2021,
VMCAI.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2021,
TACAS.
Sebastian Junges,
Nils Jansen,
Ufuk Topcu,
2021,
AAAI.
Sebastian Junges,
Joost-Pieter Katoen,
Milan Ceska,
2021,
CAV.
Sebastian Junges,
Sanjit A. Seshia,
Daniel J. Fremont,
2021,
RV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
ArXiv.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah,
2021,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
2105.13411.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2021,
J. Comput. Syst. Sci..
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
IEEE Transactions on Automatic Control.