Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ruijters, Enno"'
Autor:
Hahn, Ernst Moritz, Hartmanns, Arnd, Hensel, Christian, Klauck, Michaela, Klein, Joachim, Křetínský, Jan, Parker, David, Quatmann, Tim, Steinmetz, Marcel, Ruijters, Enno, Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics. A number of tools support their automatic analysis with respect to dependability or performance properties. QComp 2019 is the first, friend
Autor:
Schivo, Stefano, Yildiz, Bugra Mehmet, Ruijters, Enno J.J., Gerking, Christopher, Kumar, Rajesh, Dziwok, Stefan, Rensink, Arend, Stoelinga, Mariëlle I.A., Larsen, Kim, Sokolsky, Oleg, Wang, Ji
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, 319-336
STARTPAGE=319;ENDPAGE=336;TITLE=Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
STARTPAGE=319;ENDPAGE=336;TITLE=Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
We propose a model-driven engineering approach that facilitates the production of tool chains that use the popular model checker Uppaal as a back-end analysis tool. In this approach, we introduce a metamodel for Uppaal ’s input model, containing bo
Autor:
Hartmanns, Arnd, Klauck, Michaela, Parker, David, Quatmann, Tim, Ruijters, Enno J.J., Zhang, Lijun, Vojnar, Tomáš
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, 344-350
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792] ; Cham : Springer International Publishing, 2019, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17461-3=97
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e14d254b36593faa5c2de6961d97d0c
https://zenodo.org/record/5750687
https://zenodo.org/record/5750687
Autor:
Guck, Dennis, Timmer, Mark, Hatefi, Hassan, Ruijters, Enno J.J., Stoelinga, Mariëlle I.A., Cassez, Franck, Raskin, Jean-François
Publikováno v:
Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 168-184
STARTPAGE=168;ENDPAGE=184;TITLE=Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
STARTPAGE=168;ENDPAGE=184;TITLE=Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata