Resultado final
Report Systematic and coveragedriven testing of learning components ULIV
Report: Formal verification of learning componentsReport Formal verification of learning components ULIV
Report: Provable safe reinforcement learningReport Provable safe reinforcement learning TUG
Formal specification for learning-enabled autonomous systemsFormal specification for learningenabled autonomous systems BIU
Report: AI-enabled systematic and intelligent testing of autonomous systemsReport AIenabled systematic and intelligent testing of autonomous systems BIU
Report: Early validation result WP4Report Early validation result WP4 TUG
"Report on workshop #1 organisation"Report on workshop 1 organisation UGA
Report: Understanding decision faithfulness of machine learning componentsReport Understanding decision faithfulness of machine learning components DNDE
Report: Early validation result WP3Report Early validation result WP3 FORTISS
"Report on workshop #2 organisation"Report on workshop 2 organisation UGA
Report: Runtime enforcement for performance while guaranteeing safetyReport Runtime enforcement for performance while guaranteeing safety TUG
Dissemination Action Plan including project corporate identityDissemination Action Plan including project corporate identity UGA
Report on public demonstrationReport on public demonstration SIEMENS
Standardisation final reportStandardisation final report INTEL
Dissemination Action Plan including project corporate identity updateDissemination Action Plan including project corporate identity update UGA
Report: Systematic refinementReport Systematic refinement BIU
Dissemination set poster leaflet Kakemono and Website UGA
Project mini-videoProject minivideo UGA
Tool and manual: integrated evidential tool chain for the incremental and continuous generation of safety & security assurance cases (FORTISS)
Project newsletter 1Project newsletter 1 LUP
Project newsletter 2Project newsletter 2 (L-UP°
Tool + Manual: Agent building toolkit for performance with safetyTool + Manual: Agent building toolkit for performance with safety (TUG)
Tool + Manual: Verification and testing of learning-enabled systemsTool + Manual: Verification and testing of learning-enabled systems (FORTISS)
Project newsletter 3Project newsletter 3 (L-UP)
Tool + manual: modelling and simulation of autonomyTool + manual: modelling and simulation of autonomy (AUTh)
Publicaciones
Autores:
Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem
Publicado en:
Innovations in Systems and Software Engineering, 2022, ISSN 1614-5046
Editor:
Springer Verlag
DOI:
10.48550/arxiv.2212.01861
Autores:
Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic
Publicado en:
Information and Computation journal, Edición 08905401, 2022, ISSN 0890-5401
Editor:
Academic Press
DOI:
10.1016/j.ic.2022.104957
Autores:
Xingyu Zhao, Xiaowei Huang
Publicado en:
Machine Learning journal, 2021, ISSN 1573-0565
Editor:
Springer
DOI:
10.1007/s10994-021-06068-6
Autores:
Wei Huang, Xingyu Zhao, ALEC BANKS, VICTORIA COX, Xiaowei Huang
Publicado en:
Journal ACM transactions on Software Engineering Methods, 2023, ISSN 1049-331X
Editor:
Association for Computing Machinary, Inc.
DOI:
10.48550/arxiv.2205.08589
Autores:
Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades
Publicado en:
IEEE Access Journal, Edición 21693536, 2022, Página(s) 84094-84119, ISSN 2169-3536
Editor:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2022.3197281
Autores:
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Nickovic, Dejan
Publicado en:
ACM Transactions on Embedded Computing Systems, Edición Volume 22, Edición 5, Article No. 156, 2023, Página(s) pp 1–26, ISSN 1539-9087
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3609394
Autores:
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Publicado en:
IEEE Transactions on Reliability, 2021, Página(s) 1-16, ISSN 0018-9529
Editor:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tr.2021.3080664
Autores:
Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi
Publicado en:
Information and Software Technology Journal, 2023, Página(s) 107286, ISSN 0950-5849
Editor:
Elsevier BV
DOI:
10.1016/j.infsof.2023.107286
Autores:
Kizito Salako; Xingyu Zhao
Publicado en:
IEEE Transactions on Software Engineering, Edición 6, 2023, Página(s) 2829 - 2838, ISSN 0098-5589
Editor:
Institute of Electrical and Electronics Engineers
DOI:
10.48550/arxiv.2208.00462
Autores:
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjorner, Nicholas Shoemaker, Scott Shapiro, Ruzica Piskac, Bettina Könighofer
Publicado en:
Proceedings of the IJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence, 2023, Página(s) 372--381, ISBN 978-1-956792-03-4
Editor:
ijcai.org
DOI:
10.24963/ijcai.2023/42
Autores:
Jin, Gaojie; Yi, Xinping; Zhang, Liang; Zhang, Lijun; Schewe, Sven; Huang, Xiaowei
Publicado en:
34th Conference on Neural Information Processing Systems (NeurIPS 2020), Edición 1, 2020
Editor:
Neural Information Processing Systems
Autores:
Sebastian vom Dorff, Maximilian Kneissl, Martin Franzle
Publicado en:
2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021, Página(s) 969-975, ISBN 978-1-7281-9142-3
Editor:
IEEE
DOI:
10.1109/itsc48978.2021.9565022
Autores:
Chih-Hong Cheng, Rongjie Yan
Publicado en:
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Página(s) 1478-1483, ISBN 978-3-9819263-5-4
Editor:
IEEE
DOI:
10.23919/date51398.2021.9473994
Autores:
Wenjie Ruan; Xinping Yi; Xiaowei Huang
Publicado en:
CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Edición 2021 Proceeding, 2021, ISBN 978-1-4503-8446-9
Editor:
ACM
DOI:
10.1145/3459637.3482029
Autores:
Zhao, Xingyu; Huang, Wei; Schewe, Sven; Dong, Yi; Huang, Xiaowei; IEEE,
Publicado en:
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), Edición 1, 2021, ISBN 978-1-6654-3566-6
Editor:
IEEE
DOI:
10.1109/dsn-s52858.2021.00013
Autores:
Anastasios Temperekidis, Nikolaos Kekatos, and Panagiotis Katsaros
Publicado en:
Runtime Verification. RV 2022. Lecture Notes in Computer Science, vol 13498, 2022
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-17196-3_19
Autores:
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Publicado en:
CVPR 2022 - 2022 Conference on Computer Vision and Pattern Recognition, 2022
Editor:
IEEE
Autores:
Stefan Kiefer, Qiyi Tang
Publicado en:
Concur 2022 - 33RD INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY, 2022, Página(s) 32:1--32:22, ISBN 978-3-95977-246-4
Editor:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2022.32
Autores:
Yurui Du, Flavia Sofia Acerbo, Jens Kober, Tong Duy Son
Publicado en:
IFAC World Congress 2023, 2023
Editor:
Elsevier ScienceDirect
DOI:
10.48550/arxiv.2210.01747
Autores:
Xingyu Zhao, Xiaowei Huang, et. Al.
Publicado en:
UAI2021 Proceedings of Machine Learning Research (PMLR), Edición Zhao, X.,Huang, W, Huang, X., Robu, V., and Flynn, D. (2021). BayLime: Bayesian local interpretable model-agnostic explanations. UAI2021., 2021
Editor:
AAAI press
Autores:
Mehmet Kurucan, Mete Ozbaltan, Sven Schewe, Dominik Wojtczak
Publicado en:
IJCAI 2022 - 31st International Joint Conference on Artificial Intelligence, 2022, Página(s) 4857-4863
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2022/673
Autores:
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic
Publicado en:
Proceedings of RV 2023 - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, 2023, ISBN 978-3-031-44266-7
Editor:
Springer Nature
DOI:
10.1007/978-3-031-44267-4
Autores:
Neslihan Kose Cihangir, Ranganath Krishnan, Akash Dhamasia, Omesh Tickoo, Michael Paulitsch
Publicado en:
SAIAD 2022 - 4th Workshop Safe Artificial Intelligence for Automated Driving, 2023
Editor:
Springer
DOI:
10.48550/arxiv.2212.04812
Autores:
Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son
Publicado en:
American Control Conference (ACC) 2022, 2021
Editor:
IEEE
Autores:
Tarrach Thorsten; Ebrahimi Masoud; König Sandra; Schmittner Christoph; Bloem Roderick; Nickovic Dejan
Publicado en:
SafeComp 2023 proceedings, 2023, ISBN 978-3-031-40922-6
Editor:
Springer
DOI:
10.1007/978-3-031-40923-3
Autores:
Flavia Sofia Acerbo, Mohsen Alirezaei, Herman Van der Auweraer, Tong Duy Son.
Publicado en:
24th IEEE International Conference on Intelligent Transportation - ITSC2021, 2021
Editor:
IEEE
Autores:
Kevin L. Voogd, Jean-Pierre Allamaa, Javier Alonso-Mora, Son Tong
Publicado en:
IFAC World Congress 2023, 2023
Editor:
Elsevier ScienceDirect
DOI:
10.48550/arxiv.2211.14874
Autores:
Chih-Hong Cheng, Alois Knoll, Hsuan-Cheng Liao
Publicado en:
2021 IEEE International Conference on Artificial Intelligence Testing (AITest), 2021, Página(s) 57-64, ISBN 978-1-6654-3481-2
Editor:
IEEE
DOI:
10.1109/aitest52744.2021.00021
Autores:
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, and Stavros Tripakis
Publicado en:
Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science, 2022
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-15839-1_14
Autores:
Stefan Pranger; Bettina Könighofer; Lukas Posch; Roderick Bloem
Publicado en:
ATVA 2021, Edición 1, 2021, ISBN 978-3-030-88884-8
Editor:
Springer
DOI:
10.1007/978-3-030-88885-5_15
Autores:
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Publicado en:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Edición [2022], 2022, Página(s) p.131-143, ISBN 978-3-031-21221-5
Editor:
Springer
DOI:
10.1007/978-3-031-21222-2_8
Autores:
Ralf Gräfe, Qutub Syed Sha, Florian Geissler, Michael Paulitsch
Publicado en:
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). Proceedings of DSN 2023 Industry track, 2023, Página(s) 56 – 62, ISBN 979-8-3503-2545-4
Editor:
IEEE
DOI:
10.1109/dsn-s58398.2023.00025
Autores:
Hasan Esen, Brian Hsuan-Cheng Liao
Publicado en:
10th International Symposium on Development Methodology, 2023, ISBN 978-3-9816971-6-2
Editor:
AVL Deutschland
DOI:
10.48550/arxiv.2311.03362
Autores:
Chen, Yuhang; Cheng, Chih-Hong; Yan, Jun; Yan, Rongjie
Publicado en:
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021), 2021
Editor:
IEEE
Autores:
Florian Geissler, Syed Qutub, Michael Paulitsch, and Karthik Pattabiraman
Publicado en:
SAFECOMP2023 - 42nd International Conference on Computer Safety, Reliability and Security, 2023, ISBN 978-3-031-40922-6
Editor:
Springer
DOI:
10.1007/978-3-031-40923-3_7
Autores:
Chih-Hong Cheng
Publicado en:
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Página(s) 1310-1313, ISBN 978-3-9819263-5-4
Editor:
IEEE
DOI:
10.23919/date51398.2021.9473957
Autores:
Xiaowei Huang
Publicado en:
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021, Página(s) 1-2, ISBN 9781450384445
Editor:
ACM
DOI:
10.1145/3459086.3459636
Autores:
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak
Publicado en:
24th International Symposium, FM 2021, 2021, ISBN 978-3-030-90870-6
Editor:
Springer, Cham
DOI:
10.1007/978-3-030-90870-6_8
Autores:
Ali Asgari Khoshouyeh, Florian Geissler, Seyed Qutub, Michael Paulitsch, Prashant Nair, Karthik Pattabiraman
Publicado en:
SC 23 - The International Conference for High Performance Computing, Networking, Storage, and Analysis, 2023, ISBN 979-8-4007-0109-2
Editor:
ACM Association for Computing Machinery, New York, NY, United States
DOI:
10.1145/3581784.3607084
Autores:
Chih-Hong Cheng, Rongjie Yan
Publicado en:
2021 IEEE International Conference on Artificial Intelligence Testing (AITest), 2021, Página(s) 49-56, ISBN 978-1-6654-3481-2
Editor:
IEEE
DOI:
10.1109/aitest52744.2021.00020
Autores:
Zhao, X., Huang, W., Banks, A., Cox, V., Flynn, D., Schewe, S., and Huang, X.
Publicado en:
AISafety’21 Workshop at IJCAI’21, 2021
Editor:
CEUR
Autores:
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa
Publicado en:
Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241., 2022, ISBN 978-3-030-99428-0
Editor:
Springer, Cham
DOI:
10.1007/978-3-030-99429-7_1
Autores:
Bjørner, Katrine; Judson, Samuel; Cano, Filip; Goldman, Drew; Shoemaker, Nick; Piskac, Ruzica; Könighofer, Bettina
Publicado en:
AISoLA 2023 proceedings, 2023, ISBN 978-3-031-46002-9
Editor:
Springer Cham
DOI:
10.5281/zenodo.8382832
Autores:
Martin Tappler, Filip Cano Cordoba, Bernhard Aichernig, Bettina Könighofer
Publicado en:
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022) Main Track., Edición Thirty-First Conference, 23-29 July 2022, 2022, Página(s) 503-510, ISBN 978-1-956792-00-3
Editor:
ijcai.org
DOI:
10.24963/ijcai.2022/72
Autores:
Yi Qi, Philippa Ryan, Wei Huang, Xingyu Zhao and Xiaowei Huang
Publicado en:
AISafety 2022 workshop at IJCAI2022, 2022
Editor:
CEUR Workshop Proceedings
DOI:
10.48550/arxiv.2206.10216
Autores:
Filip Cano, Alexander Palmisano, Martin Fraenzle, Roderick Bloem and Bettina Koenighofer
Publicado en:
ICAPS 2023 - 33rd International Conference on Automated Planning and Scheduling, 2023, ISSN 2334-0843
Editor:
AAAI Press.
DOI:
10.1609/icaps.v33i1.27181
Autores:
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Ničković, D. and Könighofer, B.
Publicado en:
SPIN'23 proceedings, 2023, ISBN 978-3-031-32157-3
Editor:
Springer Cham
DOI:
10.1007/978-3-031-32157-3_8
Autores:
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed AbdElsalam, Ashraf Salem
Publicado en:
MESAS 2022 - 9th International Conference on Modelling and Simulation for Autonomous Systems, Edición 2022 Proceedings, 2023, Página(s) 163-181
Editor:
Springer Cham
DOI:
10.1007/978-3-031-31268-7_10
Autores:
Syed Qutub, Florian Geissler, Yang Peng, Ralf Gräfe, Michael Paulitsch, Gereon Hinz, and Alois Knoll
Publicado en:
Safecomp 2022, Edición 41st, 2022, Página(s) 298-318, ISBN 978-3-031-14835-4
Editor:
Springer
DOI:
10.1007/978-3-031-14835-4_20
Autores:
Jie He, Ezio Bartocci, Dejan Nickovic and Radu Grosu
Publicado en:
ICSE '22: Proceedings of the 44th International Conference on Software Engineering, 2022, Página(s) 610–622
Editor:
ACM Digital Library
DOI:
10.1145/3510003.3510171
Autores:
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, and Xin Qin
Publicado en:
19th International Conference on Software Engineering and Formal Methods (SEFM'21), 2021
Editor:
Springer
DOI:
10.5281/zenodo.5597000
Autores:
Nicolas Basset; Thao Dang; Felix Gigler; Cristinel Mateis; Dejan Nickovic
Publicado en:
ACM Digital Library, 2021
Editor:
ACM
DOI:
10.5281/zenodo.5550069
Autores:
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang
Publicado en:
VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Edición volume 13182, 2022, Página(s) pages: 93-107, ISBN 978-3-030-94583-1
Editor:
Springer
DOI:
10.1007/978-3-030-94583-1_5
Autores:
Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Publicado en:
SafeComp 2023 proceedings, Edición vol 14181, 2023, ISBN 978-3-031-40922-6
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-40923-3_8
Autores:
Martin Tappler, Stefan Pranger, Bettina K¨onighofer, Edi Muˇskardin,
Roderick Bloem, and Kim Larsen
Publicado en:
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation Principles, 2022, Página(s) pp 335–359
Editor:
Springer
DOI:
10.48550/arxiv.2212.01838
Autores:
Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneissl, Alois Knoll
Publicado en:
2022
Editor:
Arxiv
DOI:
10.48550/arxiv.2202.03932
Autores:
Lev Sorokin, Tiziano Munaro, Damir Safin, Brian Hsuan-Cheng Liao, Adam Molin
Publicado en:
Arxiv, 2023
Editor:
Arxiv
DOI:
10.48550/arxiv.2306.10296
Autores:
Felix Bognar, Oster Markus, Herman Van der Auweraer, Tong Duy Son
Publicado en:
2022
Editor:
Arxiv
DOI:
10.48550/arxiv.2208.07208
Autores:
Charis Eleftheriadis, Andreas Symeonidis, and Panagiotis Katsaros
Publicado en:
Preprint accepted with revision in Machine Vision and Applications, 2023
Editor:
Springer
DOI:
10.21203/rs.3.rs-3351648/v1
Autores:
Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Publicado en:
2023
Editor:
Arxiv
DOI:
10.48550/arxiv.2209.10368
Autores:
Christian Berghoff, Jona Böddinghaus, Vasilios Danos, Gabrielle Davelaar, Thomas Doms, Heiko Ehrich, Alexandru Forrai, Radu Grosu, Ronan Hamon, Henrik Junklewitz, Matthias Neu, Simon Romanski, Wojciech Samek, Dirk Schlesinger, Jan-Eve Stavesand, Sebastian Steinbach, Arndt von Twickel, Robert Walter, Johannes Weissenböck, Markus Wenzel, Thomas Wiegand
Publicado en:
Whitepaper | May 2022. Towards Auditable AI Systems. From Principles to Practice. Based on the 2nd international Workshop “Towards Auditable AI Systems”, October 26th 2021, Fraunhofer Forum Digitale Technologien, Berlin, organized by the Federal Office for Information Security Germany, the TÜV-Verband and the Fraunhofer HHI, 2022
Editor:
Bundesamt für Sicherheit in der Informationstechnik, Fraunhofer-Institut für Nachrichtentechnik, TÜV-Verband e. V.
Autores:
Dong, Yi; Zhao, Xingyu; Huang, Xiaowei
Publicado en:
Edición 2, 2021
Editor:
ArXiv
DOI:
10.48550/arxiv.2109.06523
Autores:
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, Andre Freitas, Mustafa A. Mustafa
Publicado en:
2023
Editor:
Arxiv
DOI:
10.48550/arxiv.2305.11391
Autores:
Sven Schewe, Qiyi Tang and Tansholpan Zhanabekova
Publicado en:
2022
Editor:
Arxiv
DOI:
10.48550/arxiv.2202.07629
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles