- Veri cation of SDL Speci cations on the Basis of Stream Semantics
- Technische Universitat Munchen Institut fur Informatik
- I N S T I T U T F U R I N F O R M A T I K Development of an Autonomous Transport System
- 4everedit Team-Based Process Documentation Management* This work was partially funded by Bundesministerium fr Bildung und Forschung (01 ISB 04)
- Noname manuscript No. (will be inserted by the editor)
- Preprint submitted to Theory of Computing Systems November 22, 2010
- Technische Universitat Munchen Institut fur Informatik
- Draft August 10, 2009. manuscript No. (will be inserted by the editor)
- Example: try NullPointer,
- Lambda-Kalk ul Prof. Tobias Nipkow
- Technische Universitat Munchen WS 2006/07 Institut fur Informatik 24. 1. 2007
- Re nement Principles Supporting the Transition from
- Dokumenten-Pfad_Name_00.00.2002 Hauptseminar
- COPE: A Language for the Coupled Evolution of Metamodels and Models
- VoIP Platform based Telehomecare Application Kiosk Health care services and systems throughout the
- A Comprehensive Model of Usability Sebastian Winter, Stefan Wagner, and Florian Deissenboeck
- I N S T I T U T F U R I N F O R M A T I K Component-Oriented Redesign of
- Model-Based Run-Time Monitoring of End-to-End Jaswinder Ahluwalia, Ingolf H. Kruger,
- Unwanted Behavior and its Impact on Adaptive Systems in Ubiquitous Computing
- A FUNCTIONAL SEMANTICS FOR DELTA-DELAY VHDL
- Softw Syst Model (2002) 1: 130141 / Digital Object Identifier (DOI) 10.1007/s10270-002-0012-8 A structured operational semantics for UML-statecharts
- Jinja: e can be of any class Java: e must be of a subclass of Throwable
- Kleine BUGs, groe GAUs Softwarefehler und ihre Folgen
- Lambda-Kalkul Prof. Tobias Nipkow
- Towards Software Quality Economics for Defect-Detection
- Information for TPHOLs 2009 Participants Dear TPHOLs 2009 Participant,
- Garching Ferienbetreuung ,,Bewegte TUM Ferien" Ostern 2011 E___________
- On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions
- RALL: Machine-supported Proofs for Relation Algebra
- An Approach to Model the Return on Investment of Organization-Wide Improvement Projects
- Java Source and Bytecode Formalizations in Isabelle: Java VerifiCard Project Deliverables
- Inductive datatypes in HOL --lessons learned in Formal-Logic Engineering
- On a problem of Gabriel and Ulmer Jan Jurjens 1
- Technische Universitat Munchen Institut fur Informatik
- Ein Werkzeugkonzept zur Beschreibung verteilter Systeme
- Analyzing Telecom and Internet Service Oriented Services Exposure and Integration
- Model-Based Development of Embedded Systems
- Making UML Precise Department of Computer Science
- Kombinatoren f ur Sequenzen infix 5 :-> |*;
- UR INFORMATIK UNIVERSIT
- Cost Estimation for Global Software Development Patrick Keil
- MSC'96 and Beyond -a Critical Look Stefan Loidl, Ekkart Rudolph, Ursula Hinkela
- SALT--Structured Assertion Language for Temporal Logic
- Java Source and Bytecode Formalizations in Isabelle: Java VerifiCard Project Deliverables
- Feature Net ein Ansatz zur Modellierung von automobil-spezifischem Domnenwissen und Anforderungen
- Knowledge Representation Concepts for Automated SLA Management Adrian Paschke and Martin Bichler1
- Programs are Knowledge Bases Daniel Ratiu and Florian Deissenboeck
- Model-based Testing of Object-Oriented Systems Bernhard Rumpe
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 28. 11. 2008
- I N S T I T U T F U R I N F O R M A T I K Frisco F -Eine funktionale, logische und
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 3
- Methoden zur Spezifikation verteilter Systeme Thomas Strse
- Kaskaden von lokalen Grammatiken 9. Juli 2008
- XV Simpsio Brasileiro de Recursos Hdricos 1 SOBRE O DESIGN DE UM SISTEMA DE SUPORTE DECISO
- A Generic API Regarding On-Demand QoS Support Over Heterogeneous Wireless
- Design of IT-Collaboration-Platforms with Fuzzy Logic Celine Laurent
- A Taxonomy of Aspects in Terms of Crosscutting Concerns
- High Confidence Subsystem Modelling for Reuse Birgit Penzenstadler and Dagmar Koss
- I N S T I T U T F U R I N F O R M A T I K Ausfuhrungssemantik von AutoFocus-Modellen
- Decidable Higher-Order Uni cation Problems Christian Prehofer?
- Java`ight is Type-Safe | De nitely Tobias Nipkow and David von Oheimb
- Zertifizierungs richtlinien RBGBenutzerCA Version
- An Inductive Proof of the Wellfoundedness of the Multiset Order
- HOLCF: Higher Order Logic of Computable Functions
- 1 Syntax of Commands theory Com = Main
- Informatik in Munchen: 1967 2007
- Towards a Context Aware Mobile Community Application Platform
- An Engineering Approach to Adaptation and Calibration
- Technische Universitat Munchen Institut fur Informatik
- Deriving E cient Parallel Programs By Systematic Coarsing Speci cation Parallelism
- Type Checking Type Classes Tobias Nipkow and Christian Prehofer
- Teaching Semantics with a Proof Assistant No more "LSD trip proofs"
- TUM-Familie Familien-TUM
- I N S T I T U T F U R I N F O R M A T I K Integrierte Beschreibung automatisierter
- An Evaluation of Two Bug Pattern Tools for Java Stefan Wagner, Florian Deissenboeck
- Full Version (including all proofs) A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios
- Mnchen, den 4.9.2007 SEP / HiWi Position
- Ausarbeitung zum Proseminar Exotische Programmiersprachen
- signature STACK = val empty: 'a t
- Unifikation Lukas Bulwahn
- Learning of Event-Recording Automata Olga Grinchtein, Bengt Jonsson, and Martin Leucker
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 23. 01. 2009
- Feature-Oriented Programming: A Fresh Look at Objects
- Appeared in Sixth Conference on Prestigious Applications of Intelligent Systems -PAIS 2010, Lisbon A Fault-model-based Debugging Aid for Data
- General background Chinese Remainder Algorithm and Newton Interpolation The Hensel lifting Multivariate Hensel lifting Course "Polynomials: Their Power and How to Use Them",
- Proof by Simplification Term rewriting foundations
- A Security Requirements Approach for Web Systems
- Softwaretechnikpraktikum (fr den Diplom-, Master-, und Bachelorstudiengang)
- Lehrstuhl Software & Systems Engineering Seite. 1
- 14.01.2005 Semantik der UML 2.0 Semantik und Verifikation
- Technische Universitt Mnchen Fakultt fr Informatik
- Semantik der Aktivittsdiagramme Betreuerin: Dr. Mara Victoria Cengarle
- Softw Syst Model (2003) 2: 5972 / Digital Object Identifier (DOI) 10.1007/s10270-002-0001-y Regular paper
- Modelling Recursive Calls with UML State Jennifer Tenzer and Perdita Stevens
- UML2.0SuperstructureSpecification This OMG document replaces the submission document (ad/03-04-01) and the Draft Adopted
- On Associations in the Unified Modelling Perdita Stevens
- Softw Syst Model (2002) 1: 6879 / Digital Object Identifier (DOI) 10.1007/s10270-002-0002-x On the interpretation of binary associations in
- Fakultt fr Informatik der Technischen Universitt Mnchen
- Technische Universitt Mnchen Ludwig-Maximilians-Universitt Mnchen
- Journal of Automated Reasoning manuscript No. (will be inserted by the editor)
- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
- Monotonicity Inference for Higher-Order Formulas
- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
- The Little Manual of Jasmin Blanchette
- Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination
- Satzalignierung Alles ber XAlign
- Imperative functional programming
- Textual Entailment 23. Januar 2008
- Defining Recursive Functions in Isabelle/HOL Alexander Krauss
- JASS'09JASS'09 Joint Advanced Student SchoolJoint Advanced Student School
- Christian Menkens moved from St.Wolfgang, Austria, to Munich, Germany right after receiving his Software Engineering diploma (FH) from the Upper Austria University of Applied Sciences in 2005.
- Design and Implementation of a Converged Services / Applications Platform for Telecom and Internet
- EasyWheel -A Mobile Social Navigation and Support System for Wheelchair Users
- SociCare: Towards a Ubiquitous Context Aware Mobile Community Emergency System
- VoIP based Telehomecare Application Kiosk Christian Menkens
- Cost Estimation for Global Software Development Patrick Keil
- Distributed Development an Education Perspective on the Global Studio Project
- Principal Agent Theory and its Application to Analyze Outsourcing of Software Development
- Analysis and Adaptation of MSCs for the examination of behavioral compatibility
- Ontology and Model Alignment as a Means for Requirements Validation
- I N S T I T U T F U R I N F O R M A T I K Architecture: Methodology of Decomposition
- I N S T I T U T F U R I N F O R M A T I K Safety-Critical System Development Methodology
- I N S T I T U T F U R I N F O R M A T I K A Top-Down Methodology for the Development of
- Clone Detection Beyond Copy&Paste Elmar Juergens, Florian Deissenboeck, Benjamin Hummel
- Software Quality Models: Purposes, Usage Scenarios and Requirements Florian Deissenboeck, Elmar Juergens, Klaus Lochmann, and Stefan Wagner
- A Domain Specific Language for Project Execution Models Eugen Wachtel, Marco Kuhrmann, Georg Kalus
- I N S T I T U T F U R I N F O R M A T I K A System of Abstraction Layers for the Seamless
- I N S T I T U T F R I N F O R M A T I K Artefact-based Requirements Engineering and its
- I N S T I T U T F U R I N F O R M A T I K Motivation and Formal Foundations of a
- I N S T I T U T F U R I N F O R M A T I K Adaptation Design in Ubiquitous Computing
- Towards Consistent Specications of Product Alexander Harhurin and Judith Hartmann
- Abstractness, Specificity, and Complexity in Software Design
- Service-oriented Commonality Analysis Across Existing Systems Alexander Harhurin and Judith Hartmann
- EFFICIENT PLANNING OF AUTONOMOUS ROBOTS USING HIERARCHICAL DECOMPOSITION
- High Confidence Subsystem Modelling for Reuse Birgit Penzenstadler, Dagmar Koss
- On the Identification of Goals in Stakeholders Dialogs Fakultat fur Informatik, Technische Universitat Munchen,
- Providing Integrated Development Processes for Distributed Development Environments
- I N S T I T U T F U R I N F O R M A T I K Selected Topics in Software Quality
- Using a Bayesian Network in the ProdFLOWTM Stefan Wagner
- Institut fr Informatik der Technischen Universitt Mnchen
- Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
- Privacy Management for Context Transponders Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
- I N S T I T U T F U R I N F O R M A T I K Acyclic Type-of-Relationship Problems on the
- I N S T I T U T F U R I N F O R M A T I K Analysis of the Survey: "IT-Platforms for
- Applying Service-Oriented Development to Complex System: a BART case study
- Compatibility and reuse in component-based systems via type and unit inference Christian Kuhnel1
- Learning meets Verification Martin Leucker
- Information and Computation 205 (2007) 11301148 www.elsevier.com/locate/ic
- Towards Requirements Engineering for Context Adaptive Systems Wassiou Sitou, Bernd Spanfelner
- On the Identification of Goals in Stakeholders Dialogs Fakultat fur Informatik, Technische Universitat Munchen,
- Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics
- Automating Language Evolution Markus Pizka, Elmar Jurgens
- Efficient Exploration of Service-Oriented Architectures using Aspects
- Automating Software Architecture Exploration with Ingolf H. Kruger, Gunny Lee
- On the Integration of Design and Test --A Model Based Approach for Embedded Systems
- A compositional approach for functional requirement specifications of automotive software systems
- Formal incremental requirements specification of service-oriented automotive software systems
- A Software Reliability Model Based on a Geometric Sequence of Failure Rates
- Learning Finite-State Machines from Inexperienced Teachers Olga Grinchtein1
- Inferring Network Invariants Automatically Olga Grinchtein1
- Interdisciplinary Requirements Analysis Using the Model-based RM Tool AUTORAID
- Comparing Bug Finding Tools with Reviews and Stefan Wagner1
- Towards Software Quality Economics for Defect-Detection Techniques Stefan Wagner
- Towards Verified Automotive Software J. Botaschanjan, L. Kof, C. Kuhnel, M. Spichkova
- Institut fur Informatik der Technischen Universitat Munchen
- From Scenarios to Aspects: Exploring Product Lines Ingolf H. Kruger, Reena Mathew
- A Formal Foundation for Aspect Oriented Software Development
- A GENERIC FRAMEWORK FOR CONTEXT AWARE AND ADAPTATION BEHAVIOUR OF RECONFIGURABLE SYSTEMS
- I N S T I T U T F U R I N F O R M A T I K A Software Reliability Model Based on a
- Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development
- Book Editors IOS Press, 2003
- Natural Language Processing: Mature Enough for Requirements Documents Analysis?
- A Hierarchy of Implementable MSC Languages Benedikt Bollig1
- On the Correspondence Between Conformance Testing and Regular Inference
- Towards a Model-Based and Incremental Development Process for Service-Based Systems
- A CONCEPTUAL MODEL FOR REQUIREMENTS ENGINEERING AND MANAGEMENT
- NATURAL LANGUAGE PROCESSING FOR REQUIREMENTS ENGINEERING
- Using Application Domain Ontology to Construct an Initial System Model Fakultat fur Informatik, Technische Universitat Munchen,
- Message-Passing Automata Are Expressively Equivalent to EMSO Logic
- Refinement of Hybrid Systems from Formal Models to Design Languages
- Electronic Notes in Theoretical Computer Science 80 (2003) URL: http://www.elsevier.nl/locate/entcs/volume80.html LastPage pages
- Proving Pointer Programs in Higher-Order Logic Farhad Mehta and Tobias Nipkow
- Prototype-Based Tests for Hybrid Reactive Systems G. Hahn, J. Philipps
- SCOUT D4.3.1 / 1.2 IST-2001-34091 SCOUT
- Towards a Product Model of Open Source Software in a Commercial Environment
- I N S T I T U T F U R I N F O R M A T I K The Bidirectional Object Oriented Transformation
- Verified Bytecode Verification and Type-Certifying Compilation
- Verified Bytecode Subroutines G. Klein and M. Wildmoser ((kleing|wildmosm)@in.tum.de)
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2003; 0:110 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02]
- Program Extraction in simply-typed Higher Order Logic
- Critical Systems Development with UML: Overview with Automotive Case-study
- Combining Aspects of Reactive Systems Leonid Kof and Bernhard Schatz
- URL: http://www.elsevier.nl/locate/entcs/volume82.html 10 pages Compositional Generation of MC/DC
- I N S T I T U T F U R I N F O R M A T I K Critical Systems Development with UML -
- Improving Distributed OS Performance by Flexible Incremental Linking
- The Contribution of Free Software to Software Evolution Andreas Bauer, Markus Pizka
- I N S T I T U T F U R I N F O R M A T I K Szenarien modellbasierten Testens
- Internet secrecy server machineclient machine
- A UML statecharts semantics with message-passing Jan Jurjens
- AtoB:TMessage /* critical public */
- STA -A Conceptual Model for System Evolution Markus Pizka
- Feldmann, Pizka -1-An On-line SE Repository for Germany's SME
- Dynamic Component and Code Co-Evolution Markus Pizka
- Heaps and Stacks in Distributed Shared Memory M. Pizka, C. Rehn
- Communication Profiles for SDR Equipment Eiman Mohyeldin 1,
- Electronic Notes in Theoretical Computer Science 72 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume72.html 15 pages
- Investigating Type-Certifying Compilation with Martin Strecker
- Formal Verification of a Java Compiler in Martin Strecker
- Analysing the Java Package/Access Concepts in Isabelle/HOL
- Deduction and Computation in Algebraic Topology
- Executing Higher Order Logic Stefan Berghofer and Tobias Nipkow
- The 5 Colour Theorem in Isabelle/Isar Gertrud Bauer and Tobias Nipkow
- Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
- Model-Based Development of Embedded Systems
- Workshop Agile Methodologies Report: ViSEK/014/E
- 33LINUX MAGAZINEIssue 17 2002 efore you start looking at expensive proprietary
- CONCURRENCY--PRACTICE AND EXPERIENCE Concurrency: Pract. Exper. 2001; 0:10 Prepared using cpeauth.cls [Version: 2000/05/12 v2.0]
- Deriving Architectural Prototypes for a Broadcasting System using Ingolf Kruger, Wolfgang Prenninger, Robert Sandner
- EXTENDED DESCRIPTION TECHNIQUES FOR SECURITY ENGINEERING
- I N S T I T U T F U R I N F O R M A T I K Quantitative Untersuchung des Extreme
- Cls2{guarded,GObj} {signed,Key} Op1(arg1:ATy1):RTy1 Op2(arg2:ATy2):RTy2
- BusinessCustomer <>
- A Glimpse on Generative Programming from the Operating Systems Perspective
- Lecture Notes in Computer Science 1 Modular Process Patterns supporting an Evolutionary
- An Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages
- To appear in Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), 6/2001 Model Based Testing in Evolutionary Software Development
- Proc. 2nd ICSE Intl. workshop on Automated Program Analysis, Testing and Verification (WAPATV), 5/2001, pp. 19 Model Based Testing with Constraint Logic Programming
- Java: Embedding a Programming Language in a Theorem Prover
- National Aeronautics and Space Administration
- Modeling Faults of distributed, reactive Systems ?
- Hybrid Sequence Charts Radu Grosu, Ingolf Kruger and Thomas Stauner
- Ubersetzung von HyCharts in HDFG Christoph Grimmy
- Developing Distributed Systems Step by Step with UML-RT Robert Sandner
- Step by Step to Histories? Max Breitling and Jan Philipps
- I N S T I T U T F U R I N F O R M A T I K Hybrid System Model
- The UML as a Formal Modeling Notation Andy Evans1, Robert France2, Kevin Lano3, and Bernhard Rumpe4
- Defining UML Family Members Using Prefaces IBM European Object Technology Practice, UK
- Translating a Visual Description Technique to a Synchronous Language
- Requirements Speci cation of an Automotive System with Hybrid Sequence Charts
- I N S T I T U T F U R I N F O R M A T I K Evaluation of Petri Net and Automata Based
- The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
- I N S T I T U T F U R I N F O R M A T I K Modeling the Dynamic Behavior of Objects
- VISUAL DESCRIPTION OF HYBRID SYSTEMS Radu Grosu, Thomas Stauner1
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Formale, semantische Fundierung und eine darauf abgestutzte Veri kationsmethode
- Modeling Dynamic Component Interfaces Franz Huber, Andreas Rausch, Bernhard Rumpe
- Seventh OOPSLA Workshop on Behavioral Semantics of
- Re ning Business Processes Bernhard Rumpe, Veronika Thurner
- Exemplary and Complete Object Interaction Descriptions
- Distributed Virtual Address Space Management in the MoDiS-OS
- Possibly In nite Sequences in Theorem Provers: A Comparative Study
- I N S T I T U T F U R I N F O R M A T I K ECOOP'97 Workshop on
- Functional Speci cation of Real-Time and Hybrid Systems ?
- Spezi kationsmethodik fur mobile, dynamische FOCUS-Netze
- An Object-Oriented Approach to Feature Interaction Christian Prehofer,
- Systems Development with Java: Experiences from a Practical Project Course in Software Engineering
- Type Classes and Overloading in Higher-Order Logic
- A Formally Founded Description Technique for Business Processes
- Type Checking Higher-Order Polymorphic Multi-Methods Francois Bourdoncle Stephan Merz
- -AKING IT 4HEIR )DEA ! #ASE 3TUDY #USTOMER 0ARTICIPATION AND #OMMITMENT IN "02
- Higher Order Quotients and their Implementation in Isabelle HOL
- From Inheritance to Feature Interaction ChristianPrehofer
- I N S T I T U T F U R I N F O R M A T I K From Inheritance to Feature Interaction or
- State Based Service Description Barbara Paech, Bernhard Rumpe
- Monday October 6, 1997 -Atlanta, Georgia,USA (27) OO Behavioral Semantics
- Towards Development of Correct Software using Views Barbara Paech, Bernhard Rumpe
- Design and Implementation of the GNU INSEL-Compiler gic
- A Di erent Approach to Resource Management for Distributed Systems
- A Language-Based Approach to Construct Structured and Efficient Object-Based Distributed Systems
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Threat Scenarios as a Means to Formally Develop Secure Systems?
- Higher-Order Narrowing with De nitional Trees Michael Hanus1 and Christian Prehofer2
- Winskel is (almost) Right Towards a Mechanized Semantics Textbook
- Algebraic View Speci cation? Barbara Paech
- Veri cation of Compiler Correctness for the WAM
- AUTOMATA DESCRIBING OBJECT BEHAVIOR
- I N S T I T U T F U R I N F O R M A T I K Mini-Statecharts: A Lean Version of Statecharts
- I N S T I T U T F U R I N F O R M A T I K Specification of Real-Time and Hybrid Systems in
- I N S T I T U T F U R I N F O R M A T I K An Extended Version of Mini-Statecharts
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Speci cation of Dynamic Networks Ketil St leny
- Higher-Order Proof by Consistency Henrik Linnestad?1, Olav Lysne??1 and Christian Prehofer???2
- On the integration of functional programming,
- wp-Kalkul und relationale Spezi kation kommunizierender Systeme
- J. Functional Programming 1 (1): 1{000, January 1993 c 1993 Cambridge University Press 1 Type Reconstruction for Type Classes1
- A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
- UNIVERSITAT INSTITUT FUR INFORMATIK
- UNIVERSITAT INSTITUT FUR INFORMATIK
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Formal Aspects of Computing (1995) 3: 1{000 Speci cation and Re nement of
- A methodology integrating formal and informal software development
- 1 Introduction The Statecharts language [4] is a visual formalism for
- Logic and Proof Method of Recursion Birgit Schieder
- The Logical Framework of Spectrum 1 Franz Regensburger
- I N S T I T U T F U R I N F O R M A T I K A Formal Foundation for
- An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
- The calculus of Spectrum Franz Regensburger
- Development of a Distributed Min/Max Component
- Zur Ubersetzung von E/R-Schemata nach Spectrumz Rudolf Hettler
- A Universally Polymorphic Speci cation A Brief Informal Introduction
- Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
- Spezi kation des UNIX Datei-und Variablensystems. Eine Spectrum-Fallstudie
- The Action Graph Model as a Link Between Abstract Relation Algebras and
- 354 JOURNAL OF THE INSTITUTE OF BREWING Automatic Detection of Critical Points
- In: Zabkar, J. and Bratko, I. (eds.), 23rd International Workshop on Qualitative Reasoning, Ljubljana, Slovenia, 2009, pp. 111-118 Modeling for Fault Localization in Data Warehouse Applications
- In: 8TH IMACS Congress MODSIM 09, Cairns, Australia, 2009 Towards model integration and model-based decision
- In:Safeprocess'09, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Barcelona, 2009. ISBN: 978-3-902661-46-3
- Handbook of Knowledge Representation Edited by F. van Harmelen, V. Lifschitz and B. Porter
- Testing embedded software systems on the control units of vehicles is a safety-relevant task, and de-
- In: B. Rinner et al. (eds.), 19th International Workshop on Qualitative Reasoning QR-05, May 18th -20th, 2005, Graz,
- AUTAS: a tool for supporting FMECA generation in aeronautic systems
- In: Proceedings of IFAC Safeprocess'03, Washington, USA THE DISCRETE CHARM OF DIAGNOSIS
- In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 03) Mexico. August 10, 2003. The paper presents the application of model-
- Appeared in: Workshop Notes of the Tenth International Workshop on Qualitative Reasoning (QR-96), AAAI Press, 1996 Transformation of Qualitative Dynamic Models
- DE -The Generalized Diagnosis Engine Ulrich Heller
- Appeared in: SAE 2000 World Congress, Detroit, USA, 2000 (SAE SP-1501), ISBN 0-7680-0551-5, p. 23-32 Advances in Design and Implementation of OBD Functions for
- Integrating model-based diagnosis techniques into current work processes three case
- Appeared in: Milne, R. (ed.): Qualitative and Model Based Reasoning for Complex Systems and their Control, Workshop KRR-4 at the 16th
- Technische Universitt Mnchen How to Write a Paper
- Zertifizierungs-richtlinien (Policy) der
- Software & Systems Engineering (TUM) Service White Paper 03.07.2006 1
- I N S T I T U T F U R I N F O R M A T I K A Graphical Description Technique for
- Mathematical Methods System and Software Engineering*
- A Functional Solution RPC-Memory Speci cation Problem?
- Mathematical System Models as a Basis of Software Engineering?
- Speci cation and Re nement of Finite Data ow Networks | a Relational Approach
- I N S T I T U T F U R I N F O R M A T I K Structured Specifications and Implementation of
- BAfoG Bescheinigungen Bescheinigung nach 48 --Diplom
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Some aspects of Unix file-system security Markus Wenzel
- Some aspects of Unix file-system security Markus Wenzel
- Checking Secure Interactions of Smart Card , J. Cazin1
- Applet Firewall und Freigabe der Objekte Nachweis von Sicherheitseigenschaften fr JavaCard
- Nachweis von Sicherheitseigenschaften fur JavaCard durch approximative Programmauswertung
- Bytecode-Verifikation Im Rahmen des Hauptseminars
- Hauptseminar im Wintersemester 2001/2002 Nachweis von Sicherheitseigenschaften
- Grundprinzipien der funktionalen
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Institut fr Informatik LS IV -Software and Systems Engineering
- Der Therac Unfall Henning Herbers & Tamer Hasan 1. Das Therac-25 und die Unflle
- Proseminar Software Desaster Absturz des Flugs 501
- Untraceable Electronic Cash t (Extended Abstract)
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Big Step Semantics state = heap locals
- Small Step Semantics Transition format
- Type system Jinja types
- Well-formedness Formalization of all context conditions (static semantics)
- A Type System for the JVM Motivation: Security
- The Bytecode Verifier (BV) What and how
- Overview of Isabelle/HOL System Architecture
- Set notation Inductively defined sets
- Isar --A language for structured proofs Apply scripts
- Technische Universitat Munchen Institut fur Informatik
- Lambda-Kalkul Prof. Tobias Nipkow
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Pratts Primzahlzertifikat Alexander Fischer
- Modellierung kryptographischer Protokolle durch Induktion
- Symbolic model checking of security protocols Felix Weninger
- Reele Quantoren Elemination Florian Zuleger
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- 8. November 2006, Johanna WitteC++Templates Spezialisierung
- Proseminar: Programmiersprachen bei Prof. Tobias Nipkow
- Proseminar Programmiersprachen Markus Plloth
- Proseminar Programmiersprachen Markus Plloth
- Technische Universitat Munchen WS 2006/07 Institut fur Informatik 29. 11. 2006
- Technische Universitat Munchen WS 2006/07 Institut fur Informatik 06. 12. 2006
- Technische Universitat Munchen WS 2006/07 Institut fur Informatik 10. 1. 2007
- The formal semantics of a Java-like Programming Language
- Technische Universitat Munchen SS 2007 Institut fur Informatik 21. 06. 2007
- An introduction to recursion and induction A recursive datatype: toy lists
- Isabelle's meta-logic Basic constructs
- HOL: Propositional Logic Natural deduction
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen WS 2007/08 Institut fur Informatik 29. 11. 2007
- Technische Universitat Munchen SS 2008 Institut fur Informatik 06. 06. 2008
- Technische Universitat Munchen SS 2008 Institut fur Informatik 27. 06. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 7. 11. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 7. 11. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 14. 11. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 21. 11. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 12. 12. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 19. 12. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 19. 12. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 16. 01. 2009
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 23. 01. 2009
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 30. 01. 2009
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 06. 02. 2009
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Ubungsblatt 8
- Pratts Primzahlzertifikate Markus Englert
- Die funktionale Programmiersprache Haskell
- Technische Universitat Munchen SS 2009 Institut fur Informatik 14. 05. 2009
- Technische Universitat Munchen SS 2009 Institut fur Informatik 28. 05. 2009
- Technische Universitat Munchen SS 2009 Institut fur Informatik 18. 06. 2009
- An Axiomatic Basis for Computer Programming
- Tobias Nipkow Lawrence C. Paulson Markus Wenzel
- Technische Universitat Munchen WS 2010/11 Institut fur Informatik 21. 1. 2010
- Einfach getypter Lambda-Kalkl Typberprfung und Typinferenz
- Turning inductive into equational specifications Stefan Berghofer and Lukas Bulwahn and Florian Haftmann
- Isabelle's Logics: HOL1 Tobias Nipkow2
- Lattices and Orders in Isabelle/HOL Markus Wenzel
- Integration of Design and Diagnosis into a Common Process
- INDIA -Intelligente Diagnose in der industriellen Anwendung Roman Cunis, ServiceXpert GmbH Hamburg
- Mnchen, den 4.9.2007 Diploma / Master Thesis
- Compact Bidding Languages and Supplier Selection for Markets with Economies of Scale and Scope
- Short-term Performance Management by Priority-based Queueing
- Technische Universitat Munchen, Department of Informatics, Internet-based Information Systems (IBIS)
- 1 Introduction Allocation of IT infrastructure costs is an
- raditional auctions such as the Eng-lish and first-price sealed-bid auc-
- Journal manuscript No. (will be inserted by the editor)
- Set-Rationalizable Choice and Self-Stability Felix Brandt and Paul Harrenstein
- Equilibria of Graphical Games with Symmetries$ Felix Brandta
- The Computational Complexity of Choice Sets Felix Brandt
- International Journal of Information Security Manuscript Felix Brandt
- Optimal Partitions in Additively Separable Hedonic Games Haris Aziz Felix Brandt Hans Georg Seedig
- Stable partitions in additively separable hedonic games Haris Aziz Felix Brandt Hans Georg Seedig
- On the Rate of Convergence of Fictitious Play Felix Brandt1
- Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates
- Monotone cooperative games and their threshold versions Haris Aziz Felix Brandt Paul Harrenstein
- Minimal Retentive Sets in Tournaments Felix Brandt Markus Brill Felix Fischer Paul Harrenstein
- Draft July 4, 2008 On Iterated Dominance, Matrix Elimination, and Matched Paths
- Commitment and Extortion Paul Harrenstein
- Unconditional Privacy in Social Choice Felix Brandt
- On Correctness and Privacy in Distributed Mechanisms Felix Brandt and Tuomas Sandholm
- Fully Private Auctions in a Constant Number of Rounds
- A verifiable, bidder-resolved Auction Protocol Felix Brandt
- Cryptographic Protocols for Secure Second-Price Auctions
- Vicious Strategies for Vickrey Auctions Felix Brandt
- Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving
- Non-Parametric Single View Reconstruction of Curved Objects using Convex Optimization
- Publikationen von Thomas Huckle (1) Uber die Koeffizienten der Stieltjes-Matrix eines Jacobi-Kettenbruchs, in Arch. Math.
- Computations in Quantum Tensor Networks T. Hucklea,
- International Journal of Computer Mathematics Vol. 00, No. 05, May 2007, 131
- Constraint Solving for ProgramVerification: Theory and Practice by Example
- Under consideration for publication in Theory and Practice of Logic Programming 1 Applying Prolog to Develop Distributed Systems
- Introduction Day and further infos for the semester start for first-term students (Master,
- Fachprufungsordnung fur das Aufbaustudium Informatik Technischen Universitat Munchen 1
- TUM twoinone 2011 Was erwarten wir von Ihnen?
- Technische Universitt Mnchen TUM Gender-Zentrum
- Technische Universitt Mnchen Lehrstuhl IV: Software & Systems Engineering
- Hauptseminar | WS 2005/2006 Management von Softwaresystemen
- Hauptseminar Management von Softwaresystemen
- TU Muenchen -Fakultaet fuer Informatik Lehrstuhl IV: Software and Systems Engineering
- Technische Universitt Mnchen Fakultt fr Informatik
- Allgemeine Testverfahren Verfahren im Automotive
- Dokumenten-Pfad_Name_00.00.2002 Hauptseminar
- I N S T I T U T F U R I N F O R M A T I K CASE Tools for Embedded Systems
- Component-based Development of Dependable Systems with UML
- A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
- Patterns for testing in global software development
- Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
- Do Code Clones Matter? Elmar Juergens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner
- Model-Based Identification of Fault-Prone Stefan Wagner and Jan Jurjens
- Model-Based Identification of Fault-Prone Components
- Reusing Security Requirements Using an Extended Quality Model
- Defect Classification and Defect Types Revisited Stefan Wagner
- Managing Quality Requirements Using Activity-Based Quality Models
- Multi-Dimensional Measures for Test Case Quality Christian Pfaller, Stefan Wagner
- Software-Qualitatsmodelle in der Praxis: Erfahrungen mit aktivitatenbasierten Modellen
- An Integrated Approach to Quality Modelling Stefan Wagner and Florian Deissenboeck
- Global Sensitivity Analysis of Predictor Models in Software Engineering Stefan Wagner
- Integrating a Model of Analytical Quality Assurance into the V-Modell XT
- FACS'05 Preliminary Version Semantics of UML 2.0 Interactions with
- I N S T I T U T F U R I N F O R M A T I K Tagungsband des 3. Workshops zur
- I N S T I T U T F U R I N F O R M A T I K A Structured Review of Productivity Factors in
- I N S T I T U T F U R I N F O R M A T I K Efficiency Analysis of Defect-Detection
- Stefan Wagner, TU Munchen Rigorosum 16.04.2007 1 / 22 Cost-Optimisation
- TECHNISCHE UNIVERSITAT MUNCHEN FAKULTAT FUR INFORMATIK
- Technische Universitt Fakultt fr Informatik
- Systementwicklungsprojekt Migration von MS-Access zu webbasierten Lsungen
- A Field Study on Requirements Engineering Artefacts and Patterns
- Technische Universitt Mnchen How to Write a Paper
- Technische Universitt Mnchen Empirisches Software Engineering
- Dr. Stefan Wagner, TU Munchen WS Software-Qualitat, Euroforum 2007 07.05.2007 1 / 21 Spezifische Qualitatsanalysen
- Stefan Wagner Technische Universitat Munchen PLV '06 Munich (Germany) 1 / 26 Variability in Interaction Diagrams
- On the Hardness and Existence of Quasi-Strict Felix Brandt and Felix Fischer
- Formal Veri cation of Algorithm W: The Monomorphic Case
- Technische Universitt Mnchen TUM GENDER-ZENTRUM
- I N S T I T U T F U R I N F O R M A T I K Frisco STDA Werkzeug zur methodischen
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 31. 10. 2008
- An Application of Natural Language Processing to Domain Modelling Two Case Studies
- A Framework for Realtime Online Auctions
- SOFTWARE DISASTER, UND WIE MAN SIE
- January 28, 2011 1 Arithmetic and Boolean Expressions 4
- Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable
- Systems, Views Models of UML
- The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physi-
- Prerequisites For Enterprises To Get Involved In Open Source Software Development
- Technische Universitt Mnchen Software Quality
- Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette Alexander Krauss
- Computer-Assisted Mathematics at Work The Hahn-Banach Theorem in Isabelle/Isar
- Antisocial Agents and Vickrey Auctions Felix Brandt and Gerhard Wei
- Modeling the Functionality of Multi-Functional Software Systems Alexander Gruler, Alexander Harhurin, Judith Hartmann
- Hopfengrtner Christian Mail: hopfenga@in.tum.de
- Nil: [] otway X synth (analz (spies evs))
- Model Checking and Random Competition A Study Using the
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 19. 12. 2008
- Software Quality Economics for Combining Defect-Detection Techniques
- User Assistance during Domain-specific Language Design
- I/O Automata in Isabelle/HOL Tobias Nipkow? and Konrad Slind??
- Department of Informatics at the Technische Universitt Mnchen
- Technische Universitat Munchen Institut fur Informatik
- Using Economics as Basis for Modelling and Evaluating Software Quality Stefan Wagner
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen SS 2008 Institut fur Informatik 30. 05. 2008
- Proseminar Programmiersprachen Johannes Weil
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- On the Robustness of Non-Linear Personalized Price Combinatorial Auctions
- Diplomarbeit Modellbasierte Restbussimulation im Automotive-Bereich
- Hauptseminar: Nachweis von Sicherheitseigenschaften fur JavaCard durch approximative Programmauswertung
- Computational Aspects of Shapley's Saddles Felix Brandt Markus Brill Felix Fischer Paul Harrenstein
- A Framework for Analyzing Composition of Security Aspects
- Lehrstuhl fr Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy
- A Service-Oriented Extension of the V-Modell XT Michael Meisinger
- Assumption/Commitment Rules for Networks of
- Secure and Private Auctions without Auctioneers Felix Brandt
- Preliminary Draft September 13, 2007 PageRank as a Weak Tournament Solution
- Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod
- Mathematical Modelling of Systems 1381-2424/96/0201-00$12.00 1996, Vol. 1, No. 1, pp. 000{111 c Swets & Zeitlinger
- POWERTRAIN DIAGNOSTICS A M ODEL-BASED APPROACH
- Hierarchical XP Improving XP for large scale projects in
- Prof. Martin Bichler Employment since 05/2008 Astradi GmbH Munich, Germany
- Guidelines for Developing Adaptive Plug-and-Play Business Component Systems based on the J2EE
- Formally testing fail-safety of Electronic Purse Protocols
- Towards a Formalization of the Uni ed Modeling Language?
- FAKULTT FR INFORMATIK DER TECHNISCHE UNIVERSITT MNCHEN
- From Requirements Documents to System Models: a Tool for Interactive Semi-Automatic Translation
- I N S T I T U T F U R I N F O R M A T I K Motivation and Introduction of a System of
- Categorization of Software Quality Patterns Klaus Lochmann1
- Spiteful Bidding in Sealed-Bid Auctions Felix Brandt
- On Strictly Competitive Multi-Player Games Felix Brandt
- WWiirreelleessss WWoorrlldd RReesseeaarrcchh FFoorruumm ((WWWWRRFF))
- Integrating Formal Description Techniques Bernhard Schtz and Franz Huber
- Group-Strategyproof Irresolute Social Choice Functions Felix Brandt
- The WebShop E-Commerce Marcus Fontoura
- Introduction Isabelle/HOL
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 2
- conventions expressions
- A Superresolution Framework for High-Accuracy Multiview Reconstruction
- Technische Universitat Munchen Institut fur Informatik
- Evolving Software Tools for New Distributed Computing Environments
- Einfuhrung Programmieren im Lambda-Kalkul
- Summary of ECOOP'97 Workshop #5 on ,,Precise Semantics for Object-Oriented
- An Efficient Parallel Implementation of the MSPAI Preconditioner$
- Klassifikation der Modellierungsans atze Merkmale ROOM StateCh SDL Unity CSP
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 24. 10. 2008
- Java Source and Bytecode Formalizations in Isabelle: Bali Gerwin Klein Tobias Nipkow David von Oheimb Leonor Prensa Nieto
- I N S T I T U T F U R I N F O R M A T I K A Polymorphic Sort System for
- system environment requirements,
- Cost-Optimisation Analytical Software Quality Assurance
- I N S T I T U T F U R I N F O R M A T I K Hybrid Sequence Charts
- Decentralized Voting with Unconditional Privacy Felix Brandt
- I N S T I T U T F U R I N F O R M A T I K A Literature Survey of the Software Quality
- Software-Qualitatsmodellierung und -bewertung Stefan Wagner1
- I N S T I T U T F U R I N F O R M A T I K Component Interface Diagrams: Putting
- Spezi kation mit JML Roland Zumkeller
- Das NetBillProtokoll Bernhard Sch atz and Katharina Spies
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 5
- An Open System Operational Semantics for an Object-Oriented and Component-Based
- Towards a Tool Support for a Living Software Development Process 1 2 Michael Gnatz, Frank Marschall, Gerhard Popp,
- (Im)Possibility of Unconditionally Privacy-Preserving Auctions Felix Brandt
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 28. 11. 2008
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Aufgabenblatt 5
- Formal Development of a Production Cell in Focus A Case Study
- I N S T I T U T F U R I N F O R M A T I K Using the SysLab Method -
- Classifying Requirement Conflicts for Multi-Stakeholder Distributed Systems
- A Model for Mobile Point-to-Point Data-ow Networks without Channel Sharing
- From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction
- Modeling Languages: Syntax, Semantics and All That Stu
- Steam boiler control speci cation problem: A TLA solution
- Stefan Wagner, TU Munchen SAP Research, Rot, Germany June 13, 2006 1 / 24 A Model of the Quality Economics of
- In: Proceedings of the Workshop on Algebraic Models of Reasoning, KI-2003, Hamburg, Germany, Sept. 16, 2003 Automated Abstraction of Numerical Simulation Models
- Curriculum Vitae Dipl.-Ing. Christian Menkens, M.Sc.
- UML-F: A Modeling Language for Object-Oriented Frameworks
- Monotonicity Inference for Higher-Order Formulas
- Combining Structural and Functional Test Case Generation Christian Pfaller, Markus Pister
- On the Integration of Design and Test --A Model-Based Approach for Embedded Systems
- COMPACT FOURIER ANALYSIS FOR MULTIGRID METHODS BASED ON BLOCK SYMBOLS
- SMOOTHING AND REGULARIZATION WITH MODIFIED SPARSE APPROXIMATE INVERSES
- Appeared in: Working Papers of the 14th International Workshop on Qualitative Reasoning, Morelia, Mexico (2000), pp. 107-120.
- Technische Universitat Munchen Institut fur Informatik
- Tool supported Specification and Simulation of Distributed Systems Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schatz, Marc Sihling, Oscar Slotosch
- FLOWNOMIALS Binary Flownomials Basic Theory
- I N S T I T U T F U R I N F O R M A T I K Formal Semantics
- I N S T I T U T F U R I N F O R M A T I K A Denotational Model for Mobile
- I N S T I T U T F U R I N F O R M A T I K A Formal Approach to Specifying the
- FORMAL SEMANTICS FOR INTERACTING UML SUBSYSTEMS
- Die Spezi kationsmethode UNITY Thomas Strse
- expressions Polymorphism
- Critical Systems Development with UML: Overview with Automotive Casestudy
- UML-Based Integration Testing Jean Hartmann
- Image-based 3D Modeling via Cheeger Sets
- Formalizations Deliverables
- Implementierung von Mengen durch Listen Tobias Nipkow
- Software Desaster und wie man sie verhindern kann
- COMPACT FOURIER ANALYSIS FOR DESIGNING MULTIGRID THOMAS K. HUCKLE
- Don't Know in Probabilistic Systems Harald Fecher1
- MODEL-BASED DEPLOYMENT WITH AUTOFOCUS: A FIRST CUT Jan Romberg
- Object-oriented Behavioral Semantics With an Emphasis on Semantics of Large OO Business Specifications
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Aufgabenblatt 4
- Proseminar : Software Desaster und wie man sie verhindern kann
- Development and Configuration of Service-based Product Lines Alexander Gruler, Alexander Harhurin, Judith Hartmann
- Lecture Notes in Computer Science Towards a Living Software Development Process
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 30. 01. 2009
- I N S T I T U T F U R I N F O R M A T I K The SDL Specification
- TUM-Familie Familien-TUM
- Complying with Law for RE in the Automotive Domain Birgit Penzenstadler
- Semantik der UML 2.0 Semantik der UML WS04/05 1 20. Juli 2004
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Ubungsblatt 10
- subsexpressions expression.
- TECHNISCHE UNIVERSIT UR INFORMATIK
- Java Source and Bytecode Formalizations in Isabelle: Java VerifiCard Project Deliverables
- UNIVERSITAT INSTITUT FUR INFORMATIK
- E-Business Experiences with Online Auctions 103 Copyright 2003, Idea Group Inc. Copying or distributing in print or electronic forms without written
- Limitations of Agile Software Processes Dan Turk, Robert France Bernhard Rumpe
- A managers view on large scale XP projects Bernhard Rumpe Peter Scholz
- Quantitative Survey on Extreme Programming Projects
- Executable Modeling with UML -A Vision or a Nightmare? -
- Online Auctions 1 Online Auctions
- A Note on Semantics (with an Emphasis on UML)
- An Object-Oriented Method for ASCET Max Fuchs and Dieter Nazareth
- I N S T I T U T F U R I N F O R M A T I K Introducing Security Mechanisms after Initial
- Verifikation einer Hubschrauber uberwachungskomponente mit
- Formalities Governement
- LambdaKalk ul Prof. Tobias Nipkow
- Extending HyCharts with State-Invariants Thomas Stauner?
- Model Transformations for the MDA with Frank Marschall and Peter Braun
- COPE: Coupled Evolution of Metamodels and Models for the Eclipse Modeling Framework
- Hauptseminar Die Einfhrung in die Java Card Technologie
- I N S T I T U T F U R I N F O R M A T I K How to Improve the Service Specifications
- I N S T I T U T F U R I N F O R M A T I K Proceedings of the 1st Workshop on Software
- Java { formal fundiert? David von Oheimb und Cornelia Pusch
- Zertifizierungs richtlinien RBGServerCA Version
- LambdaKalk ul Prof. Tobias Nipkow
- TECHNISCHE UNIVERSITT MNCHEN FAKULTT FR INFORMATIK
- Proseminar "Exotische Programmiersprachen" im Sommersemester 1999
- Computing Tree Logic Kai Schl uter
- Can Clone Detection Support Quality Assessments of Requirements Specifications?
- Clone Detection in Automotive Model-Based Development Florian Deissenboeck,
- An Activity-Based Quality Model for Maintainability F. Deissenboeck, S. Wagner, M. Pizka
- Erfassung, Strukturierung und berprfung von Qualittsanforderungen durch aktivittenbasierte
- Tool Support for Continuous Quality Assessment Florian Deissenboeck, Markus Pizka, Tilman Seifert
- Concise and Consistent Naming Florian Deienbock and Markus Pizka
- The Loss of Architectural Knowledge during System Evolution: An Industrial Case Study
- Higher-Order Narrowing with Convergent Christian Prehofer?
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Modellierung von Software-Security mit aktivitatenbasierten Qualitatsmodellen
- Treating Partiality in a Logic of Total Olaf Muller and Konrad Slind
- Meta-Modelling Semantics of UML 1 KEYWORDS, ETC.
- Clubbing Cods A User's Guide to Kodkodi 1.2.16
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart
- Classical search strategies for test case generation with Constraint Logic Programming
- Functional programming languages for verification tools: a comparison of Standard ML and Haskell
- March 14, 2006 15:59 Proceedings Trim Size: 9in x 6in main UPCOMING AUTOMOTIVE STANDARDS FOR
- Technische Universitat Munchen SS 2007 Institut fur Informatik 31. 05. 2007
- Hauptseminar Nachweis von Sicherheitseigenschaften fur JavaCard
- A Generic Framework for Negotiations and Trading in Context Aware Radio E. Mohyeldin1
- Technische Universitaet Muenchen Fakultaet fuer Informatik
- UNIVERSITAT INSTITUT FUR INFORMATIK
- Isabelle's meta-logic Basic constructs
- Equivalence of big and small steps Method bodies and local variables
- Technische Universitat Munchen Institut fur Informatik
- I N S T I T U T F U R I N F O R M A T I K Hochverfugbarkeit fur Linux
- Private Public Choice Felix Brandt
- Preprint submitted to Theory of Computing Systems November 22, 2010
- Lehrstuhl fr Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy
- Conflict-Driven Diagnosis using Relational Aggregations
- I N S T I T U T F U R I N F O R M A T I K Modular and Visual Specification of Hybrid
- Carp@ Managing Dynamic JiniTM Michael Fahrmair, Chris Salzmann, Maurice Schoenmakers
- Software Quality Economics for Defect-Detection Techniques Using Failure Prediction
- Praktische Semesterarbeit Erweiterung des Isabelle--Theorieparsers
- ``welformed''? representation
- I N S T I T U T F U R I N F O R M A T I K FlexRay und FTCom: Formale Spezifikation in
- Technische Universitat Munchen SS 2009 Institut fur Informatik 25. 06. 2009
- Hoare Logic for Mutual Recursion and Local Variables David von Oheimb?
- Regular Linear Temporal Logic Martin Leucker1
- Development and Implementation of a Communication Protocol --
- Technische Universitat Munchen WS 2006/07 Institut fur Informatik 31. 1. 2007
- I N S T I T U T F U R I N F O R M A T I K Threat Scenarios as a Means to Formally
- Traces of I/O-Automata in Isabelle/HOLCF Olaf Muller? and Tobias Nipkow??
- Isabelle/Isar --a versatile environment for human-readable formal proof documents
- Automated Qualitative Domain Abstraction Martin Sachenbacher
- TUM-Familie... ...Familien-TUM
- I N S T I T U T F U R I N F O R M A T I K Seamless Modeling of an Automation Example
- INFINITY 2004 Preliminary Version Inference of Timed Transition Systems
- Business Process Modeling in Software Development
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 31. 10. 2008
- A Computational Analysis of Linear Price Iterative Combinatorial Auction Formats
- Preprint submitted to Theory of Computing Systems June 7, 2011
- Speci cation of (parts of) a Lip-Sync Protocol Using Thomas Stauner
- SafeCert 2008 Model-Based Safety-Cases for
- Isabelle/Isar: from Primitive Natural Deduction
- Three-Valued Abstraction for Continuous-Time Markov Chains
- I N S T I T U T F U R I N F O R M A T I K Using UML for Modeling
- In: Working Papers of the 11th International Workshop on Qualitative Reasoning (QR-97), Cortona, Italy, June 1997
- LDTA 2006 Preliminary Version The Language Evolver Lever
- Development GlobalSoftwareDevelopmentHandbook
- Spezifikation ``Mathematische
- Sommersemester Isabelle/HOL
- Institut fur Informatik Der Technischen Universitat Munchen
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 4
- Informatics: The Driving Force for Economy and Science
- Comparing Bug Finding Tools with Reviews and Stefan Wagner1
- Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1, , Sascha Bhme1, and Lawrence C. Paulson2
- Comparing Bug Finding Tools with Reviews and Tests
- 2 Natural Semantics of Commands theory Natural = Com
- An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
- Software Quality Economics for Defect-Detection Techniques Using Failure Prediction
- Zertifizierungs-richtlinien (Policy) der
- Higher-Order Narrowing Christian Prehofer
- Solving Parametric Linear Systems: an Experiment with Constraint Algebraic
- Modeling the Dynamic Behavior of Objects On Events, Messages and Methods
- Technische Universitat Munchen SS 2011 Institut fur Informatik 13. 05. 2011
- Modelling Secure IT SystemsA Survey Johannes Grunbauer, Jan Jurjens, Guido Wimmel
- Modeling Crosscutting Services with UML Sequence Martin Deubler, Michael Meisinger,
- On the Predictive Performance of Queueing Network Models for Large-Scale Distributed
- Formal User-centered Requirements Engineering Barbara Paech
- Ranking Games Felix Brandt a, Felix Fischer a
- domain model : class diagrams (+ OCL)
- Seite 1 von 28 Microsoft Deutschland GmbH Whitepaper Integrierte ALM Untersttzung fr V-Modell Projekte auf Basis des Team Foundation Servers
- Hauptseminar (WS 2001/2002): Applet Firewall und Freigabe der Objekte
- J. Functional Programming 1 (1): 1{000, January 1998. Printed in the United Kingdom c 1998 Cambridge University Press
- Integrating Theorem Proving and Model Checking in Isabelle/IOA
- Efficient Privacy-Preserving Protocols for Multi-Unit Auctions
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting.
- I N S T I T U T F U R I N F O R M A T I K A Denotational Model for
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 10
- A structural operational semantics for UML-statecharts
- Technische Universitat Munchen Institut fur Informatik
- system environment requirements,
- Tackling Automotive Challenges with an Integrated RE & Design Artifact Model
- Softwaretechnikpraktikum (fr den Diplom-, Master-, und Bachelorstudiengang)
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Aufgabenblatt 9
- More Church-Rosser Proofs (in Isabelle/HOL) Tobias Nipkow?
- Service-Based Development of Embedded L. Kof, B. Schatz, I. Thaler, and A. Wisspeintner
- Necessary and Sufficient Conditions for the Strategyproofness of Irresolute Social Choice Functions
- The SDL Speci cation of the Sliding Window Protocol Revisited Christian Facchia, Markus Haubner, Ursula Hinkelb
- Isabelle/HOL and SMT Sascha Bohme
- Technische Universitat Munchen WS 2007/08 Institut fur Informatik 10. 1. 2008
- Profitability Estimation of Software Projects: A Combined Framework Stefan Wagner, Songmin Xie
- The UML as a Formal Modeling Notation Department of Computer Science & Engineering
- Technische Universitat Munchen SS 2008 Institut fur Informatik 20. 06. 2008
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a
- AutoFocus -A Tool for Distributed Systems Speci cation?
- Phoebus N35 -4e trimestre 2005 5 INTRODUCTION
- 22 Telematik 2/2002 The growing importance of on-board diagnosis
- Don't Know in Probabilistic Systems Harald Fecher1
- Meeting Re-use Requirements of Real-life Diagnosis Applications
- Quality Models in Practice: A Preliminary Analysis Stefan Wagner, Klaus Lochmann, Sebastian Winter
- Seite 1Lehrstuhl Prof. Dr. Broy Hauptseminar Softwarewartung ChristophErdle
- Statecharts Via Process Algebra? Gerald Luttgen1, Michael von der Beeck2, and Rance Cleaveland3
- I N S T I T U T F U R I N F O R M A T I K Result of the Tool Questionnaire
- Technische Universitat Munchen Institut fur Informatik
- Figure 1 A common test bench for cars. Obtaining Models for Test Generation
- Overview of Isabelle/HOL System Architecture
- A Systematic Review of Productivity Factors in Software Development Stefan Wagner
- Analyzing Mobile Distributed Application Architectures
- An Approach to Global Sensitivity Analysis: FAST on COCOMO Stefan Wagner
- A Formally Founded Description Technique for Business Processes Veronika Thurner
- Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
- COMPACT FOURIER ANALYSIS FOR MULTIGRID METHODS BASED ON BLOCK SYMBOLS
- I N S T I T U T F U R I N F O R M A T I K A Framework for Interaction Description with
- I N S T I T U T F U R I N F O R M A T I K The Field of Software Architecture
- Symmetries and the Complexity of Pure Nash Equilibrium
- On the Existence of Unconditionally Privacy-Preserving Auction Protocols
- Hauptseminar Requirements Engineering SS 2004 Vortragsthemen und Literaturangeben
- IMS Social Network Application with J2ME compatible Push-To-Talk Service Christian Menkens, Nils Kjellin, Anders Davoust
- In: Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, AAAI Technical Report SS-99-05, March, 1999, p. 180-185, ISBN 1-57735-101-0
- Parallel Model Checking and the FMICS-jETI Platform Jiri Barnat
- Technische Universitat Munchen Institut fur Informatik
- I Workshop de Tec. da Inf. Apl. ao Meio Ambiente -CBComp 2003 Sis. de Apoio Tomada de Deciso DESIGN DE UM SISTEMA DE SUPORTE DECISO BASEADO
- Appears in: Working Papers of the 14th International Workshop on Qualitative Reasoning, Morelia, Mexico (2000), pp. 144-153.
- Fachsprachkurse, die anerkannt werden: Kurse mit C1-Niveau knnen nur fr den Bachelor, Kurse mit C2-Niveau nur fr den Master
- I N S T I T U T F U R I N F O R M A T I K Stream Based Specification of Cryptographic
- Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications*
- Technische Universitat Munchen Institut fur Informatik
- To ECOOP'98 Conference Site
- Technische Universitat Munchen Institut fur Informatik
- conventions expressions
- Spezifikation Verifikation
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 1
- Development of a Distributed Min/Max Component Max Fuchs, Ketil St len
- A Mathematical Programming Approach for Server Consolidation Problems
- Principal Agent Theory and its Application to Analyze Outsourcing of Software Development
- Approaching a Discrete-Continuous UML: Tool Support and Formalization
- Application2 system services
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik Aufgabenblatt 7
- Modelling the Quality Economics of Defect-Detection Stefan Wagner
- MoDe: A Method for System-Level Architecture Evaluation Jan Romberg
- Entity/Relationship-Datenmodellierung in axiomatischen Spezi kationssprachen
- I N S T I T U T F R I N F O R M A T I K Werkzeugspezifisches Tailoring fr das
- SAE Paper 980199 Advanced Design and Validation Techniques
- A Model and Sensitivity Analysis of the Quality Economics of Defect-Detection Techniques
- Technische Universitt Mnchen Fakultt fr Informatik
- 4 A Simple Compiler theory Compiler = Natural
- 2 Natural Semantics of Commands theory Natural = Com
- Ausarbeitung zum Proseminar '' Exotische Programmiersprachen``
- Structural recursion datatype t = C1 of t1 | ... | Cn of tn
- Wellformedness Formalization
- Proseminar Programmiersprachen Sebastian Klotz
- Technische Universitat Munchen SS 2007 Institut fur Informatik 14. 06. 2007
- Technische Universitat Munchen Institut fur Informatik
- Form-Based User Interface -The Architectural Patterns A Pattern Language
- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch
- Modern Techniques for Solving Boolean Satisfiability
- Operational Semantics of UML 2.0 Interactions Maria Victoria Cengarle1
- Efficient Cryptographic Protocol Design Based on Distributed El Gamal Encryption
- Using Relations on Streams to Solve the RPC-Memory Speci cation Problem
- From Feature Models to Variation Representation Maria Victoria Cengarle1
- Technische Universitat Munchen SS 2007 Institut fur Informatik 24. 05. 2007
- Softw Syst Model (2004) 3: 930 / Digital Object Identifier (DOI) 10.1007/s10270-003-0035-9 Regular papers
- Towards an Integration of Process Modeling and Project Planning Michael Gnatz, Martin Deubler, Michael Meisinger
- Requirements-Engineering-Frameworks und Produktlinien: Zwischenbericht des Arbeitskreises
- Proseminar Programmiersprachen: Peter Kiechle
- Computing Isochrones in Multi-Modal, Schedule-Based Transport Networks
- From Design to Tools: Process Modeling and Enactment with PDE and PET
- Computing Shapley's Saddles FELIX BRANDT, MARKUS BRILL, FELIX FISCHER, PAUL HARRENSTEIN, JAN
- Developing the UML as a Formal Modelling Notation , R. France2
- Hauptseminar WS 05 Semantic der UML V2.0 A structured operational
- On Modularity in Term Rewriting and Christian Prehofer?
- Proceedings of the 8th International Workshop Implementation of Logics
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 7
- 1 Syntax of Commands theory Com = Main
- expression? Environments
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 6
- send(d:Data) Interface
- The Isabelle/Isar Reference Manual Makarius Wenzel
- The influence of so-ware quality requirements on the suitability of so-ware cost es7ma7on methods
- Supporting Software-Evolution at the Process Level Tilman Seifert and Markus Pizka
- The Jinja Virtual Machine (JVM) 1. Architecture, instructions, execution
- One Evaluation of Model-Based Testing and its Automation A. Pretschner
- Technische Universitat Munchen Institut fur Informatik
- Significant Distinctions Only: Context-dependent Automated Qualitative Modeling
- Technische Universitat Munchen Institut fur Informatik
- Threat Scenarios as a Means to Formally Develop Secure Volkmar Lotz
- I N S T I T U T F U R I N F O R M A T I K CAWAR -Formalizing a Framework for
- A NON-PARAMETRIC ESTIMATOR FOR RESERVE PRICES IN PROCUREMENT AUCTIONS
- Tool-Supported Multi-Level Language Evolution Markus Pizka and Elmar Jurgens
- Social Choice and Preference Protection Towards Fully Private Mechanism Design
- Field Study on Requirements Engineering Artefacts and Patterns
- Proseminar Programmiersprachen Johannes Weil
- An introduction to recursion and induction A recursive datatype: toy lists
- Last name: Islam First: Shareeful
- AVL Trees Revisited: A Case Study in Spectrum
- Technische Universitt Mnchen Institute of Communication Networks
- Matrix exponentials and parallel prefix computation in a quantum control problem
- The Semantics of Spectrum? Radu Grosu and Franz Regensburger
- Feature Specification and Refinement with State Transition Diagrams
- Refinement of Information Flow Architectures Jan Philipps Bernhard Rumpe
- Technische Universitt Mnchen ,,Software Desaster
- Stefan Wagner, TU Munchen Dagstuhl --January 15, 2007 1 / 6 Specifying Dependability Using a
- I N S T I T U T F U R I N F O R M A T I K Enabling a Living Software Development Process
- Concept Mapping as a Means of Requirements Tracing Fakultat fur Informatik, Technische Universitat Munchen,
- Technische Universitat Munchen Institut fur Informatik
- SEP: Implementierung eines Sequenzdiagramm-Editors fr AutoFOCUS 2/AutoFLEX
- Funktionale Spezi kation Kommunikationsprotokolls
- A Practical Approach of Teaching Software Engineering Michael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert
- Thread Segment Stacks Markus Pizka
- Department of Computer Science Technical Report
- Entwurf und Implementierung eingebetteter Systeme
- Towards a New Way of Parameterization Radu Grosu Dieter Nazareth
- Benedikt Lowe, Florian Rudolph (eds.), Foundations of the Formal Sciences
- On constructive speci cations of abstract data types using temporal logic
- Don't Know in the -Calculus Orna Grumberg1
- Course "Polynomials: Their Power and How to Use Them", JASS'07 Computing with polynomials: Hensel constructions
- Infomesse zu den Master-Studiengngen der Fakultt fr Informatik
- I N S T I T U T F U R I N F O R M A T I K Description Techniques for Data
- Extended Static Checking Das ESC/Java Projekt eine bersicht
- Verified Bytecode Subroutines Gerwin Klein and Martin Wildmoser
- Treatment of Passive Voice and Conjunctions in Use Case Documents
- Prototyping of Hybrid Systems { From HyCharts to Hybrid Data-Flow Graphs { 1
- Developing Safety-Critical Systems with UML Jan Jurjens
- I N S T I T U T F U R I N F O R M A T I K Designing, Documenting, and Evaluating Software
- I N S T I T U T F U R I N F O R M A T I K The Specification Language SPECTRUM
- Prelude: Formalities Governement health warning
- Towards a Precise Semantics for Object-Oriented Modeling Techniques?
- I N S T I T U T F U R I N F O R M A T I K Modelling System Families with Message
- Technische Universitt Mnchen TUM GENDER-ZENTRUM
- 26.11.2004 Lehrstuhl Software & Systems Engineering
- TACoS'04 Preliminary Version Abstractions for Model-Based Testing 1
- Development of SDL Speci cations in Focus Ketil St len
- Model-Based Quality Assurance of Automotive Software
- Technische Universitat Munchen SS 2007 Institut fur Informatik 28. 06. 2007
- A Data Warehouse for Cross-Species Stefan Wagner
- I N S T I T U T F U R I N F O R M A T I K Event Handling in ET++
- Focus on Isabelle: From Specification to Verification
- I N S T I T U T F U R I N F O R M A T I K Concurrent Timed Port Automata
- Computing the Minimal Covering Set Felix Brandt Felix Fischer
- Technische Universitat Munchen Institut fur Informatik
- The HLRB Cluster as Quantum CISC Compiler Matrix Methods and Applications for Advanced Quantum
- Technische Universitat Munchen Institut fur Informatik
- FROM MSCS TO STATECHARTS Ingolf Krger, Radu Grosu,
- Reduktion von 3SAT auf Hamilton-Kreis Eine Formel
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 12. 12. 2008
- BOPS { Balancing Objects and Pages in a Shared Space Technische Universitat Munchen
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 9
- Bali Virtual Machine (BVM) Operational semantics for instructions
- Characterization of Dominance Relations in Finite Coalitional Games
- Security for Downloadable Automotive Services Stephan Merk*, Kathrin Scheidemann*, Michael Rudorfer*, Thomas Stauner*,
- Murks A POSIX Threads Based DSM System M. Pizka, C. Rehn
- I N S T I T U T F U R I N F O R M A T I K Tests for mixed discrete-continuous systems
- Higher-Order Functional-Logic Programming: A Systematic Development
- Software Quality Economics for Defect-Detection Techniques
- Department of Computer Science Technical Report
- Lambda-Kalkl Philipp Meyer
- Using UMLsec and Goal Trees for Secure Systems Development
- I N S T I T U T F U R I N F O R M A T I K From Semiformal Requirements To Formal
- HOL: Propositional Logic Natural deduction
- Tra c Lights -An AutoFocus Case Study Franz Huber, Sascha Molterer, Bernhard Schatz, Oscar Slotosch, Alexander Vilbig
- Formal Design of a Modulo-N Counter Institut fur Informatik
- On the Role of Activity Diagrams in UML Institut fr Informatik, Technische Universitt Mnchen
- Isar --A language for structured proofs Apply scripts
- Model-Based Development of Embedded Systems
- SHADOW STACKS { A HARDWARE-SUPPORTED DSM FOR OBJECTS OF ANY GRANULARITY
- An Abstract Account of Composition Mart n Abadi1 and Stephan Merz2
- Product Line Annotations with UML-F Wolfgang Pree1, Marcus Fontoura
- Der einfach getypte Lambda-Kalkul Steffen Juilf Smolka
- COPE -Automating Coupled Evolution of Metamodels and Models
- Demystifying Maintainability Manfred Broy
- Prof. Dr. Dr. h.c. Manfred Hans Bertold Broy
- Technische Universitt Mnchen The Chimera of Software Productivity
- Hot Spots der Software-Entwicklung Service-orientierte Architekturen Anspruch und Wirklichkeit
- The Complexity of Computing Minimal Unidirectional Covering Sets
- Some Remarks on Dodgson's Voting Rule Felix Brandt
- Mittwoch 31. Mai 2000 Seite 1 Hauptseminar
- HOLCF: Eine konservative Erweiterung von Franz Regensburger
- Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
- Technische Universitat Munchen Institut fur Informatik
- I N S T I T U T F U R I N F O R M A T I K Implementing the Change of Data Structures
- Interaction Interfaces Towards a scientific foundation of a methodological usage of
- A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models
- Technische Universitat Munchen Institut fur Informatik
- Use Case Oriented Development of Security-Critical Jan Jurjens and Gerhard Popp and Guido Wimmel
- UML 2.0 Interactions: Semantics and Refinement Maria Victoria Cengarle1
- A Bluffer's Guide to ml Tobias Nipkow
- Termersetzungssysteme (SS 95, 3+0)
- Structures as libraries structure ListLib =
- Modelling Inheritance in an Algebraic Speci cation Dieter Nazareth
- I N S T I T U T F U R I N F O R M A T I K Tagungsband 2. Workshop zur
- Model Checking Timed UML State Machines and Collaborations
- An ASM Semantics for UML Activity Diagrams E. Borger 1 A. Cavarra 2 E. Riccobene 2
- Hauptseminar Spezifikation
- Second ECOOP Workshop on Precise Behavioral Semantics
- Computational Aspects of Covering in Dominance Graphs Felix Brandt and Felix Fischer
- Sound Development of Secure Service-based Systems Martin Deubler Johannes Grunbauer
- Message-Passing Automata are expressively equivalent to EMSO Logic
- Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
- Integrating a Model of Analytical Quality Assurance into the V-Modell XT
- The LearnLib in FMICS-jETI Tiziana Margaria
- --Problem Statement --Variability Models Must Not be Invariant!
- Felix Brandt October 1, 2009
- Efficient Proof Reconstruction for the SMT Solver Z3
- Static Bug Detection Through Analysis of Inconsistent Clones
- A Requirement Speci cation for a Lexical Analyzerz Rudolf Hettler
- Security and privacy rights management for mobile and ubiquitous computing
- Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart
- Java Definite Assignment in Isabelle/HOL Norbert Schirmer
- International Workshop on Tool Support and Requirements Management in Distributed Projects (REMIDI'07)
- Rapid Systems of Systems Integration Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure
- TU Munchen Proseminar Programmiersprachen
- Fakultt fr Informatik der Technischen Universitt Mnchen
- Computer Science Tripos part 1b | Security Lecture 1 | Security Applications
- Technische Universit at M unchen SoS 2000 Institut f ur Informatik Aufgabenblatt 8
- Aufbau der Zahlen Ahmed Messaoudi
- Datatype re nement Speci cation: EML signature SPEC.
- A UML statecharts semantics with messagepassing Computing Laboratory, University of Oxford, GB and
- Preface page ix 1 Motivating Examples 1
- On the Impact of Cognitive Limits in Combinatorial Auctions: An Experimental Study in the Context of
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 7. 11. 2008
- Efficiency with Linear Prices? A Theoretical and Experimental Analysis of the Combinatorial Clock
- A Re nement Relation Supporting the Transition from Unbounded
- Technische Universitat Munchen Fakultat fur Informatik
- Technische Universitat Munchen Institut fur Informatik
- I N S T I T U T F R I N F O R M A T I K Flexible Process-Tool-Integration
- Proof terms for simply typed higher order logic Stefan Berghofer and Tobias Nipkow
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 17. 10. 2008
- Parallel Program Development for a Recursive Numerical Algorithm: a Case Study
- Prototyping Relational Speci cations Using Higher-Order Objects
- Why Biomedical Computing? Computer-assisted medical imaging technology plays a cru-
- Curriculum Vitae Name: Felix Brandt
- Technische Universitat Munchen WS 2007/08 Institut fur Informatik 17. 1. 2008
- Estimating the Effect of Word of Mouth on Churn and Cross-Buying in the Mobile Phone Market
- Das System des naturlichen Schlieen Till Rohrmann
- 31.01.2007 Lisp 1 / 31 Proseminar Programmiersprachen
- Re nements in HOLCF: Implementation of Interactive Systems
- 4 A Simple Compiler theory Compiler = Natural
- PDMC 2004 Preliminary Version UppDMC: A Distributed Model Checker for
- 2006-01-1222 An Architecture-Centric Approach towards the Construction of
- Formal description techniques -how formal and descriptive are they?*
- Using HyTech to Verify an Automotive Control Thomas Stauner and Olaf Muller?
- Combining Model Checking and Deduction for I/O-Automata Olaf Muller and Tobias Nipkow
- Model-Based Requirements Engineering with AutoRAID Bernhard Schtz, Andreas Fleischmann, Eva Geisberger, Markus Pister
- Technische Universitat Munchen WS 2008/09 Institut fur Informatik 30. 01. 2009
- Tournament Solutions Extensions of Maximality and their Applications to Decision-Making
- Process Improvement in Large-Scale Industrial Environments Based on SCM
- Software Quality Economics for Combining Defect-Detection
- Technische Universitat Munchen Institut fur Informatik
- Fachhochschule Augsburg Fachbereich Informatik
- ML-Polymorphismus Autor: Marc Homann
- CloneDetective A Workbench for Clone Detection Research Elmar Juergens, Florian Deissenboeck, Benjamin Hummel
- I N S T I T U T F U R I N F O R M A T I K Internet -Buchhandel
- Proseminar Programmiersprachen Thema Java 5 Generics 1
- Formalisierung und Beweis einer Verfeinerung aus Focus
- Equivalence wellformedness
- Proseminar Exotische Programmiersprachen Ausarbeitung zum Vortrag
- Hauptseminar: Spezifikation
- Nitpicking C++ Concurrency Jasmin Christian Blanchette
- Persnliches Name: Felix Brandt
- Integrating Service Specifications on Different Levels of Abstraction S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild
- A Literature Survey of the Quality Economics of Defect-Detection Techniques
- Technische Universitat Munchen SS 2009 Institut fur Informatik 04. 06. 2009
- Appeared in Annual International Academic Conference on Business Intelligence and Data Warehousing (BIDW 2010), Singapore, 2010 Debugging Support for Data Warehouse Applications
- I N S T I T U T F U R I N F O R M A T I K Compatibility and reuse in component-based
- Kleine BUGs, groe GAUs Softwarefehler und ihre Folgen
- Preface vii 1 Object-oriented transformation
- Specification Modules for Methodical System Development Franz Huber, Bernhard Schtz
- Appeared in: Proceedings of the 14th International Workshop on Principles of Diagnosis (DX03) USA, June 2003. A TOOLBOX INTEGRATING
- An Experimental Comparison of Linear and Non-Linear Price Combinatorial Auctions
- Einfuhrung Subroutines
- One Evaluation of Model-Based Testing and its Automation A. Pretschner
- Ausarbeitung zu: Mathematische und logische
- Technische Universitat Munchen Institut fur Informatik
- Type Safety What is type safety?
- This is a preprint version of chapter four of @incollection{Oheimb-Nipkow-Java-LNCS,
- 3 Transition Semantics of Commands theory Transition = Natural
- Technische Universitt Mnchen Software Quality
- I N S T I T U T F U R I N F O R M A T I K Modeling Work Flows For Building
- Management von Softwaresystemen Systembewertung: Metriken und Prozess
- Appeared in: Frisk, E. et al. (eds.), 20th International Workshop on Principles of Diagnosis, Stockholm, 2009 Diagnosis of Bottling Plants First Success and Challenges
- Cls2{guarded,GObj} {signed,Key} Op1(arg1:ATy1):RTy1 Op2(arg2:ATy2):RTy2
- Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
- Technische Universitat Munchen Institut fur Informatik
- Relating Events, Messages and Methods of Multiple-Threaded Objects
- I N S T I T U T F U R I N F O R M A T I K Prozessintegration und -anpassung
- Engineering Einfhrung in die VWL
- Bali ` Java TM ffl class and interface declarations
- 3 Transition Semantics of Commands theory Transition = Natural
- Proseminar Exotische Programmiersprachen (Prof. Tobias Nipkow)
- Proseminar Software Desaster Desaster: Internetvirus
- Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources
- Often, it is argued that there are technical processes and plants that are not amenable to model-based di-
- Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 7/01, pp.79-94 Model Based Testing for Real
- Automatability of Coupled Evolution of Metamodels and Models in Practice
- I N S T I T U T F U R I N F O R M A T I K Enhancing the SYSLAB System
- Hauptseminar ( WS 2001/2002 ) Einfhrung in die Java Card Technologie
- Theorem Prover Support for the Re nement of Stream Processing Functions
- I N S T I T U T F U R I N F O R M A T I K Solving Higher-Order Equations
- I N S T I T U T F U R I N F O R M A T I K A comparison of service-oriented development
- Syntax of Standard ML Tobias Nipkow and Larry Paulson
- Requirements-Based Test Case Specification by Using Information from Model Construction
- Technische Universitat Munchen Institut fur Informatik
- Technische Universitat Munchen WS 2007/08 Institut fur Informatik 20. 12. 2007
- Using the ProdFLOWTM Approach to Address the Myth
- Calculational reasoning revisited an Isabelle/Isar experience
- Insights from Building a Prototype for Model-based On-board Diagnosis of Automotive Systems
- The Four Levels of Use Case Description? Barbara Paech
- [Geben Sie Text ein] MasterThesis
- [Geben Sie Text ein] MasterThesis
- [Geben Sie Text ein] MasterThesis
- Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow
- [Geben Sie Text ein] MasterThesis
- Veranstalltungsform Titel Sprache SWS ECTS Prfung Seminar Aktuelle Probleme der Wirtschafts-und Unternehmensethik Deutsch 3 2-4 Referat (ECTS: 2) zustzlich Hausarbeit (ECTS: 4)
- Computing Desirable Partitions in Additively Separable Hedonic Games
- Veranstalltungsform Titel Untertitel Sprache SWS ECTS Prfung Seminar Aktuelle Probleme der Wirtschafts-und Unternehmensethik Deutsch 3 2-4 Referat (ECTS: 2) zustzlich Hausarbeit (ECTS: 4)
- Nitro: Hardware-based System Call Tracing for Virtual Machines
- Clubbing Cods A User's Guide to Kodkodi 1.5.1
- Pearls of Informatics -WS 2011/12 Exercises 4 (for Friday, 18.11.2011)
- Technische Universitt Mnchen TUM International Office 1
- Group-Strategyproof Irresolute Social Choice Functions
- INTERNATIONAL WEEK 2011 DETAILED PROGRAMME OF INTERNATIONAL OFFICE Monday, Nov 28th
- The Complexity of Computing Minimal Unidirectional Covering Sets$
- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
- Studien EinfhrungsTage Wintersemester 2011
- Georg Hermann Richard Hackenberg Wissenschaftlicher Mitarbeiter
- Studien EinfhrungsTage Wintersemester 2011
- Studien EinfhrungsTage Wintersemester 2011
- Tobias Nipkow, Gerwin Klein Concrete Semantics
- Fehlt: MPI Folien Stutzmann Folien -> Platzhalter
- TUM International Office Internationalization at Technische Universitt Mnchen
- Semesterbegleitende Lehrveranstaltungen in -Chinesisch
- Pearls of Informatics -WS 2011/12 Exercises 5 (for Friday, 25.11.2011)
- Pareto Optimality in Coalition Formation Haris Aziz, Felix Brandt
- Technische Universitt Mnchen TUM-Richtlinien zur Bestellung von
- Efficiency, Auctioneer Revenue, and Bidding Behavior in the Combinatorial Clock Auction
- Interactive Proof: Introduction to Isabelle/HOL
- Concrete Semantics December 11, 2011
- Technische Universitt Mnchen International Postgraduate Programmes 2012/13
- Nachhaltigkeit, nachhaltige Entwicklung und
- Monotonicity How to Encode Polymorphic Types
- On the Impact of Real-Time Information on Field Service Scheduling
- Evasion Attack of Multi-Class Linear Classifiers Han Xiao1,2
- Mnchen, den 4.9.2007 SEP / HiWi Position
- Mnchen, den 4.9.2007 Diploma / Master Thesis
- A Universal Semantic Bridge for Virtual Machine Introspection
- BIT Numerical Mathematics Data based regularization for discrete deconvolution problems
- Veranstalltungsform Titel Sprache SWS ECTS Prfung Seminar Aktuelle Probleme der Wirtschafts-und Unternehmensethik Deutsch 3 2-4 Referat (ECTS: 2) zustzlich Hausarbeit (ECTS: 4)
- Compulsory Modules Computer Science A total of 25 credits are to be effected in the following compulsory modules
- Tikhonov-Phillips Regularization with Operator Depen-dent Seminorms
- Draft February 29, 2012 Computing Dominance-Based Solution
