Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Klaus Havelund’s |
Description | Home Research Papers Future events Event organization Invited presentations Program committees Contact me --> www.havelund.com Wrt. this webpage design |
Keywords | N/A |
WebSite | havelund.com |
Host IP | 162.241.225.60 |
Location | United States |
Site | Rank |
US$256,961
Last updated: 2023-05-14 22:02:08
havelund.com has Semrush global rank of 41,190,358. havelund.com has an estimated worth of US$ 256,961, based on its estimated Ads revenue. havelund.com receives approximately 29,650 unique visitors each day. Its web server is located in United States, with IP address 162.241.225.60. According to SiteAdvisor, havelund.com is safe to visit. |
Purchase/Sale Value | US$256,961 |
Daily Ads Revenue | US$238 |
Monthly Ads Revenue | US$7,116 |
Yearly Ads Revenue | US$85,391 |
Daily Unique Visitors | 1,977 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
havelund.com. | A | 14400 | IP: 162.241.225.60 |
havelund.com. | NS | 86400 | NS Record: ns2.bluehost.com. |
havelund.com. | NS | 86400 | NS Record: ns1.bluehost.com. |
havelund.com. | MX | 14400 | MX Record: 0 havelund.com. |
havelund.com. | TXT | 14400 | TXT Record: v=spf1 a mx ptr include:bluehost.com ?all |
Home Research Papers Future events Event organization Invited presentations Program committees Contact me --> www.havelund.com Wrt. this webpage design: remember, it is not all about looks. Klaus Havelund Jet Propulsion Laboratory Laboratory for Reliable Software JPL is a NASA field center . JPL is a Federally Funded Research and Development Center (FFRDC). JPL is managed by California Institute of Technology (Caltech). JPL on the wikipedia . I am a Senior Research Scientist (SRS) & elected SRS council member. I am also a JPL principal . Member of IFIP WG 1.9/2.15 . On the editorial board for FoMaC Transactions on Foundations for Mastering Change. Member of the External Expert Group for COEMS - Continuous Observation of Embedded Multicore Systems. Member of the Association for Computing Machinery (ACM) . My CV . The paper Model Checking Programs , Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park, published at the Fifteenth IEEE International Conference on Automated |
HTTP/1.1 200 OK Date: Fri, 24 Dec 2021 02:34:30 GMT Server: Apache Upgrade: h2,h2c Connection: Upgrade Last-Modified: Sun, 06 Jun 2021 20:40:20 GMT Accept-Ranges: bytes Content-Length: 8415 Vary: Accept-Encoding host-header: c2hhcmVkLmJsdWVob3N0LmNvbQ== Content-Type: text/html |
Domain Name: HAVELUND.COM Registry Domain ID: 142747038_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.fastdomain.com Registrar URL: http://www.fastdomain.com Updated Date: 2021-02-02T17:17:57Z Creation Date: 2005-02-17T17:17:36Z Registry Expiry Date: 2022-02-17T17:17:36Z Registrar: FastDomain Inc. Registrar IANA ID: 1154 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1.BLUEHOST.COM Name Server: NS2.BLUEHOST.COM DNSSEC: unsigned >>> Last update of whois database: 2021-12-27T08:08:59Z <<< |