To path indicator
Subpages of “Service“
To navigation
To quick access
To footer with other services
To content
Department of Computer Science
To the home page
Location & approach
Location & approach
Close Meta-Navigation
ServicePortal
UniMail
Search
Search
Search
Search
People Search
Close Meta-Navigation
Contrast
Deutsch
To the home page
Contrast
Deutsch
Search
Search
Search
Search
People Search
Close Meta-Navigation
Location & approach
Location & approach
Close Meta-Navigation
ServicePortal
UniMail
To the home page
News & Contact
News & Contact
News
Contact
Show submenu for “News & Contact“
Teaching
Teaching
Courses
Show submenu for “Courses“
Previous semesters
Show submenu for “Previous semesters“
Summer semester 2022
Winter semester 2021
Abschlussarbeiten
Show submenu for “Teaching“
Research
Research
LogiDAC
Information Engineering
Multiple-Valued Systems
FLDIT
Mini-Workshop TCS at TuDo and RUB
Show submenu for “Research“
Team
News & Contact
Main Menu
News & Contact
News
Contact
Teaching
Main Menu
Teaching
Courses
Teaching
Courses
Previous semesters
Courses
Previous semesters
Summer semester 2022
Winter semester 2021
Abschlussarbeiten
Research
Main Menu
Research
LogiDAC
Information Engineering
Multiple-Valued Systems
FLDIT
Mini-Workshop TCS at TuDo and RUB
Team
Part of:
Department of Computer Science
© Roland Baege/TU Dortmund
Service
Contact
You are here:
Startseite
Search
Personsearch
Show results
Filter search results
Results per page:
10
20
30
50
100
Files
2102
News
504
Pages
1357
Study courses
0
Events
22
Reset filters
Show search results
Search only at:
logic-in.cs.tu-dortmund.de
cs.tu-dortmund.de
search TU-wide
3985
results
First Page
Previous
304
305
306
307
308
Next
Last Page
Dierl2022ReachRegisterAutomata_-_Reach_on_Register_Automata_Via_History_Independence.pdf
pdf, 688 KB
Mues2022SpoutSymbolicPath_-_SPouT__Symbolic_Path_Recording_during_Testing_a_Concolic_Executor_For_the_JVM.pdf
pdf, 727 KB
Mues2022GdartEnsembleTools_-_GDart__an_Ensemble_of_Tools_for_Dynamic_Symbolic_Execution_on_the_Java_Virtual_Machine__Competition_Contribution_.pdf
pdf, 325 KB
Howar2022GwitWitnessValidator_-_GWIT__a_Witness_Validator_for_Java_Based_on_GraalVM__Competition_Contribution_.pdf
pdf, 418 KB
Mues2022DataDrivenDesign_-_Data_Driven_Design_and_Evaluation_of_SMT_Meta_Solving_Strategies__Balancing_Performance__Accuracy__and_Cost.pdf
pdf, 428 KB
Maeckel2021SynthesisSchedulingHeuristics_-_Synthesis_of_Scheduling_Heuristics_by_Composition_and_Recombination.pdf
pdf, 404 KB
Dierl2021TaxonomyReductionsCommon_-_A_Taxonomy_and_Reductions_for_Common_Register_Automata_Formalisms.pdf
pdf, 688 KB
Howar2021RersChallengeTowards_-_The_RERS_Challenge__Towards_Controllable_and_Scalable_Benchmark_Synthesis.pdf
pdf, 421 KB
Mues2021JdartPortfolioSolving_-_JDart__Portfolio_Solving__Breadth_First_Search_and_SMT_Lib_Strings__Competition_Contribution_.pdf
pdf, 100 KB
Mues2020ThoughtsUsingConstraint_-_Thoughts_about_Using_Constraint_Solvers_in_Action.pdf
pdf, 241 KB
First Page
Previous
304
305
306
307
308
Next
Last Page
To top of page
