Search

Software Verification

Master's module Software Verification Module INF-MSc-333 Type Advanced module from research area: "Software, Security and Verification" Credits 6 Credits (Lecture + Exercise) The course teaches concepts [...] concepts in the area of automated formal verification of software. The focus of the course is on methods that map the verification problem to a logical satisfiability problem or into an automata-based representation [...] generating inductive invariants during verification are considered. In the area of verification of software components, methods that generate formal behavior models from implementations are discussed, as …

SSE@TUDo visits SSE@UPB

Statically Analyzing Complete Software Ecosystems . The Secure Software Engineering group in Paderborn develops languages, mechnisms, processes, and tools to allow software developers to express security [...] We spent two days in Paderborn at the Heinz-Nixdorf-Institute - the home of the Secure Software Engineering group at Paderborn University . Our goals were to catch up on each others research and to identify [...] identify new areas to collaborate. Both groups work on static program analysis and software ecosystem security. In ongoing work, we collaborate on the development of the PhASAR platform currently making …

Paper on Evaluation Methodology accepted at ISSTA'24

the Software Technology Group from Prof. Mira Mezini at TU Darmstadt . The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing [...] Good are Static Call Graphs Really?" just accepted at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) , we construct dynamic baselines that show a realistic call graph for [...] s, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. It has a CORE ranking of A. …

Paper accepted at IEEE Transactions on Software Engineering

and commercial vulnerability scanners. The IEEE Transactions on Software Engineering journal is a premier publication venue for software systems research in computer science. With an h5-index of 59 and [...] Together with SAP we investigated the current practice for open-source software reuse at SAP and in open projects. We found that more than 87% (resp. 56%) of the dependencies were re-bundled (or re-packaged) [...] and an impact factor of 6.226 it is the 3rd ranked publication venue in software system research according to Google Scholar. …

Ben Hermann is Open Science Chair for ICSE'22

Conference on Software Engineering (ICSE), is the premier software engineering conference. Since 1975, it is a well-recognized annual forum where research, practice, and education in the field of software engineering [...] engineering meet and discuss. With an h5-index of 77 it is the #1 publication venue in the field of software systems accoding to Google Scholar. Prof. Hermann previously served for ICSE as Registration Chair …

Software Lab (SoPra)

Bachelor's Module Software Lab (SoPra) Module INF-BSc-116 Type Compulsory Module for B.Sc. Computer Science, Applied Computer Science, and others Credits 6 Credits (Lab) Information The Software Lab (SoPra) [...] oversight of the SoPra is provided by the Chair for Software Engineering. In this course, students learn to put basic principles, methods and procedures of software technology into practice. We offer three courses …

IT Representatives

the coordination of the software license management for the faculty / institution. This includes in particular the authorization to order official software licenses in the software portal of the trading [...] trading partner. You can name further persons who are entitled to order software. IT representatives of the faculties and central and interdisciplinary institutions Organisational information An IT representative …

acm_2809563.2809612.bib

administrators, software engineers, IT security consultants, and researchers in software security. Relevant information is provided in machine readable form and hence can be used for automated software security [...] security management. However, we discovered that information on affected software versions and fix information is not always available in structured form. We therefore propose to enrich the NVD database with [...] extract this information from the informal vulnerability description. Such information is useful in software development to exchange or avoid vulnerable components as well as in security research for directed …

bib, 1 KB

Autodesk Network Licenses

the license server will probably no longer be able to service the Autodesk software licenses. All current Autodesk software versions can and should therefore be individually activated by users with advance [...] advance notice in the registration procedure provided by the Autodesk company. Further details on the software pages of the service portal https://service.tu-dortmund.de/group/intra/autodesk. …

Our Group Presented Current Work at ASE'23

static program analysis much like a software ecosystem. We show that this is not only useful for static program analysis but can also benefit empirical studies on software ecosystems and repositories. It is [...] strategy. The Automated Software Engineering conference series is a long-standing venue maintained by the Association for Computing Machinery's Special Interest Group in Software Engineering (ACM SIGSOFT) [...] Darmstadt we traveled to Luxembourg for the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) . We could present our recent work and form new connections with various …

Map and navigation

Map and navigation

Software Verification

SSE@TUDo visits SSE@UPB

Paper on Evaluation Methodology accepted at ISSTA'24

Paper accepted at IEEE Transactions on Software Engineering

Ben Hermann is Open Science Chair for ICSE'22

Software Lab (SoPra)

IT Representatives

acm_2809563.2809612.bib

Autodesk Network Licenses

Our Group Presented Current Work at ASE'23

Map and navigation

Map and navigation

Filter search results

Software Verification

SSE@TUDo visits SSE@UPB

Paper on Evaluation Methodology accepted at ISSTA'24

Paper accepted at IEEE Transactions on Software Engineering

Ben Hermann is Open Science Chair for ICSE'22

Software Lab (SoPra)

IT Representatives

acm_2809563.2809612.bib

Autodesk Network Licenses

Our Group Presented Current Work at ASE'23