Department of Software Engineering
Index

• Announcements --
• Examinations
• Theses
• Open Positions
• Colloquia
• Photos
• Our first 'Berch'
• Bergkirchweih 2004
• Bergkirchweih 2005
• Bergkirchweih 2006
• Persons
• Staff
• Prof. Dr. Francesca Saglietti
• Curriculum Vitae
• Publications
• Talks
• Research
• Teaching
• Industrial Cooperations
• Scientific Cooperations
• Contribution to Scientific Events
• N.N.
• Dipl.-Inf. Marc Spisländer
• Loui Al Sardy, M. Eng.
• Xiaochen Wu, M. Sc.
• Benedikt Sixt, M. Sc.
• Dr. Maria Bonner
• Dipl.-Inf. Raimar Lill
• Stephanie Przygoda
• Students
• Alumni
• Teaching
• Research
• Vision
• Research Projects
• Automatic Test Data Generation to Support Incremental Model- and Code-based Testing Procedures for High Reliability Software Systems (UnITeD)
• Automatic Dataflow-oriented Test Case Generation for Object-oriented Software Systems by Evolutionary Algorithms (.gEAr)
• Toolborne Integration of pre-developed Software Components by Extended Interface Description (TRICOS)
• Software Reliability Estimation on the Basis of Operational Experience of Pre-developed Components (CORE)
• Detection of Rare Software Failures by Load Testing of Communication Software (LoTCoS)
• Obtaining and Evaluating Software-Ergonomic Characteristics during the Early Phases of Software Development (ERGO)
• Techniques for Representing and Ensuring Component-based Protection Objectives (CITY )
• Integration Testing of Component-Based Software (IT.Com)
• Verification of Component-Based Software on the Basis of Proven Component Properties
• Pattern-based Trace Analysis and Correction (π.TrAC)
• Providing Security in Component-based Systems (ProSecCo)
• Version control for visual programming languages
• Evaluation and analysis of application data for the application of statistical testing on gear boxes
• Synchronisation of parallel systemtest and development environments delayed releases
• Analysis and Comparison of Approaches for the Performance Assessment of Software Systems
• Component-based architectures and communication mechanisms for simulation tools
• Untersuchung verschiedener Model Checking Werkzeuge bzgl. ihrer Eignung für den Einsatz in der Telekommunikation
• Application of Statistical Methods for the Classification of Symptoms and for the Estimation of the Reliability of Software-based Systems
• Requirements Analysis and Implementation of Incident Simulators
• Requirements Analysis and Evaluation of Software-Documentation Systems
• Offline Debugging for Continuous Function Charts
• Specification, Design and Implementation of a multiagent-based Simulation
• Analysis of the new testing techniques provided by Visual Studio 2005 based on selected tools for projecting overhead contact lines
• Traceability and verifiability of non-functional requirements in component based software-systems
• Combination of reliability groth models and support of their industrial applicability
• Design and development of a test system for integration testing
• Modeling of software development processes using SPEM
• Test Automation of a Process Visualisation System for Railed Vehicles
• Model-based Codegeneration for Automation Systems
• Statistical Process Control within Software Development
• Realization of a SNMP-Gateway for a Workflow Management System
• Development and Evaluation of a Software Fault Injector
• Model based generation of test cases
• Test Case Generation by the Equivalence Class Method
• UML-basierte Beschreibung von GUI-Prototypen
• Development of a Methodology Supporting the Formulation of Unambiguous and Verifiable Requirement Specifications
• Traceability im Rahmen eines inkrementellen V-Modell basierten Software-Entwicklungsprozess
• Design and implementation of an UML action language for embedded systems
• Reliability and Quality of European Software Technology (REQUEST)
• Demonstration of Advanced Reliability Techniques for Safety Related Computer Systems (DARTS)
• Software Understanding, Adaptation and Conversion (RECYCLE)
• Intensive Software Systems for Safety Applications - A High-Tech Software European Lean Network
• Software diversity for safety-related automatic control
• Safety-relevant aspects concerning re-fitting of conventional safety instrumentation and control
• Potential internal threats on safety- and security-relevant software and protecting countermeasures
• Development of methods for the assessment of the applicability of safety-enhancing computer-aided automatic control
• Methods for the safety analysis of pre-developed software to be re- applied to safety control
• Development of methods for interface consistency assessment of component-based software in safety-relevant systems by use of object-oriented approaches
• Publications
• Talks
• Tools
• Tools developed at the Chair
• Tools used at the Chair
• Cooperations
• International Networks
• EWICS TC7
• Liaisons
• National Communities
• Industrial Projects
• Scientific Events
• EWICS-Workshop Diversity Day 2005
• GI-Workshop zum fachlichen Zusammenhang im neuen Fachbereich "Sicherheit"
• Scientific Publishing Houses
• Annual reports
• Report of year 2016
• Report of year 2015
• Report of year 2014
• Successful accomplishment of the EU-Project R3-COP and start of a successor project
• Continuation of an EU-Project, successful accomplishment of an Industrial Co-Operation, successful conferral of a doctorate
• Award for a PhD-Thesis, Consultant Duties for scientific awards, Continuation of an EU Research Project
• Start of an EU-Project, again awarded PhD-Thesis, successful accomplishment of an industrial Feasibility Study
• New industrial tasks, activities in Standardization Boards, again an Award in Teaching
• Invitations to give Lectures, new Board Speaker Position and Co-Publishing activities, Award in Teaching
• International Co-Operations - Technical and Organizational Chair of International Conference, Cooperation with European Network of Excellence and with Academy of Finland
• First Doctoral Theses based on Research at our Department, Approval of Consortial Project with Industrial Partners, Appointment as Chair of International Conference
• Extension of teaching presence by compulsory course on "Programming in the Large", further intensification of industrial co-operations
• Further Extension of Curriculum and of Industrial Co-operations, Dissemination of Research Results
• Curriculum Extension and Industrial Co-Operations
• Foundation of the Department
• The Logo
• Directions
• Site Map
• Imprint
• Privacy Policy