Technische Berichte

2017

  • Aaron Pereira and Matthias Althoff: A Cartesian-Space Method for Calculating Human Reachable Occupancy. 2017, mehr… Volltext (mediaTUM)
  • Ana Maria Radut, Sina Shafaei: A Regression-based Control Approach for Limited Slip Differencial. 2017, mehr… Volltext (mediaTUM)
  • Jakob Mund, Iman Badr, Safa Bougouffa, Birgit Vogel-Heuser: Towards Continuous Integration in Model-Based Engineering of Automated Production Systems. 2017, mehr… Volltext (mediaTUM)
  • Nikhil Somani, Yaadhav Raaj, Suraj Nair, Alois Knoll: Adapting the Search Subspace of a Particle Filter using Geometric Constraints. 2017, mehr… Volltext (mediaTUM)
  • Rahul Gujarathi, Suraj Nair, Daniel Zehe, Goran Marinkovic, Jiajian Xiao, Pranjal Swarup, Yude Lee, Alois Knoll, Fritz Frenkler, Clemens Scharfen, Marianne Eisl, Christopher Lindinger and Roland Haring: TUMCREATE - interactive virtual research lab. 2017, mehr… Volltext (mediaTUM)
  • Tobias Neckel, Alfredo Parra Hinojosa, Florian Rupp: Path-Wise Algorithms for Random & Stochastic ODEs with Applications to Ground-Motion-Induced Excitations of Multi-Storey Buildings. 2017, mehr… Volltext ( DOI ) Volltext (mediaTUM)

2016

  • Abhinav Sunderrajan, Vaisagh Viswanathan, Wentong Cai, Alois Knoll: SYMBIOTIC TRAFFIC SIMULATION FRAMEWORK. 2016, mehr… Volltext (mediaTUM)
  • Enrico Lovat, Martin Ochoa, Alexander Pretschner: Sound and Precise Cross-Layer Data Flow Tracking. 2016, mehr… Volltext (mediaTUM)
  • Georg Hackenberg, Jakob Mund: Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study. 2016, mehr… Volltext (mediaTUM)
  • Hanjo Täubig: Inequalities for Matrix Powers and Absolute Values: A Generalization of London’s Conjecture. 2016, mehr… Volltext (mediaTUM)
  • Hubertus Feußner, Sebastian Koller, Brian Jensen, Morteza Hashemi: Kombinierte viszeralmedizinische und transvaskuläre Eingriffe. 2016, mehr… Volltext (mediaTUM)
  • Jordan Ivanchev, Sorina Litescu, Daniel Zehe, Michael Lees, Heiko Aydt, and Alois Knoll: Determining the Most Harmful Roads in Search for System Optimal Routing. 2016, mehr… Volltext (mediaTUM)
  • Kai Huang, Biao Hu, Long Chen, Alois Knoll, Zhihua Wang: ADAS on COTS with OpenCL: A Case Study with Lane Detection. 2016, mehr… Volltext (mediaTUM)
  • Kai Huang, Biao Hu, Long Chen, Alois Knoll, Zhihua Wang: ADAS on COTS with OpenCL: A Case Study with Lane Detection. 2016, mehr… Volltext (mediaTUM)
  • Mario Gleirscher, Stefan Kugele: A Study of Safety Patterns: First Results. 2016, mehr… Volltext (mediaTUM)
  • Paul Muntean und Alexander Malkis: Automatic Security Checks on the Model Level. 2016, mehr… Volltext (mediaTUM)
  • Paul Muntean und Alexander Malkis: Information Exposure Checker. 2016, mehr… Volltext (mediaTUM)
  • Peter M. Kielar, Daniel H. Biedermann, and André Borrmann: MomenTUMv2 – A Modular, Extensible, and Generic Agent-Based Pedestrian Behavior Simulation Framework. 2016, mehr… Volltext (mediaTUM)
  • Project Consortium TUM Living Lab Connected Mobility: Digital Mobility Platforms and Ecosystems – State of the Art Report. , Hrsg.: Anne Faber, Florian Matthes, Felix Michel: Software Engineering for Business Information Systems (sebis), Technische Universität München (München) , 2016, mehr… Volltext ( DOI ) Volltext (mediaTUM)
  • Sajjad Taheritanjani, Stephan Krusche, Bernd Bruegge: A Comparison between Commercial and Open Source Reference Implementations for the Rugby Process Model. 2016, mehr… Volltext (mediaTUM)
  • Sorina Costache Litescu, Vaisagh Viswanathan, Heiko Aydt, Alois Knoll: The Effect of Information Uncertainty in Transportation Systems. 2016, mehr… Volltext (mediaTUM)
  • Zhenshan Bing; Long Cheng; Kai Huang; Mingchuan Zhou; Alois Knoll: A CPG-based Control Architecture for 3D Locomotion of a snake-like robot. 2016, mehr… Volltext (mediaTUM)

2015

  • Alexander W. Schneider; Anna Gschwendtner; Florian Matthes: IT Architecture Standardization Survey. 2015, mehr… Volltext (mediaTUM)
  • Alfredo Parra Hinojosa and Tobias Neckel: K-RODE-Taylor schemes of order 3 and 4 for the Kanai-Tajimi earthquake model. 2015, mehr… Volltext ( DOI ) Volltext (mediaTUM)
  • Andre Gaschler, Quirin Fischer, Alois Knoll: The Bounding Mesh Algorithm. 2015, mehr… Volltext (mediaTUM)
  • Carolin Torchiani, Michael J. Seitz, David Willems, Stefan Ruzika, Gerta Köster: Fahrgastwechselzeiten von Shuttlebussen – Feldbeobachtung, statistische Auswertung und weitere Verwendung der Daten (Beobachtung vom 06.12.2014 in Kaiserslautern). 2015, mehr… Volltext (mediaTUM)
  • Daniel H. Biedermann, Felix Dietrich, Oliver Handel, Peter M. Kielar, Michael Seitz: Using Raspberry Pi for scientific video observation of pedestrians during a music festival. 2015, mehr… Volltext (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Complexity Results for Fork-Free Petri Nets. 2015, mehr… Volltext (mediaTUM)
  • Georg Hackenberg, Christoph Richter, Michael Zäh: IMoMeSA – Abschlussbericht – Integrierte modellbasierte Entwicklung mechatronischer Systeme im Maschinen- und Anlagenbau. 2015, mehr… Volltext (mediaTUM)
  • Hanjo Täubig: Inequalities for the Number of Walks in Subdivision Graphs. 2015, mehr… Volltext (mediaTUM)
  • Janosch Maier, Wolfgang Wörndl: Rating Methods for Proactive Recommendation on Smartwatches. 2015, mehr… Volltext (mediaTUM)
  • Jordan Ivanchev, Heiko Aydt, Alois Knoll: Routing Choice Information Maximising Robust Optimal Sensor Placement Against Variations of Traffic Demand Based on Importance of Nodes. 2015, mehr… Volltext (mediaTUM)
  • Mahmoud Akl; Florian Walter; Florian Röhrbein: Learning Spiking Neural Controllers for In-silico Navigation Experiments. 2015, mehr… Volltext (mediaTUM)
  • Maximilian Irlbeck, Vasileios Koutsoumpas: Die E-Energy Referenzarchitektur – Eine Vision für ein Smart Energy System made in Germany. 2015, mehr… Volltext (mediaTUM)
  • Veronika Bauer, Tobias Völke, Sebastian Eder: COMPARING TF-IDF AND LSI AS IR TECHNIQUE IN AN APPROACH FOR DETECTING SEMANTIC RE-IMPLEMENTATIONS IN SOURCE CODE. 2015, mehr… Volltext (mediaTUM)

2014

  • Alois Knoll: The Dawn of the Age of Autonomy. 2014, mehr… Volltext (mediaTUM)
  • Caixia Cai, Nikhil Somani, Suraj Nair, Dario Mendoza, Alois Knoll: Uncalibrated Stereo Visual Servoing for manipulators using virtual Impedance Control. 2014, mehr… Volltext (mediaTUM)
  • Denis Bytschkow, Alarico Campetelli, María Victoria Cengarle, Maximilian Irlbeck, Konstantin Schorp: Reference Framework for the Engineering of Cyber-Physical Systems: A First Approach. 2014, mehr… Volltext (mediaTUM)
  • Evgeny Strekalovskiy and Daniel Cremers: Real-Time Minimization of the Piecewise Smooth Mumford-Shah Functional. 2014, mehr… Volltext (mediaTUM)
  • Gang Chen, Biao Hu, Kai Huang, Alois Knoll: Cache Management and Time-triggered Scheduling for Hard Real-time MPSoCs. 2014, mehr… Volltext (mediaTUM)
  • Hanjo Täubig: Further Results on the Number of Walks in Graphs and Weighted Entry Sums of Matrix Powers. 2014, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann, Michaela Tiessler: Crafting a Method Engineering Metamodel – Approach, Methods, Results. 2014, mehr… Volltext (mediaTUM)
  • Martin Hoernig, Andreas Bigontina, Bernd Radig: A Comparative Evaluation of Current HTML5 Web Video Implementations. 2014, mehr… Volltext (mediaTUM)
  • Matthias Wieczorek, Jakob Vogel, Tobias Lasser: CampRecon – a software framework for linear inverse problems. 2014, mehr… Volltext (mediaTUM)
  • Paul Muntean: Modeling of information-flow restrictions. 2014, mehr… Volltext (mediaTUM)
  • Ralf Vogler: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint. 2014, mehr… Volltext (mediaTUM)
  • Saahil Ognawala, Daniel Méndez Fernández, Stefan Wagner: Requirements Engineering Improvement Today – A Systematic Mapping Study. 2014, mehr… Volltext (mediaTUM)
  • Thomas Möllenhoff, Evgeny Strekalovskiy, and Daniel Cremers: A First Order Primal-Dual Algorithm for Nonconvex TV^q Regularization. 2014, mehr… Volltext (mediaTUM)
  • Wessam Abdrabo, Yonata Andrelo Asikin, Wolfgang Wörndl: SerenCast: Towards Understanding the Occurrence of Serendipity During the Consumption of Digital Content. 2014, mehr… Volltext (mediaTUM)

2013

  • Alexander Malkis, Yutaka Nagashima, Steffen Borgwardt und Claudia Eckert: The Diameter of Binary Multithreaded Programs – Preliminary Results. Technische Universität München, 2013, mehr… Volltext (mediaTUM)
  • Andrei Popescu <popescua@in.tum.de>, Johannes Hölzl <hoelzl@in.tum.de>, Tobias Nipkow <nipkow@in.tum.de>: Noninterfering Schedulers – When Possibilistic Noninterference Implies Probabilistic Noninterference. 2013, mehr… Volltext (mediaTUM)
  • Atanas Atanasov, Hans-Joachim Bungartz and Tobias Weinzierl: A Toolkit for the Code Development in Advanced Computing – Advanced Scientific Computing Development Toolkit. 2013, mehr… Volltext (mediaTUM)
  • Ciechanowicz, David; Aydt, Heiko; Lees, Michael; Knoll, Alois; Hamacher, Thomas: A Universal Scheme for Modeling Energy Systems. 2013, mehr… Volltext (mediaTUM)
  • Daniel Méndez Fernández, Birgit Penzenstadler, Manfred Broy, Jonas Eckhardt, Henning Femmer: AMDiRE - Artefact Model for Domain-independent RE – A small Cheat Sheet. 2013, mehr… Volltext (mediaTUM)
  • Daniel Méndez Fernández, Stefan Wagner: Naming the Pain in Requirements Engineering - NaPiRE-Report 2013 – Design of a Global Family of Surveys and First Results from Germany. 2013, mehr… Volltext (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. 2013, mehr… Volltext (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities. 2013, mehr… Volltext (mediaTUM)
  • Florian Röhrbein, Sascha Griffiths, Laura Voss: On Industry-Academia Collaborations in Robotics. 2013, mehr… Volltext (mediaTUM)
  • Hardik Shah, Kai Huang, Alois Knoll: Weighted Execution Time Analysis of Applications on COTS Multi-core Architectures. 2013, mehr… Volltext (mediaTUM)
  • Hauke Stähle, Kai Huang, Alois Knoll: Drive-by-Wireless with the eCar Demonstrator. 2013, mehr… Volltext (mediaTUM)
  • Julia Bergbauer, Claudia Nieuwenhuis, Mohamed Souiai, Daniel Cremers: Morphological Proximity Priors: Spatial Relationships for Semantic Segmentation. 2013, mehr… Volltext (mediaTUM)
  • Karim Emara, Wolfgang Woerndl, Johann Schlichter: Beacon-based Vehicle Tracking in Vehicular Ad-hoc Networks. 2013, mehr… Volltext (mediaTUM)
  • Klaus Lochmann, Stefan Wagner: A Quality Model for Software Quality. 2013, mehr… Volltext (mediaTUM)
  • Kristof Unterweger, Tobias Weinzierl, David I. Ketcheson, Aron Ahmadia: PEANOCLAW—A FUNCTIONALLY-DECOMPOSED APPROACH TO ADAPTIVE MESH REFINEMENT WITH LOCAL TIME STEPPING FOR HYPERBOLIC CONSERVATION LAW SOLVERS. 2013, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann: ArSPI: An Artifact Model for Software Process Improvement and Management. 2013, mehr… Volltext (mediaTUM)
  • Maria Spichkova (Editor), Alarico Campetelli (Editor), Klaus Lochmann (Editor): Seminar: Embedded Systems. 2013, mehr… Volltext (mediaTUM)
  • Martin Hofmann; Aleksandr Karbyshev; Helmut Seidl: On the Verification of Local Generic Solvers. 2013, mehr… Volltext (mediaTUM)
  • María Victoria Cengarle, Jonas Eckhardt, Jürgen Hairbucher, Oliver Hanka, Stefan Kuntz, Birgit Penzenstadler, Oliver Sander, Wolfgang Schwitzer, Astrid Steingrüber: ARAMiS Scenarios and Requirements – The ARAMiS Cyber-Physical Systems Scenario. 2013, mehr… Volltext (mediaTUM)
  • Máté Kovács: Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties (Proofs). 2013, mehr… Volltext (mediaTUM)
  • Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss: Model-based Hazard and Impact Analysis – Modellgestützte Gefährdungsanalyse und Risikobewertung. 2013, mehr… Volltext (mediaTUM)
  • V. Bauer; M. Broy; M. Irlbeck; C. Leuxner; M. Spichkova; M. Dahlweid; T. Santen: Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems. 2013, mehr… Volltext (mediaTUM)

2012

  • Alejandra Rodriguez, Birgit Penzenstadler: An Assessment Technique for Sustainability: Applying the IMAGINE Approach to Software Systems – Guided Research Report. 2012, mehr… Volltext (mediaTUM)
  • Alexandre Bouard, Benjamin Glas, Anke Jentzsch, Alexander Kiening, Thomas Kittel, Franz Stadler, Benjamin Weyl: SEIS AP 4.3 - Sicherheit auf Ebene der Applikation und ihrer Middleware. 2012, mehr… Volltext (mediaTUM)
  • Andrej Bauer; Martin Hofmann; Aleksandr Karbyshev: On monadic parametricity of second-order functionals. 2012, mehr… Volltext (mediaTUM)
  • Birgit Penzenstadler: Mini-Guideline to Requirements Engineering. 2012, mehr… Volltext (mediaTUM)
  • Birgit Penzenstadler: Sustainability in Software Engineering: A Systematic Literature Review for Building up a Knowledge Base. 2012, mehr… Volltext (mediaTUM)
  • Birgit Penzenstadler, Henning Femmer: A Generic Model for Sustainability. 2012, mehr… Volltext (mediaTUM)
  • Claus Lenz, Markus Grimm, Thorsten Röder, Alois Knoll: Fusing multiple Kinects to survey shared Human-Robot-Workspaces. 2012, mehr… Volltext (mediaTUM)
  • Daniela Steidl: Using Network Analysis for Recommendation of Central Software Classes. 2012, mehr… Volltext (mediaTUM)
  • Florian Matthes, Alexander W. Schneider, Christopher Schulz: IT Carve-Out Guide – A manual for the separation of IT during corporate re-organizations. 2012, mehr… Volltext (mediaTUM)
  • Hanjo Täubig: The number of walks and degree powers in directed graphs. 2012, mehr… Volltext (mediaTUM)
  • Hanjo Täubig; Jeremias Weihmann: Inequalities for the Number of Walks, the Spectral Radius, and the Energy of Graphs. 2012, mehr… Volltext (mediaTUM)
  • Kalmer Apinis, Helmut Seidl, and Vesal Vojdani: Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. 2012, mehr… Volltext (mediaTUM)
  • Lalana Kagal and Alexander Pretschner: Data Usage Management on the Web – Proceedings of a WWW2012 workshop. 2012, mehr… Volltext (mediaTUM)
  • Maria Spichkova: Seminar: Human Factors in Software Engineering. 2012, mehr… Volltext (mediaTUM)
  • Maria Spichkova: Component Composition: Formal Specification and Verification of Cryptographic Properties. 2012, mehr… Volltext (mediaTUM)
  • Mario Gleirscher: Ein Kaffeevollautomat – Fallstudie f{\"u}r modellbasierte Spezifikation zur Vorlesung ``Requirements Engineering'' im Sommersemester 2011 (Skizzen und L{\"o}sungsvorschl{\"a}ge). 2012, mehr… Volltext (mediaTUM)
  • Martina-Cezara Albutiu, Alfons Kemper, Thomas Neumann: Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems. 2012, mehr… Volltext (mediaTUM)
  • Mohamed Souiai, Evgeny Strekalovskiy, Claudia Nieuwenhuis, Daniel Cremers: Label Configuration Priors for Continuous Multi-Label Optimization. 2012, mehr… Volltext (mediaTUM)
  • Ragna Steenweg; Marco Kuhrmann; Daniel Méndez Fernández: Software Engineering Process Metamodels – A Literature Review. 2012, mehr… Volltext (mediaTUM)
  • Stefan Wagner, Klaus Lochmann, Sebastian Winter, Andreas Goeb, Michael Kläs, Sabine Nunnenmacher: Software Quality Models in Practice – Survey Results. 2012, mehr… Volltext (mediaTUM)
  • Stefan Wagner, Klaus Lochmann, Sebastian Winter, Florian Deissenboeck, Elmar Juergens, Markus Herrmannsdoerfer, Lars Heinemann, Michael Kläs, Adam Trendowicz, Jens Heidrich, Reinhold Ploesch, Andreas Goeb, Christian Koerner, Korbinian Schoder, Jonathan Streit, Christian Schubert: The Quamoco Quality Meta-Model. 2012, mehr… Volltext (mediaTUM)

2011

  • Andre Dau; Johannes Krugel: tt-analyze and tt-generate: Tools to Analyze and Generate Sequences with Trained Statistical Properties. 2011, mehr… Volltext (mediaTUM)
  • Bernhard Amann; Thomas Fuhrmann: Adding Cryptographically Enforced Permissions to Fully Decentralized File Systems. 2011, mehr… Volltext (mediaTUM)
  • Birgit Penzenstadler; Veronika Bauer; Andreas Fleischmann: Seminar: Sustainability in Software Engineering. 2011, mehr… Volltext (mediaTUM)
  • Bjoern Schwerdtfeger; Gudrun Klinker: Abschlussbericht: Avilus Tracking Contest 2010, 16.-27. August 2010. 2011, mehr… Volltext (mediaTUM)
  • Carsten Steger: A Note on &ldquo;Pose Estimation from Corresponding Point Data&rdquo; by Haralick et al. 2011, mehr…
  • David Trachtenherz: Formal Validation of Core SALT Translation to LTL in Isabelle/HOL. 2011, mehr… Volltext (mediaTUM)
  • Jana Schmidt; Stefan Kramer: The Augmented Itemset Tree: A Data Structure For Online Maximum Frequent Pattern Mining. 2011, mehr…
  • Jana Schmidt; Stefan Kramer: Learning Probabilistc Real Time Automata From Multi-Attribute Event Logs. 2011, mehr… Volltext (mediaTUM)
  • Johannes Huebner; Wolfgang Woerndl: Proactivity in a Mobile, Context-Aware Recommender System. 2011, mehr… Volltext (mediaTUM)
  • M. Feilkas; F. Hölzl; Ch. Pfaller; S. Rittmann; B. Schätz; W. Schwitzer; W. Sitou; M. Spichkova; D. Trachtenherz: A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry-System Case Study -. 2011, mehr… Volltext (mediaTUM)
  • Marc Sihling; Andreas Rausch; Christian Lange; Marco Kuhrmann: Software &amp; Systems Engineering Essentials 2011. 2011, mehr… Volltext (mediaTUM)
  • Marcus Toennis; Amal Benzina; Gudrun Klinker: Utilizing Consumer 3D TV Hardware for Flexible and Reconfigurable Visualization Systems. 2011, mehr… Volltext (mediaTUM)
  • Marcus Tönnis; David A. Plecher: Presentation Principles in Augmented Reality Classification and Categorization Guidelines. 2011, mehr… Volltext (mediaTUM)
  • Maria Spichkova: User Guide for the FOCUS representation in LaTeX. 2011, mehr…
  • Maria Spichkova: Focus on processes. 2011, mehr… Volltext (mediaTUM)
  • Raymond Hemmecke; Sven Kosub; Ernst W. Mayr; Hanjo Täubig; Jeremias Weihmann: Inequalities for the Number of Walks in Trees and General Graphs and a Generalization of a Theorem of Erdös and Simonovits. 2011, mehr… Volltext (mediaTUM)
  • Sabine Buckl, Christian M. Schweda: On the State-of-the-Art in Enterprise Architecture Management Literature. 2011, mehr… Volltext (mediaTUM)
  • Sebastian Eder; Andreas Vogelsang; Martin Feilkas: Seamless Modeling of an Automation Example Using the SPES Methodology. 2011, mehr… Volltext (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Peter Liggesmeyer; Juergen Muench: Tagungsband des 4. Workshops zur Software-Qualitätsmodellierung und -bewertung. 2011, mehr… Volltext (mediaTUM)
  • Thomas Windheuser, Ulrich Schlickewei; Daniel Cremers: Minimal Surfaces for 3D Shape Matching: A Linear Programming Solution. 2011, mehr… Volltext (mediaTUM)
  • Viktor Leis: On the Performance and Pruning Power of Different Join Enumeration Strategies. 2011, mehr… Volltext (mediaTUM)

2010

  • Alarico Campetelli: Analysis Techniques: State of the Art in Industry and Research. 2010, mehr… Volltext (mediaTUM)
  • Alarico Campetelli; María Victoria Cengarle; Irina Gaponova; Alexander Harhurin; Daniel Ratiu; Judith Thyssen: Specification Techniques. 2010, mehr… Volltext (mediaTUM)
  • Alexandra Kirsch: Be a Robot - A Study on Everyday Activities Performed in Real and Virutal Worlds. 2010, mehr…
  • Alfons Kemper; Thomas Neumann: HyPer: HYbrid OLTP&amp;OLAP High PERformance Database System. 2010, mehr… Volltext (mediaTUM)
  • Aurel V Martiniuc; Alois Knoll: Signaling direction of motion at the output of retina. From biophysics of neural computation to computational models. 2010, mehr… Volltext (mediaTUM)
  • Björn Saballus; Thomas Fuhrmann: A Decentralized Object Location and Retrieval Algorithm for Distributed Runtime Environments. 2010, mehr… Volltext (mediaTUM)
  • Dominik Sojer; Christian Buckl; Alois Knoll: Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware. 2010, mehr… Volltext (mediaTUM)
  • Ekaterina Elts; Hans-Joachim Bungartz: Grid-Workflow-Management-Systeme für die Ausführung wissenschaftlicher Prozessabläufe. 2010, mehr… Volltext (mediaTUM)
  • Eva Artinger; Martin Schanzenbach; Florian Echtler; Tayfur Coskun; Simon Nestler; Gudrun Klinker: Beyond Pinch-to-Zoom: Exploring Alternative Multi-touch Gestures for Map Interaction. 2010, mehr… Volltext (mediaTUM)
  • F. Hölzl, M. Spichkova, D. Trachtenherz: Safety-Critical System Development Methodology. 2010, mehr… Volltext (mediaTUM)
  • F. Hölzl, M. Spichkova, D. Trachtenherz: AutoFocus Tool Chain. 2010, mehr… Volltext (mediaTUM)
  • Georg Groh, Alexander Lehmann: A New Data-Set for Research on Audio-Detection and Modeling of Social Micro-Contexts. 2010, mehr… Volltext (mediaTUM)
  • Georg Groh; Philip Daubmeier: State of the Art in Mobile Social Networking on the Web. 2010, mehr… Volltext (mediaTUM)
  • Gero Greiner; Riko Jacob: Evaluating Non-Square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model. 2010, mehr… Volltext (mediaTUM)
  • Jewgenij Botaschanjan; Thomas Hensel; Benjamin Hummel; Alexander Lindworsky; Michael F. Zäh; Gunther Reinhart; Manfred Broy: AutoVIBN -- Abschlussbericht: Automatische Generierung von Verhaltensmodellen aus CAD-Daten für die qualitättsorientierte virtuelle Inbetriebnahme. 2010, mehr… Volltext (mediaTUM)
  • Lars Heinemann; Christian Neumann; Birgit Penzenstadler; Wassiou Sitou (eds.): Software Architecture in Depth. 2010, mehr… Volltext (mediaTUM)
  • Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör: Towards a Formal Engineering Approach for SOA. 2010, mehr… Volltext (mediaTUM)
  • Marc Sihling; Andreas Rausch; Jan Friedrich; Marco Kuhrmann: Proceedings zur SEE 2010. 2010, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann; Georg Kalus; Manuel Then: Flexible Process-Tool-Integration. 2010, mehr…
  • Maria Spichkova: Architecture: Methodology of Decomposition. 2010, mehr… Volltext (mediaTUM)
  • Maria Spichkova: From Semiformal Requirements To Formal Specification. 2010, mehr… Volltext (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Peter Liggesmeyer; Jürgen Münch: Tagungsband des 3. Workshops zur Software-Qualitätsmodellierung und -bewertung. 2010, mehr… Volltext (mediaTUM)
  • Suraj Nair; Alois Knoll: Robust Tracking of Humans by Intelligent Multi-modal Fusion of Visual Cues using Machine Learning. 2010, mehr… Volltext (mediaTUM)
  • Thomas Fuhrmann (Hrsg.): Schlussbericht AmbiComp: Software Entwicklung mit universell kombinierbaren Ambient Intelligence Komponenten. 2010, mehr… Volltext (mediaTUM)

2009

  • Alexander Harhurin; Judith Hartmann; Daniel Ratiu: Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems. 2009, mehr… Volltext (mediaTUM)
  • Broy; Fleischmann; Islam; Kof; Lochmann; Leuxner; Penzenstadler; Mendez; Sitou; Winter: Towards an Integrated Approach to Requirement Engineering. 2009, mehr… Volltext (mediaTUM)
  • Christian Leuxner; Wassiou Sitou; Bernd Spanfelner; Veronika Thurner; Armin Schneider: Modeling Work Flows For Building Context-Aware Applications. 2009, mehr… Volltext (mediaTUM)
  • Christian Scheideler; Stefan Schmid: A Distributed and Oblivious Heap. 2009, mehr… Volltext (mediaTUM)
  • Christian Waechter; Daniel Pustka; Gudrun Klinker: A Perspective Approach Toward Monocular Particle-based People Tracking. 2009, mehr… Volltext (mediaTUM)
  • Daniel Ratiu; Wolfgang Schwitzer; Judith Thyssen: A System of Abstraction Layers for the Seamless Development of Embedded Software Systems. 2009, mehr… Volltext (mediaTUM)
  • David Trachtenherz: Ausfuehrungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Aequivalenzbeweis. 2009, mehr… Volltext (mediaTUM)
  • Hugo Herbelin (Ed.): The 1st Coq Workshop, Proceedings. 2009, mehr…
  • Jan Friedrich; Marco Kuhrmann; Andreas Rausch; Marc Sihling: Proceedings zur SEE 2009. 2009, mehr… Volltext (mediaTUM)
  • Jewgenij Botaschanjan; Alexander Harhurin: A Formal Framework for Integrating Functional and Architectural Views of Reactive Systems. 2009, mehr… Volltext (mediaTUM)
  • Klaus Bergner; Jan Friedrich: Modulare Spezifikation von Projektabl&auml;ufen. 2009, mehr… Volltext (mediaTUM)
  • M. Feilkas; A. Fleischmann; F. Hölzl; C. Pfaller; K. Scheidemann; M. Spichkova; D. Trachtenherz: A Top-Down Methodology for the Development of Automotive Software. 2009, mehr…
  • Manfred Broy; Mario Gleirscher; Peter Kluge; Wolfgang Krenzer; Stefano Merenda; Doris Wild: Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description. 2009, mehr… Volltext (mediaTUM)
  • Marianne Mueller; Romer Rosales; Harlad Steck; Sriram Krishnan; Bharat Rao; Stefan Kramer: Data-Efficient Information-Theoretic Test Selection. 2009, mehr…
  • Markus Herrmannsdoerfer; Stefano Merenda: Result of the Tool Questionnaire. 2009, mehr… Volltext (mediaTUM)
  • Markus Rickert; Michael Kassecker; Alois Knoll: Aufgabenbeschreibung mit verhaltensbasierter Robotersteuerung und natuerlicher Kommunikation. 2009, mehr… Volltext (mediaTUM)
  • Martin Feilkas; Alexander Harhurin; Judith Hartmann; Daniel Ratiu; Wolfgang Schwitzer: Motivation and Introduction of a System of Abstraction Layers for Embedded Systems. 2009, mehr… Volltext (mediaTUM)
  • María Victoria Cengarle; Hans Grönniger: System Model Semantics of Interactions. 2009, mehr…
  • Matthias Baumgart; Christian Scheideler; Stefan Schmid: A DoS-Resilient Information System for Dynamic Data Management. 2009, mehr… Volltext (mediaTUM)
  • Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer: Entwicklung eines Leitfadens für das Requirements Engineering softwareintensiver Eingebetteter Systeme. 2009, mehr…
  • Simon Nestler; Manuel Huber; Gudrun Klinker: Hybrid approach for management of patient-related information in mass casualty incidents. 2009, mehr… Volltext (mediaTUM)
  • Stefan Berghofer; Makarius Wenzel (Eds.): Theorem Proving in Higher Order Logics --- Emerging Trends Proceedings. 2009, mehr…
  • Stefan Birnkammerer; Wolfgang Woerndl; Georg Groh: Recommending for Groups in Decentralized Collaborative Filtering. 2009, mehr… Volltext (mediaTUM)
  • Stefan Wagner, Manfred Broy, Florian Deissenboeck, Peter Liggesmeyer, Jürgen Münch: Tagungsband 2. Workshop zur Software-Qualiätsmodellierung und -bewertung. 2009, mehr… Volltext (mediaTUM)
  • Steven Ganzert; Stefan Kramer; Knut Möller; Daniel Steinmann; Josef Guttmann: Prediction of Mechanical Lung Parameters Using Gaussian Process Models. 2009, mehr… Volltext (mediaTUM)
  • Thomas Ternité; Marco Kuhrmann: Das V-Modell XT 1.3 Metamodell. 2009, mehr…

2008

  • Alexander Harhurin; Judith Hartmann: Dienstbasierte Spezifikation des ACC, Fallstudie. 2008, mehr… Volltext (mediaTUM)
  • Ali Bigdelou; Alexander Ladikos; Nassir Navab: Shape from Silhouette in Dynamic Scenes. 2008, mehr… Volltext (mediaTUM)
  • Andrea Flexeder; Michael Petter; Helmut Seidl: Analysis of executables for WCET concerns. 2008, mehr… Volltext (mediaTUM)
  • Andreas Bauer; Martin Leucker; Christian Schallhart: The good, the bad, and the ugly - but how ugly is ugly? 2008, mehr… Volltext (mediaTUM)
  • Andrzej Lingas; Miroslaw Kowaluk; Johannes Nowak: A Path Cover Technique for LCAs in Dags. 2008, mehr… Volltext (mediaTUM)
  • Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker: SMA - The Smyle Modeling Approach. 2008, mehr… Volltext (mediaTUM)
  • Bjoern Schwerdtfeger; Gudrun Klinker: Supporting Order Picking with Augmented Reality. 2008, mehr… Volltext (mediaTUM)
  • David Bettencourt da Cruz; Birgit Penzenstadler: Designing, Documenting, and Evaluating Software Architecture. 2008, mehr… Volltext (mediaTUM)
  • Dominik Gall; Riko Jacob; Andrea Richa; Christian Scheideler; Stefan Schmid; Hanjo Täubig: Modeling Scalability in Distributed Self-Stabilization: The Case of Graph Linearization. 2008, mehr… Volltext (mediaTUM)
  • Florian Echtler; Gudrun Klinker: A Multitouch Software Architecture. 2008, mehr… Volltext (mediaTUM)
  • Franz Huber; Tobias Schroepf: Hochverfuegbarkeit fuer Linux. 2008, mehr… Volltext (mediaTUM)
  • Hermann Gruber; Markus Holzer: Provably Shorter Regular Expressions from Deterministic Finite Automata. 2008, mehr… Volltext (mediaTUM)
  • Hermann Gruber; Markus Holzer: Language Operations with Regular Expressions of Polynomial Size. 2008, mehr… Volltext (mediaTUM)
  • Jewgenij Botaschanjan; Alexander Harhurin; Leonid Kof: Service-Based Specification of Reactive Systems. 2008, mehr… Volltext (mediaTUM)
  • Johannes Sch\"oning; Peter Brandl; Florian Daiber; Florian Echtler; Otmar Hilliges; Jonathan Hook; Markus L\"ochtefeld; Nima Motamedi; Laurence Muller; Patrick Olivier; Tim Roth; Ulrich von Zadow: Multi-Touch Surfaces: A Technical Guide. 2008, mehr… Volltext (mediaTUM)
  • Manfred Broy; Martin Feilkas; Johannes Grünbauer; Alexander Gruler; Alexander Harhurin; Judith Hartmann; Birgit Penzenstadler; Bernhard Schaetz; Doris Wild: Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme. 2008, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann; Georg Kalus: Werkzeugspezifisches Tailoring für das V-Modell XT. 2008, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann; Ulrike Hammerschall: Anpassung des V-Modell XT. 2008, mehr… Volltext (mediaTUM)
  • Maria Spichkova; Jan Juerjens: Stream Based Specification of Cryptographic Protocols and Their Composition Properties. 2008, mehr… Volltext (mediaTUM)
  • Maria Victoria Cengarle; Alexander Knapp: An Institution for UML 2.0 Static Structures. 2008, mehr… Volltext (mediaTUM)
  • Martin Fritzsche; Manfred Broy: Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment. 2008, mehr… Volltext (mediaTUM)
  • Matthias Baumgart: Partitioning Bispanning Graphs into Spanning Trees. 2008, mehr… Volltext (mediaTUM)
  • Matthias Baumgart; Hanjo Täubig: The Complexity of Computing Graph-Approximating Spanning Trees. 2008, mehr… Volltext (mediaTUM)
  • Michael Fahrmair; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner: CAWAR - Formalizing a Framework for Ubiquitous Computing Applications. 2008, mehr… Volltext (mediaTUM)
  • Michael Fahrmair; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner: Adaptation Design in Ubiquitous Computing. 2008, mehr… Volltext (mediaTUM)
  • Michael Meisinger; Sabine Rittmann: A Comparison of Service-oriented Development Approaches. 2008, mehr… Volltext (mediaTUM)
  • Peter Braun; Benjamin Hummel: Towards an Integrated System Model for Testing and Verification of Automation Machines. 2008, mehr… Volltext (mediaTUM)
  • Richard Kuntschke; Alfons Kemper: Advanced Data Stream Sharing. 2008, mehr… Volltext (mediaTUM)
  • Riko Jacob: Binary Search on Two-Dimensional Data. 2008, mehr… Volltext (mediaTUM)
  • Riko Jacob; Michael Schnupp: Performing Permuting on a Multiprocessor Architecture Using Packet Communication. 2008, mehr… Volltext (mediaTUM)
  • Stefan Wagner; Florian Deissenboeck; Benjamin Hummel; Elmar Juergens; Benedikt Mas y Parareda; Bernhard Schaetz (Eds.): Selected Topics in Software Quality. 2008, mehr… Volltext (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Juergen Muench; Peter Liggesmeyer: Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB '08). 2008, mehr… Volltext (mediaTUM)
  • Stefan Wagner; Melanie Ruhe: A Structured Review of Productivity Factors in Software Development. 2008, mehr…
  • Thomas Reiss: Traceability - Aktuelle Herausforderungen in der Systementwicklung im Automobilsektor. 2008, mehr… Volltext (mediaTUM)
  • Victoria Cengarle; Alexander Knapp: An Institution for UML 2.0 Interactions. 2008, mehr… Volltext (mediaTUM)

2007

  • Abdullah N. Arslan; Johannes Nowak: Efficient approximate dictionary look-up for long words over small alphabets. 2007, mehr… Volltext (mediaTUM)
  • Alexander Harhurin; Judith Hartmann: A Formal Approach to Specifying the Functionality of Software System Families. 2007, mehr… Volltext (mediaTUM)
  • Andreas Bauer; Martin Leucker; Christian Schallhart: Runtime Verification for LTL and TLTL. 2007, mehr… Volltext (mediaTUM)
  • Ben Glocker: Discrete Optimization and Uncertainty Estimation in Non-rigid Image Registration. 2007, mehr…
  • Benjamin Hummel; Sven Kosub: Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis. 2007, mehr… Volltext (mediaTUM)
  • Bernd Bruegge; Korbinian Herrmann; Ivo Bonev; Florian Schneider: Entscheidungsunterstuetzungswerkzeug fuer Release Management. 2007, mehr… Volltext (mediaTUM)
  • Celine Laurent: Analysis of the Survey:"IT-Platforms for Cooperation Projects". 2007, mehr… Volltext (mediaTUM)
  • Christian Kuehnel; Andreas Bauer; Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. 2007, mehr… Volltext (mediaTUM)
  • Clemens Ballarin: Tutorial to Locales and Locale Interpretation. 2007, mehr… Volltext (mediaTUM)
  • Daniel Pustka; Manuel Huber; Peter Keitler; Florian Echtler: The Ubiquitous Tracking Query Language (UTQL) Version 1.0. 2007, mehr… Volltext (mediaTUM)
  • Florian Echtler; Manuel Huber; Gudrun Klinker_PhD: Hand tracking for enhanced gesture recognition on interactive multi-touch surfaces. 2007, mehr… Volltext (mediaTUM)
  • Gudrun Klinker; Florian Echtler: 3D Visualization and Exploration of Relationships and Constraints at the Example of Sudoku Games. 2007, mehr… Volltext (mediaTUM)
  • Hermann Gruber; Markus Holzer: Finite Automata, Digraph Connectivity, and Regular Expression Size. 2007, mehr… Volltext (mediaTUM)
  • Manfred Broy; María Victoria Cengarle; Bernhard Rumpe: Semantics of UML: Towards a System Model for UML -- The Control Model. 2007, mehr… Volltext (mediaTUM)
  • Manfred Broy; María Victoria Cengarle; Bernhard Rumpe: Semantics of UML: Towards a System Model for UML -- The State Machine Model. 2007, mehr… Volltext (mediaTUM)
  • Marco Kuhrmann: Prozessintegration und -anpassung. 2007, mehr… Volltext (mediaTUM)
  • Maria Spichkova: Steam Boiler: Extended FOCUS Specification and its Verification in Isabelle/HOL. 2007, mehr… Volltext (mediaTUM)
  • Markus Pister: Beschreibung der Modellierung eingebetteter Systeme und deren Umwelt als Grundlage fuer die Fehlermodellierung. 2007, mehr… Volltext (mediaTUM)
  • Martin Fritzsche; Patrick Keil: Kategorisierung etablierter Vorgehensmodelle und ihre Verbreitung in der deutschen Software-Industrie. 2007, mehr… Volltext (mediaTUM)
  • Norbert Diernhofer; Thomas Schneider: Virtualisierungsloesungen fuer IT-Dienste. 2007, mehr… Volltext (mediaTUM)
  • Stefan Eckhardt; Andreas Muehling; Johannes Nowak: Fast Lowest Common Ancestor Computations in Dags. 2007, mehr… Volltext (mediaTUM)
  • Stefan Eckhardt; Sven Kosub; Johannes Nowak: Smoothed Analysis of Trie Height. 2007, mehr… Volltext (mediaTUM)
  • Stefan Kugele; Michael Tautschnig; Andreas Bauer; Christian Schallhart; Stefano Merenda; Wolfgang Haberl; Christian Kühnel; Florian Müller; Zhonglei Wang; Doris Wild; Sabine Rittmann; Martin Wechs: COLA -- The Component Language. 2007, mehr… Volltext (mediaTUM)
  • Sven Kosub: Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. 2007, mehr… Volltext (mediaTUM)
  • Sven Kosub; Christopher M. Homan: Dichotomy Result for Fixed Point Counting in Boolean Dynamical Systems. 2007, mehr… Volltext (mediaTUM)

2006

2005

2004

2003

  • Amit Agarwal; Tarun Agarwal; Sumit Chopra; Anja Feldmann; Nils; Piotr Krysta; Berthold Voecking: An Experimental Study of k-Splittable Scheduling for DNS-Based Traffic Allocation. 2003, mehr… Volltext (mediaTUM)
  • Anja Feldmann; Nils Kammenhuber; Olaf Maennel; Bruce Maggs; Ravi Sundaram: A methodology for estimating interdomain Web traffic demand. 2003, mehr… Volltext (mediaTUM)
  • Arno Buchner; Hanjo Täubig: A Fast Method for Motif Detection and Searching in a Protein Structure Database. 2003, mehr… Volltext (mediaTUM)
  • Bernd Reiner; Karl Hahn: Fusion von Datenbanktechnologie und Tertiärspeichersystem im Bereich sehr großer multidimensionaler Array-Daten - Stand der Forschung -. 2003, mehr… Volltext (mediaTUM)
  • Bernhard Schätz; Tobias Hain; Frank Houdek; Wolfgang Prenninger; Martin Rappl,Jan Romberg; Oscar Slotosch; Martin Strecker; Alexander Wisspeintner: CASE Tools for Embedded Systems. 2003, mehr… Volltext (mediaTUM)
  • Daniel Lang: A comprehensive overview about selected Ad Hoc Networking Routing Protocols. 2003, mehr… Volltext (mediaTUM)
  • David Bettencourt da Cruz; Bernhard Rumpe; Guido Wimmel: Introducing Security Mechanisms after Initial Development: the RAC Case Study. 2003, mehr… Volltext (mediaTUM)
  • Eduardo B. Fernandez; Robert France; Jan Jürjens; Bernhard Rumpe: Critical Systems Development with UML - Proceedings of the UML'03 workshop. 2003, mehr… Volltext (mediaTUM)
  • G. Hahn; J. Philipps; A. Pretschner; T.Stauner: Tests for mixed discrete-continuous systems. 2003, mehr… Volltext (mediaTUM)
  • Gerd Baumann; Michal Mnuk: Elements. An Object Oriented Approach to Industrial Software Development. 2003, mehr… Volltext (mediaTUM)
  • Ingolf Krüger; Bernhard Schätz; Manfred Broy; Heinrich Hussmann (eds.): SBSE'03 Service-Based Software Engineering Proceedings of the FM2003 Workshop. 2003, mehr… Volltext (mediaTUM)
  • Istvan Nagy; Hermann Mayer; Alois Knoll: The Endo[PA]R System for Minimally Invasive Robotic Surgery. 2003, mehr… Volltext (mediaTUM)
  • Istvan Nagy; Hermann Mayer; Alois Knoll: Application of Skill Transfer in Robotic Surgery. 2003, mehr… Volltext (mediaTUM)
  • J. Newman; M. Wagner; T. Pintaric; A. MacWilliams; M. Bauer; G. Klinker; D. Schmalstieg: Fundamentals of Ubiquitous Tracking for Augmented Reality. 2003, mehr… Volltext (mediaTUM)
  • Jan Juerjens: Critical Systems Design with UML light. 2003, mehr… Volltext (mediaTUM)
  • Johann Schlichter; André Büssing; Ralf Reichwald: Telekooperation in Beziehungsnetzwerken für informationsbezogene Dienstleistungen. 2003, mehr… Volltext (mediaTUM)
  • Marc Sihling (Ed.): Proceedings of OOPSLA 2003: 1st Workshop on Open-Source Software in an Industrial Context (OSIC'03). 2003, mehr… Volltext (mediaTUM)
  • Markus Holzer (Herausgeber): Workshop "Petrinetze" und 13. Theorietag "Automaten und Formale Sprachen". 2003, mehr… Volltext (mediaTUM)
  • Markus Poegl; Andreas Krahnke; Sabine Rittmann: Konzeption und Realisierung der Organisation einer universitaeren Lehrveranstaltung mit einem Datenbanksystem. 2003, mehr… Volltext (mediaTUM)
  • Michael Gnatz; Frank Marschall; Gerhard Popp; Andreas Rausch; Wolfgang Schwerin: Enabling a Living Software Development Process with Process Patterns. 2003, mehr… Volltext (mediaTUM)
  • Michal Mnuk: How Helpful Are Systems for Algorithm Visualization? 2003, mehr… Volltext (mediaTUM)
  • Moritz G. Maass: A Fast Algorithm for the Inexact Characteristic String Problem. 2003, mehr… Volltext (mediaTUM)
  • Peter Braun; Frank Marschall: BOTL The Bidirectional Object Oriented Transformation Language. 2003, mehr… Volltext (mediaTUM)

2002

2001

  • Bernhard Rumpe; Astrid Schroeder: Quantitative Untersuchung des Extreme Programming Processes. 2001, mehr… Volltext (mediaTUM)
  • Bernhard Schaetz: The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA Programming Processes. 2001, mehr… Volltext (mediaTUM)
  • Franz Huber; Bernhard Schaetz: Integrated Development of Embedded Systems with AutoFocus. 2001, mehr… Volltext (mediaTUM)
  • Henning Bordihn; Juergen Dassow; Markus Holzer: Extending Regular Expressions with Homomorphic Replacement. 2001, mehr… Volltext (mediaTUM)
  • Markus Holzer; Stefan Schwoon: Assembling Molecules in Atomix is Hard. 2001, mehr… Volltext (mediaTUM)
  • Matthias Galota; Sven Kosub; Heribert Vollmer: Generic Separations and Leaf Languages. 2001, mehr… Volltext (mediaTUM)
  • Michael G. Bauer; Guenther Specht: Die konzeptionelle und funktionelle Weiterentwicklung des multimedialen digitalen Meta-Bibliothekssystems OMNIS/2. 2001, mehr… Volltext (mediaTUM)
  • Robert Hanek: Model-Based Image Segmentation Using Local Self-Adapting Separation Criteria. 2001, mehr… Volltext (mediaTUM)
  • Uwe Baumgarten; Helmut Krcmar; Ralf Reichwald; Johann Schlichter: Community Online Services And Mobile Solutions - Projektstartbericht des Verbundvorhabens COSMOS. 2001, mehr… Volltext (mediaTUM)
  • Victor Ganzha; Richard Liska; Mikhail Shashkov; Christoph Zenger: Mimetic Finite Difference Methods for Elliptic Equations on Unstructured Triangular Grid. 2001, mehr… Volltext (mediaTUM)
  • Woerndl Wolfgang: Privatheit und Zugriffskontrolle bei Agenten-basierter Verwaltung von Benutzerprofilen. 2001, mehr… Volltext (mediaTUM)

2000

  • Bader Michael; Christoph Zenger: A Fast Solver for Convection Diffusion Equations Based on Nested Dissection with Incomplete Elimination. 2000, mehr… Volltext (mediaTUM)
  • Barbara Koenig: Hypergraph Construction and Its Application to the Compositional Modelling of Concurrency. 2000, mehr… Volltext (mediaTUM)
  • Barbara Koenig: Analysing Input/Output Capabilities of Mobile Processes with a Generic Type System. 2000, mehr… Volltext (mediaTUM)
  • Barbara Koenig: A General Framework for Types in Graph Rewriting. 2000, mehr… Volltext (mediaTUM)
  • Clara Nippl; Angelika Reiser; Bernhard Mitschang: Extending Database Functionality to Support Frequent Itemset Processing. 2000, mehr… Volltext (mediaTUM)
  • Clara Nippl; Angelika Reiser; Bernhard Mitschang: Conquering the Search Space for the Calculation of the Maximal Frequent Set. 2000, mehr… Volltext (mediaTUM)
  • Guenther Rackl: Monitoring Globus Components with MIMO. 2000, mehr… Volltext (mediaTUM)
  • Javier Esparza; David Hansel; Peter Rossmanith; Stefan Schwoon: Efficient Algorithm for Model Checking Pushdown Systems. 2000, mehr… Volltext (mediaTUM)
  • Klaus Bergner; Andreas Rausch; Marc Sihling: AutoMate - From UML Models to Multi-Tier-Architectures. 2000, mehr… Volltext (mediaTUM)
  • Klaus Bergner; Bernhard Deifel; Carsten Jacobi; Wolfgang Kellerer; Andreas Rausch; Alexander Sabbah; Bernhard Schaetz; Marc Sihling; Alexander Vilbig; Sascha Vogel: The Future of Information Technology - an interdisciplinary, scenario-based approach. 2000, mehr… Volltext (mediaTUM)
  • Manfred Broy; Ruth Breu; Franz Huber; Ingolf Krueger; Bernhard Rumpe; Wolfgang Schwerin: SysLab - Abschlussbericht. 2000, mehr… Volltext (mediaTUM)
  • Markl Volker; Ramsak Frank; Bayer Rudolf: Improving OLAP Performance by Multidimensional Hierarchical Clustering. 2000, mehr… Volltext (mediaTUM)
  • Max Breitling; Jan Philipps: Verification Diagrams for Dataflow Properties. 2000, mehr… Volltext (mediaTUM)
  • Max Breitling; Jan Philipps: Transitions into Black Box Views - The NetBill Protocol revisited -. 2000, mehr… Volltext (mediaTUM)
  • Ruth Breu; Wolfgang Schwerin: V-Model Conform Software Development with Catalysis. 2000, mehr… Volltext (mediaTUM)
  • Thomas Stauner: Properties of Hybrid Systems - a Computer Science Perspective. 2000, mehr… Volltext (mediaTUM)

1999

  • A. Bernasconi; C. Damm; I. Shparlinsky: On the Average Sensitivity of Testing Square-Free Numbers. 1999, mehr… Volltext (mediaTUM)
  • Antonin Kucera; Richard Mayr: Simulation Preorder on Simple Process Algebras. 1999, mehr… Volltext (mediaTUM)
  • Bernhard Deifel; Wolfgang Schwerin; Sascha Vogel: Work Products for Integrated Software Development. 1999, mehr… Volltext (mediaTUM)
  • Christian Lesny; Franz Huber; Bernhard Rumpe: Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache. 1999, mehr… Volltext (mediaTUM)
  • Clara Nippl; Stephan Zimmermann; Bernhard Mitschang: Design, Implementation and Evaluation of Data Rivers for Efficient Intra-Query Parallelism. 1999, mehr… Volltext (mediaTUM)
  • Frank Strobl; Alexander Wisspeintner: Specification of an Elevator Control System -- An AutoFocus Case Study. 1999, mehr… Volltext (mediaTUM)
  • Gerhard Popp; Franz Huber; Ingolf Krueger; Bernhard Rumpe; Wolfgang Schwerin: Internet -Buchhandel Eine Fallstudie fuer die Anwendung von Softwareentwicklungstechniken mit der UML. 1999, mehr… Volltext (mediaTUM)
  • Guenther Specht; Martin Zirkel: MultiMAP/2: Netzzugang und Netzbetrieb fuer das multimediale Datenbanksystem MultiMAP. 1999, mehr… Volltext (mediaTUM)
  • Guenther Specht; Michael G. Bauer: Systemarchitektur und Funktionalitaet des multimedialen digitalen Meta-Bibliothekssystems OMNIS/2. 1999, mehr… Volltext (mediaTUM)
  • Johann Schumann; Max Breitling: Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie -. 1999, mehr… Volltext (mediaTUM)
  • M. Scharbrodt; A. Steger; H. Weisser: Approximability of Scheduling with Fixed Jobs. 1999, mehr… Volltext (mediaTUM)
  • Max Breitling; Jan Philipps: Black Box Views of State Machines. 1999, mehr… Volltext (mediaTUM)
  • Michael Bader; Markus Schimper; Christoph Zenger: Hierarchical Bases for the Indefinite Helmholtz Equation. 1999, mehr… Volltext (mediaTUM)
  • Michael Jaedicke; Bernhard Mitschang: The Multi-Operator Method: Integrating Algorithms for the Efficient and Parallel Evaluation of User-Defined Predicates into ORDBMS. 1999, mehr… Volltext (mediaTUM)
  • Olaf Mueller: A Verification Environment for I/O Automata -- Part I: Temporal Logic and Abstraction --. 1999, mehr… Volltext (mediaTUM)
  • Olaf Mueller: A Verification Environment for I/O Automata -- Part II: Theorem Proving and Model Checking --. 1999, mehr… Volltext (mediaTUM)
  • Radu Grosu; Ingolf Krueger; Thomas Stauner: Hybrid Sequence Charts. 1999, mehr… Volltext (mediaTUM)
  • Ralf Ebner; Thomas Erlebach; Andreas Ganz; Claudia Gold; Clemens Harlfinger; Roland Wismueller: A Framework for Recording and Visualizing Event Traces in Parallel Systems with Load Balancing. 1999, mehr… Volltext (mediaTUM)
  • Rolf Niedermeier; Peter Rossmanith: A General Method to Speed Up Fixed-Parameter-Tractable Algorithms. 1999, mehr… Volltext (mediaTUM)
  • S. Cook; A. Kleppe; R. Mitchell; B. Rumpe; J. Warmer; A. Wills: The Amsterdam Manifesto on OCL. 1999, mehr… Volltext (mediaTUM)
  • Thomas Erlebach; Torben Hagerup: Routing flow through a strongly connected graph. 1999, mehr… Volltext (mediaTUM)
  • Thomas Stauner; Bernhard Rumpe; Peter Scholz: Hybrid System Model. 1999, mehr… Volltext (mediaTUM)
  • Volker G. Fischer: Design and Implementation of FOONET - a Framework for object-oriented Network Design. 1999, mehr… Volltext (mediaTUM)

1998

1997

1996

1995

1994