Backlinks
| Referring page | DR | Ref. domains | Linked domains | Anchor and target URL |
|---|---|---|---|---|
|
das-lrz
https://www.lrz.de/das-lrz
lrz.de
|
75 | 166 | 247 |
Prof. (i.R.) Dr. Dr. h.c. Martin Wirsing
https://www.sosy-lab.org/people/wirsing
DOFOLLOW
|
|
22451
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22451?highlight=22451
dagstuhl.de
|
77 | 301 | 493 |
Contract-LIB : A Proposal for a Common Interchange Format for Software System Specification - Ernst, Gidon; Pfeifer, Wolfram; Ulbrich, Mattias - München : Universität, 2024. - 25 pp..
https://www.sosy-lab.org/research/pub/2024-Draft.Contract-LIB.pdf
DOFOLLOW
|
|
A-Transferability-Study-of-Interpolation-Based-Hardware-M...
https://2024.esec-fse.org/details/fse-2024-posters/41/A-Transferability-Study-of-Interpolation-Based-Hardware-Model-Checking-to-Software-Ve
2024.esec-fse.org
|
69 | 71 | 172 |
Presentation slides
https://www.sosy-lab.org/research/prs/2024-07-18_FSE_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Marek.pdf
DOFOLLOW
|
|
A-Transferability-Study-of-Interpolation-Based-Hardware-M...
https://2024.esec-fse.org/details/fse-2024-posters/41/A-Transferability-Study-of-Interpolation-Based-Hardware-Model-Checking-to-Software-Ve
2024.esec-fse.org
|
69 | 71 | 172 |
Supplementary webpage
https://www.sosy-lab.org/research/dar-ismc-transferability
DOFOLLOW
|
|
A-Transferability-Study-of-Interpolation-Based-Hardware-M...
https://2024.esec-fse.org/details/fse-2024-posters/41/A-Transferability-Study-of-Interpolation-Based-Hardware-Model-Checking-to-Software-Ve
2024.esec-fse.org
|
69 | 71 | 172 |
Poster
https://www.sosy-lab.org/research/pst/2024-07-18_FSE24_Transferability-Study-ISMC-DAR_Poster.pdf
DOFOLLOW
|
|
dirkbeyer
https://conf.researchr.org/profile/TechDebt-2024/dirkbeyer
conf.researchr.org
|
78 | 453 | 1,773 |
https://www.sosy-lab.org/people/beyer/
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
ase-2019-Doctoral-Symposium
https://2019.ase-conferences.org/track/ase-2019-Doctoral-Symposium
2019.ase-conferences.org
|
63 | 66 | 195 |
Pre-print
https://www.sosy-lab.org/research/pub/2019-ASE.TestCov_Robust_Test-Suite_Execution_and_Coverage_Measurement.pdf
DOFOLLOW
|
|
12
https://processalgebra.blogspot.com/2018/12
processalgebra.blogspot.com
|
45 | 5 | 162 |
https://www.sosy-lab.org/research/pub/2017-TACAS.Software_Verification_with_Validation_of_Results.pdf
https://www.sosy-lab.org/research/pub/2017-TACAS.Software_Verification_with_Validation_of_Results.pdf
DOFOLLOW
|
|
dirkbeyer
https://2022.esec-fse.org/profile/dirkbeyer
2022.esec-fse.org
|
61 | 66 | 290 |
https://www.sosy-lab.org/people/beyer/
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
index.html
https://www.fi.muni.cz/research/colloquium/index.html
fi.muni.cz
|
75 | 176 | 326 |
Dirk Beyer
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
dirkbeyer
https://conf.researchr.org/profile/fse-2025/dirkbeyer
conf.researchr.org
|
78 | 453 | 1,773 |
https://www.sosy-lab.org/people/beyer/
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
0oISp9EHvSU
https://groups.google.com/g/smt-announce/c/0oISp9EHvSU
groups.google.com
|
86 | 11,840 | 1,355 |
https://www.sosy-lab.org/
https://www.sosy-lab.org/
NOFOLLOW
|
|
dirkbeyer
https://2024.msrconf.org/profile/dirkbeyer
2024.msrconf.org
|
14 | 15 | 223 |
https://www.sosy-lab.org/people/beyer/
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
smt.st
https://smt.st/
smt.st
|
19 | 1 | 33 |
link
https://www.sosy-lab.org/Teaching/2017-WS-FormaleSpezifikationVerifikation2
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Dirk Beyer
http://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Po-Chun Chien
https://www.sosy-lab.org/people/chien
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Imprint and Privacy Policy
https://www.sosy-lab.org/contact.php
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Matthias Kettl
https://www.sosy-lab.org/people/kettl
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Marek Jankola
https://www.sosy-lab.org/people/jankola
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Marian Lingsch-Rosenfeld
https://www.sosy-lab.org/people/lingsch-rosenfeld
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Philipp Wendler
https://www.sosy-lab.org/people/wendler
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Henrik Wachowitz
https://www.sosy-lab.org/people/wachowitz
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Thomas Lemberger
https://www.sosy-lab.org/people/lemberger
DOFOLLOW
|
|
organization.php
https://sv-comp.sosy-lab.org/2026/organization.php
sv-comp.sosy-lab.org
|
13 | 10 | 13 |
Dirk Beyer
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
mariechristinejakobs
https://conf.researchr.org/profile/icpc-2025/mariechristinejakobs
conf.researchr.org
|
78 | 453 | 1,773 |
https://www.sosy-lab.org/people/jakobs/
https://www.sosy-lab.org/people/jakobs
DOFOLLOW
|
|
person1297.html
https://easychair.org/smart-program/FLoC2022/person1297.html
easychair.org
|
81 | 1,664 | 837 |
http://www.sosy-lab.org/~dbeyer/
http://www.sosy-lab.org/~dbeyer
DOFOLLOW
|
|
marianlingschrosenfeld
https://popl25.sigplan.org/profile/marianlingschrosenfeld
popl25.sigplan.org
|
68 | 70 | 185 |
https://www.sosy-lab.org/people/lingsch-rosenfeld/
https://www.sosy-lab.org/people/lingsch-rosenfeld
DOFOLLOW
|
|
keynotes.php
https://avm12.sosy-lab.org/keynotes.php
avm12.sosy-lab.org
|
14 | 1 | 10 |
Imprint and Privacy Policy
https://www.sosy-lab.org/contact.php
DOFOLLOW
|
|
keynotes.php
https://avm12.sosy-lab.org/keynotes.php
avm12.sosy-lab.org
|
14 | 1 | 10 |
Dirk Beyer
http://www.sosy-lab.org/%7Edbeyer
DOFOLLOW
|
|
o8kYYZJVehU
https://groups.google.com/g/cpachecker-users/c/o8kYYZJVehU
groups.google.com
|
86 | 11,840 | 1,355 |
https://www.sosy-lab.org/research/pub/2016-MEMICS.A_Light-Weight_Approach_for_Verifying_Multi-Threaded_Programs_with_CPAchecker.pdf
https://www.sosy-lab.org/research/pub/2016-MEMICS.A_Light-Weight_Approach_for_Verifying_Multi-Threaded_Programs_with_CPAchecker.pdf
NOFOLLOW
|
|
o8kYYZJVehU
https://groups.google.com/g/cpachecker-users/c/o8kYYZJVehU
groups.google.com
|
86 | 11,840 | 1,355 |
https://www.sosy-lab.org/research/bsc/2020.Kolesnykov.SMT-Based_Model_Checking_of_Concurrent_Programs.pdf
https://www.sosy-lab.org/research/bsc/2020.Kolesnykov.SMT-Based_Model_Checking_of_Concurrent_Programs.pdf
NOFOLLOW
|
|
program.php
https://avm12.sosy-lab.org/program.php
avm12.sosy-lab.org
|
14 | 1 | 10 |
Imprint and Privacy Policy
https://www.sosy-lab.org/contact.php
DOFOLLOW
|
|
program.php
https://avm12.sosy-lab.org/program.php
avm12.sosy-lab.org
|
14 | 1 | 10 |
Dirk Beyer
http://www.sosy-lab.org/%7Edbeyer
DOFOLLOW
|
|
seminar-calendar
https://www.dagstuhl.de/en/seminars/seminar-calendar
dagstuhl.de
|
77 | 301 | 493 |
Gidon Ernst
http://www.sosy-lab.org/people/ernst
DOFOLLOW
|
|
past.html
https://cpa.sosy-lab.org/2024/past.html
cpa.sosy-lab.org
|
40 | 2 | 6 |
Imprint and Privacy Policy
https://www.sosy-lab.org/contact.php
DOFOLLOW
|
|
dirkbeyer
https://2019.icse-conferences.org/profile/dirkbeyer
2019.icse-conferences.org
|
67 | 83 | 326 |
http://www.sosy-lab.org/people/beyer/
http://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
mariechristinejakobs
https://2023.issta.org/profile/mariechristinejakobs
2023.issta.org
|
12 | 7 | 168 |
https://www.sosy-lab.org/people/jakobs/
https://www.sosy-lab.org/people/jakobs
DOFOLLOW
|
|
idefix.sosy-lab.org
https://idefix.sosy-lab.org/
idefix.sosy-lab.org
|
— | 0 | 4 |
Imprint and Privacy Policy
https://www.sosy-lab.org/contact.php
DOFOLLOW
|
|
gidonernst.de
https://gidonernst.de/
gidonernst.de
|
9 | 1 | 17 |
Junior Professor for Software Verification
https://www.sosy-lab.org/people/ernst
DOFOLLOW
|
|
gidonernst.de
https://gidonernst.de/
gidonernst.de
|
9 | 1 | 17 |
Software and Computational Systems Lab
https://www.sosy-lab.org/
DOFOLLOW
|
|
gidonernst.de
https://gidonernst.de/
gidonernst.de
|
9 | 1 | 17 |
cv
https://www.sosy-lab.org/people/ernst/CV_Gidon_Ernst.pdf
DOFOLLOW
|
|
2023-spring.html
https://www.fi.muni.cz/research/colloquium/2023-spring.html
fi.muni.cz
|
75 | 176 | 326 |
Dirk Beyer
https://www.sosy-lab.org/people/beyer
DOFOLLOW
|
|
gsoc-orgs
https://wonger.dev/posts/gsoc-orgs
wonger.dev
|
8 | 3 | 214 |
Software and Computational Systems Lab at LMU Munich
https://www.sosy-lab.org/
DOFOLLOW
|
|
main001.html
https://ccvisu.sosy-lab.org/manual/main001.html
ccvisu.sosy-lab.org
|
— | 0 | 1 |
Dirk Beyer
http://www.sosy-lab.org/~dbeyer
DOFOLLOW
|
|
offers
https://logic.kastel.kit.edu/offers
logic.kastel.kit.edu
|
62 | 5 | 164 |
Formalization of Game Logic with Sabotage in Isabelle/HOL
https://www.sosy-lab.org/people/brieger
DOFOLLOW
|
|
dagstuhls-impact
https://www.dagstuhl.de/en/institute/dagstuhls-impact?year=2022
dagstuhl.de
|
77 | 301 | 493 |
Contract-LIB : A Proposal for a Common Interchange Format for Software System Specification
https://www.sosy-lab.org/research/pub/2024-Draft.Contract-LIB.pdf
DOFOLLOW
|
|
sosy-lab
https://gitlab.com/sosy-lab
gitlab.com
|
85 | 10,164 | 143 |
Software and Computational Systems Lab
https://www.sosy-lab.org/
NOFOLLOW
|
|
ase-2019-papers
https://2019.ase-conferences.org/track/ase-2019-papers
2019.ase-conferences.org
|
63 | 66 | 195 |
Pre-print
https://www.sosy-lab.org/research/pub/2019-ASE.TestCov_Robust_Test-Suite_Execution_and_Coverage_Measurement.pdf
DOFOLLOW
|
|
program-ase-2019
https://2019.ase-conferences.org/program/program-ase-2019
2019.ase-conferences.org
|
63 | 66 | 195 |
Pre-print
https://www.sosy-lab.org/research/pub/2019-ASE.TestCov_Robust_Test-Suite_Execution_and_Coverage_Measurement.pdf
DOFOLLOW
|
|
workshop-program
https://uol.de/en/computingscience/groups/formal-methods/forschung/7th-international-workshop-on-cpachecker-cpa-22/workshop-program
uol.de
|
78 | 491 | 1,568 |
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
https://www.sosy-lab.org/research/prs/2022-10-05_CPA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf
DOFOLLOW
|
Frequently Asked Questions
How many backlinks does sosy-lab.org have?
The backlinks page for sosy-lab.org shows all individual inbound links discovered in our crawl of the web. Each backlink represents a hyperlink on another website that points to a page on sosy-lab.org. Use the filters to narrow results by dofollow/nofollow status, domain rating, or anchor text.
What is a backlink?
A backlink is a hyperlink on one website that points to a page on a different website. Backlinks are one of the most important ranking factors in search engine algorithms because they act as votes of confidence from other sites. The more high-quality backlinks a domain has, the more authority search engines assign to it.
Are the backlinks to sosy-lab.org dofollow or nofollow?
Backlinks to sosy-lab.org include both dofollow and nofollow links. Dofollow links pass link equity (ranking power) to the target site, while nofollow links include a rel="nofollow" attribute that tells search engines not to pass authority. Both types contribute to a natural backlink profile, but dofollow links carry more SEO weight. You can filter by link type using the rel filter above the table.
How often is backlink data updated?
Backlink data is updated monthly when our web crawler completes a new cycle. Our pipeline processes billions of web pages to discover new backlinks, track lost links, and update domain authority scores. The freshness of data depends on when our crawler last visited the referring pages.