A

Agnihotri, Pratyush ; Koldehofe, Boris ; Binnig, Carsten ; Luthra, Manisha (2023)
Zero-Shot Cost Models for Parallel Stream Processing.
6th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management (aiDM 2023). Seattle, USA (18.06.23)
doi: 10.1145/3593078.3593934
Conference or Workshop Item

Aghashahi, Somayeh ; Aghashahi, Samaneh ; Zeinalpour-Yazdi, Zolfa ; Tadaion, Aliakbar ; Asadi, Arash (2023)
Stochastic Modeling of Beam Management in mmWave Vehicular Networks.
In: IEEE Transactions on Mobile Computing, 22 (6)
doi: 10.1109/tmc.2021.3138449
Article

Al-Khatib, Khalid ; de Waard, Anita ; Freitag, Dayne ; Gurevych, Iryna ; Hou, Yufang ; Scells, Harrisen (2023)
Towards a Unified Model of Scholarly Argumentation.
In: Dagstuhl Reports, 12 (10)
doi: 10.4230/DagRep.12.10.175
Article

Altmann, Sebastian ; Abello Mercado, Mario A. ; Ucar, Felix A. ; Kronfeld, Andrea ; Al-Nawas, Bilal ; Mukhopadhyay, Anirban ; Booz, Christian ; Brockmann, Marc A. ; Othman, Ahmed E. (2023)
Ultra-High-Resolution CT of the Head and Neck with Deep Learning Reconstruction—Assessment of Image Quality and Radiation Exposure and Intraindividual Comparison with Normal-Resolution CT.
In: Diagnostics, 13 (9)
doi: 10.3390/diagnostics13091534
Article

Abu Haila, Tarek ; Tausch, Reimar ; Ritz, Martin ; Santos, Pedro ; Fellner, Dieter W. (2023)
A cross-polarization as a possible cause for color shift in illumination.
In: Electronic Imaging, 35 (15)
doi: 10.2352/EI.2023.35.15.COLOR-192
Article

Altmann, Sebastian ; Abello Mercado, Mario A. ; Ucar, Felix A. ; Kronfeld, Andrea ; Al-Nawas, Bilal ; Mukhopadhyay, Anirban ; Booz, Christian ; Brockmann, Marc A. ; Othman, Ahmed E. (2023)
Ultra-High-Resolution CT of the Head and Neck with Deep Learning Reconstruction — Assessment of Image Quality and Radiation Exposure and Intraindividual Comparison with Normal-Resolution CT.
In: Diagnostics, 2023, 13 (9)
doi: 10.26083/tuprints-00023792
Article, Secondary publication, Publisher's Version

Agnihotri, Pratyush ; Luthra, Manisha ; Rodriguez, Miguel ; Koldehofe, Boris (2022)
IoT-Opt: The Swiss Army Knife to Model and Validate the Performance of IoT Products.
23rd International Middleware Conference. Quebec City, Canada (07.-11.11.2022)
doi: 10.1145/3565386.3565490
Conference or Workshop Item

Abu Haila, Tarek ; Tausch, Reimar ; Ritz, Martin ; Santos, Pedro ; Fellner, Dieter (2022)
Effect of Polarization on RGB Imaging and Color Accuracy/Fidelity.
30th Color and Imaging Conference. Scottsdale, USA (13.-17.11.2022)
doi: 10.2352/CIC.2022.30.1.30
Conference or Workshop Item

Alexopoulos, Nikolaos ; Brack, Manuel ; Wagner, Jan Philipp ; Grube, Tim ; Mühlhäuser, Max (2022)
How Long Do Vulnerabilities Live in the Code? A Large-Scale Empirical Measurement Study on FOSS Vulnerability Lifetimes.
31st USENIX Security Symposium (USENIX Security 22). Boston, USA (10.-12.08.2022)
Conference or Workshop Item

Agnihotri, Pratyush ; Koldehofe, Boris ; Binnig, Carsten ; Luthra, Manisha (2022)
PANDA: performance Prediction for Parallel and dynamic Stream Processing.
16th ACM International Conference on Distributed and Event-Based Systems. Copenhagen, Denmark (27.-30.06.2022)
doi: 10.1145/3524860.3543281
Conference or Workshop Item

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
eds.: Ali, Karim ; Vitek, Jan (2022)
Functional Programming for Distributed Systems with XC.
36th European Conference on Object-Oriented Programming. Berlin, Germany (06.-10.06.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.20
Conference or Workshop Item

Alkeilani Alkadri, Nabil (2022)
On Lattice-Based Signatures with Advanced Functionalities.
Technische Universität
doi: 10.26083/tuprints-00020793
Ph.D. Thesis, Primary publication, Publisher's Version

Avarikioti, Zeta ; Litos, Orfeas Stefanos Thyfronitis (2022)
Suborn Channels: Incentives Against Timelock Bribes.
26th International Conference of Financial Cryptography. Grenada (02.–06.05.2022)
doi: 10.1007/978-3-031-18283-9_24
Conference or Workshop Item

Alexopoulos, Nikolaos (2022)
New Approaches to Software Security Metrics and Measurements.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021520
Ph.D. Thesis, Primary publication, Publisher's Version

Anagnostopoulos, Nikolaos Athanasios (2022)
Practical Lightweight Security: Physical Unclonable Functions and the Internet of Things.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021494
Ph.D. Thesis, Primary publication, Publisher's Version

Araslanov, Nikita (2022)
Deep Visual Parsing with Limited Supervision.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022514
Ph.D. Thesis, Primary publication, Publisher's Version

Abdulsamad, Hany (2022)
Statistical Machine Learning for Modeling and Control of Stochastic Structured Systems.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022573
Ph.D. Thesis, Primary publication, Publisher's Version

Akrour, Riad ; Pajarinen, Joni ; Peters, Jan ; Neumann, Gerhard (2022)
Projections for Approximate Policy Iteration Algorithms.
36th International Conference on Machine Learning. Long Beach, California, USA (09.-15.06.2019)
doi: 10.26083/tuprints-00020582
Conference or Workshop Item, Secondary publication, Publisher's Version

Arenz, Oleg ; Zhong, Mingjun ; Neumann, Gerhard (2022)
Trust-Region Variational Inference with Gaussian Mixture Models.
In: Journal of Machine Learning Research, 21
doi: 10.26083/tuprints-00022920
Article, Secondary publication, Publisher's Version

Abi-Farraj, Firas ; Pacchierotti, Claudio ; Arenz, Oleg ; Neumann, Gerhard ; Giordano, Paolo Robuffo (2022)
A Haptic Shared-Control Architecture for Guided Multi-Target Robotic Grasping.
In: IEEE Transactions on Haptics, 13 (2)
doi: 10.26083/tuprints-00022928
Article, Secondary publication, Postprint

Arenz, Oleg ; Abdulsamad, Hany ; Neumann, Gerhard (2022)
Optimal Control and Inverse Optimal Control by Distribution Matching.
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Daejeon, Korea (09.-14.10.2016)
doi: 10.26083/tuprints-00022929
Conference or Workshop Item, Secondary publication, Postprint

Arenz, Oleg (2022)
Monte Carlo Chess.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022930
Bachelor Thesis, Secondary publication, Publisher's Version

Arenz, Oleg ; Neumann, Gerhard ; Zhong, Mingjun (2022)
Efficient Gradient-Free Variational Inference using Policy Search.
35th International Conference on Machine Learning (ICML 2018). Stockholm, Sweden (10.-15.07.2018)
doi: 10.26083/tuprints-00022925
Conference or Workshop Item, Secondary publication, Publisher's Version

Auda, Jonas ; Gruenefeld, Uwe ; Kosch, Thomas ; Schneegass, Stefan (2022)
The Butterfly Effect: Novel Opportunities for Steady-State Visually-Evoked Potential Stimuli in Virtual Reality.
Kashiwa, Chiba, Japan
doi: 10.1145/3519391.3519397
Conference or Workshop Item

Almon, Lars ; Krause, Arno ; Fietze, Oliver ; Hollick, Matthias (2021)
Desynchronization and MitM Attacks Against Neighbor Awareness Networking Using OpenNAN.
19th ACM International Symposium on Mobility Management and Wireless Access (MobiWac’21). virtual Conference (22.-26.11.2021)
doi: 10.1145/3479241.3486689
Conference or Workshop Item

Ansell, Alan ; Edoardo, Maria Ponti ; Pfeiffer, Jonas ; Ruder, Sebastian ; Glavaš, Goran ; Vulić, Ivan ; Korhonen, Anna (2021)
MAD-G: Multilingual Adapter Generation for Efficient Cross-Lingual Transfer.
Conference on Empirical Methods in Natural Language Processing (EMNLP 2021). Punta Cana, Dominican Republic (07.-11.11.2021)
Conference or Workshop Item

Arzt, Peter ; Fischler, Yannic ; Lehr, Jan-Patrick ; Bischof, Christian
eds.: Sousa, Leonel ; Roma, Nuno ; Tomás, Pedro (2021)
Automatic Low-Overhead Load-Imbalance Detection in MPI Applications.
Euro-Par 2021: Parallel Processing. Virtual (Lisbon) (September 1–3, 2021)
doi: 10.1007/978-3-030-85665-6_2
Conference or Workshop Item

Alexopoulos, Nikolaos ; Meneely, Andy ; Arnouts, Dorian ; Mühlhäuser, Max (2021)
Who are Vulnerability Reporters? A Large-scale Empirical Study on FLOSS.
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM '21). virtual conference (Mon 11 - Fri 15 October 2021)
doi: 10.1145/3475716.3475783
Conference or Workshop Item

Agrawal, Shweta ; Maitra, Monosij ; Vempati, Narasimha Sai ; Yamada, Shota
eds.: Malkin, Tal ; Peikert, Chris (2021)
Functional Encryption for Turing Machines with Dynamic Bounded Collusion from LWE.
41st Annual International Cryptology Conference (CRYPTO 2021). virtual Conference (16.-20.08.2021)
doi: 10.1007/978-3-030-84259-8_9
Conference or Workshop Item

Abels, Patrick ; Ahmadi, Zahra ; Burkhardt, Sophie ; Schiller, Benjamin ; Gurevych, Iryna ; Kramer, Stefan (2021)
Focusing Knowledge-based Graph Argument Mining via Topic Modeling.
12th IEEE International Conference on Big Knowledge (ICBK 2021). Auckland, New Zealand (07.-08.12.2021)
Conference or Workshop Item

Arzt, Steven ; Poller, Andreas ; Vallejo, Gisela (2021)
Tracing Contacts With Mobile Phones to Curb the Pandemic:Topics and Stances in People’s Online Comments About the Official German Contact-Tracing App.
2021 CHI Conference on Human Factors in Computing Systems. virtual Conference (08.-13.05.2021)
doi: 10.1145/3411763.3451631
Conference or Workshop Item

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
eds.: Guerra, Esther ; Stoelinga, Marielle (2021)
Certified Abstract Cost Analysis.
24th International Conference of the European Joint Conferences on Theory and Practice of Software. virtual Conference (27.03.-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Conference or Workshop Item

Altenhofen, Christian ; Ewald, Tobias ; Stork, Andre ; Fellner, Dieter W. (2021)
Analyzing and Improving the Parameterization Quality of Catmull–Clark Solids for Isogeometric Analysis.
In: IEEE Computer Graphics and Applications, 41 (3)
doi: 10.1109/MCG.2021.3057905
Article

Arenz, Julian Oleg (2021)
Sample-Efficient I-Projections for Robot Learning.
Technische Universität
doi: 10.12921/tuprints-00014271
Ph.D. Thesis, Primary publication, Publisher's Version

Altenhofen, Christian ; Ewald, Tobias ; Stork, Andre ; Fellner, Dieter W. (2021)
Analyzing and Improving the Parametrization Quality of Catmull-Clark Solids for Isogeometric Analysis.
In: IEEE Computer Graphics and Applications, (Early Access)
doi: 10.1109/MCG.2021.3057905
Article

Aumayr, Lukas ; Ersoy, Oguzhan ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash (2021)
Bitcoin-Compatible Virtual Channels.
42nd IEEE Symposium on Security and Privacy. virtual Conference (23.-27.05.2021)
Conference or Workshop Item

Altenhofen, Christian (2021)
Volumetric Subdivision for Efficient Integrated Modeling and Simulation.
Technische Universität
doi: 10.26083/tuprints-00014617
Ph.D. Thesis, Primary publication, Publisher's Version

Araslanov, Nikita ; Roth, Stefan (2021)
Self-supervised Augmentation Consistency for Adapting Semantic Segmentation.
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2021). virtual Conference (19.-25.06.2021)
doi: 10.1109/CVPR46437.2021.01513
Conference or Workshop Item

Alkeilani Alkadri, Nabil ; Harasser, Patrick ; Janson, Christian (2021)
BlindOR: An Efficient Lattice-Based Blind Signature Scheme from OR-Proofs.
20th International Conference on Cryptology and Network Security (CANS 2021). Vienna, Austria (13.-15.12.2021)
Conference or Workshop Item

Araslanov, Nikita ; Schaub-Meyer, Simone ; Roth, Stefan
eds.: Ranzato, Marc'Aurelio ; Beygelzimer, Alina ; Dauphin, Yann N. ; Liang, Percy ; Vaughan, Jennifer Wortman (2021)
Dense Unsupervised Learning for Video Segmentation.
(6.12. - 14.12.2021)
Conference or Workshop Item

Araneta, Marianne Grace ; Eryigit, Gülsen ; König, Alexander ; Lee, Ji-Ung ; Luis, Ana ; Lyding, Verena ; Nicolas, Lionel ; Rodosthenous, Christos ; Sangati, Federico (2020)
Substituto - A Synchronous Educational Language Game for Simultaneous Teaching and Crowdsourcing.
(25.11.2020)
doi: 10.3384/ecp201759
Conference or Workshop Item

Abanto-Leon, Luis F. ; Bäuml, Andreas ; Sim, Gek Hong ; Hollick, Matthias ; Asadi, Arash (2020)
Stay Connected, Leave no Trace: Enhancing Security and Privacy in WiFi via Obfuscating Radiometric Fingerprints.
In: Proceedings of the ACM on Measurement and Analysis of Computing Systems, 4 (3)
doi: 10.1145/3428329
Article

Auda, Jonas ; Heger, Roman ; Kosch, Thomas ; Gruenefeld, Uwe ; Schneegass, Stefan (2020)
EasyEG: A 3D-printable Brain-Computer Interface.
33rd Annual ACM Symposium on User Interface Software and Technology. virtual Conference (20.-23.10.2020)
doi: 10.1145/3379350.3416189
Conference or Workshop Item

Alexopoulos, Nikolaos ; Habib, Sheikh Mahbub ; Schulz, Steffen ; Mühlhäuser, Max (2020)
The Tip of the Iceberg: On the Merits of Finding Security Bugs.
In: ACM Transactions on Privacy and Security, 24 (1)
doi: 10.1145/3406112
Article

Avarikioti, Zeta ; Thyfronitis Litos, Orfeas Stefanos ; Wattenhofer, Roger (2020)
Cerberus Channels: Incentivizing Watchtowers for Bitcoin.
24th International Conference on Financial Cryptography and Data Security. Kota Kinabalu, Malaysia (10.-14.02.2020)
doi: 10.1007/978-3-030-51280-4_19
Conference or Workshop Item

Asada, M. ; Stryk, Oskar von (2020)
Scientific and technological challenges in RoboCup.
In: Annual Review of Control, Robotics, and Autonomous Systems, 3
doi: 10.1146/annurev-control-100719-064806
Article

Alhassan, Masaud Y. ; Günther, Daniel ; Kiss, Ágnes ; Schneider, Thomas (2020)
Efficient and Scalable Universal Circuits.
In: Journal of Cryptology (JoC)
doi: 10.1007/s00145-020-09346-z
Article

Agrawal, Shweta ; Libert, Benoit ; Maitra, Monosij ; Titiu, Radu (2020)
Adaptive simulation security for inner product functional encryption.
23rd IACR International Conference on Practice and Theory of Public-Key Cryptography(PKC 2020). virtual Conference (01.-04.06.2020)
doi: 10.1007/978-3-030-45374-9_2
Conference or Workshop Item

Alexopoulos, Nikolaos ; Vasilomanolakis, Emmanouil ; Le Roux, Stephane ; Rowe, Steven ; Mühlhäuser, Max (2020)
TRIDEnT: Towards a Decentralized Threat Indicator Marketplace.
35th ACM/SIGAPP Symposium on Applied Computing (SAC'20). virtual Conference (30.03.-03.04.)
doi: 10.1145/3341105.3374020
Conference or Workshop Item

Alkim, Erdem ; Barreto, Paulo S. L. M. ; Bindel, Nina ; Krämer, Juliane ; Longa, Patrick ; Ricardini, Jefferson E. (2020)
The Lattice-Based Digital Signature Scheme qTESLA.
18th International Conference on Applied Cryptography and Network Security (ACNS 2020). virtual Conference (19-22.10.2020)
Conference or Workshop Item

Alber, Gernot ; Sauer, Alexander (2020)
Quantum Bounds on Detector Efficiencies for Violating Bell Inequalities Using Semidefinite Programming.
In: Cryptography, 4 (1)
doi: 10.3390/cryptography4010002
Article

Alkeilani Alkadri, Nabil ; Bansarkhani, Rachid El ; Buchmann, Johannes (2020)
BLAZE: Practical Lattice-Based Blind Signatures for Privacy-Preserving Applications.
24th International Conference on Financial Cryptography and Data Security (FC'20). Kota Kinabalu, Malaysia (10.-14.02.)
Conference or Workshop Item

Alkeilani Alkadri, Nabil ; Bansarkhani, Rachid El ; Buchmann, Johannes (2020)
On Lattice-Based Interactive Protocols: An Approach with Less or No Aborts.
The 25th Australasian Conference on Information Security and Privacy (ACISP'20). Perth, Australia (30.11.-02.12.)
Conference or Workshop Item

Acar, Abbas ; Fereidooni, Hossein ; Abera, Tigist ; Sikder, Amit Kumsr ; Miettinen, Markus ; Aksu, Hidayet ; Conti, Mauro ; Sadeghi, Ahmad-Reza (2020)
Peek-a-Boo: I see your smart home activities, even encrypted!
WiSec 2020: 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks. virtual Conference (July 08.-10., 2020)
Conference or Workshop Item

Alkeilani Alkadri, Nabil ; Das, Poulami ; Erwig, Andreas ; Faust, Sebastian ; Krämer, Juliane ; Riahi, Siavash ; Struck, Patrick (2020)
Deterministic Wallets in a Quantum World.
The 27th ACM Conference on Computer and Communications Security (CCS 2020). virtual Conference (09.-13.11.)
Conference or Workshop Item

Adepu, Sridhar ; Brasser, Ferdinand ; Garcia, Luis ; Rodler, Michael ; Davi, Lucas ; Sadeghi, Ahmad-Reza ; Zonouz, Saman A. (2020)
Control Behavior Integrity for Distributed Cyber-Physical Systems.
11th International Conference on Cyber-Physical Systems (ICCPS). Sydney, Australia (22.-24. April, 2020)
doi: 10.1109/ICCPS48487.2020.00011
Conference or Workshop Item

Abanto-Leon, Luis F. ; Hollick, Matthias ; Sim, Gek Hong (2019)
Hybrid Precoding for Multi-Group Multicasting in mmWave Systems.
2019 IEEE Global Communications Conference (GLOBECOM). Waikoloa, HI, USA (9-13 Dec. 2019)
Conference or Workshop Item

Alhindi, Tariq ; Pfeiffer, Jonas ; Muresan, Smaranda (2019)
Fine-Tuned Neural Models for Propaganda Detection at the Sentence and Fragment levels.
EMNLP-IJCNLP 2019. Hong Kong, China (03.11.2019--07.11.2019)
Conference or Workshop Item

Alexopoulos, Nikolaos ; Egert, Rolf ; Grube, Tim ; Mühlhäuser, Max
eds.: Cavallaro, Lorenzo ; Kinder, Johannes ; Wang, XiaoFeng ; Katz, Jonathan (2019)
Poster: Towards Automated Quantitative Analysis and Forecasting of Vulnerability Discoveries in Debian GNU/Linux.
ACM SIGSAC Conference on Computer and Communications Security, CCS 2019. London, UK (November 11-15, 2019)
doi: 10.1145/3319535.3363285
Conference or Workshop Item

Agrawal, Shweta ; Maitra, Monosij ; Yamada, Shota (2019)
Attribute Based Encryption for Deterministic Finite Automata from DLIN.
17th International Confernce on Theory of Cryptography Conference (TCC 2019). Nuremberg, Germany (01.-05.12.2019)
doi: 10.1007/978-3-030-36033-7_4
Conference or Workshop Item

Agrawal, Shweta ; Maitra, Monosij ; Yamada, Shota (2019)
Attribute based encryption (and more) for nondeterministic finite automata from LWE.
39th Annual International Cryptology Conference (CRYPTO 2019). Santa Barbara, USA (18.-22.08.2019)
doi: 10.1007/978-3-030-26951-7_26
Conference or Workshop Item

Amit, Samanta ; Lei, Jiao ; Mühlhäuser, Max ; Lin, Wang (2019)
Incentivizing Microservices for Online Resource Sharing in Edge Clouds.
IEEE 39th International Conference on Distributed Computing Systems (ICDCS). Dallas, TX (07.07-10.07.19)
doi: 10.1109/ICDCS.2019.00049
Conference or Workshop Item

Araslanov, Nikita ; Rothkopf, Constantin ; Roth, Stefan (2019)
Actor-Critic Instance Segmentation.
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). Long Beach, CA, USA
Conference or Workshop Item

Alonso, Gustavo ; István, Zsolt ; Kara, Kaan ; Owaida, Muhsen ; Sidler, David (2019)
doppioDB 1.0: Machine Learning inside a Relational Engine.
In: Bulletin of the Technical Committee on Data Engineering, 42 (2)
Article

Alexopoulos, Nikolaos ; Vasilomanolakis, Emmanouil ; Le Roux, Stephane ; Rowe, Steven ; Mühlhäuser, Max (2019)
TRIDEnT: Building Decentralized Incentives for Collaborative Security.
Report

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien N. ; Mezini, Mira (2019)
Investigating Next Steps in Static API-Misuse Detection.
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). Montreal, QC, Canada (Sun 26 - Mon 27 May 2019)
Conference or Workshop Item

Alt, Bastian ; Weckesser, Markus ; Becker, Christian ; Hollick, Matthias ; Kar, Sounak ; Klose, Robin ; Kluge, Roland ; Koeppl, Heinz ; KhudaBukhsh, Wasiur R. ; Luthra, Manisha ; Mousavi, Mahdi ; Mühlhäuser, Max ; Pfannemüller, Martin ; Rizk, Amr ; Schürr, Andy ; Steinmetz, Ralf ; Klein, Anja (2019)
Transitions: A Protocol-Independent View of the Future Internet.
In: Proceedings of the IEEE, 107 (4)
doi: 10.1109/JPROC.2019.2895964
Article

Aschermann, Cornelius ; Frassetto, Tommaso ; Holz, Thorsten ; Jauernig, Patrick ; Sadeghi, Ahmad-Reza ; Teuchert, Daniel (2019)
Nautilus: Fishing for Deep Bugs with Grammars.
Conference or Workshop Item

Al Hajj, Hassan ; Lamard, Mathieu ; Conze, Pierre-Henri ; Roychowdhury, Soumali ; Hu, Xiaowei ; Maršalkaitė, Gabija ; Zisimopoulos, Odysseas ; Dedmari, Muneer Ahmad ; Zhao, Fenqiang ; Prellberg, Jonas ; Sahu, Manish ; Galdran, Adrian ; Araújo, Teresa ; Vo, Duc My ; Panda, Chandan ; Dahiya, Navdeep ; Kondo, Satoshi ; Bian, Zhengbing ; Vahdat, Arash ; Bialopetravičius, Jonas ; Flouty, Evangello ; Qiu, Chenhui ; Dill, Sabrina ; Mukhopadhyay, Anirban ; Costa, Pedro ; Aresta, Guilherme ; Ramamurthy, Senthil ; Lee, Sang-Woong ; Campilho, Aurélio ; Zachow, Stefan ; Xia, Shunren ; Conjeti, Sailesh ; Stoyanov, Danail ; Armaitis, Jogundas ; Heng, Pheng-Ann ; Macready, William G. ; Cochener, Béatrice ; Quellec, Gwenolé (2019)
CATARACTS: Challenge on automatic tool annotation for cataRACT surgery.
In: Medical Image Analysis, 52
doi: 10.1016/j.media.2018.11.008
Article

Abera, Tigist ; Bahmani, Raad ; Brasser, Ferdinand ; Ibrahim, Ahmad ; Sadeghi, Ahmad-Reza ; Schunter, Matthias (2019)
DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous System.
Conference or Workshop Item

Arul, Tolga ; Anagnostopoulos, Nikolaos Athanasios ; Katzenbeisser, Stefan (2019)
Privacy & Usability of IPTV Recommender Systems.
2019 IEEE International Conference on Consumer Electronics (ICCE) (2019 ICCE). Las Vegas, USA
doi: 10.1109/ICCE.2019.8662046
Conference or Workshop Item

Anagnostopoulos, Nikolaos Athanasios ; Arul, Tolga ; Fan, Yufan ; Kumar, Manish ; Katzenbeisser, Stefan (2019)
AR-PUFs: Advanced Security Primitives for the Internet of Things and Cyber-Physical Systems.
2019 IEEE International Conference on Consumer Electronics (ICCE). Las Vegas, USA (11.-13.01.)
doi: 10.1109/ICCE.2019.8661840
Conference or Workshop Item

Abrams, Jesse F. ; Vashishtha, Anand ; Wong, Seth T. ; Nguyen, An ; Mohamed, Azlan ; Wieser, Sebastian ; Kuijper, Arjan ; Wilting, Andreas ; Mukhopadhyay, Anirban (2019)
Habitat-Net: Segmentation of habitat images using deep learning.
In: Ecological Informatics, 51
doi: 10.1016/j.ecoinf.2019.01.009
Article

Aldehoff, Larissa ; Dankenbring, Meri ; Reuter, Christian (2019)
Renouncing Privacy in Crisis Management? People's View on Social Media Monitoring and Surveillance.
16th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2019). València, Spain (May 19 to 22, 2019)
Conference or Workshop Item

Almon, Lars ; Álvarez, Flor ; Kamp, Laurenz ; Hollick, Matthias (2019)
The King is Dead Long Live the King! Towards Systematic Performance Evaluation of Heterogeneous Bluetooth Mesh Networks in Real World Environments.
2019 IEEE 44nd Conference on Local Computer Networks (LCN). Osnabrück (14-17 Oktober 2019)
Conference or Workshop Item

André, Elisabeth ; Bayer, Sarah ; Benke, Ivo ; Benlian, Alexander ; Cummins, Nicholas ; Gimpel, Henner ; Hinz, Oliver ; Kersting, Kristian ; Maedche, Alexander ; Mühlhäuser, Max ; Riemann, Jan ; Schuller, Bjoern W. ; Weber, Klaus (2019)
Humane Anthropomorphic Agents: The Quest for the Outcome Measure.
International Conference on Information Systems (ICIS 2019). Munich, Germany (15.-18.12.2019)
Conference or Workshop Item

Alonso, Gustavo ; Binnig, Carsten ; Pandis, Ippokratis ; Salem, Kenneth ; Skrzypczak, Jan ; Stutsman, Ryan ; Thostrup, Lasse ; Wang, Tianzheng ; Wang, Zeke ; Ziegler, Tobias (2019)
DPI: The Data Processing Interface for Modern Networks.
9th Biennial Conference on Innovative Data Systems Research (CIDR 2019). Asilomar, USA (13.-16.01.2019)
Conference or Workshop Item

Araslanov, Nikita ; Rothkopf, Constantin A. ; Roth, Stefan (2019)
Actor-Critic Instance Segmentation.
IEEE Conference on Computer Vision and Pattern Recognition.
Conference or Workshop Item

Almon, Lars ; Álvarez, Flor ; Lieser, Patrick ; Meuser, Tobias ; Schaller, Fabian (2018)
Ad-Hoc-Kommunikation – Gesellschaftlich wünschenswert, rechtlich ungeregelt.
In: Die Fortentwicklung des Datenschutzes
doi: 10.1007/978-3-658-23727-1_5
Book Section

Akrour, R. ; Peters, J. ; Neuman, G. (2018)
Constraint-Space Projection Direct Policy Search.
European Workshops on Reinforcement Learning (EWRL). Lille, France
Conference or Workshop Item

Anagnostopoulos, Nikolaos Athanasios ; Arul, Tolga ; Fan, Yufan ; Lotichius, Jan ; Hatzfeld, Christian ; Fernandes, Felipe ; Sharma, Ratika ; Tehranipoor, Fatemeh ; Katzenbeisser, Stefan (2018)
Securing IoT Devices Using Robust DRAM PUFs.
2018 Global Information Infrastructure and Networking Symposium (GIIS'18). Thessaloniki, Greece (23.-25.10.)
doi: 10.1109/GIIS.2018.8635789
Conference or Workshop Item

Arul, Tolga ; Anagnostopoulos, Nikolaos A. ; Katzenbeisser, Stefan (2018)
Behavioral Workload Generation for IPTV.
2018 IEEE 8th International Conference on Consumer Electronics - Berlin (ICCE-Berlin) (ICCE-Berlin 2018). Berlin, Germany
doi: 10.1109/ICCE-Berlin.2018.8576230
Conference or Workshop Item

Aragon, Santiago ; Tiloca, Marco ; Maass, Max ; Hollick, Matthias ; Raza, Shahid (2018)
ACE of Spades in the IoT Security Game: A Flexible IPsec Security Profile for Access Control.
6th IEEE Conference on Communications and Network Security (CNS 2018). Beijing, China (30.05.-01.06.2018)
doi: 10.1109/CNS.2018.8433209
Conference or Workshop Item, Secondary publication

Anagnostopoulos, Nikolaos Athanasios ; Arul, Tolga ; Fan, Yufan ; Hatzfeld, Christian ; Tehranipoor, Fatemeh ; Katzenbeisser, Stefan (2018)
Addressing the Effects of Temperature Variations on Intrinsic Memory-Based Physical Unclonable Functions.
28th Crypto-Day. Kirchheim bei München, Germany (07.- 08.06.2018)
doi: 10.18420/cdm-2018-28-23
Conference or Workshop Item

Anagnostopoulos, Nikolaos A. ; Arul, Tolga ; Rosenstihl, Markus ; Schaller, André ; Gabmeyer, Sebastian ; Katzenbeisser, Stefan (2018)
Low-Temperature Data Remanence Attacks Against Intrinsic SRAM PUFs.
2018 Euromicro Conference on Digital System Design (DSD). Prague, Czech Republic
doi: 10.1109/DSD.2018.00102
Conference or Workshop Item

Albrecht, Martin R. ; Curtis, Benjamin R. ; Deo, Amit ; Davidson, Alex ; Player, Rachel ; Postlethwaite, Eamonn W. ; Virdia, Fernando ; Wunderer, Thomas (2018)
Estimate all the {LWE, NTRU} schemes!
11th Conference on Security and Cryptography for Networks. Amalfi, Italy
Conference or Workshop Item

Alexopoulos, Nikolaos ; Habib, Sheikh Mahbub ; Mühlhäuser, Max (2018)
Towards Secure Distributed Trust Management on a Global Scale.
IoT S&P’18: ACM SIGCOMM 2018 Workshop on IoT Security and Privacy. Budapest, Hungary (20.-25.08)
doi: 10.1145/3229565.3229569
Conference or Workshop Item

Anagnostopoulos, Nikolaos Athanasios ; Katzenbeisser, Stefan ; Chandy, John A. ; Tehranipoor, Fatemeh (2018)
An Overview of DRAM-Based Security Primitives.
In: Cryptography, 2 (7)
doi: 10.3390/cryptography2020007
Article

Ambrosin, Moreno ; Conti, Mauro ; Ibrahim, Ahmad ; Sadeghi, Ahmad-Reza ; Schunter, Matthias (2018)
SCIoT: A Secure and sCalable end-to-end management framework for IoT Devices.
23rd European Symposium on Research in Computer Security (ESORICS 2018). Barcelona, Spain (2018)
Conference or Workshop Item

Asokan, N. ; Nyman, Thomas ; Rattanavipanon, Norrathep ; Sadeghi, Ahmad-Reza ; Tsudik, Gene (2018)
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices.
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special Issue ESWEEK 2018, CASES 2018, CODES + ISSS 2018 and EMSOFT 2018
Article

Anagnostopoulos, Nikolaos Athanasios ; Arul, Tolga ; Fan, Yufan ; Hatzfeld, Christian ; Schaller, André ; Xiong, Wenjie ; Jain, Manishkumar ; Saleem, Umair ; Lotichius, Jan ; Gabmeyer, Sebastian ; Szefer, Jakub ; Katzenbeisser, Stefan (2018)
Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect for Run-Time Cryptography and Improved Security.
In: Cryptography, 2 (3)
doi: 10.3390/cryptography2030013
Article

Amann, Sven (2018)
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Technische Universität
Ph.D. Thesis, Primary publication

Amler, Hendrik (2018)
Evaluation of payment channel networks for micropayments.
TU Darmstadt
Master Thesis

Arnold, Thomas Otmar (2018)
Advanced Motif Analysis on Text Induced Graphs.
Technische Universität
Ph.D. Thesis, Primary publication

Asadi, Arash ; Sim, Gek Hong ; Hollick, Matthias ; Klein, Anja ; Müller, Sabrina (2018)
FML: Fast Machine Learning for 5G mmWave Vehicular Communications.
37th IEEE Conference on Computer Communications. Honolulu, USA (15.-19.4.2018)
doi: 10.1109/INFOCOM.2018.8485876
Conference or Workshop Item

Alhassan, Masaud Y. (2018)
Improving scalability of universal circuits for large-scale private function evaluation.
TU Darmstadt
Master Thesis

Alexopoulos, Nikolaos ; Habib, Sheikh Mahbub ; Schulz, Steffen ; Mühlhäuser, Max (2018)
M-STAR: A Modular, Evidence-based Software Trustworthiness Framework.
doi: 10.48550/arXiv.1801.05764
Report

Ahmad, Saad (2018)
Using Physical Unclonable Functions (PUFs) for Data-Link Layer Authenticity Verification to Mitigate Attacks on IEEE 802.11ad Beam Training.
TU Darmstadt
Master Thesis

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018)
A Systematic Evaluation of API-Misuse Detectors.
In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Article

Asokan, N. ; Nguyen, Thien Duc ; Tarkoma, Sasu ; Toivonen, Juhani ; Truong, Hien Thi Thu (2018)
Proximity Verification Based on Acoustic Room Impulse Response.
In: CoRR, abs/1803.07211
Article

Asokan, N. ; Gröndahl, Tommi ; Nguyen, Hoang Long ; Nguyen, Thien Duc ; Paverd, Andrew ; Pendyala, Praveen ; Sadeghi, Ahmad-Reza ; Stobert, Elizabeth ; Tamrakar, Sandeep (2018)
OmniShare: Encrypted Cloud Storage for the Multi-Device Era.
In: IEEE Internet Computing
doi: 10.1109/MIC.2018.182130646
Article

Asokan, N. ; Miettinen, Markus (2018)
Ad-Hoc Key Agreement: a Brief History and the Challenges Ahead.
In: Computer Communications
doi: 10.1016/j.comcom.2018.07.030
Article

Akrour, R. ; Veiga, F. ; Peters, J. ; Neuman, G. (2018)
Regularizing Reinforcement Learning with State Abstraction.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Conference or Workshop Item

Altenhofen, Christian ; Luu, Thu Huong ; Grasser, Tim ; Dennstädt, Marco ; Mueller-Roemer, Johannes ; Weber, Daniel ; Stork, André (2018)
Continuous Property Gradation for Multi-material 3D-printed Objects.
Annual International Solid Freeform Fabrication Symposium - An Additive Manufacturing Conference. Austin, TX, USA (2018)
Conference or Workshop Item

Agrawal, Shweta ; Maitra, Monosij (2018)
FE and iO for turing machines from minimal assumptions.
16th International Confernce on Theory of Cryptography Conference (TCC 2018). Panaji, India (11.-14.11.2018)
doi: 10.1007/978-3-030-03810-6_18
Conference or Workshop Item

Ay, Serafettin (2017)
Detecting WiFi Covert Channels.
Technische Universität
Master Thesis

Anagnostopoulos, Nikolaos Athanasios ; Gabmeyer, Sebastian ; Arul, Tolga ; Katzenbeisser, Stefan (2017)
An extensive classification and analysis of attacks against Physical Unclonable Functions (PUFs).
27th Crypto-Day. Frankfurt (Oder), Germany (7 - 8 December 2017)
doi: 10.13140/RG.2.2.25411.91689
Conference or Workshop Item

Albrecht, Martin ; Göpfert, Florian ; Vidria, Fernando ; Wunderer, Thomas (2017)
Revisiting the Expected Cost of Solving uSVP and Applications to LWE.
Conference or Workshop Item

Afridi, Hassaan Ali Khan (2017)
Investigating the relation between bugs and vulnerabilities in the Debian ecosystem.
Technische Universität
Master Thesis

Antonioli, Daniele ; Ghaeini, Hamid Reza ; Adepu, Sridhar ; Ochoa, Martin ; Tippenhauer, Nils Ole (2017)
Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3.
Dallas, Texas, USA
doi: 10.1145/3140241.3140253
Conference or Workshop Item

Alexopoulos, Nikolaos ; Vasilomanolakis, Emmanouil ; Ivanko, Natalia Reka ; Mühlhäuser, Max (2017)
Towards Blockchain-Based Collaborative Intrusion Detection Systems.
12th International Conference on Critical Information Infrastructures Security (CRITIS 2017). Lucca, Italy (08.-13.10 2017)
doi: 10.1007/978-3-319-99843-5_10
Conference or Workshop Item

Aroudj, Samir ; Seemann, Patrick ; Langguth, Fabian ; Guthe, Stefan ; Goesele, Michael (2017)
Visibility-Consistent Thin Surface Reconstruction Using Multi-Scale Kernels.
In: ACM Transactions on Graphics (Proceedings of SIGGRAPH Asia), 36 (6)
doi: 10.1145/3130800.3130851
Article

Arul, Tolga (2017)
Channel Switching-Triggered Charging for Pay-TV over IPTV.
Technische Universität
Ph.D. Thesis, Primary publication

Arias, Orlando ; Gens, David ; Jin, Yier ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza ; Sullivan, Dean (2017)
LAZARUS: Practical Side-channel Resilient Kernel-Space Randomization.
Conference or Workshop Item

Alexopoulos, Nikolaos ; Daubert, Jörg ; Mühlhäuser, Max ; Habib, Sheikh Mahbub (2017)
Beyond the Hype: On Using Blockchains in Trust Management for Authentication.
Sydney, Australia (1-4 August 2017)
doi: 10.1109/Trustcom/BigDataSE/ICESS.2017.283
Conference or Workshop Item

Alexopoulos, Nikolaos ; Kiayias, Aggelos ; Talviste, Riivo ; Zacharias, Thomas (2017)
MCMix: Anonymous Messaging via Secure Multiparty Computation.
Vancouver, BC, Canada (16-18 August 2018)
Conference or Workshop Item

Alexopoulos, Nikolaos ; Vasilomanolakis, Emmanouil ; Ivanko, Natalia Reka ; Frieß, Tamara ; Mühlhäuser, Max (2017)
TRIDEnT: Trustworthy collaboRative Intrusion DETection (POSTER).
26th USENIX Security Symposium. Vancouver, Canada (16.-18.08.2017)
Conference or Workshop Item

Atre, Rohit ; Jannesari, Ali ; Wolf, Felix (2017)
Meeting the challenges of parallelizing sequential programs.
Proceedinggs of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Washington, DC, USA.
doi: 10.1145/3087556.3087592
Conference or Workshop Item

Anagnostopoulos, Nikolaos Athanasios ; Schaller, André ; Fan, Yufan ; Xiong, Wenjie ; Tehranipoor, Fatemeh ; Arul, Tolga ; Gabmeyer, Sebastian ; Szefer, Jakub ; Chandy, John A. ; Katzenbeisser, Stefan (2017)
Insights into the Potential Usage of the Initial Values of DRAM Arrays of Commercial Off-the-Shelf Devices for Security Applications.
26th Crypto-Day. Nürnberg, Germany (01.-02.06.2017)
Conference or Workshop Item

Asharov, Gilad ; Demmler, Daniel ; Schapira, Michael ; Schneider, Thomas ; Segev, Gil ; Shenker, Scott ; Zohner, Michael (2017)
Privacy-Preserving Interdomain Routing at Internet Scale.
In: Proceedings on Privacy Enhancing Technologies (PoPETs), (3)
doi: 10.1515/popets-2017-0033
Article

Asharov, Gilad ; Lindell, Yehuda ; Schneider, Thomas ; Zohner, Michael (2017)
More Efficient Oblivious Transfer Extensions.
In: Journal of Cryptology (JoC), 30 (3)
doi: 10.1007/s00145-016-9236-6
Article

Alkeilani Alkadri, Nabil ; Buchmann, Johannes ; Bansarkhani, Rachid El ; Krämer, Juliane (2017)
A Framework to Select Parameters for Lattice-Based Cryptography.
In: Cryptology ePrint Archive, 2017 (615)
Article

Asadi, Arash ; Mancuso, Vincenzo ; Gupta, Rohit (2017)
DORE: An Experimental Framework to Enable Outband D2D Relay in Cellular Networks.
In: IEEE/ACM Transactions on Networking, 25 (5)
doi: 10.1109/TNET.2017.2712285
Article

Alkim, Erdem ; Bindel, Nina ; Buchmann, Johannes ; Dagdelen, Özgür ; Eaton, Edward ; Gutoski, Gus ; Krämer, Juliane ; Pawlega, Filip (2017)
Revisiting TESLA in the quantum random oracle model.
Utrecht, the Netherlands
Conference or Workshop Item

Alexopoulos, Nikolaos (2017)
Student Research Abstract: On Enhancing Trust in Cryptographic Solutions.
Marrakech, Morocco (3-6 April 2017)
doi: 10.1145/3019612.3019921
Conference or Workshop Item

Abualhaija, Sallam ; Miller, Tristan ; Eckle-Kohler, Judith ; Gurevych, Iryna ; Zimmermann, Karl-Heinz (2017)
Metaheuristic Approaches to Lexical Substitution and Simplification.
Valencia, Spain
Conference or Workshop Item

Arnold, Thomas ; Daxenberger, Johannes ; Weihe, Karsten ; Gurevych, Iryna (2017)
Is Interaction More Important Than Individual Performance? A Study of Motifs in Wikia.
Perth, Australia
Conference or Workshop Item

Amend, Sandra C. (2017)
Predicting Execution Time of GPU Kernels using automatic Performance Models.
TU Darmstadt
Master Thesis

Arazy, Ofer ; Lifshitz-Assaf, Hila ; Nov, Oded ; Daxenberger, Johannes ; Balestra, Martina ; Cheshire, Coye (2017)
On the "How" and "Why" of Emergent Role Behaviors in Wikipedia.
Portland, OR, USA
Conference or Workshop Item

Arzt, Steven (2017)
Static Data Flow Analysis for Android Applications.
Technische Universität
Ph.D. Thesis, Primary publication

Ali, Azad (2017)
Fault-Tolerant Spatio-Temporal Compression Scheme for Wireless Sensor Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Abdulsamad, H. ; Arenz, O. ; Peters, J. ; Neumann, G. (2017)
State-Regularized Policy Search for Linearized Dynamical Systems.
Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS).
Conference or Workshop Item

Akrour, R. ; Sorokin, D. ; Peters, J. ; Neumann, G. (2017)
Local Bayesian Optimization of Motor Skills.
Proceedings of the International Conference on Machine Learning (ICML).
Conference or Workshop Item

Altenhofen, Christian ; Loosmann, Felix ; Mueller-Roemer, Johannes ; Grasser, Tim ; Luu, Thu Huong ; Stork, André (2017)
Integrating Interactive Design and Simulation for Mass Customized 3D-Printed Objects - A Cup Holder Example.
28th Annual International Solid Freeform Fabrication Symposium - An Additive Manufacturing Conference. Austin, USA (August 7-9, 2017)
Conference or Workshop Item

Altenhofen, Christian ; Schuwirth, Felix ; Stork, André ; Fellner, Dieter W. (2017)
Implicit Mesh Generation Using Volumetric Subdivision.
VRIPHYS 17: 13th Workshop in Virtual Reality Interactions and Physical Simulations. Lyon, France (April 23.-24., 2017)
doi: 10.2312/vriphys.20171079
Conference or Workshop Item

Andrienko, Gennady ; Andrienko, Natalia ; Budziak, Guido ; Dykes, Jason ; Fuchs, Georg ; Landesberger von Antburg, Tatiana ; Weber, Hendrik (2017)
Visual analysis of pressure in football.
In: Data Mining and Knowledge Discovery, 31 (6)
doi: 10.1007/s10618-017-0513-2
Article

Altenhofen, Christian ; Schuwirth, Felix ; Stork, André ; Fellner, Dieter (2017)
Volumetric subdivision for consistent implicit mesh generation.
In: Computers & Graphics, 69
doi: 10.1016/j.cag.2017.09.005
Article

Arazy, Ofer ; Daxenberger, Johannes ; Lifshitz-Assaf, Hila ; Nov, Oded ; Gurevych, Iryna (2016)
Turbulent Stability of Emergent Roles: The Dualistic Nature of Self-Organizing Knowledge Co-Production.
In: Information Systems Research, 27 (4)
Article

Asadi, Arash ; Mancuso, Vincenzo (2016)
Network-assisted Outband D2D-clustering in 5G Cellular Networks: Theory and Practice.
In: IEEE Transactions on mobile computing, 16 (8)
doi: 10.1109/TMC.2016.2621041
Article

Arenz, O. ; Abdulsamad, H. ; Neumann, G. (2016)
Optimal Control and Inverse Optimal Control by Distribution Matching.
International Conference on Intelligent Robots and Systems (IROS'16). Daejeon, Republik of Korea (09.-14.10.2016)
Conference or Workshop Item

Abera, Tigist ; Asokan, N. ; Davi, Lucas ; Ekberg, Jan-Erik ; Nyman, Thomas ; Paverd, Andrew ; Sadeghi, Ahmad-Reza ; Tsudik, Gene (2016)
C-FLAT: Control-Flow Attestation for Embedded Systems Software.
Conference or Workshop Item

Abel, Andrea ; Meyer, Christian M.
eds.: Klosa, Annette ; Müller-Spitzer, Carolin (2016)
Nutzerbeteiligung.
In: Internetlexikografie. Ein Kompendium
doi: 10.1515/9783050095615-009
Book Section

Appel, Michael ; Pauer, Christof ; Wiesmaier, Alexander (2016)
Security aspects and comparison of block ciphers LED and TEA.
Report

Appel, Michael ; Bossert, Andreas ; Cooper, Steven ; Kußmaul, Tobias ; Löffler, Johannes ; Pauer, Christof ; Wiesmaier, Alexander (2016)
Block ciphers for the IoT - SIMON, SPECK, KATAN, LED, TEA, PRESENT, and SEA compared.
Report

Andrienko, Gennady ; Andrienko, Natalia ; Budziak, Guido ; Landesberger von Antburg, Tatiana ; Weber, Hendrik (2016)
Coordinate Transformations for Characterization and Cluster Analysis of Spatial Configurations in Football.
European Conference, ECML PKDD 2016. Riva del Garda, Italy (September 19-23)
doi: 10.1007/978-3-319-46131-1_6
Conference or Workshop Item

Anagnostopoulos, Nikolaos Athanasios ; Katzenbeisser, Stefan ; Rosenstihl, Markus ; Schaller, André ; Gabmeyer, Sebastian ; Arul, Tolga (2016)
Low-temperature data remanence attacks against intrinsic SRAM PUFs.
Report

Asadi, Arash ; Mancuso, Vincenzo ; Gupta, Rohit (2016)
An SDR-based Experimental Study of Outband D2D Communications.
35th Annual IEEE International Conference on Computer Communications. San Francisco, USA (10.-14.04.2016)
doi: 10.1109/INFOCOM.2016.7524372
Conference or Workshop Item

Ambrosin, Moreno ; Conti, Mauro ; Ibrahim, Ahmad ; Neven, Gregory ; Sadeghi, Ahmad-Reza ; Schunter, Matthias (2016)
POSTER: Toward a Secure and Scalable Attestation.
Conference or Workshop Item

Abera, Tigist ; Asokan, N. ; Davi, Lucas ; Koushanfar, Farinaz ; Praverd, Andrew ; Tsudik, Gene ; Sadeghi, Ahmad-Reza (2016)
Things, Trouble, Trust: On Building Trust in IoT Systems.
Conference or Workshop Item

Arazy, Ofer ; Daxenberger, Johannes ; Lifshitz-Assaf, Hila ; Nov, Oded ; Gurevych, Iryna (2016)
Emergent Roles in Self-Organizing Knowledge Co-Production: Turbulence and Stability.
2017 Collective Intelligence Conference. New York, NY, USA
Conference or Workshop Item

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah (2016)
FeedBaG: An Interaction Tracker for Visual Studio.
International Conference on Program Comprehension. Austin, Texas, USA (May 16–17, 2016)
Conference or Workshop Item

Akleylek, Sedat ; Bindel, Nina ; Buchmann, Johannes ; Krämer, Juliane ; Marson, Giorgia Azzurra (2016)
An Efficient Lattice-Based Signature Scheme with Provably Secure Instantiation.
Fes, Morocco
Conference or Workshop Item

Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016)
MUBench: A Benchmark for API-Misuse Detectors.
13th International Conference on Mining Software Repositories. Austin, Texas, USA (May 14–15, 2016)
Conference or Workshop Item

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016)
A Study of Visual Studio Usage in Practice.
23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. Osaka, Japan (14-18 March 2016)
Conference or Workshop Item

Akleylek, Sedat ; Dagdelen, Özgür ; Tok, Zaliha Yüce (2016)
On the Efficiency of Polynomial Multiplication for Lattice-Based Cryptography on GPUs Using CUDA.
Koper, Slovenia
Conference or Workshop Item

Appel, Michael ; Pauer, Christof ; Wiesmaier, Alexander (2016)
Sicherheitsaspekte und Vergleich der Blockchifren LED und TEA.
Report

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, German ; Roman-Diez, Guillermo (2016)
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0476-y
Article

Alagic, Gorjan ; Broadbent, Anne ; Fefferman, Bill ; Gagliardoni, Tommaso ; Schaffner, Christian ; Jules, Michael St. (2016)
Computational Security of Quantum Encryption.
In: Information Theoretic Security : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016
Book Section

Arnold, Thomas ; Weihe, Karsten (2016)
Network Motifs May Improve Quality Assessment of Text Documents.
Conference or Workshop Item

Andrychowicz, Marcin ; Dziembowski, Stefan ; Faust, Sebastian (2016)
Circuit Compilers with O(1/log (n)) Leakage Rate.
Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II.
doi: 10.1007/978-3-662-49896-5_21
Conference or Workshop Item

Andrychowicz, Marcin ; Dziembowski, Stefan ; Faust, Sebastian (2016)
Circuit Compilers with O(1/ log(n)) Leakage Rate.
In: IACR Cryptology ePrint Archive, 2016
Article

Abdolmaleki, A. ; Lau, N. ; Reis, L. ; Peters, J. ; Neumann, G. (2016)
Contextual Policy Search for Linear and Nonlinear Generalization of a Humanoid Walking Controller.
In: Journal of Intelligent & Robotic Systems, 83 (3-4)
Article

Akrour, R. ; Abdolmaleki, A. ; Abdulsamad, H. ; Neumann, G. (2016)
Model-Free Trajectory Optimization for Reinforcement Learning.
Conference or Workshop Item

Azad, M. ; Ortenzi, V. ; Lin, C. ; Rueckert, E. ; Mistry, M. (2016)
Model Estimation and Control of Complaint Contact Normal Force.
Conference or Workshop Item

Altenhofen, Christian ; Dietrich, Andreas ; Stork, André ; Fellner, Dieter W. (2016)
Rixels: Towards Secure Interactive 3D Graphics in Engineering Clouds.
In: The IPSI BgD Transactions on Internet Research, 12 (1)
Article

Arul, Tolga ; Shoufan, Abdulhadi (2016)
Subscription-free Pay-TV over IPTV.
In: Journal of Systems Architecture, 64
doi: 10.1016/j.sysarc.2015.12.001
Article

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
eds.: Meyer, Bertrand ; Nordio, Martin (2015)
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014
Book Section

Asokan, N. ; Brasser, Ferdinand ; Ibrahim, Ahmad ; Sadeghi, Ahmad-Reza ; Schunter, Matthias ; Tsudik, Gene ; Wachsmann, Christian (2015)
SEDA: Scalable Embedded Device Attestation.
Conference or Workshop Item

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015)
Towards Secure Integration of Cryptographic Software.
OOPSLA Onward!. Piitsburgh (25.10.2015)
Conference or Workshop Item

Al-Hadhrami, Nasser ; Aziz, Benjamin ; Sardesai, Shantanu ; Othmane, Lotfi Ben (2015)
Incremental Development of RBAC-controlled E-marking System Using the B Method.
Conference or Workshop Item

Asokan, N. ; Brasser, Ferdinand ; Ibrahim, Ahmad ; Sadeghi, Ahmad-Reza ; Schunter, Matthias ; Tsudik, Gene ; Wachsmann, Christian (2015)
SEDA - Technical Report.
Report

Alkim, Erdem ; Bindel, Nina ; Buchmann, Johannes ; Dagdelen, Özgür ; Schwabe, Peter (2015)
TESLA: Tightly-Secure Efficient Signatures from Standard Lattices.
In: Cryptology ePrints Archive, 2015 (755)
Article

Arzt, Steven ; Rasthofer, Siegfried ; Hahn, Robert ; Bodden, Eric (2015)
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis.
4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. Portland, USA (14.06.2015)
Conference or Workshop Item

Amin, Osama (2015)
Implementation and Evaluation of PUF based Cryptographic Key Generation Schemes on FPGA.
Technische Universität
Master Thesis

Arias, Orlando ; Davi, Lucas ; Hanreich, Matthias ; Jin, Yier ; Koeberl, Patrick ; Paul, Debayan ; Sadeghi, Ahmad-Reza ; Sullivan, Dean (2015)
HAFIX: Hardware-Assisted Flow Integrity Extension.
Conference or Workshop Item

Allouis, E. ; Marc, R. ; Gancet, J. ; Nevatia, Y. ; Sonsalla, R. U. ; Fritsche, M. ; Machowinski, J. ; Vogele, T. ; Lewinger, W. ; Yeomans, B. ; Saaj, C. ; Gao, Y. ; Delfa, Juan ; Weclewski, P. ; Skocki, K. ; Imhof, B. ; Ransom, S. ; Richter, L. (2015)
FP7 FASTER project - Demonstration of Multi-platform Operation for Safer Planetary Traverses.
Conference or Workshop Item

Avdiienko, Vitalii ; Kuznetsov, Konstantin ; Gorla, Alessandra ; Zeller, Andreas ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2015)
Mining Apps for Abnormal Usage of Sensitive Data.
Conference or Workshop Item

Arabadzhieva, Vladislava (2015)
Privacy Taxonomy for Verifiable Poll-site Voting Schemes.
Technische Universität
Bachelor Thesis

Alkeilani Alkadri, Nabil (2015)
Post-Quantum Commitment Schemes.
Technische Universität
Master Thesis

Albrecht, Martin ; Rechberger, Christian ; Schneider, Thomas ; Tiessen, Tyge ; Zohner, Michael (2015)
Ciphers for MPC and FHE.
doi: 10.1007/978-3-662-46800-5_17
Conference or Workshop Item

Asharov, Gilad ; Lindell, Yehuda ; Schneider, Thomas ; Zohner, Michael (2015)
More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries.
doi: 10.1007/978-3-662-46800-5_26
Conference or Workshop Item

Aroudj, Samir (2015)
Meshless Collision Detection for Deformable Bodies.
TU Darmstadt
Master Thesis

Asokan, N. ; Gröndahl, Tommi ; Nguyen, Hoang Long ; Nguyen, Thien Duc ; Paverd, Andrew ; Pendyala, Praveen Kumar ; Sadeghi, Ahmad-Reza ; Stobert, Elizabeth ; Tamrakar, Sandeep (2015)
OmniShare: Securely Accessing Encrypted Cloud Storage from Multiple Authorized Devices.
In: CoRR, abs/1511.02119
Article

Andrychowicz, Marcin ; Damgard, Ivan ; Dziembowski, Stefan ; Faust, Sebastian ; Polychroniadou, Antigoni (2015)
Efficient Leakage Resilient Circuit Compilers.
Topics in Cryptology - CT-RSA 2015, The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings.
doi: 10.1007/978-3-319-16715-2_17
Conference or Workshop Item

Abdolmaleki, A. ; Lioutikov, R. ; Peters, J. ; Lau, N. ; Reis, L. ; Neumann, G. (2015)
Model-Based Relative Entropy Stochastic Search.
Advances in Neural Information Processing Systems (NIPS).
Conference or Workshop Item

Appelhans, Lukas (2015)
Adaptive Voxel-based Classifier for Semi-automatic Segmentation of Tumors in the Head and Neck Area Based on T2-Weighted MRI Image Data.
TU Darmstadt
Bachelor Thesis

Arnold, Fabio (2015)
Approximation von Reflexionsmodellen für das interaktive Kleidungsdesign unter natürlicher Beleuchtung : Approximation of Reflection Models for Interactive Clothing Design under Natural Illumination.
TU Darmstadt
Bachelor Thesis

Alekseew, Michael (2015)
Hochpräzise Algorithmen zur Detektion von Armen für Interaktionssysteme aus kapazitiven Abstandssensoren.
Darmstadt, TU, Master Thesis, 2015
Master Thesis

Audenrith, Benjamin (2015)
Path Prediction in Multiagent Pedestrian Scenario.
Darmstadt, TU, Master Thesis, 2015
Master Thesis

Ackermann, Jens ; Langguth, Fabian ; Fuhrmann, Simon ; Kuijper, Arjan ; Goesele, Michael (2014)
Multi-view Photometric Stereo by Example.
In: 3D Vision (3DV), 2014 2nd International Conference on, (1)
Article

Aly, Mohamed Abdulazim Mohamed (2014)
An Extension Interface Concept for Multilayered Applications.
TU Darmstadt
Ph.D. Thesis, Primary publication

Araujo, Frederico ; Hamlen, Kevin ; Biedermann, Sebastian ; Katzenbeisser, Stefan (2014)
From Patches to Honey-Patches: Lightweight Attacker Misdirection, Deception, and Disinformation.
Scottsdale, AZ, USA
Conference or Workshop Item

Aliannejadi, Mohammad ; Kiaeeha, Masoud ; Khadivi, Shahram ; Ghidary, Saeed Shiry (2014)
Graph-Based Semi-Supervised Conditional Random Fields For Spoken Language Understanding Using Unaligned Data.
Conference or Workshop Item

Asadi, Arash ; Mancuso, Vincenzo (2014)
DRONEE: Dual-radio opportunistic networking for energy efficiency.
In: Computer Communications, 50
doi: 10.1016/j.comcom.2014.02.014
Article

Asadi, Arash ; Jacko, Peter ; Mancuso, Vincenzo (2014)
Modeling D2D communications with LTE and WiFi.
In: ACM SIGMETRICS Performance Evaluation Review, 42 (2)
doi: 10.1145/2667522.2667540
Article

Ambrosin, Moreno ; Busold, Christoph ; Conti, Mauro ; Sadeghi, Ahmad-Reza ; Schunter, Matthias
eds.: Kutylowski, Miroslaw ; Vaidya, Jaideep (2014)
Updaticator: Updating Billions of Devices by an Efficient, Scalable and Secure Software Update Distribution Over Untrusted Cache-enabled Networks.
In: Computer Security - ESORICS 2014
doi: 10.1007/978-3-319-11203-9_5
Book Section

Asokan, N. ; Ekberg, Jan-Erik ; Kostiainen, Kari ; Rajan, Anand ; Rozas, Carlos ; Sadeghi, Ahmad-Reza ; Schulz, Steffen ; Wachsmann, Christian (2014)
Mobile Trusted Computing.
In: Proceedings of the IEEE, 102 (8)
Article

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
eds.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Conference or Workshop Item

Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014)
Method-Call Recommendations from Implicit Developer Feedback.
Conference or Workshop Item

Appel, Stefan (2014)
Integration of Event Processing with Service-oriented Architectures and Business Processes.
TU Darmstadt
Ph.D. Thesis, Primary publication

Asadi, Arash ; Qing, Wang ; Mancuso, Vincenzo (2014)
A Survey on Device-to-Device Communication in Cellular Networks.
In: IEEE Communications Surveys & Tutorials, 16 (4)
doi: 10.1109/COMST.2014.2319555
Article

Ackermann, Jens (2014)
Photometric Reconstruction from Images: New Scenarios and Approaches for Uncontrolled Input Data.
Technische Universität
Ph.D. Thesis, Primary publication

Ali, Karim ; Rapoport, Marianna ; Lhoták, Ondřej ; Dolby, Julian ; Tip, Frank (2014)
Constructing Call Graphs of Scala Programs.
Proceedings of the 28th European Conference on Object-Oriented Programming.
Conference or Workshop Item

Arzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick (2014)
Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps.
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. Edinburgh
Conference or Workshop Item

Arzt, Steven ; Huber, Stephan ; Rasthofer, Siegfried ; Bodden, Eric (2014)
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones.
4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices. Scottsdale
Conference or Workshop Item

Arzt, Steven ; Bodden, Eric (2014)
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
ICSE. Hyderabad
Conference or Workshop Item

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Article

Aderhold, Andreas ; Wilkosinska, Katarzyna ; Corsini, Massimiliano ; Jung, Yvonne ; Graf, Holger ; Kuijper, Arjan (2014)
The Common Implementation Framework as Service - Towards Novel Applications for Streamlined Presentation of 3D Content on the Web.
Design, User Experience, and Usability. Proceedings Part II.
doi: 10.1007/978-3-319-07626-3_1
Conference or Workshop Item

Ackermann, Jens ; Langguth, Fabian ; Fuhrmann, Simon ; Kuijper, Arjan ; Goesele, Michael (2014)
Multi-View Photometric Stereo by Example.
3DV 2014 - Volume I.
doi: 10.1109/3DV.2014.63
Conference or Workshop Item

Asokan, N. ; Davi, Lucas ; Dmitrienko, Alexandra ; Heuser, Stephan ; Kostiainen, Kari ; Reshetova, Elena ; Sadeghi, Ahmad-Reza (2013)
Mobile Platform Security.
doi: 10.2200/S00555ED1V01Y201312SPT009
Book

Asharov, Gilad ; Lindell, Yehuda ; Schneider, Thomas ; Zohner, Michael (2013)
More Efficient Oblivious Transfer and Extensions for Faster Secure Computation.
Berlin (November 04 - 08, 2013)
doi: 10.1145/2508859.2516738
Conference or Workshop Item

Armknecht, Frederik ; Sadeghi, Ahmad-Reza ; Schulz, Steffen ; Wachsmann, Christian (2013)
A Security Framework for Analysis and Design of Software Attestation.
Conference or Workshop Item

Albrecht, Martin ; Fitzpatrick, Robert ; Göpfert, Florian (2013)
On the Efficacy of Solving LWE by Reduction to Unique-SVP.
Seoul, Korea
Conference or Workshop Item

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2013)
Instrumenting Android and Java Applications as Easy as abc.
In: Runtime Verification 2013 (RV'13)
Article

Abel, Andrea ; Meyer, Christian M.
eds.: Kosem, Iztok ; Kallas, Jelena ; Gantar, Polona ; Krek, Simon ; Langemets, Margit ; Tuulik, Maria (2013)
The dynamics outside the paper: user contributions to online dictionaries.
Tallinn, Estonia
Conference or Workshop Item

Arzt, Steven ; Bodden, Eric (2013)
Efficiently updating IDE-based data-flow analyses in response to incremental program changes.
Report

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International. Vancouver, Canada (9 - 13 Sept.)
Conference or Workshop Item

Aderhold, Markus ; Kochtchi, Artjom (2013)
Tailoring PMD to Secure Coding.
Report

Aly, M. ; Charfi, A. ; Erdweg, S. ; Mezini, M. (2013)
Extension Interfaces for Multilayered Applications.
In: XPoints
Article

Alsouri, Sami (2013)
Behavior Compliance Control for More Trustworthy Computation Outsourcing.
TU Darmstadt
Ph.D. Thesis, Primary publication

Asokan, N. ; Dmitrienko, Alexandra ; Nagy, Marcin ; Reshetova, Elena ; Sadeghi, Ahmad-Reza ; Schneider, Thomas ; Stelle, Stanislaus (2013)
CrowdShare: Secure Mobile Resource Sharing.
11. International Conference on Applied Cryptography and Network Security (ACNS'13).
doi: 10.1007/978-3-642-38980-1_27
Conference or Workshop Item

Aderhold, Markus ; Gebhardt, Alexander ; Mantel, Heiko (2013)
Choosing a Formalism for Secure Coding: FSM vs. LTL.
Report

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric (2013)
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks.
Report

Alkassar, Ammar ; Heuser, Stephan ; Stüble, Christian (2013)
Vertrauenswürdige Smartphones: Technologien und Lösungen.
Conference or Workshop Item

Armknecht, F. ; Katzenbeisser, S. ; Peter, A. (2013)
Group Homomorphic Encryption: Characterizations, Impossibility Results, and Applications.
In: Designs, Codes and Cryptography, 67 (2)
Article

Amann, Sven (2013)
Code Completion Based on Implicit User Feedback.
Technische Universität Darmstadt
Master Thesis

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker (2013)
How useful are existing monitoring languages for securing Android apps?
6. Arbeitstagung Programmiersprachen (ATPS 2013).
Conference or Workshop Item

Asadi, Arash ; Mancuso, Vincenzo (2013)
A Survey on Opportunistic Scheduling in Wireless Communications.
In: IEEE Communications Surveys & Tutorials, 15 (4)
doi: 10.1109/SURV.2013.011413.00082
Article

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
1st Workshop on Comprehension of Complex Systems. Fukuoka, Japan (March 25th, 2013)
Conference or Workshop Item

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013)
Building Extensions for Applications: Towards the Understanding of Extension Possibilities.
21st International Conference on Program Comprehension . San Francisco, California, USA (May 20th - 21st, 2013)
Conference or Workshop Item

Appel, Stefan ; Frischbier, Sebastian ; Freudenreich, Tobias ; Buchmann, Alejandro (2013)
Event Stream Processing Units in Business Processes.
11th International Conference on Business Process Management (BPM).
Conference or Workshop Item

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
Conference or Workshop Item

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
Conference or Workshop Item

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013)
Building extensions for applications: Towards the understanding of extension possibilities.
Conference or Workshop Item

Ali, Karim ; Lhoták, Ondřej (2013)
Averroes: Whole-Program Analysis without the Whole Program.
Proceedings of the 27th European Conference on Object-Oriented Programming.
Conference or Workshop Item

Ackermann, Jens ; Goesele, Michael (2013)
A Survey of Photometric Stereo Techniques.
In: Foundations and Trends in Computer Graphics and Vision, 9 (3-4)
Article

Ackermann, Jens ; Fuhrmann, Simon ; Goesele, Michael (2013)
Geometric Point Light Source Calibration.
Lugano, Switzerland (September 11-13, 2013)
Conference or Workshop Item

Ackermann, Jens ; Goesele, Michael (2013)
How bright is the moon? Recovering and Using Absolute Luminance Values from Internet Images.
Conference or Workshop Item

Aroudj, Samir (2013)
Grammar-Based Dungeon Generation For Massively Multiplayer Online Games.
Hochschule Trier
Bachelor Thesis

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
eds.: Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (2013)
Engineering virtualized services.
Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013.
doi: 10.1145/2513534.2513545
Conference or Workshop Item

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
eds.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Conference or Workshop Item

Armknecht, Frederik ; Schulz, Steffen ; Wachsmann, Christian (2013)
A security framework for the analysis and design of software attestation.
New York, NY, USA
doi: 10.1145/2508859.2516650
Conference or Workshop Item

Alsouri, S. ; Feller, T. ; Malipatlolla, S. ; Katzenbeisser, S. (2013)
Hardware-based Security for Virtual Trusted Platform Modules.
Article

Ahmed, Sarah ; Kaiser, Maximilian ; Kreutzer, Michael (2013)
IT-Sicherheitstrends kleiner und mittelständischer Unternehmen.
Report

Aderhold, Andreas ; Jung, Yvonne ; Wilkosinska, Katarzyna ; Fellner, Dieter W. (2013)
Distributed 3D Model Optimization for the Web with the Common Implementation Framework for Online Virtual Museums.
2013 Digital Heritage International Congress. Volume 2.
doi: 10.1109/DigitalHeritage.2013.6744841
Conference or Workshop Item

Augusto, Juan Carlos ; Grimstad, Terje ; Wichert, Reiner ; Schulze, Eva ; Braun, Andreas ; Rødevand, Gro Marit ; Ridley, Vanda (2013)
Personalized Smart Environments to Increase Inclusion of People with Down's Syndrome.
Ambient Intelligence.
doi: 10.1007/978-3-319-03647-2_16
Conference or Workshop Item

Alekseew, Michael (2013)
Untersuchung von Verfahren zur Erfassung von menschlichen Laufbewegungen mit mehreren RGB-D-Kameras.
Technische Universität Darmstadt, Department of Computer Science (SIM)
Bachelor Thesis

Appel, Stefan ; Frischbier, Sebastian ; Freudenreich, Tobias ; Buchmann, Alejandro (2012)
Eventlets: Components for the Integration of Event Streams with SOA.
5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA).
Conference or Workshop Item

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012)
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
15th International Conference on Information Security. Passau, Germany (19-21 Sep 2012)
Conference or Workshop Item

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi (2012)
Challenges for Refinement and Composition of Instrumentations (Position Paper).
International Conference on Software Composition (SC 2012).
Conference or Workshop Item

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012)
Verified Resource Guarantees for Heap Manipulating Programs.
doi: 10.1007/978-3-642-28872-2
Conference or Workshop Item

Alkassar, Ammar ; Schulz, Steffen ; Stüble, Christian (2012)
Sicherheitskern(e) für Smartphones: Ansätze und Lösungen.
In: Datenschutz und Datensicherheit (DuD), 2012 (3)
doi: 10.1007/s11623-012-0060-3
Article

Arul, Tolga ; Shoufan, Abdulhadi (2012)
Consumer Opinions on Short-Interval Charging for Pay-TV over IPTV.
26th International Conference on Advanced Information Networking and Applications Workshops.
doi: 10.1109/WAINA.2012.95
Conference or Workshop Item

Ahmad, Junaid Jameel ; Li, Shujun ; Sadeghi, Ahmad-Reza ; Schneider, Thomas (2012)
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm.
doi: 10.1007/978-3-642-32946-3_22
Conference or Workshop Item

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2012)
On the extensibility requirements of business applications.
Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture.
Conference or Workshop Item

Ali, Karim ; Lhoták, Ondřej (2012)
Application-Only Call Graph Construction.
Proceedings of the 26th European Conference on Object-Oriented Programming.
Conference or Workshop Item

Ackermann, Jens ; Langguth, Fabian ; Fuhrmann, Simon ; Goesele, Michael (2012)
Photometric Stereo for Outdoor Webcams.
Providence, USA (June 16-21, 2012)
Conference or Workshop Item

Armknecht, F. ; Katzenbeisser, S. ; Peter, A. (2012)
Shift-Type Homomorphic Encryption and its Application to Fully Homomorphic Encryption.
Conference or Workshop Item

Alomari, Esraa ; Manickam, Selvakumar ; Gupta, B. ; Karuppayah, Shankar ; Alfaris, Rafeef (2012)
Botnet-based Distributed Denial of Service (DDoS) Attacks on Web Servers: Classification and Art.
In: International Journal of Computer Applications, 49 (7)
Article

Altenhofen, Christian (2012)
Effiziente Selbstschattierung in Szenen mit bildbasierter Beleuchtungsinformation und glänzenden Materialien.
Darmstadt, TU, Master Thesis, 2012
Master Thesis

Ackermann, Jens ; Ritz, Martin ; Stork, André ; Goesele, Michael (2012)
Removing the Example from Example-based Photometric Stereo.
Trends and Topics in Computer Vision.
doi: 10.1007/978-3-642-35740-4_16
Conference or Workshop Item

Andriluka, Mykhaylo (2011)
Detection, Tracking and Pose Estimation of People in Challenging Real-World Scenes.
TU Darmstadt
Ph.D. Thesis, Primary publication

Anquetil, Nicolas ; Kulesza, Uirá ; Mateus, Ricardo ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas
eds.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Managing information flow in the SPL development process.
In: Aspect-oriented, model-driven software product lines
Book Section

Abdelmageed Mohamed, Wael Said (2011)
Improvements for the XL Algorithm with Applications to Algebraic Cryptanalysis.
TU Darmstadt
Ph.D. Thesis, Primary publication

Armknecht, Frederik ; Maes, Roel ; Sadeghi, Ahmad-Reza ; Standaert, François-Xavier ; Wachsmann, Christian (2011)
A Formal Foundation for the Security Features of Physical Functions.
Conference or Workshop Item

Abele, Eberhard ; Bauer, Jörg ; Friedmann, Martin ; Pischan, Matthias ; Reinl, Christian ; Stryk, Oskar von (2011)
Einsatz von Robotern in der spanenden Fertigung.
In: Wissenschaftsmagazin forschen
Book Section

Andrade, Rodrigo ; Ribeiro, Márcio ; Gasiunas, Vaidas ; Satabin, Lucas ; Rebêlo, Henrique ; Borba, Paulo (2011)
Assessing Idioms for Implementing Features with Flexible Binding Times.
Oldenburg, Germany (1-4 March 2011)
doi: 10.1109/CSMR.2011.29
Conference or Workshop Item

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2011)
On the Design of Perturbation-Resilient Atomic Commit Protocols for Mobile Transactions.
In: ACM Transactions on Computer Systems
Article

Appadurai, Daniel (2011)
Entwurf eines serviceorientierten Recommender-Systems im BMW Group Kontext.
TU Darmstadt
Master Thesis

Alvaro, M. ; Peters, J. ; Schölkopf, B. ; Lawrence, N. (2011)
Switched Latent Force Models for Movement Segmentation.
Advances in Neural Information Processing Systems 24 (NIPS 2010), Cambridge, MA: MIT Press.
Conference or Workshop Item

Aitenbichler, Erwin ; Borgert, Stephan ; Mühlhäuser, Max (2011)
Distributed Execution of S-BPM Business Processes.
S-BPM ONE 2010 - The Subjectoriented BPM Conference.
Conference or Workshop Item

Abele, Eberhard ; Bauer, Jörg ; Hemker, Thomas ; Laurischkat, R. ; Meier, H. ; Reese, S. ; Stryk, Oskar von (2011)
Comparison and Validation of Implementations of a Flexible Joint Multibody Dynamics System Model for an Industrial Robot.
In: CIRP Journal of Manufacturing Science and Technology, 4 (1)
doi: 10.1016/j.cirpj.2011.01.006
Article

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011)
Verified Resource Guarantees using COSTA and KeY.
Conference or Workshop Item

Armknecht, Frederik ; Strufe, Thorsten (2011)
An Efficient Distributed Privacy-preserving Recommendation System.
Conference or Workshop Item

Ahmed, Sarah (2011)
Einfluss der Häufigkeit und Verteilung von Minutien auf die Qualität von Algorithmen zur Erkennung von Fingerabdrücken.
TU Darmstadt
Master Thesis

Amodeo, G. ; Blanco, R. ; Brefeld, U. (2011)
Hybrid Models for Future Event Prediction.
Conference or Workshop Item

Ahmedou, Cheikh Tijani Ould Chrif (2011)
Simulation von Biomasseverbrennung mit Diskrete-Elemente-Methode.
Department of Computer Science & Department of Mechanical Engineering
Master Thesis

Armknecht, Frederik ; Sadeghi, Ahmad-Reza ; Scafuro, Alessandra ; Visconti, Ivan ; Wachsmann, Christian (2010)
Impossibility Results for RFID Privacy Notions.
Conference or Workshop Item

Appel, Stefan ; Sachs, Kai
eds.: Sachs, Kai ; Petrov, Ilia ; Guerrero, Pablo (2010)
A Logistics Workload for Event Notification Middleware.
In: From Active Data Management to Event-Based Systems and More, Edition: 1. Auflage
doi: 10.1007/978-3-642-17226-7_19
Book Section

Anjorin, Anthony ; Lauder, Marius ; Schlereth, Michael ; Schürr, Andy (2010)
Support for Bidirectional Model-to-Text Transformations.
Conference or Workshop Item

Aitenbichler, Erwin ; Borgert, Stephan ; Mühlhäuser, Max (2010)
Automatic Service Composition for the Internet of Services.
3rd GI/ITG KuVS Fachgespräch on NG SDPs: \"Towards SDPs for the Future Internet\".
Conference or Workshop Item

Ayari, Brahim (2010)
Perturbation-Resilient Atomic Commit Protocols for Mobile Environments.
TU Darmstadt
Ph.D. Thesis, Primary publication

Almeida, José Bacelar ; Bangerter, Endre ; Barbosa, Manuel ; Krenn, Stephan ; Sadeghi, Ahmad-Reza ; Schneider, Thomas (2010)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
doi: 10.1007/978-3-642-15497-3_10
Conference or Workshop Item

Alnusair, Awny ; Zhao, Tian ; Bodden, Eric (2010)
Effective API Navigation and Reuse.
International Conference on Conference on Information Reuse and Integration (IEEE IRI).
Conference or Workshop Item

Appel, Stefan ; Sachs, Kai ; Buchmann, Alejandro (2010)
Towards Benchmarking of AMQP.
4th ACM International Conference on Distributed Event-Based Systems (DEBS).
Conference or Workshop Item

Aitenbichler, Erwin ; Behring, Alexander ; Bradler, Dirk ; Hartmann, Melanie ; Martucci, Leonardo ; Schreiber, Daniel ; Steimle, Jürgen ; Strufe, Thorsten ; Mühlhäuser, Max ; Ries, Sebastian ; Schnelle-Walka, Dirk (2010)
Shaping the Future Internet.
In: Ubiquitous Computing and Communication Journal, 5 (Special Issue)
Article

Abele, Eberhard ; Bauer, Jörg ; Pischan, Matthias ; Fiedmann, Martin ; Hemker, Thomas ; Stryk, Oskar von (2010)
Prediction of the Tool Displacement for Robot Milling Applications using Co-Simulation of an Industrial Robot and a Removal Process.
Proceedings of the CIRP 2nd International Conference Process Machine Interactions. Vancouver, BC, Canada (June 10-11, 2010)
Conference or Workshop Item

Aitenbichler, Erwin ; Schnelle-Walka, Dirk (2010)
An Extensible Architecture for Multitouch & Pen Interactive Tables.
Conference or Workshop Item

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin ; Walther, Christoph (2010)
Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010). Kazan, Russia (June 14-15, 2010)
Conference or Workshop Item

Armknecht, Frederik ; Ghosal, Dipak ; Katzenbeisser, Stefan ; Liu, Yali ; Sadeghi, Ahmad-Reza ; Schulz, Steffen (2010)
Robust and Undetectable Steganographic Timing Channels for i.i.d. Traffic.
Conference or Workshop Item

Armknecht, Frederik ; Sadeghi, Ahmad-Reza ; Visconti, Ivan ; Wachsmann, Christian (2010)
On RFID Privacy with Mutual Authentication and Tag Corruption.
Conference or Workshop Item

Armknecht, Frederik ; Chen, Liqun ; Sadeghi, Ahmad-Reza ; Wachsmann, Christian (2010)
Anonymous Authentication for RFID Systems.
Conference or Workshop Item

Aguilar Melchor, C. ; Cayrel, Pierre-Louis ; Gaborit, Philippe ; Laguillaumie, F. (2010)
A New Efficient Threshold Ring Signature Scheme based on Coding Theory.
In: IEEE IT
Article

Appel, Stefan ; Sachs, Kai ; Buchmann, Alejandro (2010)
Quality of Service in Event-based Systems.
22nd GI-Workshop on Foundations of Databases (GvD).
Conference or Workshop Item

Abdalla, Michel ; Chevalier, Celine ; Manulis, Mark ; Pointcheval, David (2010)
Flexible Group Key Exchange with On-Demand Computation of Subgroup Keys.
3rd International Conference on Cryptology in Africa. Stellenbosch, South Africa (03.-06.05.2010)
doi: 10.1007/978-3-642-12678-9_21
Conference or Workshop Item

Ali, Azad ; Khelil, Abdelmajid ; Shaikh, Faisal Karim ; Suri, Neeraj (2010)
Effcient Predictive Monitoring of Wireless Sensor Networks.
In: Special Edition of "International Journal of Autonomous and Adaptive Communications Systems (IJAACS)"
Article

Aderhold, Markus
eds.: Esparza, Javier ; Majumdar, Rupak (2010)
Automated Termination Analysis for Programs with Second-Order Recursion.
Conference or Workshop Item

Aderhold, Markus ; Cuéllar, Jorge ; Mantel, Heiko ; Sudbrock, Henning (2010)
Exemplary Formalization of Secure Coding Guidelines.
Report

Appel, Stefan ; Petrov, Ilia ; Buchmann, Alejandro (2010)
Performance Evaluation of Multi Machine Virtual Environments.
International SPEC Benchmark Workshop 2010.
Conference or Workshop Item

Aitenbichler, Erwin ; Borgert, Stephan
eds.: Buchwald, H. ; Fleischmann, A. ; Seese, D. ; Stary, C. (2010)
Application of Subject-oriented Modeling in Automatic Service Composition.
In: S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management
doi: 10.1007/978-3-642-15915-2_6
Book Section

Aitenbichler, Erwin ; Schnelle-Walka, Dirk (2010)
An Extensible Architecture for Multitouch & Pen Interactive Tables.
Conference or Workshop Item

Aderhold, Markus
eds.: Esparza, J. ; Majumdar, R. (2010)
Automated Termination Analysis for Programs with Second-Order Recursion.
Conference or Workshop Item

Aderhold, Markus
eds.: Giesl, J. ; Hähnle, R. (2010)
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
Conference or Workshop Item

Ackermann, Tobias ; Brandt, Björn ; Buxmann, Peter (2010)
Risiken der Adoption von SaaS.
In: Software-as-a-Service (SaaS) ? {"U}ber den Wandel von Anbieterstrategien, Kundenbedürfnissen und Marktstrukturen in der SW-Industrie
Article

Alvaro, Mauricio A. ; Peters, Jan ; Schoelkopf, Bernhard ; Lawrence, Neil D. (2010)
Switched Latent Force Models for Movement Segmentation.
24th Annual Conference on Neural Information Processing Systems 2010. Vancouver, Canada (2010.12.06-09)
Conference or Workshop Item

Andrienko, Gennady ; Andrienko, Natalia ; Bak, Peter ; Bremm, Sebastian ; Keim, Daniel A. ; Landesberger von Antburg, Tatiana ; Pölitz, Christian ; Schreck, Tobias (2010)
A Framework for Using Self-Organizing Maps to Analyze Spatio-Temporal Patterns, Exemplified by Analysis of Mobile Phone Usage.
In: Journal of Location Based Services, 4 (3-4)
doi: 10.1080/17489725.2010.532816
Article

Andrienko, Gennady ; Andrienko, Natalia ; Bremm, Sebastian ; Schreck, Tobias ; Landesberger von Antburg, Tatiana ; Bak, Peter ; Keim, Daniel A. (2010)
Space-in-Time and Time-in-Space Self-Organizing Maps for Exploring Spatiotemporal Patterns.
In: Computer Graphics Forum, 29 (3)
Article

Aderhold, Markus Axel (2009)
Verification of second-order functional programs.
TU Darmstadt
Ph.D. Thesis

Avdil, Alaubek (2009)
A Novel LP-based Local Search Technique -Fast and Quite Good-.
TU Darmstadt
Ph.D. Thesis, Primary publication

Aderhold, Markus Axel (2009)
Verification of Second-Order Functional Programs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Amann, Sven (2009)
Spezifikation und Codegenerierung von Sicherheitsautomaten.
TU Darmstadt
Bachelor Thesis

Abboud, Osama ; König, André ; Gottron, Christian (2009)
Quality Adaptation and Security in Peer-to-Peer Systems.
9th Würzburg Workshop on IP. Würzburg
Conference or Workshop Item

Anquetil, Nicolas ; Kulesza, Uirá ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas ; Sousa, André (2009)
A model-driven traceability framework for software product lines.
In: Software and Systems Modeling
Article

Araújo, Roberto dos Santos (2009)
On remote and voter-verifiable voting.
TU Darmstadt
Ph.D. Thesis

Alfonseca, Enrique ; Hall, Keith ; Hartmann, Silvana (2009)
Large-scale Computation of Distributional Similarities for Queries.
Conference or Workshop Item

Abboud, Osama ; Kovacevic, Aleksandra ; Graffi, Kalman ; Pussep, Konstantin ; Steinmetz, Ralf (2009)
Underlay Awareness in P2P Systems: Techniques and Challenges.
In: 2009 IEEE International Symposium on Parallel & Distributed Processing : (IPDPS 2009) ; Rome, Italy, 23 - 29 May 2009
Book Section

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogenous Mobile Environments.
In: Journal of Software, Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4 (7)
Article

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2009)
Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments.
In: Journal Of Software Special Issue: Selected Papers of The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 4
Article

Andriluka, Micha ; Friedmann, Martin ; Kohlbrecher, Stefan ; Meyer, Johannes ; Petersen, Karen ; Reinl, Christian ; Schauss, Peter ; Schnitzspan, Paul ; Strobel, Armin ; Thomas, Dirk ; Stryk, Oskar von ; Stryk, Oskar von (2009)
RoboCupRescue 2009 - Robot League Team: Darmstadt Rescue Robot Team (Germany).
Report

Awerbuch, Wladimir (2009)
Anwendung von Data Mining zu statistischen Auswertungen und Vorhersagen im Sport.
TU Darmstadt
Master Thesis

Abraham, Rene (2009)
On­to­log­i­cal De­scrip­tion of UI In­ter­ac­tions.
TU Darmstadt
Master Thesis

Ali, Karim ; Aib, Issam ; Boutaba, Raouf (2009)
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks.
Global Information Infrastructure Symposium.
Conference or Workshop Item

Ali, Karim ; Boutaba, Raouf (2009)
Applying Kernel Methods to Anomaly-based Intrusion Detection Systems.
Global Information Infrastructure Symposium.
Conference or Workshop Item

Ackermann, Jens ; Baecher, Paul ; Franzel, Thorsten ; Goesele, Michael ; Hamacher, Kay (2009)
Massively-Parallel Simulation of Biochemical Systems.
Jahrestagung der Gesellschaft für Informatik e.V.. Lübeck, Germany (September 29, 2009)
Conference or Workshop Item

Aitenbichler, Erwin ; Lyardet, Fernando ; Hadjakos, Aristotelis ; Mühlhäuser, Max (2009)
Fine-Grained Evaluation of Local Positioning Systems for Specific Target Applications.
Conference or Workshop Item

Amann, Sven (2009)
Spezifikation und Codegenerierung von Sicherheitsautomaten.
Other

Adolph, Daniel (2009)
Fractional Recoding for the Shamir Method.
Technische Universität Darmstadt
Master Thesis

Arzt, Steven (2009)
Design and Implementation of a Cryptographic Plugin for E-mail Clients.
Other

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
eds.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Conference or Workshop Item

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
eds.: Gibbons, J. ; Oliveira, J. N. (2009)
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
Teaching Formal Methods, Second International Conference, TFM 2009. Eindhoven (November 2-6, 2009)
doi: 10.1007/978-3-642-04912-5_9
Conference or Workshop Item

Ackermann, Tobias ; Widjaja, Thomas ; Buxmann, Peter
ed.: Jacobs, Kai (2009)
Increasing the Diffusion of Communication Standards - A General Simulation Framework from the Vendor's Perspective.
6th International Conference on Standardization and Innovation in Information Technology, SIIT 2009. Shinjuku, Tokyo, Japan (8 - 10 September 2009)
Conference or Workshop Item

Alemu, Yihun ; Koh, Jong-bin ; Ikram, Muhammed ; Kim, Dong-Kyoo (2009)
Image Retrieval in Multimedia Databases: A Survey.
In: Intelligent Information Hiding and Multimedia Signal Processing, International Conference on
Article

Aitenbichler, Erwin ; Behring, Alexander ; Bradler, Dirk ; Hartmann, Melanie ; Martucci, Leonardo ; Ries, Sebastian ; Schnelle-Walka, Dirk ; Schreiber, Daniel ; Steimle, Jürgen ; Strufe, Thorsten ; Mühlhäuser, Max (2009)
Shaping the Future Internet.
3rd International CompanionAble Workshop IoPTS. Brussels, Belgium (02.12.2009)
Conference or Workshop Item

Alonso, Gustavo ; Kossmann, Donald ; Roscoe, Timothy ; Tatbul, Nesime ; Baumann, Andrew ; Binnig, Carsten ; Fischer, Peter ; Riva, Oriana ; Teubner, Jens (2009)
The ETH Zurich systems group and enterprise computing center.
In: ACM SIGMOD Record, 37 (4)
Article

Akram, Shahid (2009)
Coronary Tree Segmentation Using an Enhanced Corkscrew Algorithm.
Technische Universität
Bachelor Thesis

Araújo, Roberto dos Santos (2008)
On Remote and Voter-Verifiable Voting.
TU Darmstadt
Ph.D. Thesis, Primary publication

Aitenbichler, Erwin ; Ries, Sebastian ; Schröder-Bernhardi, Julian ; Turban, Georg ; Borgert, Stephan ; Bradler, Dirk ; Hartle, Michael ; Häussge, Gina (2008)
Smart Products: Integration Challenges.
Conference or Workshop Item

Abele, Eberhard ; Bauer, Jörg ; Rothenbücher, Stefan ; Stelzer, Maximilian ; Stryk, Oskar von ; Stryk, Oskar von (2008)
Prediction of the Tool Displacement by Coupled Models of the Compliant Industrial Robot and the Milling Process.
(3-4 September)
Conference or Workshop Item

Amelunxen, Carsten ; Legros, Elodie ; Schürr, Andy (2008)
Generic and Reflective Graph Transformations for the Checking and Enforcement of Modeling Guidelines.
VLHCC '08: Proceedings of the Visual Languages and Human-Centric Computing.
Conference or Workshop Item

Armknecht, Frederik ; Furukawa, Jun ; Kurosawa, Kaoru (2008)
A Universally Composable roup Key Exchange Protocol with Minimum Communication Effort.
Conference or Workshop Item

Aitenbichler, Erwin ; Rößling, Guido (2008)
Webreg: An Online System for Registration and Grade Distribution.
Conference or Workshop Item

Armknecht, Frederik ; Mirzadeh, Shahab ; Tafazolli, Rahim ; Pallares, Jordi Jaen ; Afifi, Hossam (2008)
CPFP: An efficient key management scheme for large scale personal networks.
Conference or Workshop Item

Armknecht, Frederik ; Westhoff, Dirk ; Girao, Joao ; Hessler, Alban (2008)
A life-time optimized end-to-end encryption scheme for sensor networks allowing in-networking processing.
In: Computer Communications Journal, 31 (4)
Article

Araújo, Roberto ; Ryan, Peter Y. A. (2008)
Improving Farnel, Threeballot and Randell-Ryan Voting Schemes.
In: Cryptology ePrint Archive, 2008 (82)
Article

Amelunxen, Carsten ; Klar, Felix ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2008)
Metamodel-based tool integration with MOFLON.
Conference or Workshop Item

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2008)
Delay-Aware Mobile Transactions.
Conference or Workshop Item

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj ; Bleim, Eugen (2008)
Implementation and Evaluation of Delay-Aware and Fault-Tolerant Mobile Transactions.
Conference or Workshop Item

Amelunxen, Carsten ; Klar, Felix ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2008)
Metamodel-based Tool Integration with MOFLON.
30th International Conference on Software Engineering.
Conference or Workshop Item

Aly, Sherif G. ; Nadi, Sarah ; Hamdan, Karim (2008)
A Java-Based Programming Language Support of Location Management in Pervasive Systems.
In: International Journal of Computer Science and Network Security, 8 (6)
Article

Andriluka, Mykhaylo ; Roth, Stefan ; Schiele, Bernt (2008)
People-Tracking-by-Detection and People-Detection-by-Tracking.
IEEE Conference on Computer Vision and Pattern Recognition.
Conference or Workshop Item

Adamer, Kurt ; Bannach, David ; Klug, Tobias ; Lukowicz, Paul ; Sbodio, Marco Luca ; Tresman, Mimi ; Zinnen, Andreas ; Ziegert, Thomas (2008)
Developing a Wearable Assistant for Hospital Ward Rounds.
Conference or Workshop Item

Aitenbichler, Erwin
eds.: Mühlhäuser, Max ; Gurevych, Iryna (2008)
Event-Based and Publish/Subscribe Communication.
In: Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises
doi: 10.4018/978-1-59904-832-1.ch007
Book Section

Abele, Eberhard ; Bauer, Jörg ; Bertsch, C. ; Laurischkat, R. ; Meier, H. ; Reese, S. ; Stelzer, Maximilian ; Stryk, Oskar von (2008)
Comparison of Implementations of a Flexible Joint Multibody Dynamic System Model for an Industrial Robot.
Conference or Workshop Item

Abele, Eberhard ; Bauer, Jörg ; Stelzer, Maximilian ; Stryk, Oskar von (2008)
Wechselwirkungen von Fräsprozess und Maschinenstruktur am Beispiel des Industrieroboters.
In: wt Werkstattstechnik online, 98 (9)
Article

Armknecht, Frederik ; Escalante, Alberto ; Löhr, Hans ; Manulis, Mark ; Sadeghi, Ahmad-Reza (2008)
Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly.
Conference or Workshop Item

Aitenbichler, Erwin ; Ries, Sebastian ; Schröder-Bernhardi, Julian ; Turban, Georg ; Borgert, Stephan ; Bradler, Dirk ; Hartle, Michael ; Häußge, Gina (2008)
Smart Products: Integration Challenges.
Conference or Workshop Item

Austaller, Gerhard
eds.: Mühlhäuser, Max ; Gurevych, Iryna (2008)
Service Discovery.
In: Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises
doi: 10.4018/978-1-59904-832-1.ch005
Book Section

Aitenbichler, Erwin
eds.: Gurevych, Iryna ; Mühlhäuser, Max (2008)
A Focus on Location Context.
In: Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises
doi: 10.4018/978-1-59904-832-1.ch012
Book Section

Aitenbichler, Erwin ; Ries, Sebastian ; Schröder-Bernhardi, Julian ; Turban, Georg ; Borgert, Stephan ; Bradler, Dirk ; Hartle, Michael ; Häußge, Gina (2008)
Smart Products: Integration Challenges.
Conference or Workshop Item

Adamson, Anders (2007)
Computing Curves and Surfaces from Points.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Asokan, N. ; Gasmi, Yacine ; Sadeghi, Ahmad-Reza ; Stewin, Patrick ; Unger, Martin (2007)
Beyond Secure Channels.
ACM Workshop on Scalable Trusted Computing (ACMSTC 2007).
Conference or Workshop Item

Aitenbichler, Erwin ; Lyardet, Fernando ; Mühlhäuser, Max (2007)
Designing and Implementing Smart Spaces.
In: Upgrade: The European Journal for the Informatics Professional, 8 (4)
Article

Aitenbichler, Erwin ; Kangasharju, Jussi ; Mühlhäuser, Max (2007)
MundoCore: A Light-weight Infrastructure for Pervasive Computing.
In: Pervasive and Mobile Computing, 3 (4)
doi: 10.1016/j.pmcj.2007.04.002
Article

Aitenbichler, Erwin ; Heinemann, Andreas (2007)
Proximity-based authentication for Windows domains.
In: UbiComp 2007: ubiquitous computing : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16 - 19, 2007; proceedings
Book Section

Aitenbichler, Erwin ; Lyardet, Fernando ; Austaller, Gerhard ; Kangasharju, Jussi ; Mühlhäuser, Max (2007)
Engineering intuitive and self-explanatory smart products.
22 Annual ACM Symposium on Applied Computing : Proceedings. - S. 1632-1637.
Conference or Workshop Item

Aitenbichler, Erwin ; Lyardet, Fernando ; Mühlhäuser, Max (2007)
Diseno e implementacion de espacios inteligentes.
In: Novatica: Revista de la Asociación de Técnicos de Informática, 33 (188)
Article

Aitenbichler, Erwin ; Mühlhäuser, Max
eds.: Braun, T. ; Carle, G. ; Stiller, B. (2007)
Softwareentwicklung für Mundo Smart Environments.
15. ITG-GI-Fachtagung Kommunikation in verteilten Systemen. Bern, Schweiz (26.02-02.03.2007)
Conference or Workshop Item

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph (2007)
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
Information Security: Proceedings of the IX. International Conference, January 2007.
Conference or Workshop Item

Aderhold, Markus (2007)
Improvements in Formula Generalization.
Conference or Workshop Item

Amelunxen, Carsten ; Schürr, Andy (2007)
Formalizing model transformation rules for UML/MOF 2.
In: Software, IET, 2
Article

Aqqal, A. ; Rensing, C. ; Steinmetz, Ralf (2007)
Using Taxonomies to Support the Macro Design Process for the Production of Web Based Trainings.
Conference or Workshop Item

Aqqal, A. ; Rensing, C. ; Steinmetz, Ralf (2007)
The Macro Design as an Own Task in WBT Production.
Conference or Workshop Item

Amelunxen, Carsten ; Legros, Elodie ; Schürr, Andy ; Stürmer, I. ; Nagl, M. ; Zündorf, A. (2007)
Checking and enforcement of modeling guideline with graph transofrmations.
Conference or Workshop Item

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy (2007)
Metamodeling with MOFLON.
Conference or Workshop Item

Arnold, Thomas (2007)
Ein evolutionärer Algorithmus zur Erstellung eines künstlichen Gegenspielers für "Chinesische Mauer".
TU Darmstadt
Master Thesis

Amelunxen, Carsten ; Schürr, Andy ; Weisemöller, Ingo (2007)
Missing Meta-Modeling-In-The-Large Concepts in EMOF.
Conference or Workshop Item

Adams, Bart ; Adamson, Anders (2007)
Ray Tracing of Point Models.
Book Section

Adelsbach, Andre ; Huber, Ulrich ; Sadeghi, Ahmad-Reza (2007)
Fingercasting - Joint Fingerprinting and Decryption of Broadcast Messages.
Transactions on Data Hiding and Multimedia Security II.
Conference or Workshop Item

Andriluka, Mykhaylo ; Weizsäcker, Lorenz ; Hofmann, Thomas (2007)
Multi-class Classification with Dependent Gaussian Processes.
Conference or Workshop Item

Abbé, Thomas (2007)
Implementierung eines qualifiziert signierenden Timestamping-Servers.
Technische Universität
Bachelor Thesis

Araújo, Roberto ; Foulle, Sébastian ; Traoré, Jacques (2007)
A practical and secure coercion-resistant scheme for remote elections.
Other

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings.
doi: 10.1007/978-3-540-72952-5_2
Conference or Workshop Item

Alkassar, Ammar ; Volkamer, Melanie (2007)
E-Voting and Identity -- First International Conference, VOTE-ID 2007.
Article

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
eds.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item

Anjorin, Anthony (2007)
Aufbau und Validierung eines elastischen Manipulatormodells.
FB Informatik, Simulation, Systemoptimierung und Robotik
Bachelor Thesis

Araújo, Roberto ; Wiesmaier, Alexander ; Buchmann, Johannes (2006)
The T-Vote Protocol.
Report

Austaller, Gerhard ; Aitenbichler, Erwin ; Kangasharju, Jussi (2006)
Interaction with a Smart Espresso Machine.
Conference or Workshop Item

Aitenbichler, Erwin (2006)
System support for ubiquitous computing.
TU Darmstadt
Ph.D. Thesis

Austaller, Gerhard ; Kangasharju, Jussi ; Kangasharju, Jussi (2006)
Applications for smart environments.
Report

Aitenbichler, Erwin (2006)
Development tools for Mundo Smart environments.
Conference or Workshop Item

Austaller, Gerhard ; Hartl, A. ; Lauff, M. ; Lyardet, F. ; Mühlhäuser, Max (2006)
Technology-aware web application design.
In: Web engineering : the discipline of systematic development of Web applications / ed. by Gerti Kappel .... - Chichester : Wiley, 2006, S. 85-110 ISBN: 0-470-01554-3
Book Section

Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; Schlosser, Andreas (2006)
A Fast Disprover for VeriFun.
IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability. Seattle, USA (10. - 22.08.2006)
Conference or Workshop Item

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC : An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item

Antollini, Mario ; Cilia, Mariano ; Buchmann, Alejandro (2006)
Implementing a High Level Pub/Sub Layer for Enterprise Information Systems.
Conference or Workshop Item

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006)
Overview of CaesarJ.
Conference or Workshop Item

Amelunxen, Carsten ; Rötchke, T. ; Zündorf, A. ; Varro, D. (2006)
Creating Well-Structured Specifications in MOFLON.
Third International Workshop on Graph Based Tools (GraBaTs 2006). (2006)
Conference or Workshop Item

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy ; Rensink, A. ; Warmer, J. (2006)
MOFLON : a standard-compliant metamodeling framework with graph transformations.
Model Driven Architecture - Foundations and Applications: Second European Conference.
Conference or Workshop Item

Amelunxen, Carsten ; Königs, Alexander ; Rötschke, Tobias ; Schürr, Andy ; Grundy, J. ; Howse, J.
ed.: IEEE Computer Society Press (2006)
M0SL : Composing a Visual Language for a Metamodeling Framework.
IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2006).
Conference or Workshop Item

Alt, O. ; Schmidt, M. ; Ritter, T. ; Eichler, H. (2006)
Derivation of System Integration Tests from Design Models in UML.
ECMDA workshop on Integration of Model Driven Development and Model Driven Testing IMDT. Bilbao, Spain
Conference or Workshop Item

Amelunxen, Carsten ; Schürr, Andy (2006)
On OCL as part of the metamodeling framework MOFLON.
Conference or Workshop Item

Amelunxen, Carsten ; Schürr, Andy (2006)
Vervollständigung des Constraint-basierten Assoziationskonzeptes von UML 2.0.
Conference or Workshop Item

Ayari, Brahim ; Khelil, Abdelmajid ; Suri, Neeraj (2006)
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.
Conference or Workshop Item

Assenmacher, Ingo ; Hentschel, Bernd ; Ni, C. ; Kuhlen, Torsten ; Bischof, Christian (2006)
Interactive data annotation in virtual environments.
Virtual environments 2006 : 12th Eurographics Symposium on Virtual Enviroments, 8 - 10 May, Gulbenkian Foundation Congress Centre, Braga, Portugal / sponsored by EUROGRAPHICS Association in cooperation with ACM SIGGGRAPH. Symposium Chair: Joaquim Jorge ;.
Conference or Workshop Item

Adamson, Anders ; Alexa, Marc (2006)
Anisotropic Point Set Surfaces.
Proceedings AFRIGRAPH 2006.
Conference or Workshop Item

Adamson, Anders ; Alexa, Marc (2006)
Anisotropic Point Set Surfaces.
In: Computer Graphics Forum, 25 (4)
Article

Aarts, Emile ; Encarnação, José L. (2006)
Into Ambient Intelligence.
Book Section

Appel, Stefan (2006)
Lokalisierung von Knoten in mobilen Ad-hoc-Netzen ohne zusätzliche Infrastruktur.
TU Darmstadt
Bachelor Thesis

Adamson, Anders ; Alexa, Marc (2006)
Point-Sampled Cell Complexes.
In: ACM Transactions on Graphics, 25 (3)
Article

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
eds.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (2006)
Verifying Object-Oriented Programs with KeY: A Tutorial.
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item

Adelsbach, Andre ; Rohe, Markus ; Sadeghi, Ahmad-Reza (2006)
Efficient Implementation of Zero-Knowledge Proofs for Watermark Detection in Multimedia Data.
Transactions on Data Hiding and Multimedia Security.
Conference or Workshop Item

Adelsbach, Andre ; Katzenbeisser, Stefan ; Sadeghi, Ahmad-Reza (2006)
A Computational Model for Watermark Robustness.
Information Hiding Workshop.
Conference or Workshop Item

Alkassar, Ammar ; Sadeghi, Ahmad-Reza ; Scheibel, Michael ; Stüble, Christian ; Winandy, Marcel (2006)
Security Architecture for Device Encryption and VPN.
Information Security Solution Europe (ISSE06).
Conference or Workshop Item

Abbing, Jana ; Koidl, Kevin (2006)
Template Approach for Adaptive Learning Strategies.
Dublin, Ireland
Conference or Workshop Item

Araújo, Roberto ; Custódio, Ricardo Felipe ; Wiesmaier, Alexander ; Takagi, Tsuyoshi (2006)
An Electronic Scheme for the Farnel Paper-Based Voting Protocol.
Conference or Workshop Item

Adler, Steven ; Brown, Nigel ; Gilbert, Art ; Palmer, Charles ; Schnyder, Michael ; Waidner, Michael (2006)
Using a Privacy Agreement Framework to Improve Handling of Personally Identifiable Information.
Norm, patent, standard

Alkassar, Ammar ; Sadeghi, Ahmad-Reza ; Selhorst, Marcel ; Stüble, Christian (2005)
Towards Secure Computing Platforms with Open-Source and Trusted Computing.
9. German IT security Congress, Federal Office for Information Security (Deutscher IT-Sicherheitskongress des BSI).
Conference or Workshop Item

Aitenbichler, Erwin ; Kangasharju, Jussi ; Mühlhäuser, Max (2005)
Experiences with MundoCore.
3rd IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom 2005). Kauai Island, USA (08.-12.03.2005)
doi: 10.1109/PERCOMW.2005.34
Conference or Workshop Item

Atkinson, Colin ; Kühne, Thomas (2005)
A generalized notion of platforms for model-driven development.
In: Model-Driven Software Development / edited by Sami Beydeda, Matthias Book, Volker Gruhn. - Berlin, Heidelberg : Springer, 2005. - Bd. 2, S. 119-136
Book Section

Atkinson, Colin ; Kühne, Thomas (2005)
Multi-level platform descriptions.
Conference or Workshop Item

Austaller, Gerhard ; Roth, Eric (2005)
Globale Referenzen basierend auf SOAP.
Conference or Workshop Item

Antifakos, S. ; Kern, Nicky ; Schiele, Bernt ; Schwaninger, A. (2005)
Towards improving trust in context-aware systems by displaying system confidence.
Conference or Workshop Item

Atkinson, Colin ; Kühne, Thomas (2005)
Concepts for comparing modeling tool architectures.
Conference or Workshop Item

Amelunxen, Carsten ; Rötschke, Tobias ; Schürr, Andy (2005)
Graph Transformations with MOF 2.0.
Conference or Workshop Item

Adamson, Anders ; Alexa, Marc ; Nealen, Andrew (2005)
Adaptive Sampling of Intersectable Models Exploiting Image and Object-space Coherence.
Proceedings of the 2005 ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (I3D).
Conference or Workshop Item

Alaoui, Omar (2005)
Interoperabilität und Standards von mobilen Agenten.
TU Darmstadt
Master Thesis

Alexa, Marc (2005)
Non-conforming Surface Representations.
SGP 2005. Proceedings.
Conference or Workshop Item

Abdollahian, M. ; Foroughi, Roya (2005)
Optimal Statistical Model for Forecasting Ozone.
IEEE International Conference on Information Technology: Coding and Computing 2005. Proceedings Vol. I.
Conference or Workshop Item

Abdollahian, M. ; Foroughi, Roya (2005)
Regression Analysis of Ozone Data.
IEEE International Conference on Information Technology: Coding and Computing 2005. Proceedings Vol. I.
Conference or Workshop Item

Aldinger, T. ; Kopf, S. ; Scheele, N. ; Effelsberg, W. (2005)
Participatory Simulation of a Stock Exchange.
Conference or Workshop Item

Adelsbach, A. ; Alkassar, A. ; Garbe, K.-H. ; Luzaic, M. ; Manulis, M. ; Scherer, E. ; Schwenk, J. ; Siemens, E. (2005)
Voice over IP - Sichere Umstellung der Sprachkommunikation auf IP-Technologie.
Book

Antollini, Jose (2005)
Implementing an Active Functionality Service on Different Platforms.
Universidad Nacional del Centro de la Provincia de Buenos Aires
Master Thesis

Antollini, Mario (2005)
A High Level Pub/Sub Layer for Open Distributed Heterogeneous Environments.
Universidad Nacional del Centro de la Provincia de Buenos Aires
Master Thesis

Anton, Tobias
eds.: Bauer, Mathias ; Brandherm, Boris ; Fürnkranz, Johannes ; Grieser, Gunter ; Hotho, Andreas ; Jedlitschka, Andreas ; Kröner, Alexander (2005)
XPath-Wrapper Induction by generating tree traversal patterns.
Conference or Workshop Item

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter (2005)
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, 4 (1)
doi: 10.1007/s10270-004-0058-x
Article

Alkassar, Ammar ; Krimmer, Robert ; Volkamer, Melanie (2005)
Online-Wahlen für Gremien -- Wahlen in Gremien als Einsatzgebiet für Wahlen ohne vertrauenswürdige Instanz.
In: Datenschutz und Datensicherheit, 8
Article

Antollini, Jose ; Antollini, Mario ; Guerrero, Pablo ; Cilia, Mariano (2004)
Extending REBECA to Support Concept-Based Addressing.
Cordoba, Argentina
Conference or Workshop Item