Person

Dr.-Ing., Universitätsprofessorin

Ulrike Meyer

Betreuerin

Ulrike Meyer
Lehr- und Forschungsgebiet IT-Sicherheit

Adresse

Gebäude: UMIC Research Centre

Raum: 208

Mies-van-der-Rohe-Str. 15

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 20783
Fax Fax: +49 241 80 22731
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 1908-1914, 2021
[DOI: 10.24963/ijcai.2021/263]
Habering, Daniel (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Montreal, 19-27 August 2021 / Edited by Prof. Zhi-Hua Zhou. - International Joint Conferences on Artificial Intelligence Organization California, 2021, 2083-2089, 2021
[DOI: 10.24963/ijcai.2021/287]
Viehmann, Tarik (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Fachzeitschriftenartikel]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: Rad Hrvatske Akademije Znanosti i Umjetnosti, Razred za Matematičke, Fizičke, Kemijske i Tehničke Znanosti / Matematičke Znanosti, 25 (546), 107-141, 2021
[DOI: 10.21857/mnlqgc582y]
Klinger, Andreas Gabriel (Corresponding author)
Wüller, Stefan (Corresponding author)
Traverso, Giulia (Corresponding author)
Meyer, Ulrike (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Towards Secure Evaluation of Online Functionalities
In: ARES 2021 : the 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17 - 20, 2021, 14 Seiten, 2021
[DOI: 10.1145/3465481.3469203]
Klinger, Andreas Gabriel (Corresponding author)
Meyer, Ulrike (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 250-269, 2021
[DOI: 10.1007/978-3-030-72016-2_14]
Meyer, Fabian
Hark, Marcel Tobias (Corresponding author)
Giesl, Jürgen (Corresponding author)
[Preprint]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints, 2021
[DOI: 10.18154/RWTH-2021-02072]
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Portable High-level Agent Programming with golog++
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227, 2021
[DOI: 10.5220/0010253902180227]
Mataré, Victor
Viehmann, Tarik
Hofmann, Till
Lakemeyer, Gerhard
Ferrein, Alexander
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League
In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 80-91, 2021
[DOI: 10.5220/0010252600800091]
Hofmann, Till (Corresponding author)
Viehmann, Tarik
Gomaa, Mostafa
Habering, Daniel
Niemüller, Tim Dieter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Macro Operator Synthesis for ADL Domains
In: ECAI 2020 : 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago De Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings / edited by Giuseppe De Giacomo [and six others], 761-768, 2020
[DOI: 10.3233/FAIA200164]
Hofmann, Till (Corresponding author)
Niemüller, Tim Dieter
Lakemeyer, Gerhard
[Bericht]
The Carologistics RoboCup Logistics Team 2020, 2020
Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.
[Beitrag zu einem Tagungsband]
Constraint-based Plan Transformation in a Safe and Usable GOLOG Language
In: Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (IROS CobaRoP), 2 Seiten, 2020
Mataré, Victor
Schiffer, Stefan
Ferrein, Alexander Antoine
Viehmann, Tarik
Hofmann, Till
et al.
[Poster]
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
In: 17th International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18, 2020
Hofmann, Till
Lakemeyer, Gerhard
[Konferenzbeitrag]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: 20th Central European Conference on Cryptology Zagreb 2020-06-24 - 2020-06-26, 2020
Klinger, Andreas Gabriel
Wüller, Stefan
Traverso, Giulia
Meyer, Ulrike
[Bericht]
The Carologistics RoboCup Logistics Team 2019, 2019
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution
In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling / edited by J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, 754-763, 2019
Niemüller, Tim Dieter (Corresponding author)
Hofmann, Till (Corresponding author)
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]
Hofmann, Till (Corresponding author)
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
[Beitrag zu einem Tagungsband]
CLIPS-based Execution for PDDL Planners
In: Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten, 2018
Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard
[Bericht]
The Carologistics RoboCup Logistics Team 2018, 2018
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Schönitz, Sebastian
Niemüller, Tim Dieter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
In: The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553, 2018
Hofmann, Till
Mataré, Victor
Schiffer, Stefan
Alexander, Ferrein
Lakemeyer, Gerhard
[Beitrag zu einem Tagungsband]
A Logic for Specifying Metric Temporal Constraints for Golog Programs
In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46, 2018
Hofmann, Till
Lakemeyer, Gerhard
[Buchbeitrag, Beitrag zu einem Tagungsband]
Privacy-Preserving Trade Chain Detection
In: Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / Joaquin Garcia-Alfaro, Jordi Herrera-Joancomarti, Giovanni Livraga, Ruben Rios (eds.), 373-388, 2018
[DOI: 10.1007/978-3-030-00305-0_26]
Wüller, Stefan (Corresponding author)
Breuer, Malte
Meyer, Ulrike
Wetzel, Susanne
[Buchbeitrag, Beitrag zu einem Tagungsband]
Using Secure Graph Algorithms for the Privacy-Preserving Identification of Optimal Bartering Opportunities
In: [Proceedings of the Workshop on Privacy in the Electronic Society, WPES : 2017-10-30 - 2017-10-30, Dallas, Tex., USA], 123-132, 2017
[DOI: 10.1145/3139550.3139557]
Wüller, Stefan (Corresponding author)
Vu, Michael (Corresponding author)
Meyer, Ulrike (Corresponding author)
Wetzel, Susanne (Corresponding author)
[Fachzeitschriftenartikel]
Designing privacy-preserving interval operations based on homomorphic encryption and secret sharing techniques
In: Journal of computer security, 25 (1), 59-81, 2017
[DOI: 10.3233/JCS-16830]
Wüller, Stefan (Corresponding author)
Mayer, Daniel
Förg, Fabian
Schüppen, Samuel
Assadsolimani, Benjamin
et al.