> Publishers' series
-
2023, 1:
A formalized classification schema for model consistency technical report Thomas Kühn, Dominik Fuchß, Sophie Corallo, Lars König, Erik Burger, Jan Keim, Manar Mazkatli, Timur Sağlam, Frederik Reiche, Anne Koziolek, and Ralf Reussner
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, 17 July 2023
-
2023, 2:
A collection of scenarios for the decomposition and composition of model-based analyses Sandro Koch, Frederik Reiche, Sebastian Weber, Marco Konersmann, Sebastian Stüber, Lucas Wollenhaupt, Bahareh Taghavi, Bernhard Rumpe, and Robert Heinrich
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, 17 July 2023
-
2023, 3:
Mobility data anonymization - a literature review and an industry-driven survey Maximilian Walter, Wasilij Beskorovajnov, Fridtjof Lieberwirth, Jan Sürmeli, Pascal Zwick, Robert Heinrich
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, August 2023
-
2021, 1:
Visit places on YourWay a skyline approach in time-dependent networks Saeed Taghizadeh, Abel Elekes, Martin Schäler
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2021
-
2020, 2:
Using BERT for the detection of architectural tactics in code Jan Keim, Angelika Kaplan, Anne Koziolek, and Mehdi Mirakhorli
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020
-
2020, 1:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2019 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIX Herausgeber: Erik Pescara, Paul Tremper, Jan Formanek, Michael Hefenbrock, Yiran Huang, Ployplearn Ravivanpong, Johannes Riesterer, Long Wang, Ingmar Wolff, Yexu Zhou, Michael Beigl ; Karlsruhe Institute of Technology (KIT), Fakultät für Informatik, Lehrstuhl fur Pervasive Computing Systems (PCS) und TECO
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020
-
2020, 3:
A formal approach to prove compatibility in transformation networks Heiko Klare, Aurélien Pepin, Erik Burger, Ralf Reussner ; Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Germany
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020
-
2019, 1:
Characterization of the Bitcoin Peer-to-Peer network (2015-2018) Till Neudecker ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2019, 2:
Minimizing bias in estimation of mutual information from data streams Vadim Arzamasov, Klemens Böhm, Ignaz Rutter ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2019, 3:
On the usefulness of SQL-query-similarity measures to find user interests Natalia Arzamasova, Klemens Böhm, Bertrand Goldman, Christian Saaler and Martin Schäler ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2019, 5:
Using relational verification for program slicing Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2019, 4:
Verifying workflow models with data values a case study of SMR spectrum auctions Elaheh Ordoni, Jutta Mülle, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, April 2019
-
2019, 6:
On mutual authorizations: Semantics, integration issues, and performance Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2019, 7:
On preserving secrecy in mobile social networks Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019
-
2018, 10:
The CoCoME platform for collaborative empirical research on information system evolution evolution scenarios in the second founding period of SPP 1593 Robert Heinrich, Sandro Koch, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, August 15, 2018
-
2018, 8:
An industry 4.0 case study: The integration of CoCoME and xPPU technical report Rudolf Biczok, Kiana Busch, Robert Heinrich, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 4:
Bitcoin Cash (BCH) sybil nodes on the bitcoin Peer-to-Peer network Till Neudecker ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 3:
Comparing predictions of object movements Saeed Taghizadeh, Martin Schäler, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 9:
Use cases in dataflow-based privacy and trust modeling and analysis in industry 4.0 systems Rima Al-Ali, Tomas Bures, Björn-Oliver Hartmann, Jiri Havlik, Robert Heinrich, Petr Hnetynka, Adrian Juan-Verdejo, Pavel Parizek, Stephan Seifermann, and Maximilian Walter ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 5:
Enabling cross-event optimization in discrete-event simulation through compile-time event batching Marc Leinweber, Hannes Hartenstein and Philipp Andelfinger ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 6:
Exploiting subspace distance equalities in highdimensional data for knn queries Martin Schäler, David Broneske, Veit Köppen, and Gunter Saake ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 7:
Supplementary material for the study on categories of change triggers in business processes Angelika Kaplan, Kiana Busch, Anne Koziolek, Robert Heinrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 11:
Supplementary material for the evaluation of the layered reference architecture for metamodels to tailor quality modeling and analysis technical report Misha Strittmatter, Robert Heinrich, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 18.12.2018
-
2018, 1:
Towards simulation-data science - a case study on material failures Holger Trittenbach, Martin Gauch, Klemens Böhm, and Katrin Schulz ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2018, 2:
Takeuti’s first-order theory of ordinals revisited Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018
-
2017, 1:
Hiding outliers in high-dimensional data spaces Georg Steinbuß, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 3:
On the various semantics of similarity in word embedding models Ábel Elekes, Martin Schäler, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 11:
A survey on the state and future of automotive software Release and configuration management Eric Sax, Ralf Reussner, Houssemeddine Guissouma and Heiko Klare
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 2:
CoCoME with security Simon Greiner, Mihai Herda ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 6:
A first-order theory of ordinals Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 7:
Some notes on permutations Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 4:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2016/17 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIV Herausgeber: Martin Alexander Neumann, Antonios Karatzoglou, Anja Exler, Erik Pescara, Long Wang, Michael Beigl ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 10:
VerifyThis 2017 a program verification competition Marieke Huisman, Rosemary Monahan, Peter Müller, Wojciech Mostowski, Mattias Ulbrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 12:
Model-driven specification and analysis of confidentiality in component-based systems Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 5:
On secrecy and performance models for query processing on outsourced graph data Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 8:
Scaling up group closeness maximization Elisabetta Bergamini, Tanya Gonser, Henning Meyerhenke ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2017, 9:
Modular verification of information flow security in component-based systems - proofs and proof of concept Simon Greiner, Martin Mohr, and Bernhard Beckert ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017
-
2016, 13:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2016 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIV Herausgeber: Martin Alexander Neumann, Anja Exler, Andrei Miclaus, Antonios Karatzoglou, Long Wang, Michael Beigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2016
-
2015,1:
Deploying and Evaluating Pufferfish Privacy for Smart Meter Data (Technical Report '15) Stephan Kessler, Erik Buchmann, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2015
-
2015, 4:
Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, Erik Burger
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015
-
2015, 2:
Incremental and Compositional Probabilistic Analysis of Programs Fouad ben Nasr Omri, Safa Omri, and Ralf Reussner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015
-
2015, 6:
Regression Verification for Programmable Logic Controller Software Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015
-
2015, 7:
Computing top-k closeness centrality faster in unweighted graphs (Technical Report) Elisabetta Bergamini and Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2015
-
2015, 3:
Deductive Verification of Concurrent Programs Daniel Bruns
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015
-
2015,5:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2014/15 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XII Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2015
-
2015,8:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2015 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XIII Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2015
-
2014, 5:
Towards Specification and Verification of Information Flow in Concurrent Java-like Programs Daniel Bruns
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014,10:
Formal Specification with JML Marieke Huisman, Wolfgang Ahrendt, Daniel Bruns, Martin Hentschel
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014,13:
Deploying and Evaluating Pufferfish Privacy for Smart Meter Data (Technical Report) Stephan Kessler, Erik Buchmann, and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 2:
Using a Context Knowledge Base for the Verification of Vehicle Test Processes Richard Mrasek, Jutta Mülle, and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 6:
Detecting Data-Flow Errors in BPMN 2.0 Silvia von Stackelberg, Susanne Putze, Jutta Mülle, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014, 7:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2013/14 Mobile und Verteilte Systeme Ubiquitous Computing - Teil X Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 9:
nlrpBENCH A Benchmark for Natural Language Requirements Processing Walter F. Tichy, Mathias Landhäußer, and Sven J. Körner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 8:
Dynamic X10 Resource-Aware Programming for Higher Efficiency Matthias Braun, Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 3:
On Verifying Relational Specifications of Java Programs with JKelloy Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014, 4:
FRESCO: A Framework for the Energy Estimation of Computers Extended Version Pavel Efros, Erik Buchmann and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014
-
2014,1:
ModelJoin A Textual Domain-Specific Language for the Combination of Heterogeneous Models Erik Burger, Jörg Henß, Steffen Kruse, Martin Küster, Andreas Rentschler, Lucia Happe
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014,15:
Automatic Generation of Optimized Process Models from Declarative Specifications Richard Mrasek, Jutta Mülle and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014,16:
On the Usability of a Break-the-Glass Annotation Language for Process Models Silvia von Stackelberg, Klemens Böhm, Stefan Grabatin, Jürgen Wäsch
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014,14:
Fast generation of dynamic complex networks with underlying hyperbolic geometry Moritz von Looz, Christian L. Staudt, Henning Meyerhenke, Roman Prutkin
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014,11:
Formal Verification of an Electronic Voting System Daniel Bruns
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2014,12:
Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2014 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XI Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2014
-
2013,14:
Information Flow in Object-Oriented Software Extended Version Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013, 6:
Energy-Optimal Routes for Electric Vehicles Technical Report Moritz Baum, Julian Dibbelt, Thomas Pajor, and Dorothea Wagner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013,13:
FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing Extended Version Clemens Heidinger, Klemens Böhm, Erik Buchmann, and Kai Richter
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013,15:
Universal Programmability - How AI Can Help Walter F. Tichy, Mathias Landhäußer, Sven J. Körner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013,10:
Secure Information Flow for Java - A Dynamic Logic Approach Extended Version Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013,12:
Ubiquitäre Systeme (Seminar) - SS 2013 Mobile und Verteilte Systeme Ubiquitous Computing - Teil IX [Hrsg.:] Predrag Jakimovski
Karlsruhe: KIT, Fakultät für Informatik, 2013
-
2013, 5:
AnAlternative Approach to Alternative Routes: HiDAR Technical Report Moritz Kobitzsch
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013, 2:
A New Approach to Large-Scale Deliberation Sanja Tanasijevic, Klemens Böhm
Karlsruhe: KIT, Karlsruhe Institut für Technologie, Fakultät für Informatik, 2013
-
2013, 3:
Ubiquitäre Systeme (Seminar) - WS 2012/13 Mobile und Verteilte Systeme Ubiquitous Computing - Teil VIII [Hrsg.:] Predrag Jakimovski
Karlsruhe: KIT Karlsruher Institut of Technologie, Fakultät für Informatik, 2013
-
2013, 1:
VerifyThis Verification Competition 2012 Organizer´s Report Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan
Karlsruhe: KIT, Fakultät für Informatik, 2013
-
2013, 7:
invadeX10 Documentation Release 0.5 Andreas Zwinkau, Sebastian Buchwald, Gregor Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2013
-
2013, 9:
Peer-to-Peer Group Affiliation Detection using Mobile Phones Technical Report, September 19th 2013 Dawud Gordon, Michael Beigl, Martin Wirz, Gerhard Tröster, Daniel Roggen
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013, 4:
Western European Workshop on Research in Cryptology (WEWoRC 2013) Book of Abstracts; July 24–26, 2013 Karlsruhe Karlsruher Institut für Technologie (KIT)
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013, 8:
Group Activity Recognition using Belief Propagation for P2P Mobile Devices Technical Report, September 2nd 2013 Dawud Gordon, Markus Scholz, Michael Beigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2013,11:
Towards Effective Structure-Based Assessment of Arguments and Proposals in Online Deliberation Sanja Tanasijevic, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013
-
2012,16:
Generalized Catmull-Clark Subdivision Qi Chen and Hartmut Prautzsch
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,15:
How Much do Digital Natives Disclose on the Internet – a Privacy Study Erik Buchmann, Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 1:
A Graphical Audit Facility for Data Processing and its Evaluation with Users Jens Müller, Murat Kavak, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 9:
An X10 Compiler for Invasive Architectures Matthias Braun, Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,10:
Dynamic Trace Logic Definition and Proofs Bernhard Beckert and Daniel Bruns
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 3:
Semi-Automatic Security Testing of Web Applications from a Secure Model Matthias Büchler, Johan Oudinet, Alexander Pretschner
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 8:
The KeY Approach for the Cryptographic Verification of JAVA Programs A Case Study Tobias Kimmerle, Christian Hütter and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 2:
Rewriting Induction + Linear Arithmetic = Decision Procedure Stephan Falke und Deepak Kapur
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012, 6:
Probabilistic Noninterference Based on Program Dependence Graphs Dennis Giffhorn, Gregor Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,23:
The Java Memory Model is Type Safe Andreas Lochbihler
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,13:
POMDP ModelBuilder Gerhard Dirschl, Rainer Jäkel, Sven R. Schmidt-Rohr
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,24:
Using JOANA for Information Flow Control in Java Programs A Practical Guide Jürgen Graf, Martin Hecker, Martin Mohr
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,21:
Palladio Days 2012 Proceedings, 8 - 9 November 2012, Universität Paderborn, Germany Steffen Becker ... (Editors)
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,11:
Static and Dynamic Aspects of Scientific Collaboration Networks Christian Staudt, Andrea Schumm, Henning Meyerhenke, Robert Görke, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,12:
Resource Awareness for Efficiency in High-Level Programming Languages Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,20:
Computing and Evaluating Multimodal Journeys Daniel Delling, Julian Dibbelt, Thomas Pajor, Dorothea Wagner, and Renato F. Werneck
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,22:
Finding all Convex Cuts of a Plane Graph in Cubic Time Roland Glantz and Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,18:
Fast and Simple Fully-Dynamic Cut Tree Construction Tanja Hartmann and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,4:
Complete Hierarchical Cut-Clustering A Case Study on Modularity and Expansion Michael Hamann, Tanja Hartmann and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,7:
Design and Implementation of a Tool for Peer Assessment Tobias Kimmerle, Christian Hütter and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,14:
Project Albert Service Experiments (PASE) Sven R. Schmidt-Rohr, Gerhard Dirschl, Fabian Romahn, Thorsten Mai, Laurenz Berger, Tim Friedrich, Christian Wischnewski, Martin Seidel, Jonas Stahl, Rüdiger Dillmann
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,17:
An Efficient Generator for Clustered Dynamic Random Networks Robert Görke, Roland Kluge, Andrea Schumm, Christian Staudt, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,5:
Towards a generic approach for meta-modeland domain-independent model variability Zoya Durdik, Klaus Krogmann, Felix Schad
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2012,19:
On partitioning a plane graph by plane curves Roland Glantz, Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2012
-
2011,37:
On Proving Alloy Specifications Using KeY Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,36:
Creating Optimized Cut-Out Sheets for Paper Models from Meshes Raphael Straub and Hartmut Prautzsch
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,8:
Efficient Algorithms for Distributed Detection of Holes and Boundaries in Wireless Networks Dennis Schieferdecker, Markus Völker, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,16:
Defining and Quantifying Elasticity of Resources in Cloud Computing and Scalable Platforms Michael Kuperberg, Nikolas Herbst, Joakim von Kistowski, Ralf Reussner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,25:
Fully-Dynamic Cut Tree Construction Tanja Hartmann und Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,26:
Formal Verification of Object-Oriented Software Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy Bernhard Beckert ... (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,32:
Palladio Days 2011 Proceedings, 17-18 November 2011, FZI Forschungszentrum Informatik, Karlsruhe, Germany Steffen Becker ... (Editors)
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,22:
Seminar Softwarepatente Proceedings. 1. August 2011, Karlsruhe, Deutschland Nadia Alam, Jost Budde, Andreas Drescher, Andre Fuchs, Viktoria Kayser, Thomas Knapp, Max Kramer. Editoren: Markus Dammler, Melanie Depner, Stefanie Betz, Matthias Huber, Dirk Feuchter, Ralf Reussner, Andreas Oberweis, Thomas Dreier, Klaus-J. Melullis
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,13:
An Experimental Study on Generating Planar Graphs Sascha Meinert and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,15:
TA Computer-Assisted Proof of the Bellman-Ford Lemma Peter H. Schmitt
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,9:
A Security Language for BPMN Process Models Jutta Mülle, Silvia von Stackelberg and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,20:
Querying Moving Objects Detected by Sensor Networks Extended Version Markus Bestehorn
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,27:
Generalizing geometric graphs Edith Brunel, Andreas Gemsa, Marcus Krug, Ignaz Rutter, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,21:
Interpolation of curves using variational subdivision surfaces Qi Chen and Robin Dapp
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,34:
A Unified, Machine-Checked Formalisation of Java and the Java Memory Model Andreas Lochbihler
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,35:
FIRM - A Graph-Based Intermediate Representation Matthias Braun, Sebastian Buchwald, Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,1:
The OpenProcessor Platform Fostering Research on the Hardware/Software Boundary Raphael Neider
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,11:
Dynamic Graph Clustering Combining Modularity and Smoothness Robert Görke, Pascal Maillard, Andrea Schumm, Christian Staudt, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,12:
Dynamic Graph Clustering Using Minimum-Cut Trees Robert Görke, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,17:
Density-Constrained Graph Clustering Robert Görke, Andrea Schumm, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,24:
Orthogeodesic Point-Set Embedding of Trees Emilio di Giacomo, Fabrizio Frati, Radoslav Fulek, Luca Grilli, Marcus Krug
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,38:
Embedding 'Break the Glass' into Business Process Models Silvia von Stackelberg, Klemens Böhm and Matthias Bracht
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,6:
Termination Analysis of C Programs Using Compiler Intermediate Languages Stephan Falke, Deepak Kapur, and Carsten Sinz
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,2:
Software Evolution for Industrial Automation Systems Literature Overview Johannes Stammel, Zoya Durdik, Klaus Krogmann, Roland Weiss, Heiko Koziolek
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,4:
Auto-Tuning Multicore Applications at Run-Time with a Cooperative Tuner Thomas Karcher, Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,5:
Parallel SQL Query Auto-Tuning on Multicore Victor Pankratius, Martin Heneka
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,10:
Fully-Dynamic Hierarchical Graph Clustering Using Cut Trees Christof Doll, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,14:
The Palladio Component Model Ralf Reussner, Steffen Becker, Erik Burger, Jens Happe, Michael Hauck, Anne Koziolek, Heiko Koziolek, Klaus Krogmann, Michael Kuperberg
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,18:
The Density Maximization Problem in Graphs Mong-Jen Kao, Bastian Katz, Marcus Krug, D.T. Lee, Ignaz Rutter, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,23:
Representation-Independent Data Usage Control Alexander Pretschner, Enrico Lovat, Matthias Büchler
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,28:
Using Federated Identity Management in a Business-Process-Management System - Requirements, Architecture, and Implementation Tanja Hartmann und Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,29:
Evolutionary Auto-Tuning for Multicore Applications Andreas Zwinkau und Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,30:
Revealing the Suitability of Incentive Mechanisms for the Collaborative Creation of Structured Knowledge Conny Kühne and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2011,31:
On the Benefits of Combining Functional and Imperative Programming for Multicore Software An Empirical Study Comparing Scala and Java Victor Pankratius, Felix Schmidt, Gilda Garretón
Karlsruhe: KIT, Fakultät für Informatik, 2011
-
2010,1:
TachoRace: Exploiting Performance Counters for Run-Time Race Detection Jochen Schimmel ; Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,4:
Preprocessing Speed-Up Techniques is Hard Reinhard Bauer ; Tobias Columbus ; Bastian Katz ; Marcus Krug ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,5:
Modularity-Driven Clustering of Dynamic Graphs Robert Görke ; Pascal Maillard ; Christian Staudt ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,11:
Dynamic Frames in Java Dynamic Logic Formalisation and Proofs Peter H. Schmitt ; Mattias Ulbrich ; Benjamin Weiß
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,21:
On d-regular Schematization of Embedded Paths Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,2:
Path schematization for route sketches Daniel Delling ; Andreas Gemsa ; Martin Nöllenburg ; Thomas Pajor
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,9:
Parallelizing an Index Generator for Desktop Search David J. Meder ; Walter F. Tichy
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,10:
On the Usefulness of Weight-Based Constraints in Frequent Subgraph Mining Frank Eichinger ; Matthias Huber ; Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,8:
Search Algorithms for Automatic Performance Tuning of Parallel Applications on Multicore Platforms Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010, 3:
Tagungsband des 12. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V." Institut für Kryptographie und Sicherheit
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,13:
Formal Verification of Object-Oriented Software Papers presented at the International Conference, June 28-30, 2010, Paris, France Bernhard Beckert ; Claude Marché (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2010 ; Berlin [u.a.]: Springer, 2010
-
2010,6:
Towards Efficient Equilibria of Combinations of Network-Formation and Interaction Strategies Björn-Oliver Hartmann ; Klemens Böhm ; Christian Hütter
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,7:
Deductive Verification of a Byzantine Agreement Protocol Roman Krenický ; Mattias Ulbrich
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,20:
Software Security in Virtualized Infrastructures The Smart Meter Example B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,12:
Energy-Efficient Processing of Spatio-Temporal Queries in Wireless Sensor Networks Extended version Markus Bestehorn ; Klemens Böhm ; Erik Buchmann ; Stephan Kessler
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,14:
Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP) 2010 22nd June 2010, Praha, Czech Republic Barbora Bühnová ; Ralf Reussner ; Clemens Szyperski ; Wolfgang Weck (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,16:
Fallstudie: Parallelisierung der Erstellung von Tiefenkarten aus Stereobildern Oliver Denninger
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,17:
The Shortcut Problem - Complexity and Algorithms Reinhard Bauer ; Gianlorenzo D'Angelo ; Daniel Delling ; Andrea Schumm ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010
-
2010,18:
Orthogonal Graph Drawing with Flexibility Constraints Thomas Bläsius ; Marcus Krug ; Ignaz Rutter ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010