Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Allow: / Disallow: /download.php Disallow: /~dbeyer/piwik/ Disallow: /piwik/ Disallow: /ivy/ Disallow: /lib/ Disallow: /teaching/ Disallow: /research/bsc/steinger/ User-agent: SemrushBot-SA Disallow: / User-agent: SemrushBot Disallow: |
Title | Software and Computational Systems |
Description | The Chair for Software and Computational Systems at LMU Munich represents the area of development, verification, and maintenance of software systems. Our research focuses on models, methods, and algorithms for the efficient analysis of software |
Keywords | Universität München LMU Munich IFI Informatik Software Systems Verification Software Model Checking |
WebSite | sosy-lab.org |
Host IP | 141.84.215.23 |
Location | Germany |
Site | Rank |
US$3,392,659
Last updated: 2023-05-03 12:29:25
sosy-lab.org has Semrush global rank of 3,119,767. sosy-lab.org has an estimated worth of US$ 3,392,659, based on its estimated Ads revenue. sosy-lab.org receives approximately 391,461 unique visitors each day. Its web server is located in Germany, with IP address 141.84.215.23. According to SiteAdvisor, sosy-lab.org is safe to visit. |
Purchase/Sale Value | US$3,392,659 |
Daily Ads Revenue | US$3,132 |
Monthly Ads Revenue | US$93,951 |
Yearly Ads Revenue | US$1,127,407 |
Daily Unique Visitors | 26,098 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
sosy-lab.org. | A | 3599 | IP: 141.84.215.23 |
sosy-lab.org. | AAAA | 3599 | IPV6: 2001:4ca0:4000:53::23 |
sosy-lab.org. | NS | 3600 | NS Record: ns19.domaincontrol.com. |
sosy-lab.org. | NS | 3600 | NS Record: ns20.domaincontrol.com. |
sosy-lab.org. | MX | 3600 | MX Record: 10 ALT3.ASPMX.L.GOOGLE.COM. |
sosy-lab.org. | MX | 3600 | MX Record: 10 ALT4.ASPMX.L.GOOGLE.COM. |
sosy-lab.org. | MX | 3600 | MX Record: 1 ASPMX.L.GOOGLE.COM. |
sosy-lab.org. | MX | 3600 | MX Record: 5 ALT1.ASPMX.L.GOOGLE.COM. |
sosy-lab.org. | MX | 3600 | MX Record: 5 ALT2.ASPMX.L.GOOGLE.COM. |
sosy-lab.org. | TXT | 3600 | TXT Record: v=spf1 include:_outsmtp.rz.ifi.lmu.de include:_spf.mail.lrz.de include:_spf.google.com -all |
sosy-lab.org. | TXT | 3600 | TXT Record: google-site-verification=5o5IsWyFS98SoYMaa1BzNnnBc8DG4cV1mRHQqfBsHcQ |
Software and Computational Systems Lab --> Home News Team Research Publications Software Teaching Contact We are hiring new student research assistants and tutors. Apply now! Dirk Beyer and Stefan Löwe received the ETAPS Test-of-Time award! About us Software-systems research develops the technology for the development, verification, and maintenance of large, long-living software systems of high quality. The enormous growth of size and reliability of software programs in our society during the last decades is made possible by modern software technology. The Chair for Software and Computational Systems at Ludwig-Maximilians-Universität München (LMU) represents the area of development, verification, and maintenance of software systems and provides courses in that spectrum. We emphasize modern design techniques like design patterns, modern programming techniques like refactoring or unit testing, as well as modern architectures such as web-based information systems and cloud computing. |
HTTP/1.1 301 Moved Permanently Date: Mon, 25 Oct 2021 18:31:25 GMT Server: Apache Referrer-Policy: strict-origin-when-cross-origin X-Content-Type-Options: nosniff Location: https://www.sosy-lab.org/ Content-Type: text/html; charset=iso-8859-1 HTTP/2 200 date: Mon, 25 Oct 2021 18:31:26 GMT server: Apache referrer-policy: strict-origin-when-cross-origin x-content-type-options: nosniff strict-transport-security: max-age=15768000 cache-control: max-age=0 content-type: text/html; charset=UTF-8 |
Domain Name: SOSY-LAB.ORG Registry Domain ID: D155430242-LROR Registrar WHOIS Server: whois.godaddy Registrar URL: http://www.whois.godaddy.com Updated Date: 2021-02-15T07:26:19Z Creation Date: 2009-02-21T23:25:06Z Registry Expiry Date: 2022-02-21T23:25:06Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: +1.4806242505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: Domains By Proxy, LLC Registrant State/Province: Arizona Registrant Country: US Name Server: NS19.DOMAINCONTROL.COM Name Server: NS20.DOMAINCONTROL.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-13T21:14:23Z <<< |