Publications
Auteurs:
Szymczak, Marcin; Katoen, Joost-Pieter
Publié dans:
Tutorial Lectures 5th International School on Engineering Trustworthy Software Systems, Numéro 12154, 2019, Page(s) 44--121
Éditeur:
Springer
DOI:
10.1007/978-3-030-55089-9_3
Auteurs:
Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun
Publié dans:
Computer Aided Verification : 32nd International Conference, CAV 2020, Numéro 12225, 2020, Page(s) 327--348
Éditeur:
Springer
DOI:
10.18154/rwth-2020-07595
Auteurs:
Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Publié dans:
Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Numéro 11800, 2019, Page(s) 101-120, ISBN 978-3-030-30941-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-30942-8_8
Auteurs:
Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Publié dans:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Numéro 11500, 2019, Page(s) 107-125, ISBN 978-3-030-31513-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-31514-6_7
Auteurs:
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Publié dans:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Numéro 12078, 2020, Page(s) 444-462, ISBN 978-3-030-45189-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-45190-5_25
Auteurs:
Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen
Publié dans:
Information and Computation, Numéro 289, 2022, Page(s) 104965, ISSN 0890-5401
Éditeur:
Academic Press
DOI:
10.1016/j.ic.2022.104965
Auteurs:
Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 2 (OOPSLA), 2022, Page(s) 1-30, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.18154/rwth-2022-04445
Auteurs:
Joost-Pieter Katoen; Christoph Matheja; Benjamin Lucien Kaminski; Kevin Batz; Lena Verscht
Publié dans:
ACM Proceedings on Programming Languages, Numéro 7 (POPL), 2023, Page(s) 1957-1986, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3571260
Auteurs:
Matthias Volk; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki
Publié dans:
Distributed Computing, Numéro 35(1), 2022, Page(s) 37-57, ISSN 0178-2770
Éditeur:
Springer Verlag
DOI:
10.1007/s00446-021-00408-4
Auteurs:
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 3/POPL, 2019, Page(s) 1-29, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3290347
Auteurs:
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
Publié dans:
Acta Informatica, 2020, ISSN 0001-5903
Éditeur:
Springer Verlag
DOI:
10.1007/s00236-020-00374-7
Auteurs:
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 4/POPL, 2020, Page(s) 1-28, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3371105
Auteurs:
Milan Ceska; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen
Publié dans:
Formal Aspects of Computing, Numéro 33, 2021, Page(s) 637-667, ISSN 0934-5043
Éditeur:
Springer Verlag
DOI:
10.1007/s00165-021-00547-2
Auteurs:
Joshua Moerman; Matteo Sammartino
Publié dans:
Logical Methods in Computer Science, 2022, Page(s) 27, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.18154/rwth-2022-01946
Auteurs:
Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 5 (POPL), 2021, Page(s) 1-30, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3434320
Auteurs:
Sebastian Junges; Joost-Pieter Katoen; Guillermo A. Pérez; Tobias Winkler
Publié dans:
Journal of Computer and System Sciences, Numéro 119, 2021, Page(s) 183-210, ISSN 0022-0000
Éditeur:
Academic Press
DOI:
10.1016/j.jcss.2021.02.006
Auteurs:
Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen; Simon Stupinsky
Publié dans:
Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Numéro 12759, 2021, Page(s) 856-869
Éditeur:
Springer
DOI:
10.1007/978-3-030-81685-8_40
Auteurs:
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
Publié dans:
Proceedings 30th European Symposium on Programming (ESOP), Numéro 12648, 2021, Page(s) 491--518
Éditeur:
Springer
DOI:
10.1007/978-3-030-72019-3_18
Auteurs:
Kevin Batz; Mingshuai Chen; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Philipp Schröer
Publié dans:
Proceedings 33rd International Conference on Computer Aided Verification (CAV), Numéro 12760, 2021, Page(s) 524-549
Éditeur:
Springer
DOI:
10.18154/rwth-2021-06838
Auteurs:
Roman Andriushchenko; Milan Češka; Sebastian Junges; Joost-Pieter Katoen
Publié dans:
Proceedings 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Numéro 12651, 2021, Page(s) 191-209
Éditeur:
Springer
DOI:
10.1007/978-3-030-72016-2_11
Auteurs:
Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler
Publié dans:
Proceedings 34th International Conference on Computer-Aided Verification (CAV), Numéro 13371, 2022, Page(s) 79-101
Éditeur:
Springer
DOI:
10.1007/978-3-031-13185-1_5
Auteurs:
Moosbrugger, Marcel; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura
Publié dans:
Proceedings 24th International Symposium on Formal Methods (FM), Numéro 13047, 2021, Page(s) 667-675
Éditeur:
Springer
DOI:
10.1007/978-3-030-90870-6_36
Auteurs:
Bahare Salmani; Joost-Pieter Katoen
Publié dans:
Proceedings 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Numéro 12897, 2021, Page(s) 268-283
Éditeur:
Springer
DOI:
10.1007/978-3-030-86772-0_20
Auteurs:
Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Kessler; Christoph Matheja; Thomas Noll
Publié dans:
Proceedings 31st European Symposium on Programming (ESOP), Numéro 13240, 2022, Page(s) 57-84
Éditeur:
Springer
DOI:
10.1007/978-3-030-99336-8_3
Auteurs:
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
Publié dans:
Computer Aided Verification : 32nd International Conference, CAV 2020, Numéro 12225, 2020, Page(s) 512-538
Éditeur:
Springer
DOI:
10.48550/arxiv.2004.14835
Auteurs:
Bahare Salmani; Joost-Pieter Katoen
Publié dans:
Proceedings 17 International Conference Quantitative Evaluation of Systems (QEST), Numéro 12289, 2020, Page(s) 115-133
Éditeur:
Springer
DOI:
10.1007/978-3-030-59854-9_9
Auteurs:
Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen
Publié dans:
Uncertainty in Artificial Intelligence, Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022, Numéro 180, 2022, Page(s) 85--95
Éditeur:
PMLR
Auteurs:
Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen
Publié dans:
Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Numéro 12759, 2021, Page(s) 443-466
Éditeur:
Springer
DOI:
10.1007/978-3-030-81685-8_21
Auteurs:
Moerman, Joshua; Rot, Jurriaan
Publié dans:
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)<br/>Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13 - 2020-01-16, Numéro 3, 2020, ISBN 978-3-95977-132-0
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CSL.2020.31
Auteurs:
Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias; Maribel Fernández
Publié dans:
Logic-Based Program Synthesis and Transformation, Numéro 13, 2020, Page(s) 231-248
Éditeur:
Springer
DOI:
10.1007/978-3-030-68446-4_12
Auteurs:
Kevin Batz; Mingshuai Chen; Sebastian Junges; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja
Publié dans:
29th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Numéro 13994, 2023, Page(s) 410-429
Éditeur:
Springer
DOI:
10.1007/978-3-031-30820-8_25
Auteurs:
Kaminski, Benjamin Lucien
Publié dans:
Aachen 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-01829 = Dissertation, RWTH Aachen University, 2019, Numéro 1, 2019
Éditeur:
RWTH Aachen University, Germany
DOI:
10.18154/RWTH-2019-01829
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible