BIBLIOS
Sistema de Gestão de Referências Bibliográficas de Ciências
Modo Visitante (
Login
)
Need help?
Referências para accosta
(173)
2025
LWSEE: Lightweight Secured Software-Based Execution Environment
(2025)
José Cecílio
Alan Oliveira de Sá
Georg Jäger
André Souto
António Casimiro
Artigos em Revista
2025
Safe and resource-aware verification for programming Cyber-Physical Systems
(2025)
Carlos Jorge Velez Mão de Ferro
Francisco Cipriano da Cunha Martins
António Casimiro Ferreira da Costa
Documentos Académicos
2024
Adversarial Attacks and Countermeasures on Image Classification-based Deep Learning Models in Autonomous Driving Systems: A Systematic Review
(2024)
Bakary Badjie
José Cecílio
Antonio Casimiro
Artigos em Revista
2024
On the Design of Coordination Services for IoT
(2024)
Tiago Carvalho
Antonio Casimiro
Alysson Bessani
Artigos em Conferência
2024
Denoising Autoencoder-Based Defensive Distillation as an Adversarial Robustness Algorithm Against Data Poisoning Attacks
(2024)
Bakary Badjie
José Cecílio
António Casimiro
Artigos em Revista
2024
The ADMORPH Approach for Adaptively Morphing Embedded Systems
(2024)
A. Pimentel et al., com 23 autores incluíndo:
A. Casimiro
J. Cecílio
G. Jäger
A. Espindola
Artigos em Revista
2024
Autenticação e Segurança em Pagamentos Online
(2024)
Veiga, Afonso Quintela Nunes
Costa, António Casimiro Ferreira da
Documentos Académicos
2024
Automação da análise forense para casos suspeitos de abuso de acesso a informação sensível/crítica
(2024)
Martins, Rodrigo Filipe Matos Ribeiro
Costa, António Casimiro Ferreira da
Documentos Académicos
2024
Cooperative Autonomous Driving in Simulation
(2024)
Costa, Gonçalo Manuel Valente da
Costa, António Casimiro Ferreira da
Cecílio, José Manuel da Silva
Documentos Académicos
2023
Cooperative Autonomous Driving in Simulation
(2023)
Gonçalo Costa
José Cecílio
António Casimiro
Artigos em Revista
2023
Denoising Autoencoder-Based Defensive Distillation as an Adversarial Robustness Algorithm Against Data Poisoning Attacks
(2023)
Badjie, B
Cecílio, J.
Casimiro, A.
Artigos em Conferência
2023
Cooperative Autonomous Driving in Simulation
(2023)
Costa, G.
Cecílio, J.
Casimiro, A.
Artigos em Conferência
2023
The ADMORPH approach for Adaptively Morphing Embedded Systems
(2023)
A Pimentel et al., com 23 autores incluíndo:
A Casimiro
J Cecílio
G Jäger
A Espindola
Artigos em Conferência
2023
VEDLIoT: Next generation accelerated AIoT systems and applications
(2023)
Kevin Mika et al., com 32 autores incluíndo:
Antonio Casimiro
Alysson Bessani
Tiago Carvalho
Artigos em Conferência
2023
Integration of multiple data sources and dashboard for a remote monitoring system
(2023)
Sousa, Inês Silva
Cecílio, José Manuel da Silva
Costa, António Casimiro Ferreira da
Documentos Académicos
2023
Distributed Attestation Service for IoT
(2023)
Carvalho, Tiago Rafael Neto
Bessani, Alysson Neves
Costa, António Casimiro Ferreira da
Documentos Académicos
2023
CyberSOC4AD: integração de tecnologia Semperis e CyberArk no ecossistema SIEM IBM QRadar e Palo Alto Cortex XSOAR do CyberSOC da Altice Portugal
(2023)
Nunes, Guilherme Nuno Baptista
Costa, António Casimiro Ferreira da
Alegria, José
Documentos Académicos
2022
Artificial Neural Networks for Real-Time Data Quality Assurance
(2022)
Inês Sousa Sousa
António Casimiro
José Cecílio
Artigos em Revista
2022
Modeling LoRa Communications in Estuaries for IoT Environmental Monitoring Systems
(2022)
Miguel Gutierrez Gaitan et al., com 9 autores incluíndo:
Jose Cecilio
Luis Pinto
Antonio Casimiro
Artigos em Revista
2022
VEDLIoT: Very Efficient Deep Learning in IoT
(2022)
M. Kaiser et al., com 36 autores incluíndo:
A. Casimiro
A. Bessani
J. Cecilio
Artigos em Conferência
2022
Solução para a extinção da pegada digital de um utilizador
(2022)
Martins, José António Teixeira
Costa, António Casimiro Ferreira da
Documentos Académicos
2022
Data quality and dependability of IOT Platform for buildings energy assessment
(2022)
Valente, João Miguel Mota Cláudio
Ferreira, Pedro Miguel Frazão Fernandes
Costa, António Casimiro Ferreira da
Documentos Académicos
2021
Systematic Failure Detection and Correction in Environmental Monitoring Systems
(2021)
Jesus, G.
Oliveira, A.
Casimiro, A.
Artigos em Revista
2021
Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems
(2021)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Artigos em Revista
2021
Computing Paradigms in Emerging Vehicular Environments: A Review
(2021)
Lion Silva et al., com 8 autores incluíndo:
Naercio Magaia
António Casimiro
Artigos em Revista
2020
Evaluation of LoRa Technology in Flooding Prevention Scenarios
(2020)
José Cecílio
Pedro M. Ferreira
António Casimiro
Artigos em Revista
2020
Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration
(2020)
Alan Oliveira de Sá
António Casimiro
Raphael C. S. Machado
Luiz F. R. da C. Carmo
Artigos em Revista
2020
Geração Automática de Serviços de Integração em Plataformas de Middleware
(2020)
André Manuel da Silva Pereira
António Casimiro
Documentos Académicos
2020
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet
(2020)
Paolo Ferrari et al., com 9 autores incluíndo:
Alan Oliveira de Sa
Antonio Casimiro
Artigos em Revista
2020
PICSEL - Portable ICS Extensible Lab
(2020)
Marco Manuel Santos Vieira
António Casimiro
Documentos Académicos
2020
Computer Safety, Reliability, and Security
(2020)
Antonio Casimiro
Frank Ortmeier
Friedemann Bitsch
Pedro Ferreira
Livro
2020
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
(2020)
Antonio Casimiro
Frank Ortmeier
Erwin Schoitsch
Friedemann Bitsch
Pedro Ferreira
Livro
2020
Implementação de Soluções para Confiabilidade de Dados em Redes de Sensores sem Fios
(2020)
João Miguel Mendes Penim
António Casimiro Ferreira da Costa
Pedro Miguel Frazão Fernandes Ferreira
Documentos Académicos
2020
Data Management for Cloud Supported Cooperative Driving
(2020)
Lourenço, Miguel Ângelo Luís
Costa, António Casimiro Ferreira da
Bessani, Alysson Neves
Documentos Académicos
2020
Deteção em tempo quase-real de anomalias no comportamento de administradores de sistemas
(2020)
Beatriz Pereira Sécio
António Casimiro Ferreira da Costa
Documentos Académicos
2019
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights
(2019)
Antonio Casimiro
Emelie Ekenstedt
Elad M. Schiller
Artigos em Conferência
2019
A Methodology to Automate the Selection of LPWA Technologies in WSN Applications
(2019)
Carlos Nascimento
António Casimiro
Pedro M. Ferreira
Artigos em Conferência
2019
Recolha de cyberthreat open source intelligence usando técnicas de correlação de informação
(2019)
Martins, Edgar Tito Matias Oliveira
Costa, António Casimiro Ferreira da
Documentos Académicos
2019
Desenvolvimento de um processo automático de gestão de vulnerabilidades de ciber segurança em ambientes de grande dimensão
(2019)
Fernandes, Fábio Guimarães
Costa, António Casimiro Ferreira da
Alegria, José António dos Santos
Documentos Académicos
2019
Determinação de Pontos ótimos de inserção do NIDS numa rede corporativa de grande dimensão
(2019)
Miranda, Gonçalo Manuel Martins
Costa, António Casimiro Ferreira da
Alegria, José
Documentos Académicos
2019
Bio-inspired System Identification Attacks in Noisy Networked Control Systems
(2019)
Alan Oliveira de Sá
António Casimiro
Raphael Carlos Santos Machado
Luiz Fernando Rust da Costa Carmo
Capítulo em Livro
2019
AQUAMON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments
(2019)
António Casimiro et al., com 7 autores incluíndo:
António Casimiro
José Cecílio
Pedro Ferreira
Artigos em Conferência
2019
CAN FD: a communication network for future avionic systems
(2019)
Alves, João de Sousa
Costa, António Casimiro Ferreira da
Documentos Académicos
2019
Design and implementation of a protocol for safe cooperation of self-driving cars
(2019)
João Pedro Vicente e Campos Pinto
Costa, António Casimiro Ferreira da
Magaia, Naercio David Pedro
Documentos Académicos
2019
Design and implementation of a cloud-based membership system for vehicular cooperation
(2019)
Tiago André Martinho Correia
Costa, António Casimiro Ferreira da
Magaia, Naercio David Pedro
Documentos Académicos
2019
A dependability framework for WSN-based aquatic monitoring systems
(2019)
Jesus, Gonçalo João Vitorino de
Casimiro, António
Oliveira, Anabela
Documentos Académicos
2019
Evaluation of wsn technology for dependable monitoring in water environmnts
(2019)
Carlos Alexandre Aleixo Nascimento
Costa, António Casimiro Ferreira da
Ferreira, Pedro Miguel Frazão Fernandes
Documentos Académicos
2018
Non-intrusive Runtime Verification within a System-on-Chip
(2018)
José Rufino et al., com 7 autores incluíndo:
José Rufino
António Casimiro
Artigos em Revista
2018
NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems
(2018)
José Rufino et al., com 10 autores incluíndo:
José Rufino
António Casimiro
Artigos em Revista
2018
Controlos de cibersegurança em ambientes MS Windows de grandes empresas: modelo de risco para priorização de atualizações de segurança
(2018)
Gonçalo Lima Tavares Campos dos Reis
António Casimiro Ferreira da Costa
José António dos Santos Alegria
Documentos Académicos
2018
Generic Sensor Failure Modeling for Cooperative Systems
(2018)
Georg Jäger
Sebastian Zug
António Casimiro
Artigos em Revista
2018
Unified cyber threat intelligence
(2018)
Marisa Tomé Félix
António Casimiro Ferreira da Costa
José António do Santos Alegria
Documentos Académicos
2018
Sensors - Special Issue "Dependable Monitoring in Wireless Sensor Networks"
(2018)
António Casimiro
Livro
2018
Dependable Outlier Detection in Harsh Environments Monitoring Systems
(2018)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Artigos em Conferência
2018
Reliable Software Technologies – Ada-Europe 2018
(2018)
António Casimiro
Pedro M. Ferreira
Livro
2017
Event processing and correlation for a cyber defence center
(2017)
Pedro Miguel Rainho Chaves
Costa, António Casimiro Ferreira da
Costa, Luís Miguel Dias
Documentos Académicos
2017
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks
(2017)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Artigos em Revista
2017
Elastic State Machine Replication
(2017)
Andre Nogueira
Antonio Casimiro
Alysson Bessani
Artigos em Revista
2017
SSIV 2017 Welcome
(2017)
Joao Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Artigos em Conferência
2017
A few open problems and solutions for software technologies for dependable distributed systems
(2017)
Marisol García-Valls
António Casimiro
Hans P. Reiser
Artigos em Revista
2017
Enforcing Timeliness and Safety in Mission-Critical Systems
(2017)
António Casimiro
Inês Gouveia
José Rufino
Artigos em Conferência
2017
Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]
(2017)
Joao Carlos Cunha
Kalinka Castelo Branc
Antonio Casimiro
Urbano Jose C. Nunes
Artigos em Revista
2016
Introduction to SSIV 2016
(2016)
Joao Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Artigos em Conferência
2015
Improving sensor-fusion with environmental models
(2015)
Gonçalo Jesus
Anabela Oliveira
Alberto Azevedo
António Casimiro
Artigos em Conferência
2015
Fault-Tolerant Precision Time Protocol for Smart Grids
(2015)
Radu Onica
Nuno Neves
António Casimiro
Artigos em Conferência
2015
Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet
(2015)
Rúben Menezes
António Casimiro
José A. Alegria
Paulo T. Serrão
Artigos em Conferência
2015
Proceedings of the Workshop on Safety and Security of Intelligent Vehicles (SSIV)
(2015)
João Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Livro
2015
Secure GPS Clock Synchronization in Smart Grids
(2015)
Radu Onica
Nuno Fuentecilla Maia Ferreira Neves
António Casimiro Ferreira da Costa
Documentos Académicos
2015
Investigação e implementação de uma datawarehouse para descoberta forense, classificação, agregação e análise de identidades e acessos a dados sensíveis
(2015)
João Ferreira
António Casimiro Ferreira da Costa
José António dos Santos Alegria
Documentos Académicos
2015
Procura e análise automatizada de superfícies expostas e passíveis de ataque a partir da Internet
(2015)
Rúben Miguel Meneses
António Casimiro Ferreira da Costa
José António dos Santos Alegria
Documentos Académicos
2015
Estudo, implementação e avaliação de um sistema de tempo real na plataforma RaspberryPi
(2015)
Hugo Viegas
António Casimiro Ferreira da Costa
Documentos Académicos
2014
Message from Technical Program Co-chairs
(2014)
Casimiro, A.
Defago, X.
Artigos em Conferência
2014
Analysis and implementation of consistency and fault tolerance mechanisms in soft real-time systems
(2014)
Figueira, Pedro Miguel Ferreira
Costa, António Casimiro Ferreira da
Alegria, José
Documentos Académicos
2014
A Kernel-based Architecture fo Safe Cooperative Vehicular Functions
(2014)
António Casimiro et al., com 7 autores incluíndo:
António Casimiro
José Rufino
Artigos em Conferência
2014
An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance
(2014)
Rolf Johansson et al., com 7 autores incluíndo:
António Casimiro
José Rufino
Artigos em Conferência
2014
Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed
(2014)
António Casimiro
Oscar Morales Ponce
Thomas Petig
Elad M. Schiller
Artigos em Conferência
2014
Ensuring reliable measurements in remote aquatic sensor networks
(2014)
Gonçalo Jesus
Antonio Casimiro
Anabela Oliveira
Artigos em Conferência
2014
Evaluation of Safety Rules in a Safety Kernel-Based Architecture
(2014)
Eric Vial
António Casimiro
Artigos em Conferência
2014
Replica placement to mitigate attacks on clouds
(2014)
Filipe Araujo
Serhiy Boychenko
Raul Barbosa
António Casimiro
Outros
2013
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
(2013)
Rolando Martins et al., com 7 autores incluíndo:
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2013
FIT-BROKER: Delivering a Reliable Service for Event Dissemination
(2013)
Igor Daniel Cristina Antunes
Costa, António Casimiro Ferreira da
Kreutz, Diego Luís
Documentos Académicos
2013
TimelyWSN: Middleware Architecture for Probabilistic QoS Support in WSNs
(2013)
João André Varino Alves
Costa, António Casimiro Ferreira da
Marques, Luís Miguel Madeira
Documentos Académicos
2013
SCADA in a Cloud-Based Architecture
(2013)
Miguel Osório Areias
Costa, António Casimiro Ferreira da
Bessani, Alysson Neves
Documentos Académicos
2013
The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems
(2013)
António Casimiro et al., com 7 autores incluíndo:
António Casimiro
Artigos em Conferência
2013
Towards Dependable Measurements in Coastal Sensors Networks
(2013)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Artigos em Conferência
2013
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks
(2013)
João Alves
António Casimiro
Luís Marques
Artigos em Conferência
2013
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
(2013)
Luís Marques
António Casimiro
Artigos em Conferência
2013
Safety Kernel for Cooperative Sensor-Based Systems
(2013)
Pedro Nóbrega da Costa
João Pedro Craveiro
António Casimiro
José Rufino
Artigos em Conferência
2012
Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
(2012)
Casimiro, A
Ghandi, R.
Araújo, F.
Livro
2012
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
(2012)
Mônica Dixit
António Casimiro
Paolo Lolinni
Andrea Bondavalli
Paulo Veríssimo
Artigos em Revista
2012
Replication for Dependability on Virtualized Cloud Environments
(2012)
Filipe Araujo
Raul Barbosa
António Casimiro
Artigos em Conferência
2012
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
(2012)
António Casimiro et al., com 9 autores incluíndo:
António Casimiro
Artigos em Conferência
2012
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
(2012)
Luís Marques
António Casimiro
Artigos em Conferência
2012
TRONE: Trustworthy and Resilient Operations in a Network Environment
(2012)
António Casimiro et al., com 11 autores incluíndo:
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2012
A Secure Architecture for a Recursive Virtualization Environment
(2012)
Amir Soltani Nezhad
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2012
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures
(2012)
Diego Kreutz
António Casimiro
Marcelo Pasin
Artigos em Conferência
2012
Timeout-based Adaptive Consensus: Improving Performance through Adaptation.
(2012)
Mônica Dixit
Henrique Moniz
António Casimiro
Artigos em Conferência
2012
Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks
(2012)
Luís Marques
António Casimiro
Outros
2012
Investigação e desenvolvimento de mecanismos automáticos e distribuídos de detecção, análise e mensuração de eventos relevantes para a avaliação da qualidade de protecção de call centers de grande dimensão
(2012)
Silva, Hugo Rosa da
Costa, António Casimiro Ferreira da
Alegria, José
Documentos Académicos
2011
From static to dynamic protocols: adapting timeouts for improved performance
(2011)
António Casimiro
Mônica Dixit
Artigos em Conferência
2011
Lightweight Dependable Adaptation for Wireless Sensor Networks
(2011)
Luís Marques
António Casimiro
Artigos em Conferência
2011
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
(2011)
Smruti Padhy
Diego Kreutz
António Casimiro
Marcelo Pasin
Artigos em Conferência
2011
Investigação e desenvolvimento de um sistema automático de detecção, monitorização e análise da propagação de worms em redes empresariais
(2011)
Sequeira, Tiago Manuel Simões
Costa, António Casimiro Ferreira da
Alegria, José
Documentos Académicos
2011
Estudo e implementação de soluções para a melhoria da qualidade de serviço da rede do departamento de informática da FCUL: autenticação baseada em 802.1X e transição para IPV6
(2011)
Broega, António José Carvalho
Casimiro, António
Fernandes, Nuno
Documentos Académicos
2011
MS IPTV audit collection services
(2011)
Antunes, Nuno Filipe Fernandes
Casimiro, António
Documentos Académicos
2011
Support for Dependable and Adaptive Distributed Systems and Applications
(2011)
Dixit, Mônica Lopes Muniz Corrêa
Costa, António Casimiro Ferreira da
Documentos Académicos
2011
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
(2011)
Padhy, S.
A. Casimiro
D. Kreutz
M. Pasin
Artigos em Conferência
2010
Architecting Dependable Systems VII
(2010)
António Casimiro
Rogério de Lemos
Cristina Gacek (Eds.)
Livro
2010
Data Validity and Dependable Perception in Networked Sensor-Based Systems
(2010)
Luís Marques
António Casimiro
Artigos em Conferência
2010
Adaptare-FD: A dependability-oriented adaptive failure detector
(2010)
Mônica Dixit
António Casimiro
Artigos em Conferência
2010
Dependable Perception in Wireless Sensor Networks
(2010)
Luís Marques
António Casimiro
Artigos em Conferência
2010
Architecting Dependable Systems VII
(2010)
Casimiro, A.
Lemos, R.
Gacek, C.
Livro
2010
Timeout Adaptive Consensus: Improving Performance through Adaptation
(2010)
Mônica Dixit
Henrique Moniz
António Casimiro
Outros
2010
IPTV Log Events Profiling
(2010)
Lameira, Francisco José Lopes
Kim, Hyong S
Costa, António Casimiro Ferreira da
Documentos Académicos
2009
Applying architectural hybridization in networked embedded systems
(2009)
António Casimiro
José Rufino
Luís Marques
Mário Calha
Paulo Veríssimo
Artigos em Conferência
2009
Design and development of a proof-of-concept platooning application using the hidenets architecture
(2009)
Luís Marques
António Casimiro
Mário Calha
Artigos em Conferência
2009
Probabilistic Adaptive Time-Aware Consensus
(2009)
Mônica Dixit
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2009
Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications
(2009)
Luís Marques
António Casimiro
Artigos em Conferência
2009
A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments
(2009)
Bondavalli, Andrea
Casimiro, António
Dixit, Mônica
Lollini, Paolo
Verissimo, Paulo
Outros
2008
A framework for dependable QoS adaptation in probabilistic environments
(2008)
António Casimiro
Paolo Lollini
Mônica Dixit
Andrea Bondavalli
Paulo Veríssimo
Artigos em Conferência
2008
Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
(2008)
Mônica Dixit
António Casimiro
Nuno Laranjeiro
Marco Vieira
Artigos em Conferência
2008
HIDENETS – Highly Dependable IP-based Networks and Services
(2008)
António Casimiro
Paulo Veríssimo
Outros
2007
Revised reference model
(2007)
Arlat, J. et al., com 20 autores incluíndo:
Casimiro, António
Outros
2007
Resilient architecture (preliminary version)
(2007)
Bondavalli, Andrea et al., com 14 autores incluíndo:
Casimiro, António
Outros
2007
Use case scenarios and preliminary reference model
(2007)
Casimiro, António et al., com 8 autores incluíndo:
Casimiro, António
Outros
2007
A framework for dependable adaptation in probabilistic environments
(2007)
Bondavalli, Andrea
Casimiro, António
Dixit, Mónica
Lolinni, Paolo
Veríssimo, Paulo
Outros
2007
Towards Timely ACID Transactions in DBMS
(2007)
Marco Vieira
António C. Costa
Henrique Madeira
Artigos em Conferência
2007
Generic-Events Architecture: Integrating real-world aspects in event-based systems
(2007)
António Casimiro
Jörg Kaiser
Paulo Veríssimo
Capítulo em Livro
2007
Middleware Support for Time-Elastic Database Applications
(2007)
António Casimiro
Marco Vieira
Henrique Madeira
Artigos em Conferência
2007
Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
(2007)
Hans P. Reiser
António Casimiro
Artigos em Conferência
2007
Architecture and Implementation of an Embedded Wormhole
(2007)
Hugo Ortiz
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2007
Towards Timely ACID Transactions in DBMS
(2007)
Marco Vieira
António Casimiro
Henrique Madeira
Artigos em Conferência
2006
On the development of dependable embedded applications using specialized wormholes
(2006)
Casimiro A.
O. Mendizabal
P. Veríssimo
Artigos em Conferência
2006
Towards Timely ACID Transactions in DBMS
(2006)
Vieira M.
A. Casimiro, H. Madeira.
Artigos em Conferência
2005
TACID Transactions
(2005)
Marco Vieira
António Casimiro
Henrique Madeira
Artigos em Conferência
2005
A New Programming Model for Dependable Adaptive Real-Time Applications
(2005)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Artigos em Revista
2004
An Architectural Framework and a Middleware for Cooperating Smart Components
(2004)
António Casimiro
J. Kaiser
Paulo Veríssimo
Artigos em Conferência
2004
Timely ACID Transactions in DBMS
(2004)
Marco Vieira
António Casimiro
Henrique Madeira
Artigos em Conferência
2004
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
(2004)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2004
A Generic Temporal Consistency Model for Distributed Control Systems
(2004)
Pedro Martins
António Casimiro
Paulo Veríssimo
Artigos em Conferência
2003
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
(2003)
Casimiro, António
Martins, Pedro
Sousa, Paulo
Veríssimo, Paulo
Outros
2003
Timely Actions in the Presence of Uncertain Timeliness
(2003)
Casimiro, António
Documentos Académicos
2003
An architecture to support interaction via Generic Events
(2003)
Paulo Veríssimo
Jorg Kaiser
António Casimiro
Artigos em Conferência
2003
Event-Driven Support of Real-Time Sentient Objects
(2003)
Paulo Veríssimo
António Casimiro
Artigos em Conferência
2003
The CORTEX Programming Model
(2003)
G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes , J. Kaiser, R. Meier, V. Reynolds, Paulo Veríssimo, M. Wu
Outros
2003
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
(2003)
Paulo Sousa
Pedro Martins
António Casimiro
Paulo Veríssimo
Outros
2003
Proof-of-concept prototypes
(2003)
Vinny Cahill, António Casimiro, Jorg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
Outros
2002
The Timely Computing Base Model and Architecture
(2002)
P. Veríssimo
A. Casimiro
Artigos em Revista
2002
Generic Timing Fault Tolerance using a Timely Computing Base
(2002)
A. Casimiro
P. Veríssimo
Artigos em Conferência
2002
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities
(2002)
P. Veríssimo et al., com 6 autores incluíndo:
P. Veríssimo
A. Casimiro
Artigos em Conferência
2002
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects
(2002)
P. Veríssimo et al., com 6 autores incluíndo:
A. Casimiro
Outros
2001
Using the Timely Computing Base for Dependable QoS Adaptation
(2001)
Casimiro, António
Veríssimo, Paulo
Outros
2001
Recent Advances on the Timely Computing Base Model
(2001)
A. Casimiro
M. Correia
Artigos em Conferência
2001
Measuring Distributed Durations with Stable Errors
(2001)
A. Casimiro
P. Martins
P. Veríssimo
L. Rodrigues
Artigos em Conferência
2001
Using the Timely Computing Base for Dependable QoS Adaptation
(2001)
A. Casimiro
P. Veríssimo
Artigos em Conferência
2001
Measuring distributed durations with stable errors
(2001)
A. Casimiro
P. Martins
P. Verissimo
L. Rodrigues
Artigos em Conferência
2001
Using the timely computing base for dependable QoS adaptation
(2001)
A. Casimiro
P. Verissimo
Artigos em Conferência
2000
How to build a timely computing base using real-time Linux
(2000)
A. Casimiro
P. Martins
P. Verissimo
Artigos em Conferência
2000
The timely computing base: Timely actions in the presence of uncertain timeliness
(2000)
P. Verissimo
A. Casimiro
C. Fetzer
Artigos em Conferência
2000
How to Build a Timely Computing Base using Real-Time Linux
(2000)
A. Casimiro
P. Martins
P. Veríssimo
Artigos em Conferência
2000
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
(2000)
P. Veríssimo et al., com 6 autores incluíndo:
P. Veríssimo
A. Casimiro
Artigos em Conferência
2000
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
(2000)
P. Veríssimo
A. Casimiro
C. Fetzer
Artigos em Conferência
2000
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
(2000)
P. Martins
A. Casimiro
Outros
2000
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
(2000)
Casimiro, António
Martins, Pedro
Outros
1999
The Timely Computing Base
(1999)
Paulo Veríssimo
António Casimiro
Outros
1999
Timing Failure Detection with a Timely Computing Base
(1999)
António Casimiro
Paulo Veríssimo
Outros
1999
Timing Failure Detection with a Timely Computing Base
(1999)
Casimiro, António
Veríssimo, Paulo
Outros
1999
The Timely Computing Base
(1999)
Casimiro, António
Veríssimo, Paulo
Outros
1999
Timing Failure Detection with a Timely Computing Base
(1999)
A. Casimiro
P. Veríssimo
Artigos em Conferência
1997
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems
(1997)
Paulo Veríssimo
Luís Rodrigues
Antonio Casimiro
Artigos em Revista
1996
Distributed Industrial Information Systems: Design and Experience
(1996)
Paulo Veríssimo
Sérgio Melro
António Casimiro
Luís Silva
Capítulo em Livro
1995
Priority-Based Totally Ordered Multicast
(1995)
L. Rodrigues
P. Veríssimo
A. Casimiro
Artigos em Conferência
1993
Using atomic broadcast to implement a posteriori agreement for clock synchronization
(1993)
L. Rodrigues
P. Verissimo
A. Casimiro
Artigos em Conferência