Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Welcome to Giuliano’s |
Description | Welcome to Giuliano’s homepage New: draft paper about quorum systems and semi-topology and 3-minutes video presentation (lightning talks at SBC 2022) I am |
Keywords | N/A |
WebSite | |
Host IP | 213.186.33.19 |
Location | France |
Euro€268,156
Dernière mise à jour: 2022-10-28
losa.fr a un classement mondial Semrush de 39,470,723. losa.fr a une valeur estimée à € 268,156, sur la base de ses revenus publicitaires estimés. losa.fr reçoit environ 30,942 visiteurs uniques chaque jour. Son serveur Web est situé au France, avec l'adresse IP 213.186.33.19.Selon SiteAdvisor, losa.fr est sûr à visiter. |
Valeur d'achat/vente | Euro€268,156 |
Revenus publicitaires quotidiens | Euro€248 |
Revenus publicitaires mensuels | Euro€7,426 |
Revenus publicitaires annuels | Euro€89,111 |
Visiteurs uniques quotidiens | 2,063 |
Remarque: Toutes les valeurs de trafic et de revenus sont des estimations. |
Host | Type | TTL | Data |
losa.fr. | A | 21600 | IP: 213.186.33.19 |
losa.fr. | NS | 21600 | NS Record: ns15.ovh.net. |
losa.fr. | NS | 21600 | NS Record: dns15.ovh.net. |
losa.fr. | MX | 21600 | MX Record: 20 in2-smtp.messagingengine.com. |
losa.fr. | MX | 21600 | MX Record: 10 in1-smtp.messagingengine.com. |
losa.fr. | TXT | 86400 | TXT Record: google-site-verification=NdEapGfmyneReL5JAStXgTpVuPykddGn3yyIWRmjOzU |
losa.fr. | TXT | 86400 | TXT Record: v=spf1 include:spf.messagingengine.com ?all |
losa.fr. | TXT | 86400 | TXT Record: keybase-site-verification=hGhaqyeUA0qIvKZBnc6F4mS3Q4xwUvbvIstWcWL0NVE |
Welcome to Giuliano’s homepage New: draft paper about quorum systems and semi-topology and 3-minutes video presentation (lightning talks at SBC 2022) I am interested in distributed-systems analysis, design, and implementation aided by formal methods. For example, I have recently worked on formally verifying BFT-consensus algorithms such as Tendermint and the Stellar Consensus Protocol . I work for the Stellar Development Foundation. You can email me at giuliano at losa.fr for personal matters and at giuliano at stellar.org for work-related matters. I also have a one-post blog on this website. Recent publications and artifacts Formal proof of the accountability property of Tendermint in Ivy , and a blog post briefly describing the project. A blog post on the on model-based testing of implementations of the QUIC protocol with Ivy, with Docker setup to replicate the results Giuliano Losa and Mike Dodds On the Formal Verification of the Stellar Consensus Protocol , FMBC 2020. Marta |
HTTP/1.1 302 Found date: Fri, 28 Oct 2022 08:51:08 GMT content-type: text/html; charset=iso-8859-1 server: Apache location: https://www.losa.fr/ x-iplb-request-id: 416C4831:D5D0_D5BA2113:0050_635B97FC_8CD5:14B67 x-iplb-instance: 30868 HTTP/2 200 date: Fri, 28 Oct 2022 08:51:08 GMT content-type: text/html; charset=utf-8 content-length: 6818 server: Apache accept-ranges: bytes vary: Accept-Encoding |
domain: losa.fr status: ACTIVE eppstatus: active hold: NO holder-c: ANO00-FRNIC admin-c: ANO00-FRNIC tech-c: OVH5-FRNIC registrar: OVH Expiry Date: 2023-05-15T18:08:39Z created: 2009-05-15T18:08:39Z last-update: 2022-05-15T18:36:15Z source: FRNIC nserver: dns15.ovh.net nserver: ns15.ovh.net source: FRNIC registrar: OVH address: 2 Rue Kellermann address: 59100 ROUBAIX country: FR phone: +33.899701761 fax-no: +33.320200958 e-mail: support@ovh.net website: http://www.ovh.com anonymous: No registered: 1999-10-18T00:00:00Z source: FRNIC nic-hdl: ANO00-FRNIC type: PERSON contact: Ano Nymous registrar: OVH anonymous: YES obsoleted: NO eppstatus: associated eppstatus: active eligstatus: not identified reachstatus: not identified source: FRNIC nic-hdl: ANO00-FRNIC type: PERSON contact: Ano Nymous registrar: OVH anonymous: YES obsoleted: NO eppstatus: associated eppstatus: active eligstatus: not identified reachstatus: not identified source: FRNIC nic-hdl: OVH5-FRNIC type: ORGANIZATION contact: OVH NET address: OVH address: 140, quai du Sartel address: 59100 Roubaix country: FR phone: +33.899701761 e-mail: tech@ovh.net registrar: OVH anonymous: NO obsoleted: NO eppstatus: associated eppstatus: active eligstatus: not identified reachstatus: not identified source: FRNIC >>> WHOIS request date: 2022-10-28T08:52:22.584117Z <<< |