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, 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 (88), the (83), external (66), assistant (56), for (39), #student (37), 2026 (36), researcher (34), collaborator (28), 2025 (26), senior (21), with (20), data (20), projects (20), inesc (18), tec (18), 2022 (17), high (16), featured (16), systems (15), josé (15), software (15), 2023 (15), this (14), 2021 (14), pereira (13), state (12), 2024 (12), close (11), communication (11), science (11), engineering (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), 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), remove (6), subscribe (6), inesctec (6), tools (6), news (6), porto (6), portugal (6), intelligence (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), 2029 (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), 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), integrating (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), 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), 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, edge, 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, chips, productivity, ode4ecpiv, 086, 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):
problems a new frontier in logistics optimization 2026 2027 poise programmable asynchronous asymmetric secure choreographies 2026 2027 quanthos quanthos fotónica integrada topológica quântica 2026 2027 featured projects rescueware cibersegurança e recuperação de dados inteligente e auto configurável para a resiliência contra ransomware 2026 2029 hpctrain eurohpc traineeships in hosting entities centres of excellence and competence centres smes and industry 2026 2029 quantum_iber_ia quantum iber_ia impulso estratégico de las capacidades en tecnologías cuánticas e inteligencia artificial en el espacio ibérico transfronterizo 2026 2028 adapqo adaptive query optimization architectures to support heterogeneous data intensive applications 2025 2026 bansky a paraconsistent inference engine to support research in age ralated molecular degeneration 2025 2028 jasmincode developing reliable high performance assembly code using jasmin 2025 2026 featured projects testbed5g_robotics piloto de robótica móvel e cibersegurança em ambientes industriais sobre comunicações 5g europneumaq 2025 2026 atai aplicação de técnicas avançadas na gestão de escalas 2025 2026 bringtrust strengthening ci cd pipeline cybersecurity and safeguarding the intellectual property 2025 2028 safeiac safeiac reliable analysis and automated repair for infrastructure as code 2025 2028 insieme integrated network for data space and interoperable energy management in europe 2025 2028 disaggregatedhpc towards energy efficient software managed resource disaggregation in hpc infrastructures 2025 2026 featured projects pfai4_6ed programa de formação avançada industria 4 6a edição 2025 2025 infragov infragov a public framework for reliable and secure it infrastructure 2025 2026 verifixer verifixer automated repair for verification aware programming languages 2025 2027 jrcsif jrc interoperability laboratory adoption of the semantic interoperability framework 2025 2025 cdms claim denial management solution 2025 2026 bolsasfct_gestao funding fct phd grants management 2025 9999 enscomp4 ensino de ciência da computação nas escolas 4 2024 2026 pet pet privacidade e transparência 2024 2028 featured projects pfai4_5ed programa de formação avançada industria 4 5a edição 2024 2024 exasimple exasimple a hybrid ml cfd simple algorithm for the exascale era 2024 2025 epicure high level specialised application support service in high performance computing hpc 2024 2028 bcdsm bcd s m modular blockchain data storage and management system with ai 2024 2027 twineu digital twin for europe 2024 2026 featured projects hedge_iot holistic approach towards empowerment of the digitalization of the energy ecosystem through adoption of iot solutions 2024 2027 hanami hpc alliance for applications and supercomputing innovation the europe japan collaboration 2024 2027 pfai4_4ed programa de formação avançada industria 4 4a edição 2023 2023 ate alliance for energy transition 2023 2026 green_dat_ai energy efficient ai ready data spaces 2023 2025 eurocc2 national competence centres in the framework of eurohpc phase 2 2023 2026 featured projects quantelm quantelm from ultrafast optical processors to quantum extreme learning machines with integrated optics 2023 2024 attract_dih digital innovation hub for artificial intelligence and high performance computing 2022 2026 newspaceportugal agenda new space portugal 2022 2026 aurora deteção de atividade no interior do veículo 2022 2023 beflexible boosting engagement to increase flexibility 2022 2026 featured projects enershare european common energy dataspace framework enabling data sharing driven across and beyond energy services 2022 2025 gridsoft parecer sobre a implementação de software para redes elétricas inteligentes 2022 2022 pfai4_3ed programa de formação avançada industria 4 3a edição 2022 2022 theia automated perception driving 2022 2023 ibex métodos quantitativos para a programação ciber física uma abordagem precisa para racicionar sobre imprecisões na computação ciber física 2022 2025 flexcomm towards energy aware communications connecting the power grid and communication infrastructure 2022 2023 specrep constraint based specification repair 2022 2023 idina identidade digital inclusiva não autoritativa 2021 2025 featured projects sustainable hpc computação de elevado desempenho sustentável 2021 2025 circthread building the digital thread for circular economy product resource service management 2021 2025 passcert exploring the impact of formal verification on the adoption of password security software 2021 2022 iot4distribuicao análise de requisitos e especificação funcional de uma arquitetura distribuída baseada em soluções iot para a gestão e controlo da rede de distribuição 2021 2023 featured projects risc2 a network for supporting the coordination of high performance computing research between europe and latin america 2021 2023 digilightrail solução de automação do ciclo de vida de projectos de sinalização ferroviária 2020 2023 actpm automating crash consistency testing for persistent memory 2020 2021 pastor programmable and adaptable storage for ai oriented hpc ecosystems 2020 2021 pfai4 0 programa de formação avançada industria 4 0 2020 2021 aida adaptive intelligent and distributed assurance platform 2020 2023 bighpc a management framework for consolidated big data and hpc 2020 2023 featured projects slsna prestação de serviços no ambito do projeto skorr 2020 2021 interconnect interoperable solutions connecting smart homes buildings and grids 2019 2024 t4cdtkc training 4 cotec digital transformation knowledge challenge elaboração de programa de formação conhecer e compreender o desafio das tecnologias de transformação digital 2019 2021 cloud4candy cloud for candy 2019 2019 hades hardware backed trusted and scalable decentralized systems 2018 2022 featured projects malpis aprendizagem automática para deteção de ataques e identificação de perfis segurança na internet 2018 2022 skorr advancing the frontier of social media management tools 2018 2021 davinci distributed architectures variability and interaction for cyber physical systems 2018 2022 safer safery verification for robotic software 2018 2021 klee coalgebraic modeling and analysis for computational synthetic biology 2018 2021 integrid demonstration of intelligent grid technologies for renewables integration and interactive consumer participation enabling interoperable market solutions and interconnected stakeholders 2017 2020 lightkone lightweight computation for networks at the edge 2017 2019 clouddbappliance european cloud in memory database appliance with predictable performance for critical applications 2016 2019 featured projects cloud setup plataforma de preparação de conteúdos audiovisuais para ingest na cloud 2016 2019 gsl greensoftwarelab towards an engineering discipline for green software 2016 2019 coral tools coral sustainable ocean exploitation tools and sensors 2016 2018 safecloud secure and resilient cloud architecture 2015 2018 featured projects nanostima rl1 nanostima macro to nano human sensing technologies 2015 2019 nanostima rl3 nanostima health data infrastructure 2015 2019 smiles smiles smart mobile intelligent and large scale sensing and analytics 2015 2019 upgrid real proven solutions to enable active demand and distributed generation flexible integration through a fully controllable low voltage and medium voltage distribution grid 2015 2017 leanbigdata ultra scalable and ultra efficient integrated and visual big data analytics 2014 2017 practice privacy preserving computation in the cloud 2013 2016 featured projects coherentpaas a coherent and rich paas with a common programming model 2013 2016 team view close alphabet view close alphabet a b c d e f g h i j k l m n o p q r s t u v w x y z adriano novo maior researcher alcino cunha research coordinator alexandra francisco alves research assistant alexandra sofia mendes senior researcher alexandre almeida filho external student alexandre rodrigues fernandes alexis gonzalez external research collaborator alícia oliveira researcher álvaro festas silva research assistant ana isabel neri external student ana nunes alonso assistant researcher ana rita guimarães research assistant andré de sousa external student andré lucena ferreira research assistant andré manuel sequeira assistant researcher andré martins pereira senior researcher andré silva gonçalves research assistant andreia sofia gaudêncio external research collaborator ângelo francisco fernandes research assistant antónio luís sousa centre coordinator antónio nestor ribeiro senior researcher beatriz cepa research assistant beatriz ramada macedo external student bernardo luís portela senior researcher bernardo malaca external research collaborator bruno dias gião research assistant bruno 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 c...