Meta tags:
description= INESC TEC is an internationally-oriented multidisciplinary Associate Laboratory with more than 30 years of experience in R&D and technology transfer.;
keywords= INESC, TEC, INESCTEC, Innovation, Laboratory, Smart Engineering, robotics, sensors, computer distribution, computer science, Industry and innovation, power and energy, networked intelligent systems, Knowledge Management, Mobile Public Transport, Virtual Worlds, Distribution Networks, Supply Chain, Production Planning, Machine Learning, Data Mining, Neural Networks, research and innovation, fcup, feup, isep, uminho, utad;
Headings (most frequently used words):
projects, featured, josé, pereira, luís, pedro, francisco, carlos, manuel, joão, fernandes, andré, silva, sousa, antónio, rui, alexandre, oliveira, ribeiro, pinto, diogo, nuno, to, inesc, tec, almeida, ferreira, martins, macedo, filipe, daniel, marques, miguel, ricardo, paulo, of, barros, gomes, araújo, moreira, costa, jorge, the, at, cunha, sofia, rodrigues, ana, bernardo, bruno, eduardo, machado, carvalho, duarte, gonçalo, henrique, hugo, santos, tiago, barbosa, vítor, high, assurance, software, access, code, computer, science, quantum, computing, and, systems, conflictsync, bandwidth, efficient, synchronization, divergent, state, in, open, nanostima, alexandra, alves, isabel, nunes, gonçalves, andreia, beatriz, gião, catarina, afonso, edgar, vieira, coelho, maia, medeiros, guilherme, hélder, faria, pacheco, marco, emanuel, miranda, peixoto, braga, paula, lopes, final, selection, minute, enter, your, receives, best, paper, award, national, conference, showcased, ransomware, research, cybersecurity, community, event, from, programming, young, students, explore, joins, iberian, consortium, advence, artificial, intelligence, security, public, service, portals, put, test, researchers, take, results, several, stages, auto, active, verification, distributed, specification, refinements, with, why3, do, bounding, byzantine, impact, crdt, it, makes, clearer, why, developers, adopt, modernpython, features, source, gensemicon, ode4ecpiv, inoculum, eurocc3, mobot2, quantumclp, poise, quanthos, rescueware, hpctrain, quantum_iber_ia, adapqo, bansky, jasmincode, testbed5g_robotics, atai, bringtrust, safeiac, insieme, disaggregatedhpc, pfai4_6ed, infragov, verifixer, jrcsif, cdms, bolsasfct_gestao, enscomp4, pet, pfai4_5ed, exasimple, epicure, bcdsm, twineu, hedge_iot, hanami, pfai4_4ed, ate, green_dat_ai, eurocc2, quantelm, attract_dih, newspaceportugal, aurora, beflexible, enershare, gridsoft, pfai4_3ed, theia, ibex, flexcomm, specrep, idina, sustainable, hpc, circthread, passcert, iot4distribuicao, risc2, digilightrail, actpm, pastor, pfai4, aida, bighpc, slsna, interconnect, t4cdtkc, cloud4candy, hades, malpis, skorr, davinci, safer, klee, integrid, lightkone, clouddbappliance, cloud, setup, gsl, coral, tools, safecloud, rl1, rl3, smiles, upgrid, leanbigdata, practice, coherentpaas, adriano, novo, maior, alcino, mendes, filho, alexis, gonzalez, alícia, álvaro, festas, neri, alonso, rita, guimarães, de, lucena, sequeira, gaudêncio, ângelo, nestor, cepa, ramada, portela, malaca, dias, jardim, alberto, felgueiras, baquero, leite, sanches, leones, cláudia, vanessa, brito, tinoco, matias, pires, eira, josafat, martinez, roçadas, emily, jane, first, ezequiel, fábia, fábio, fabio, souza, simões, francisca, mieiro, justo, cruz, moura, vide, xavier, ferraz, marinho, raposo, lima, rosas, borges, gustavo, sardo, humberto, gil, ion, chirica, amaral, jácome, jaime, saraiva, novais, cardoso, parente, melo, bacelar, creissac, campos, valença, orlando, paiva, proença, juliana, júlio, larissa, dos, lázaro, gabriel, lucas, frança, esquível, soares, wolffrom, mafalda, quintas, rocha, maria, frade, mariana, marwa, chnib, mohd, zuhier, freaj, nico, maximilian, wittrock, rebelo, matos, olga, cristina, frederika, azevedo, sérgio, durães, leal, martim, rafael, rahma, nouaji, renato, neves, amorim, vilaça, rodrigo, laigner, rogério, pontes, rúben, adão, rua, monteiro, simão, sá, susana, vitória, tânia, esteves, pinheiro, timmie, lagermann, valeria, repetto, fonte,
Text of the page (most frequently used words):
research (98), and (90), the (83), external (66), assistant (56), for (39), 2026 (37), student (37), #researcher (34), collaborator (28), 2025 (26), senior (21), with (20), data (20), projects (20), inesc (18), tec (18), 2022 (17), systems (16), high (16), featured (16), software (16), josé (15), 2023 (15), this (14), 2021 (14), pereira (13), engineering (12), state (12), 2024 (12), close (11), communication (11), science (11), computer (11), distributed (11), pedro (11), luís (11), 2019 (11), you (10), management (10), energy (10), abstract (10), synchronization (10), francisco (10), carlos (10), joão (10), coordinator (10), code (9), your (9), from (9), work (9), innovation (9), manuel (9), computing (9), quantum (9), newsletter (8), our (8), through (8), that (8), open (8), pinto (8), crdts (8), fernandes (8), silva (8), andré (8), 2018 (8), 2020 (8), artificial (7), intelligence (7), digital (7), programming (7), paper (7), framework (7), rui (7), antónio (7), sousa (7), ribeiro (7), diogo (7), cloud (7), para (7), 2027 (7), 2028 (7), 2029 (7), remove (6), subscribe (6), inesctec (6), tools (6), news (6), porto (6), portugal (6), new (6), features (6), adoption (6), performance (6), byzantine (6), set (6), reconciliation (6), gomes (6), oliveira (6), alexandre (6), nuno (6), 2016 (6), secure (6), programa (6), formação (6), hpc (6), assurance (6), thank (5), mail (5), access (5), can (5), information (5), info (5), 351 (5), 222 (5), 094 (5), 000 (5), all (5), read (5), python (5), using (5), which (5), full (5), publication (5), authors (5), based (5), rodrigues (5), efficient (5), why3 (5), more (5), verification (5), view (5), filipe (5), marques (5), martins (5), daniel (5), ricardo (5), macedo (5), miguel (5), paulo (5), almeida (5), ferreira (5), 2015 (5), solutions (5), avançada (5), industria (5), security (5), service (5), centres (5), cybersecurity (5), cancel (4), human (4), address (4), name (4), application (4), has (4), will (4), used (4), not (4), institution (4), yet (4), contacts (4), these (4), how (4), are (4), practice (4), developers (4), analysis (4), support (4), carvalho (4), coordination (4), adversarial (4), crdt (4), introduce (4), baquero (4), ensure (4), conflictsync (4), algorithm (4), rateless (4), approach (4), auto (4), algorithms (4), araújo (4), jorge (4), costa (4), moreira (4), barros (4), centre (4), 2017 (4), nanostima (4), infrastructure (4), technologies (4), towards (4), european (4), europe (4), computação (4), edição (4), public (4), ransomware (4), researchers (4), send (3), check (3), message (3), first (3), available (3), form (3), bip (3), easily (3), system (3), use (3), centers (3), power (3), communications (3), privacy (3), laboratories (3), widely (3), languages (3), transition (3), between (3), compatibility (3), over (3), large (3), source (3), ecosystem (3), their (3), costs (3), conflict (3), free (3), replicated (3), types (3), without (3), however (3), impact (3), cost (3), resource (3), papoc (3), maia (3), driven (3), solution (3), integrating (3), novel (3), active (3), specification (3), enabling (3), network (3), publications (3), haslab (3), vítor (3), tiago (3), sofia (3), cunha (3), henrique (3), machado (3), marco (3), barbosa (3), santos (3), bernardo (3), duarte (3), hugo (3), gonçalo (3), eduardo (3), bruno (3), ana (3), integrated (3), big (3), grid (3), intelligent (3), applications (3), interoperable (3), knowledge (3), storage (3), iot (3), repair (3), aware (3), sobre (3), automated (3), national (3), competence (3), eurohpc (3), interoperability (3), reliable (3), optimization (3), topics (3), university (3), minho (3), success (2), leave (2), field (2), empty (2), last (2), contact (2), please (2), final (2), selection (2), minute (2), unsubscribe (2), monthly (2), any (2), presented (2), need (2), update (2), one (2), most (2), about (2), correct (2), does (2), events (2), robotics (2), photonics (2), bioengineering (2), domains (2), inglês (2), português (2), copy (2), url (2), linked (2), twitter (2), facebook (2), spread (2), word (2), share (2), page (2), nbsp (2), policy (2), uid (2), 50014 (2), campus (2), feup (2), rua (2), introduced (2), they (2), also (2), empirical (2), evidence (2), modernpython (2), when (2), them (2), scale (2), study (2), improvements (2), take (2), safety (2), together (2), practical (2), tool (2), leite (2), monteiro (2), saraiva (2), enable (2), eventually (2), replication (2), well (2), environments (2), extended (2), ensuring (2), validity (2), operations (2), text (2), bounded (2), models (2), fully (2), eurosys (2), availability (2), naive (2), strategy (2), transmitting (2), incurs (2), propose (2), digest (2), reduces (2), total (2), transfer (2), compared (2), transmissions (2), formulate (2), irredundant (2), join (2), decompositions (2), generalize (2), variable (2), sized (2), elements (2), additional (2), step (2), generic (2), bloom (2), filters (2), iblts (2), experimentally (2), evaluate (2), strategies (2), bandwidth (2), divergent (2), principles (2), consistency (2), verifying (2), action (2), contracts (2), during (2), supported (2), library (2), concurrent (2), machines (2), refinement (2), contains (2), described (2), different (2), verified (2), several (2), including (2), emanuel (2), vieira (2), lopes (2), nunes (2), gonçalves (2), braga (2), paula (2), manager (2), pacheco (2), faria (2), technical (2), peixoto (2), miranda (2), alves (2), medeiros (2), andreia (2), isabel (2), afonso (2), gião (2), hélder (2), guilherme (2), coelho (2), edgar (2), catarina (2), beatriz (2), alexandra (2), alphabet (2), team (2), 2013 (2), common (2), computation (2), ultra (2), scalable (2), analytics (2), proven (2), integration (2), voltage (2), distribution (2), smiles (2), smart (2), sensing (2), resilient (2), coral (2), sustainable (2), memory (2), database (2), critical (2), edge (2), computational (2), architectures (2), interaction (2), frontier (2), media (2), skorr (2), deteção (2), internet (2), training (2), connecting (2), adaptive (2), programmable (2), uma (2), gestão (2), controlo (2), exploring (2), programação (2), ciber (2), física (2), driving (2), sharing (2), beyond (2), boosting (2), space (2), hub (2), quantelm (2), phase (2), alliance (2), supercomputing (2), level (2), exasimple (2), pet (2), laboratory (2), verifixer (2), infragov (2), infrastructures (2), safeiac (2), móvel (2), cibersegurança (2), developing (2), entities (2), inteligente (2), quanthos (2), against (2), design (2), chips (2), explore (2), interest (2), june (2), portals (2), worldwide (2), iberian (2), project (2), 31st (2), july (2), students (2), part (2), challenges (2), community (2), owasp (2), improving (2), best (2), methods (2), expertise (2), improve (2), cookies (2), means (2), sent, subject, telephone, number, continue, enter, confirmation, obtain, only, applicants, search, subscription, been, successfully, removed, remover, subscrição, deixará, receber, nossas, newsletters, mensais, mailing, list, subscripiton, was, complete, apply, submitted, exclusively, sending, bulletin, under, circumstances, shared, third, parties, choose, following, link, footer, case, automatically, deleted, clarify, questions, related, email, scom, submitting, give, permission, personal, according, conditions, above, organization, important, featuring, articles, technology, made, always, informal, light, fresh, authentic, educational, tone, politically, nor, intend, voice, board, directors, electronic, stories, mediass, google, plus, agency, rights, reserved, prr2, equipar, prr, prr_infra, funded, financing, nuclei, associates, roberto, frias, 4200, 465, utad, uminho, isep, fcup, poles, navigation, become, frompython, tension, while, featuressuch, formatted, string, literals, type, annotations, structural, pattern, matching, expanded, thelanguage, expressiveness, required, substantial, adaptation, legacy, despite, theincreasing, relevance, there, still, limited, being, adopted, start, adoptionunfolds, time, what, motivations, drive, decisions, addresses, gapthrough, 424, revealstwo, distinct, patterns, rapid, small, syntactic, slowerintegration, require, extensive, refactoring, average, begin, within, months, after, release, but, roughly, 4years, achieve, broader, sustained, observation, may, partially, explainedby, did, preserve, backward, complementary, qualitative, pull, request, discussions, indicates, areprimarily, motivated, rejuvenate, comprehension, often, constrained, requirements, maintenance, findings, offer, insights, maintainers, seeking, tobalance, stability, ongoing, rejuvenation, mendonça, romeiro, bonifácio, accioly, makes, clearer, why, adopt, consistent, making, suited, partition, prone, recent, shown, tolerate, faults, replicas, agree, even, permis, sionless, settings, alone, prevent, participant, inflicting, unbounded, damage, issuing, volumes, formed, updates, example, editing, attacker, delete, prior, bound, behavior, rate, limiting, each, carries, associated, limits, influence, relative, resources, expend, overall, bridges, gap, tolerant, providing, principled, foundation, deploying, dantas, anta, frey, sánchez, albouy, bounding, 18x, proceedings, 13th, workshop, rigorously, properties, machine, specifications, method, leverages, verifier, around, functions, annotated, facilitate, inductive, invariant, checking, correctness, execution, further, extends, capabilities, verify, two, distinctive, supports, mappings, hierarchical, reasoning, make, specific, classes, convenient, particular, allowing, passing, programmed, handlers, assuming, semantics, gallery, examples, smt, solvers, proof, actively, paxos, consensus, lourenço, refinements, fonte, valeria, repetto, timmie, lagermann, pinheiro, tânia, esteves, susana, vitória, simão, diretor, rúben, adão, rogério, pontes, rodrigo, laigner, vilaça, amorim, renato, neves, rahma, nouaji, rafael, martim, leal, durães, sérgio, azevedo, frederika, cristina, olga, matos, rebelo, nico, maximilian, wittrock, mohd, zuhier, freaj, specialist, marwa, chnib, mariana, maria, frade, rocha, quintas, mafalda, wolffrom, soares, esquível, frança, lucas, lázaro, gabriel, larissa, dos, júlio, juliana, paiva, proença, orlando, valença, creissac, campos, bacelar, melo, parente, cardoso, novais, jaime, jácome, amaral, ion, chirica, humberto, gil, sardo, gustavo, rosas, borges, lima, raposo, marinho, xavier, ferraz, vide, moura, cruz, justo, francisca, mieiro, simões, fabio, souza, fábio, secretary, fábia, ezequiel, emily, jane, roçadas, josafat, martinez, eira, pires, matias, tinoco, cláudia, vanessa, brito, administrative, staff, advisor, leones, sanches, area, felgueiras, alberto, jardim, dias, malaca, portela, ramada, cepa, nestor, ângelo, gaudêncio, sequeira, lucena, rita, guimarães, alonso, neri, álvaro, festas, alícia, alexis, gonzalez, filho, mendes, alcino, adriano, novo, maior, coherent, rich, paas, model, coherentpaas, preserving, 2014, visual, leanbigdata, real, demand, generation, flexible, controllable, low, medium, upgrid, mobile, health, rl3, macro, nano, rl1, architecture, safecloud, ocean, exploitation, sensors, greensoftwarelab, discipline, green, gsl, plataforma, preparação, conteúdos, audiovisuais, ingest, setup, appliance, predictable, clouddbappliance, lightweight, networks, lightkone, demonstration, renewables, interactive, consumer, participation, market, interconnected, stakeholders, integrid, coalgebraic, modeling, synthetic, biology, klee, safery, robotic, safer, variability, cyber, physical, davinci, advancing, social, aprendizagem, automática, ataques, identificação, perfis, segurança, malpis, hardware, backed, trusted, decentralized, hades, candy, cloud4candy, cotec, transformation, challenge, elaboração, conhecer, compreender, desafio, das, tecnologias, transformação, t4cdtkc, homes, buildings, grids, interconnect, prestação, serviços, ambito, projeto, slsna, consolidated, bighpc, platform, aida, pfai4, adaptable, oriented, ecosystems, pastor, automating, crash, testing, persistent, actpm, solução, automação, ciclo, vida, projectos, sinalização, ferroviária, digilightrail, supporting, latin, america, risc2, análise, requisitos, especificação, funcional, arquitetura, distribuída, baseada, soluções, rede, distribuição, iot4distribuicao, formal, password, passcert, building, thread, circular, economy, product, circthread, elevado, desempenho, sustentável, identidade, inclusiva, não, autoritativa, idina, constraint, specrep, flexcomm, métodos, quantitativos, abordagem, precisa, racicionar, imprecisões, ibex, perception, theia, pfai4_3ed, parecer, implementação, redes, elétricas, inteligentes, gridsoft, dataspace, across, services, enershare, engagement, increase, flexibility, beflexible, atividade, interior, veículo, aurora, agenda, newspaceportugal, attract_dih, ultrafast, optical, processors, extreme, learning, optics, eurocc2, ready, spaces, green_dat_ai, ate, pfai4_4ed, japan, collaboration, hanami, holistic, empowerment, digitalization, hedge_iot, twin, twineu, bcd, modular, blockchain, bcdsm, specialised, epicure, hybrid, cfd, simple, exascale, era, pfai4_5ed, privacidade, transparência, ensino, ciência, nas, escolas, enscomp4, 9999, funding, fct, phd, grants, bolsasfct_gestao, claim, denial, cdms, jrc, semantic, jrcsif, pfai4_6ed, managed, disaggregation, disaggregatedhpc, insieme, strengthening, pipeline, safeguarding, intellectual, property, bringtrust, aplicação, técnicas, avançadas, escalas, atai, piloto, robótica, ambientes, industriais, comunicações, europneumaq, testbed5g_robotics, assembly, jasmin, jasmincode, paraconsistent, inference, engine, age, ralated, molecular, degeneration, bansky, query, heterogeneous, intensive, adapqo, iber_ia, impulso, estratégico, las, capacidades, tecnologías, cuánticas, inteligencia, espacio, ibérico, transfronterizo, quantum_iber_ia, traineeships, hosting, excellence, smes, industry, hpctrain, recuperação, dados, configurável, resiliência, contra, rescueware, fotónica, integrada, topológica, quântica, asynchronous, asymmetric, choreographies, poise, container, loading, problems, logistics, quantumclp, manipulador, com, intuitiva, agnóstico, mobot2, eurocc3, immunity, inoculum, productivity, ode4ecpiv, generative, stack, sovereign, semiconductors, gensemicon, 087, 19th, assessing, portuguese, municipal, councils, evaluating, than, 3000, puts, administration, debate, put, test, results, stages, 26th, turning, peninsula, into, benchmark, goal, iberia, cross, border, cooperation, bringing, both, countries, joins, consortium, advence, bioinformatics, things, were, among, explored, school, who, took, sem, fronteiras, held, verão, programme, organised, initiative, participants, areas, workshops, hands, activities, young, institute, protection, 12th, meeting, regional, chapter, international, organisation, dedicated, development, practices, showcased, event, 30th, september, examines, whether, already, replace, traditional, deciding, responds, queries, receives, award, conference, addition, complement, core, mathematics, because, believe, future, trustworthy, built, multidisciplinary, solid, theoretical, develop, innovative, scientific, advancement, consultancy, scientists, engineers, integrate, robust, scalability, reliability, addressing, advanced, cryptographic, protocols, thus, minimising, vulnerabilities, theory, creating, implementing, goes, mere, functionality, failures, attacks, presentation, home, iilab, tecpartnerships, tec4sea, tec4industry, tec4health, tec4energy, tec4agro, food, tec4, menu, reject, accept, website, some, similar, function, permit, those, collect, visits, aggregated, statistics, find, out,
Text of the page (random words):
o filipe jardim research assistant bruno filipe pereira research assistant carlos alberto ribeiro external student carlos antónio felgueiras external student carlos antónio sousa external student carlos baquero area manager carlos eduardo machado research assistant carlos leite machado external student carlos sanches pinto research assistant catarina leones fernandes advisor to the centre coordinator catarina martins fernandes external administrative and technical staff cláudia vanessa brito assistant researcher daniel barros tinoco research assistant daniel matias carvalho external student daniel silva pereira research assistant diogo alexandre marques external student diogo josé ribeiro research assistant diogo manuel gomes external student diogo manuel pires external research collaborator diogo pinto ribeiro research assistant duarte afonso ribeiro external student edgar eira araújo external student edgar josafat martinez eduardo luís roçadas research assistant eduardo vieira araújo external student emily jane first ezequiel josé moreira external student fábia pereira secretary coordinator fábio andré coelho senior researcher fabio moreira souza external student filipe simões pereira external student francisca mieiro coelho external student francisco almeida maia senior researcher francisco justo fernandes external student francisco miguel cruz external research collaborator francisco moura external research collaborator francisco vide external research collaborator francisco xavier ferraz external research collaborator gonçalo duarte marinho research assistant gonçalo manuel sousa research assistant gonçalo medeiros raposo external student guilherme lima fernandes external student guilherme rosas borges research assistant gustavo silva pereira external student hélder maia martins research assistant hélder ricardo gomes external student henrique josé faria research assistant henrique sardo fernandes research assistant hugo afonso gião external student hugo daniel macedo senior researcher hugo pereira pacheco senior researcher humberto gil gomes external student ion chirica research assistant isabel andré amaral research assistant jácome costa cunha researcher jaime pereira santos research assistant joão alexandre saraiva research coordinator joão carlos novais external student joão diogo duarte research assistant joão macedo external research collaborator joão marco senior researcher joão pedro cardoso external student joão pedro parente research assistant joão tiago paulo senior researcher jorge miguel melo external research collaborator jorge sousa pinto research coordinator josé bacelar almeida senior researcher josé bernardo barros senior researcher josé creissac campos research coordinator josé emanuel rodrigues external student josé gomes ferreira external student josé manuel valença external research collaborator josé miranda external research collaborator josé nuno oliveira research coordinator josé orlando pereira research coordinator josé paiva proença external research collaborator josé pedro peixoto research assistant juliana andreia marques research assistant júlio medeiros pinto research assistant larissa ferreira dos santos external research collaborator lázaro gabriel costa external research collaborator lucas ribeiro pereira external research collaborator luís carlos frança external student luís esquível costa external student luís manuel ferreira research assistant luís paulo santos senior researcher luís soares barbosa research coordinator luís vítor barros research assistant luís wolffrom barbosa external student mafalda francisco alves research assistant manuel barbosa manuel josé carvalho research assistant manuel quintas barros research assistant marco rocha ferreira research assistant maria joão frade senior researcher mariana martins miranda research assistant marwa chnib external student miguel peixoto technical specialist miguel sousa braga external research collaborator mohd zuhier freaj external research collaborator nico maximilian wittrock research assistant nuno almeida machado external research collaborator nuno filipe faria researcher nuno henrique rebelo external student nuno luís matos research assistant nuno moreira macedo senior researcher olga pacheco senior researcher paula cristina rodrigues communication manager paula frederika marques research assistant paulo andré pinto research assistant paulo jorge azevedo senior researcher paulo sérgio almeida senior researcher pedro alexandre sousa pedro durães silva external student pedro leal pereira researcher pedro martim marques external research collaborator pedro miguel moreira researcher pedro oliveira carvalho research assistant rafael braga costa researcher rahma nouaji external research collaborator renato jorge neves senior researcher ricardo araújo amorim research assistant ricardo gonçalves macedo assistant researcher ricardo lopes araújo external student ricardo pereira vilaça external research collaborator rodrigo nunes laigner rogério antónio pontes external research collaborator rúben daniel adão research assistant rui alexandre pereira external research collaborator rui antónio rua external research collaborator rui antónio silva external research collaborator rui carlos oliveira diretor rui lopes martins research assistant rui pedro monteiro external research collaborator rui pedro oliveira research assistant simão sá cunha research assistant sofia vieira pinto research assistant susana vitória marques research assistant tânia esteves assistant researcher tiago filipe oliveira senior researcher tiago pinheiro silva research assistant timmie lagermann external research collaborator valeria repetto vítor emanuel fernandes external student vítor francisco fonte senior researcher publications haslab publications view all publications 2026 auto active verification of distributed systems and specification refinements with why3 do authors lourenço cb pinto js publication science of computer programming abstract in this paper we introduce a novel approach for rigorously verifying safety properties of state machine specifications our method leverages an auto active verifier and centers around the use of action functions annotated with contracts these contracts facilitate inductive invariant checking ensuring correctness during system execution our approach is further supported by the why3 do library which extends the why3 tool s capabilities to verify concurrent and distributed algorithms using state machines two distinctive features of why3 do are i it supports specification refinement through refinement mappings enabling hierarchical reasoning about distributed algorithms and ii it can be easily extended to make verifying specific classes of systems more convenient in particular the library contains models allowing for message passing algorithms to be described with programmed handlers assuming different network semantics a gallery of examples all verified with why3 using smt solvers as proof tools is also described in the paper it contains several auto actively verified concurrent and distributed algorithms including the paxos consensus algorithm close read abstract 2026 conflictsync bandwidth efficient synchronization of divergent state authors gomes ps rodrigues mb baquero c publication proceedings of the 13th workshop on principles and practice of consistency for distributed data papoc 2026 abstract state based conflict free replicated data types crdts are widely used in distributed systems to ensure high availability without coordination however their naive synchronization strategy transmitting the full state incurs high communication costs in this paper we 1 propose conflictsync a digest driven synchronization algorithm which reduces total data transfer by up to 18x compared to full state transmissions 2 formulate state based crdt synchronization as set reconciliation over irredundant join decompositions 3 generalize rateless set reconciliation for variable sized elements at the cost of an additional communication step 4 introduce a new generic set reconciliation solution integrating bloom filters with rateless iblts 5 experimentally evaluate the novel synchronization strategies close read abstract 2026 conflictsync bandwidth efficient synchronization of divergent state authors baquero c gomes ps rodrigues mb publication papoc eurosys abstract state based conflict free replicated data types crdts are widely used in distributed systems to ensure high availability without coordination however their naive synchronization strategy transmitting the full state incurs high communication costs in this paper we 1 propose conflictsync a digest driven synchronization algorithm which reduces total data transfer by up to 18 compared to full state transmissions 2 formulate state based crdt synchronization as set reconciliation over irredundant join decompositions 3 generalize rateless set reconciliation for variable sized elements at the cost of an additional communication step 4 introduce a new generic set reconciliation solution integrating bloom filters with rateless iblts 5 experimentally evaluate the novel synchronization strategies close read abstract 2026 bounding byzantine impact in open crdt systems authors baquero c maia f dantas a anta af frey d sánchez c albouy t publication papoc eurosys abstract conflict free replicated data types crdts enable available and eventually consistent data replication without coordination making them well suited for open and partition prone environments recent work has shown that crdts can be extended to tolerate byzantine faults by ensuring that replicas eventually agree on the validity of operations even in permis sionless settings however validity alone does not prevent a byzantine participant from inflicting unbounded damage by issuing large volumes of adversarial yet well formed updates for example when editing text an attacker can easily delete prior text in this paper we study how to bound the impact of byzantine behavior in open crdt systems we introduce bounded byzantine crdts a rate limiting framework for crdts in which each update carries an associated cost that limits the influence of adversarial operations relative to the resources they expend overall this work bridges the gap between byzantine tolerant crdts and resource bounded adversarial models providing a principled foundation for deploying crdts in fully open adversarial environments close read abstract 2026 it makes the code clearer why developers adopt modernpython features in open source projects authors mendonça w leite m romeiro o carvalho f bonifácio r monteiro e pinto g accioly p saraiva j publication abstract python has become one of the most widely used programming languages yet the transition frompython 2 to 3 introduced a tension between innovation and compatibility while new featuressuch as formatted string literals type annotations and structural pattern matching expanded thelanguage s expressiveness they also required substantial adaptation of legacy code despite theincreasing relevance of these features there is still limited empirical evidence on how modernpython features are being adopted in practice when developers start using them how adoptionunfolds over time and what motivations drive these decisions this paper addresses this gapthrough a large scale empirical study of 424 open source python projects our analysis revealstwo distinct adoption patterns rapid adoption of small syntactic improvements and slowerintegration of features that require extensive refactoring or ecosystem support on average projects begin using with new features within 16 months after their release but take roughly 4years to achieve broader and sustained adoption this observation may be partially explainedby the transition from python 2 to 3 which did not preserve full backward compatibility complementary qualitative evidence from pull request discussions indicates that developers areprimarily motivated to rejuvenate python code through improvements in comprehension safety and performance yet often constrained by compatibility requirements and maintenance costs together these findings offer practical insights for tool developers and maintainers seeking tobalance innovation and stability in the ongoing rejuvenation of python source code close read abstract navigation institution research research communication communication laboratories work with us contacts poles fcup feup isep uminho utad contacts t 351 222 094 000 e info inesctec pt inesc tec campus da feup rua dr roberto frias 4200 465 porto portugal newsletter subscribe associates nuclei financing projects funded by uid prr 50014 2025 prr_infra uid prr2 50014 2025 equipar inesc tec all rights reserved 2026 nbsp nbsp privacy policy by nq digital agency spread the word share this page facebook twitter linked in google plus copy url português inglês close institution research research domains artificial intelligence bioengineering communications computer science and engineering photonics power and energy systems robotics systems engineering and management research centers innovation communication news events mediass success stories bip work with us contacts porto portugal 351 222 094 000 info inesctec pt subscribe remove subscribe remove bip is inesc tec s monthly electronic newsletter it is one of the institution s most important communication tools featuring news and articles about the science and technology made by inesc tec always with an informal light fresh and yet authentic and educational tone it is not politically correct nor does it intend to be the voice of the board of directors subscribe inesc tec s newsletter first name last name e mail address organization the data submitted through this form will be used exclusively for the monthly sending of the newsletter bip bulletin inesc tec and will not under any circumstances be shared with third parties if you choose to you can easily unsubscribe from the newsletter by following the link presented in the footer in that case your data will be automatically deleted from our information system if you need to update your contact information or clarify any questions related to the newsletter please send an email to scom inesctec pt by submitting this form you give permission to the use of your personal data according to the conditions above human check leave this field empty apply cancel thank you close your subscripiton was complete thank you subscribe remove subscribe remove remove your e mail address form our mailing list ao remover a subscrição deixará de receber as nossas newsletters mensais unsubscribe inesc tec s newsletter e mail address remove cancel thank you close your subscription has been successfully removed search access to the final selection minute the access to the final selection minute is only available to applicants please check the confirmation e mail of your application to obtain the access code...
|
