CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Szymczak, Marcin; Katoen, Joost-Pieter
Opublikowane w:
Tutorial Lectures 5th International School on Engineering Trustworthy Software Systems, Numer 12154, 2019, Strona(/y) 44--121
Wydawca:
Springer
DOI:
10.1007/978-3-030-55089-9_3
Autorzy:
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Opublikowane w:
Lecture Notes in Computer Science, Principles of Systems Design, Numer 13660, 2024, Strona(/y) 407-437
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-22337-2_20
Autorzy:
Tobias Winkler, Joost-Pieter Katoen
Opublikowane w:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, Numer 13994, 2024, Strona(/y) 391-409
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-30820-8_24
Autorzy:
Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun
Opublikowane w:
Computer Aided Verification : 32nd International Conference, CAV 2020, Numer 12225, 2020, Strona(/y) 327--348
Wydawca:
Springer
DOI:
10.18154/rwth-2020-07595
Autorzy:
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Opublikowane w:
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Numer 13242, 2022, Strona(/y) 449-469
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-99253-8_23
Autorzy:
Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Opublikowane w:
Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Numer 11800, 2019, Strona(/y) 101-120, ISBN 978-3-030-30941-1
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-30942-8_8
Autorzy:
Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Opublikowane w:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Numer 11500, 2019, Strona(/y) 107-125, ISBN 978-3-030-31513-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-31514-6_7
Autorzy:
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Opublikowane w:
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, Numer 12078, 2020, Strona(/y) 444-462, ISBN 978-3-030-45189-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-45190-5_25
Autorzy:
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Opublikowane w:
Lecture Notes in Computer Science, Verification, Model Checking, and Abstract Interpretation, Numer 13182, 2023, Strona(/y) 127-150
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-94583-1_7
Autorzy:
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 7, 2023, Strona(/y) 696-726, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3586051
Autorzy:
Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen
Opublikowane w:
Information and Computation, Numer 289, 2022, Strona(/y) 104965, ISSN 0890-5401
Wydawca:
Academic Press
DOI:
10.1016/j.ic.2022.104965
Autorzy:
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Opublikowane w:
International Journal on Software Tools for Technology Transfer, Numer 24, 2022, Strona(/y) 589-610, ISSN 1433-2779
Wydawca:
Springer Verlag
DOI:
10.1007/s10009-021-00633-z
Autorzy:
Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 2 (OOPSLA), 2022, Strona(/y) 1-30, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.18154/rwth-2022-04445
Autorzy:
Joost-Pieter Katoen; Christoph Matheja; Benjamin Lucien Kaminski; Kevin Batz; Lena Verscht
Opublikowane w:
ACM Proceedings on Programming Languages, Numer 7 (POPL), 2023, Strona(/y) 1957-1986, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3571260
Autorzy:
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Opublikowane w:
International Journal on Software Tools for Technology Transfer, Numer 24, 2022, Strona(/y) 803-819, ISSN 1433-2779
Wydawca:
Springer Verlag
DOI:
10.1007/s10009-022-00673-z
Autorzy:
Bahare Salmani, Joost-Pieter Katoen
Opublikowane w:
Journal of Artificial Intelligence Research, Numer 77, 2023, Strona(/y) 1637-1696, ISSN 1076-9757
Wydawca:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.1.14044
Autorzy:
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 8, 2024, Strona(/y) 2792-2820, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3632935
Autorzy:
Matthias Volk; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki
Opublikowane w:
Distributed Computing, Numer 35(1), 2022, Strona(/y) 37-57, ISSN 0178-2770
Wydawca:
Springer Verlag
DOI:
10.1007/s00446-021-00408-4
Autorzy:
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 3/POPL, 2019, Strona(/y) 1-29, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3290347
Autorzy:
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
Opublikowane w:
Acta Informatica, 2020, ISSN 0001-5903
Wydawca:
Springer Verlag
DOI:
10.1007/s00236-020-00374-7
Autorzy:
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 4/POPL, 2020, Strona(/y) 1-28, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3371105
Autorzy:
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 7, 2023, Strona(/y) 2052-2082, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3622870
Autorzy:
Milan Ceska; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen
Opublikowane w:
Formal Aspects of Computing, Numer 33, 2021, Strona(/y) 637-667, ISSN 0934-5043
Wydawca:
Springer Verlag
DOI:
10.1007/s00165-021-00547-2
Autorzy:
Joshua Moerman; Matteo Sammartino
Opublikowane w:
Logical Methods in Computer Science, 2022, Strona(/y) 27, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.18154/rwth-2022-01946
Autorzy:
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 8, 2024, Strona(/y) 923-953, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3649844
Autorzy:
Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 5 (POPL), 2021, Strona(/y) 1-30, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3434320
Autorzy:
Sebastian Junges; Joost-Pieter Katoen; Guillermo A. Pérez; Tobias Winkler
Opublikowane w:
Journal of Computer and System Sciences, Numer 119, 2021, Strona(/y) 183-210, ISSN 0022-0000
Wydawca:
Academic Press
DOI:
10.1016/j.jcss.2021.02.006
Autorzy:
Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen; Simon Stupinsky
Opublikowane w:
Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Numer 12759, 2021, Strona(/y) 856-869
Wydawca:
Springer
DOI:
10.1007/978-3-030-81685-8_40
Autorzy:
Tobias Winkler, Joost-Pieter Katoen
Opublikowane w:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Strona(/y) 1-13
Wydawca:
IEEE
DOI:
10.1109/lics56636.2023.10175714
Autorzy:
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
Opublikowane w:
Proceedings 30th European Symposium on Programming (ESOP), Numer 12648, 2021, Strona(/y) 491--518
Wydawca:
Springer
DOI:
10.1007/978-3-030-72019-3_18
Autorzy:
Kevin Batz; Mingshuai Chen; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Philipp Schröer
Opublikowane w:
Proceedings 33rd International Conference on Computer Aided Verification (CAV), Numer 12760, 2021, Strona(/y) 524-549
Wydawca:
Springer
DOI:
10.18154/rwth-2021-06838
Autorzy:
Moerman, J; Sammartino, M
Opublikowane w:
Leibniz International Proceedings in Informatics (LIPIcs), Concurrency Theory, Numer 171, 2020, Strona(/y) 44:1-44:21
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.18154/rwth-2020-03711
Autorzy:
Roman Andriushchenko; Milan Češka; Sebastian Junges; Joost-Pieter Katoen
Opublikowane w:
Proceedings 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Numer 12651, 2021, Strona(/y) 191-209
Wydawca:
Springer
DOI:
10.1007/978-3-030-72016-2_11
Autorzy:
Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler
Opublikowane w:
Proceedings 34th International Conference on Computer-Aided Verification (CAV), Numer 13371, 2022, Strona(/y) 79-101
Wydawca:
Springer
DOI:
10.1007/978-3-031-13185-1_5
Autorzy:
Moosbrugger, Marcel; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura
Opublikowane w:
Proceedings 24th International Symposium on Formal Methods (FM), Numer 13047, 2021, Strona(/y) 667-675
Wydawca:
Springer
DOI:
10.1007/978-3-030-90870-6_36
Autorzy:
Bahare Salmani; Joost-Pieter Katoen
Opublikowane w:
Proceedings 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Numer 12897, 2021, Strona(/y) 268-283
Wydawca:
Springer
DOI:
10.1007/978-3-030-86772-0_20
Autorzy:
Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Kessler; Christoph Matheja; Thomas Noll
Opublikowane w:
Proceedings 31st European Symposium on Programming (ESOP), Numer 13240, 2022, Strona(/y) 57-84
Wydawca:
Springer
DOI:
10.1007/978-3-030-99336-8_3
Autorzy:
Salmani, Bahare; Katoen, Joost-Pieter
Opublikowane w:
IJCAI, 2023
Wydawca:
ijcai.org
DOI:
10.48550/arxiv.2305.10051
Autorzy:
Jip Spel, Joost-Pieter Katoen, Sebastian Junges
Opublikowane w:
Lecture Notes in Computer Science, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Numer 12651, 2021, Strona(/y) 173-190
Wydawca:
Springer
DOI:
10.26226/morressier.604907f41a80aac83ca25cf0
Autorzy:
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
Opublikowane w:
Computer Aided Verification : 32nd International Conference, CAV 2020, Numer 12225, 2020, Strona(/y) 512-538
Wydawca:
Springer
DOI:
10.48550/arxiv.2004.14835
Autorzy:
Bahare Salmani; Joost-Pieter Katoen
Opublikowane w:
Proceedings 17 International Conference Quantitative Evaluation of Systems (QEST), Numer 12289, 2020, Strona(/y) 115-133
Wydawca:
Springer
DOI:
10.1007/978-3-030-59854-9_9
Autorzy:
Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen
Opublikowane w:
Uncertainty in Artificial Intelligence, Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022, Numer 180, 2022, Strona(/y) 85--95
Wydawca:
PMLR
Autorzy:
Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen
Opublikowane w:
Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Numer 12759, 2021, Strona(/y) 443-466
Wydawca:
Springer
DOI:
10.1007/978-3-030-81685-8_21
Autorzy:
Moerman, Joshua; Rot, Jurriaan
Opublikowane w:
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)<br/>Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13 - 2020-01-16, Numer 3, 2020, ISBN 978-3-95977-132-0
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CSL.2020.31
Autorzy:
Batz, Kevin; Fesefeldt, Ira; Jansen, Marvin; Katoen, Joost-Pieter; Keßler, Florian; Matheja, Christoph; Noll, Thomas
Opublikowane w:
Lecture Notes in Computer Science, European Symposium on Programming, Numer 13240, 2022, Strona(/y) 57-84
Wydawca:
Springer
DOI:
10.48550/arxiv.2201.11464
Autorzy:
Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias; Maribel Fernández
Opublikowane w:
Logic-Based Program Synthesis and Transformation, Numer 13, 2020, Strona(/y) 231-248
Wydawca:
Springer
DOI:
10.1007/978-3-030-68446-4_12
Autorzy:
Kevin Batz; Mingshuai Chen; Sebastian Junges; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja
Opublikowane w:
29th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Numer 13994, 2023, Strona(/y) 410-429
Wydawca:
Springer
DOI:
10.1007/978-3-031-30820-8_25
Autorzy:
Kaminski, Benjamin Lucien
Opublikowane w:
Aachen 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-01829 = Dissertation, RWTH Aachen University, 2019, Numer 1, 2019
Wydawca:
RWTH Aachen University, Germany
DOI:
10.18154/RWTH-2019-01829
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników