Zobrazeno 1 - 10
of 60
pro vyhledávání: '"Rupert Schlick"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031148613
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e5c4d91779ff66a72124a0d5e9b6144
https://doi.org/10.1007/978-3-031-14862-0_9
https://doi.org/10.1007/978-3-031-14862-0_9
Autor:
Thomas Bauer, Joseba A. Agirre, David Fürcho, Wolfgang Herzner, Bob Hruška, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Aleš Smrčka, Ugur Yayan, Behrooz Sangchoolie
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031045790
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6e7640f88c6225a53996fac682d8ee0
https://doi.org/10.1007/978-3-031-04580-6_25
https://doi.org/10.1007/978-3-031-04580-6_25
Autor:
Robert Korošec, Priska Bauerstätter, Severin Kann, Elisabeth Jöbstl, Rupert Schlick, Richard Schumi, Cristinel Mateis, Bernhard K. Aichernig, Willibald Krenn
Publikováno v:
Software Quality Journal. 27:757-795
Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides accepta
Autor:
Andre Smulders, Stelios Karagiannis, Florian Stahl, Hayk Hamazaryan, Stefan Marksteiner, Alexandr Vasenev, Stefan Kraxberger, Nadja Marko, Rupert Schlick
Publikováno v:
2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring)
VTC Spring
VTC Spring
Modern vehicles become increasingly digitalized with advanced information technology-based solutions like advanced driving assistance systems and vehicle-to-x communications. These systems are complex and interconnected. Rising complexity and increas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5b928cb84e3d838862a9c2bee132367
http://arxiv.org/abs/2101.10048
http://arxiv.org/abs/2101.10048
Autor:
Jose Luis de la Vara, Henrique Madeira, Fabio Patrone, Silvia Mazzini, José Proença, Bernhard Fischer, Thomas Bauer, David Pereira, Rupert Schlick, Stefano Tonetta, Mustafa Karaca, Ugur Yayan, Martin Matschnig, Behrooz Sangchoolie, Giann Spilere Nandi
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030853464
QUATIC
Communications in Computer and Information Science
Communications in Computer and Information Science-Quality of Information and Communications Technology
QUATIC
Communications in Computer and Information Science
Communications in Computer and Information Science-Quality of Information and Communications Technology
As our dependence on automated systems grows, so does the need for guaranteeing their safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation (V&V) must be used to this end and it is necessary that the methods and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb48818624d8f069b4b58b4cdc25064a
https://doi.org/10.1007/978-3-030-85347-1_24
https://doi.org/10.1007/978-3-030-85347-1_24
Publikováno v:
Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021
Autor:
H. Becker, Jasmin Jahic, Rupert Schlick, Aleš Smrčka, M. Labayen Esnaola, Peter Folkesson, Luigi Pomante, Vanessa Orani, A. Yazici, G. Giantamidis, Enrico Ferrari, David Pereira, S. Basagiannis, Alper Kanak, Behrooz Sangchoolie, Raul Barbosa
Publikováno v:
DSD
2020 23rd Euromicro Conference on Digital System Design (DSD)
2020 23rd Euromicro Conference on Digital System Design (DSD)
Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming an
Autor:
Thai Son Hoang, Peter Tummeltshammer, Dana Dghaym, Tomas Fischer, Klaus Reichl, Rupert Schlick, Colin Snook
Publikováno v:
Validation and Verification of Automated Systems ISBN: 9783030146276
In this chapter, we present a process pattern for model based specification, verification and testing. It combines concepts of behaviour driven development (BDD), graphical and formal, mathematical modelling, formal verification techniques, acceptanc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::182c5d58dc95165f0655d9bd2f941866
https://doi.org/10.1007/978-3-030-14628-3_9
https://doi.org/10.1007/978-3-030-14628-3_9
Autor:
M. Bozzano, G. Giantamidis, Vanessa Orani, A. Yazici, Rupert Schlick, M. Labayen Esnaola, Aleš Smrčka, Thomas Bauer, W. Tiberti, David Pereira, Stefano Tonetta, Behrooz Sangchoolie, Raul Barbosa, Enrico Ferrari, J.A. Agirre, S. Basagiannis, Johnny Öberg, L. Etxeberria, José Proença
Publikováno v:
Microprocessors and Microsystems. 87:104349
Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such syste
Autor:
Tomas Fischer, Dana Dghaym, Andreas Fellner, Colin Snook, Thai Son Hoang, Tope Omitola, Rupert Schlick, Thorsten Tarrach, Michael Butler, Peter Tummeltshammer
Publikováno v:
ICECCS
Behaviour driven formal model development (BDFMD) enables domain engineers to influence and validate mathematically precise and verified specifications. In previous work we proposed a process where manually authored scenarios are used initially to su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59754c16c16802f591c2e088299795cd
https://eprints.soton.ac.uk/434774/
https://eprints.soton.ac.uk/434774/