Siegfried rasthofer secure software engineering blogs uni. Feature modelbased software product line testing tuprints. We seek original research papers addressing foundational issues in formal methods in security engineering. Postdoktorand uc berkeley, arbeitsgruppe brass 1997. Intermodel consistency checking and restoration with. The faculty of civil and environmental engineering at technische universitat darmstadt invites. In 1882, the electrical engineering pioneer and physicist erasmus kittler was appointed to the worlds first chair of electrical engineering. Students while a bachelors degree focuses mainly on the fundamentals of the field, the masters degree serves to upgrade the qualifications of graduates and to analyse the subject based on research. Jens kober intelligent autonomous systems tu darmstadt.
Professor of computer science, tu darmstadt, germany. Welcome to the joint secure software engineering blog of the software engineering group at paderborn university and the secure software engineering group at tu darmstadt. Richard bubel reiner hahnle efficient modular specification and. Digitalization of the automobile continues to open up new research topics such as software based lightweight construction and predictive maintenance.
Tu darmstadt incorporates diverse science cultures to create its characteristic profile. Stateoftheart computer and laboratory equipment is available. The success of a software project highly relies on the involvement of domain experts in the development process. Field evaluation of a new railway dispatching software. Verifying information flow security in visibly pushdown automata. Distributed software systems technical university of. Mathematics and physics are the basis of this discipline, but other natural sciences such as chemistry. Dear visitor, due to the current exceptional situation at the tu darmstadt, all dik employees will continue to work from home from 16. Together in a team of 58 students you will learn to plan, manage and implement a professional realworld software project. Department of electrical engineering and information. Integrating a malicioussecure private contact discovery solution in an opensource instant messaging service matthias senker e4 best master thesis price 2018 by friends of tu darmstadt.
Here we post regular news on secure software engineering. Computeraided software engineering the possibilities for improvements of the software process by case tools are limited. Chair in the department of electrical and computer engineering at duke university, durham, nc. This is even more surprising considering that testing has a long tradition in software engineering from a research standpoint e. At th darmstadt piloty worked with winfried oppelt on a study plan computer science, which was characterized by engineering science. The technical university tu of darmstadt is one of germanys leading technical universities. Electrical engineering and information technology summa cum laude. Software lab department of computer science university. In recent years, therefore, the field of software engineering. Spls are gaining widespread acceptance and various domains already apply spl engineering successfully to address the wellknown needs of the software engineering community, such as increasing quality, saving costs for development and. Department of electrical engineering and information technology. Mira mezini born 18 november 1966 in albania is a german computer scientist and professor of computer science at the department of computer science of the technische universitat darmstadt. The technische universitat darmstadt technical university of darmstadt or unofficially darmstadt university of technology, commonly referred to as tu darmstadt, is a research university in the city of darmstadt, germany. Homepage maschinenbau technical university of darmstadt.
Electrical engineering and information technology dept. Dynamic memory allocation in massively parallel systems often suffers from drastic performance decreases due to the. Over 110 degree programmes in engineering, natural sciences as well as humanities subjects. Spls are gaining widespread acceptance and various domains already apply spl engineering successfully to address the wellknown needs of the software engineering. Neeraj suri, technische universitat darmstadt, germany title. General examination regulations apb of tu darmstadt. Visit his new web page at the institute for robotics and cognitive systems or his personal. These theses as well as additional suggestions can be worked on and written in english. Formal methods, programming languages, and software engineering the lectures and associated exercises of this area will help students to develop the necessary skills to develop flexible, modular and adaptable software. Secure software engineering at paderborn university and. Buxmann from tu darmstadt, we published a very interesting market experiment on. Department of computer science of tu darmstadt wikipedia.
In germany, the beginnings of computer science go back to the institute for practical mathematics of the th. The technische universitat darmstadt has been awarded the title european university by the european commission. Proceedings of the 30th international conference on software engineering, 2008. Our research focuses on tools and techniques for building reliable, efficient, and secure software. Citeseerx document details isaac councill, lee giles, pradeep teregowda. The following software tools all avalaible at have been created as results of our research with the goal to protect the privacy of critical data. Towards automatic construction of timing attacks against software. Tu darmstadt offers a double degree programme at a partner university for this course. To this end, we work on testing and analysis of complex software. The technische universitat darmstadt intends to increase the number of female. Computer science, electrical engineering, artificial intelligence, mechatronics.
In 1882, it was the first university in the world to set up a chair in electrical engineering. Currently we have open vacancies for a postdoc and phds. Proceedings of the 27th international conference on software engineering, 4958, 2005. Admissionrequirements technical university of darmstadt. Plan and implement a professional software project. Imprint publisher president of tu darmstadt, karolinenplatz 5, 64289 darmstadt, germany editor corporate. International masters programme in information and. Abstractin this paper, we present a program which assists in choosing the right evaluation methods. Elmar rueckert intelligent autonomous systems tu darmstadt. It was founded in 1877 and received the right to award doctorates in 1899. The programme imparts indepth, practice and applicationoriented knowledge in the central topics of software engineering. Tu darmstadt s international affairs department assists international students in their search for accommodations through its housing assistance office. Geza kulcsar tu darmstadt, germany, anthony anjorin university of paderborn, germany. The master in distributed software systems is structured in three main areas.
If you are interested in writing your thesis at the software technology group, you can simply contact either one of the research assistants or prof. Reliable information about the coronavirus covid19 is available from the world health organization current situation, international travel. Software encrypto technical university of darmstadt. There was already another curriculum with the name diplomingenieur informatik mathematik, which came from the faculty of mathematics and physics and provided for a stronger emphasis on software engineering. Boomerang is a demanddriven, flow, field, and contextsensitive pointer analysis for. These are addressed at the ims together with other institutes of the tu darmstadt under the title. If your name is not on the list, despite your registration please send another registration mail. Ptw tu darmstadt mechanical engineering brings together numerous scientific disciplines. Successful graduates can evaluate software processes, requirements engineering methods, design and architectural principles, validation methods and techniques and can create technical solutions in analysis, design, implementation, and validation of software.
Software engineering is a design activity based on creative thought. All masters degree programmes including englishtaught courses. The software lab is a research group in the department of computer science of university of stuttgart led by michael pradel. You will find the english title and the corresponding field translated in the descriptions of each topic listed below. Software product line spl engineering is a popular approach for the systematic reuse of software artifacts across a very large number of similar products. Einfuhrung in software engineering software technology group. Award title award winner projects awarded by best master thesis award. Students while a bachelors degree focuses mainly on the fundamentals of the field. Prospective students fachbereich maschinenbau tu darmstadt. Technische universitat darmstadt which is also its official english name albeit often called darmstadt university of technology on 1 october 1997. The technische universitat darmstadt commonly referred to as tu darmstadt, is a research. We aim to bring together researchers and practitioners from both the security and the software engineering communities, from academia and industry, who are working on applying formal methods to the design and validation of largescale systems. Fieldtrip of the tu darmstadt to capgemini frankfurt.
246 1280 898 1160 932 890 1325 833 226 389 1058 1089 667 221 718 1466 726 705 834 9 318 1257 668 1433 992 916 1153 244 486 1233 1480 42 110 1386