Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Loonwerks |
Description | About People Isaac Amundson Junaid Babar Darren Cofer Jennifer Davis David Greve David Hardin Projects CASE AAHAA AMASE HACMS Past Projects Tools AGREE FuzzM JK |
Keywords | N/A |
WebSite | loonwerks.com |
Host IP | 185.199.110.153 |
Location | - |
Site | Rank |
US$1,692,693
Last updated: 2023-05-12 01:19:09
loonwerks.com has Semrush global rank of 6,252,938. loonwerks.com has an estimated worth of US$ 1,692,693, based on its estimated Ads revenue. loonwerks.com receives approximately 195,311 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, loonwerks.com is safe to visit. |
Purchase/Sale Value | US$1,692,693 |
Daily Ads Revenue | US$1,563 |
Monthly Ads Revenue | US$46,875 |
Yearly Ads Revenue | US$562,495 |
Daily Unique Visitors | 13,021 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
loonwerks.com. | A | 1799 | IP: 185.199.110.153 |
loonwerks.com. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
loonwerks.com. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
loonwerks.com. | MX | 1800 | MX Record: 20 eforward5.registrar-servers.com. |
loonwerks.com. | MX | 1800 | MX Record: 15 eforward4.registrar-servers.com. |
loonwerks.com. | MX | 1800 | MX Record: 10 eforward1.registrar-servers.com. |
loonwerks.com. | MX | 1800 | MX Record: 10 eforward2.registrar-servers.com. |
loonwerks.com. | MX | 1800 | MX Record: 10 eforward3.registrar-servers.com. |
loonwerks.com. | TXT | 1800 | TXT Record: google-site-verification=KY4qh5-nX7xCL_4-uZRYLeY_soUmlbYGGHanJN2TwiA |
loonwerks.com. | TXT | 1800 | TXT Record: v=spf1 include:spf.efwd.registrar-servers.com ~all |
People Isaac Amundson Junaid Babar Darren Cofer Jennifer Davis David Greve David Hardin Projects CASE AAHAA AMASE HACMS Past Projects Tools AGREE FuzzM JKind Resolute SpeAR Publications Facebook About us Loonwerks is a collection of formal methods researchers associated with the Trusted Methods group in Collins Aerospace. Our work is focused on the use of formal methods to create safe and secure avionics software. We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry. Work with us Job ∈ {FormalMethods ∩ Airplanes} ⇒ Cool(Job) Interested in joining the Trusted Methods team at Collins? Apply here. --> For additional information contact us at info@loonwerks.com What’s new Collins Aerospace run-time assurance and formal methods technologies are at the heart of this DARPA Assured Autonomy demonstration. Check out this video produced by our colleagues at Boeing. Synthesizing Verified |
HTTP/1.1 200 OK Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Fri, 08 Oct 2021 13:11:53 GMT Access-Control-Allow-Origin: * ETag: "61604399-259e" expires: Tue, 23 Nov 2021 08:56:58 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 77AA:5A31:7F339:6FAA0B:619CAA82 Content-Length: 9630 Accept-Ranges: bytes Date: Tue, 23 Nov 2021 08:46:58 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-chi21182-CHI X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1637657219.967858,VS0,VE27 Vary: Accept-Encoding X-Fastly-Request-ID: 1f76394aec00c14a7e70ada5a7bca1e370e7ca8e |
Domain Name: LOONWERKS.COM Registry Domain ID: 1880996778_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-09-18T06:56:27Z Creation Date: 2014-10-18T14:35:48Z Registry Expiry Date: 2022-10-18T14:35:48Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: DNS1.REGISTRAR-SERVERS.COM Name Server: DNS2.REGISTRAR-SERVERS.COM DNSSEC: unsigned >>> Last update of whois database: 2021-11-23T08:19:00Z <<< |