BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for accosta
(163)
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
Journal articles
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
Academic documents
2023
Denoising Autoencoder-Based Defensive Distillation as an Adversarial Robustness Algorithm Against Data Poisoning Attacks
(2023)
Badjie, B
Cecílio, J.
Casimiro, A.
Conference papers
2023
Cooperative Autonomous Driving in Simulation
(2023)
Costa, G.
Cecílio, J.
Casimiro, A.
Conference papers
2023
The ADMORPH approach for Adaptively Morphing Embedded Systems
(2023)
A Pimentel et al., with 23 authors including:
A Casimiro
J Cecílio
G Jäger
A Espindola
Conference papers
2023
VEDLIoT: Next generation accelerated AIoT systems and applications
(2023)
Kevin Mika et al., with 32 authors including:
Antonio Casimiro
Alysson Bessani
Tiago Carvalho
Conference papers
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
Academic documents
2023
Distributed Attestation Service for IoT
(2023)
Carvalho, Tiago Rafael Neto
Bessani, Alysson Neves
Costa, António Casimiro Ferreira da
Academic documents
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é
Academic documents
2022
Artificial Neural Networks for Real-Time Data Quality Assurance
(2022)
Inês Sousa Sousa
António Casimiro
José Cecílio
Journal articles
2022
Modeling LoRa Communications in Estuaries for IoT Environmental Monitoring Systems
(2022)
Miguel Gutierrez Gaitan et al., with 9 authors including:
Jose Cecilio
Luis Pinto
Antonio Casimiro
Journal articles
2022
VEDLIoT: Very Efficient Deep Learning in IoT
(2022)
M. Kaiser et al., with 36 authors including:
A. Casimiro
A. Bessani
J. Cecilio
Conference papers
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
Academic documents
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
Academic documents
2021
Systematic Failure Detection and Correction in Environmental Monitoring Systems
(2021)
Jesus, G.
Oliveira, A.
Casimiro, A.
Journal articles
2021
Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems
(2021)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Journal articles
2021
Computing Paradigms in Emerging Vehicular Environments: A Review
(2021)
Lion Silva et al., with 8 authors including:
Naercio Magaia
António Casimiro
Journal articles
2020
Evaluation of LoRa Technology in Flooding Prevention Scenarios
(2020)
José Cecílio
Pedro M. Ferreira
António Casimiro
Journal articles
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
Journal articles
2020
Geração Automática de Serviços de Integração em Plataformas de Middleware
(2020)
André Manuel da Silva Pereira
António Casimiro
Academic documents
2020
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet
(2020)
Paolo Ferrari et al., with 9 authors including:
Alan Oliveira de Sa
Antonio Casimiro
Journal articles
2020
PICSEL - Portable ICS Extensible Lab
(2020)
Marco Manuel Santos Vieira
António Casimiro
Academic documents
2020
Computer Safety, Reliability, and Security
(2020)
Antonio Casimiro
Frank Ortmeier
Friedemann Bitsch
Pedro Ferreira
Books
2020
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
(2020)
Antonio Casimiro
Frank Ortmeier
Erwin Schoitsch
Friedemann Bitsch
Pedro Ferreira
Books
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
Academic documents
2020
Data Management for Cloud Supported Cooperative Driving
(2020)
Lourenço, Miguel Ângelo Luís
Costa, António Casimiro Ferreira da
Bessani, Alysson Neves
Academic documents
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
Academic documents
2019
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights
(2019)
Antonio Casimiro
Emelie Ekenstedt
Elad M. Schiller
Conference papers
2019
A Methodology to Automate the Selection of LPWA Technologies in WSN Applications
(2019)
Carlos Nascimento
António Casimiro
Pedro M. Ferreira
Conference papers
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
Academic documents
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
Academic documents
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é
Academic documents
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
Book chapters
2019
AQUAMON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments
(2019)
António Casimiro et al., with 7 authors including:
António Casimiro
José Cecílio
Pedro Ferreira
Conference papers
2019
CAN FD: a communication network for future avionic systems
(2019)
Alves, João de Sousa
Costa, António Casimiro Ferreira da
Academic documents
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
Academic documents
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
Academic documents
2019
A dependability framework for WSN-based aquatic monitoring systems
(2019)
Jesus, Gonçalo João Vitorino de
Casimiro, António
Oliveira, Anabela
Academic documents
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
Academic documents
2018
Non-intrusive Runtime Verification within a System-on-Chip
(2018)
José Rufino et al., with 7 authors including:
José Rufino
António Casimiro
Journal articles
2018
NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems
(2018)
José Rufino et al., with 10 authors including:
José Rufino
António Casimiro
Journal articles
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
Academic documents
2018
Generic Sensor Failure Modeling for Cooperative Systems
(2018)
Georg Jäger
Sebastian Zug
António Casimiro
Journal articles
2018
Unified cyber threat intelligence
(2018)
Marisa Tomé Félix
António Casimiro Ferreira da Costa
José António do Santos Alegria
Academic documents
2018
Sensors - Special Issue "Dependable Monitoring in Wireless Sensor Networks"
(2018)
António Casimiro
Books
2018
Dependable Outlier Detection in Harsh Environments Monitoring Systems
(2018)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Conference papers
2018
Reliable Software Technologies – Ada-Europe 2018
(2018)
António Casimiro
Pedro M. Ferreira
Books
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
Academic documents
2017
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks
(2017)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Journal articles
2017
Elastic State Machine Replication
(2017)
Andre Nogueira
Antonio Casimiro
Alysson Bessani
Journal articles
2017
SSIV 2017 Welcome
(2017)
Joao Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Conference papers
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
Journal articles
2017
Enforcing Timeliness and Safety in Mission-Critical Systems
(2017)
António Casimiro
Inês Gouveia
José Rufino
Conference papers
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
Journal articles
2016
Introduction to SSIV 2016
(2016)
Joao Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Conference papers
2015
Improving sensor-fusion with environmental models
(2015)
Gonçalo Jesus
Anabela Oliveira
Alberto Azevedo
António Casimiro
Conference papers
2015
Fault-Tolerant Precision Time Protocol for Smart Grids
(2015)
Radu Onica
Nuno Neves
António Casimiro
Conference papers
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
Conference papers
2015
Proceedings of the Workshop on Safety and Security of Intelligent Vehicles (SSIV)
(2015)
João Carlos Cunha
Kalinka Branco
Antonio Casimiro
Urbano Nunes
Books
2015
Secure GPS Clock Synchronization in Smart Grids
(2015)
Radu Onica
Nuno Fuentecilla Maia Ferreira Neves
António Casimiro Ferreira da Costa
Academic documents
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
Academic documents
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
Academic documents
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
Academic documents
2014
Message from Technical Program Co-chairs
(2014)
Casimiro, A.
Defago, X.
Conference papers
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é
Academic documents
2014
A Kernel-based Architecture fo Safe Cooperative Vehicular Functions
(2014)
António Casimiro et al., with 7 authors including:
António Casimiro
José Rufino
Conference papers
2014
An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance
(2014)
Rolf Johansson et al., with 7 authors including:
António Casimiro
José Rufino
Conference papers
2014
Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed
(2014)
António Casimiro
Oscar Morales Ponce
Thomas Petig
Elad M. Schiller
Conference papers
2014
Ensuring reliable measurements in remote aquatic sensor networks
(2014)
Gonçalo Jesus
Antonio Casimiro
Anabela Oliveira
Conference papers
2014
Evaluation of Safety Rules in a Safety Kernel-Based Architecture
(2014)
Eric Vial
António Casimiro
Conference papers
2014
Replica placement to mitigate attacks on clouds
(2014)
Filipe Araujo
Serhiy Boychenko
Raul Barbosa
António Casimiro
Other
2013
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
(2013)
Rolando Martins et al., with 7 authors including:
António Casimiro
Paulo Veríssimo
Conference papers
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
Academic documents
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
Academic documents
2013
SCADA in a Cloud-Based Architecture
(2013)
Miguel Osório Areias
Costa, António Casimiro Ferreira da
Bessani, Alysson Neves
Academic documents
2013
The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems
(2013)
António Casimiro et al., with 7 authors including:
António Casimiro
Conference papers
2013
Towards Dependable Measurements in Coastal Sensors Networks
(2013)
Gonçalo Jesus
António Casimiro
Anabela Oliveira
Conference papers
2013
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks
(2013)
João Alves
António Casimiro
Luís Marques
Conference papers
2013
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
(2013)
Luís Marques
António Casimiro
Conference papers
2013
Safety Kernel for Cooperative Sensor-Based Systems
(2013)
Pedro Nóbrega da Costa
João Pedro Craveiro
António Casimiro
José Rufino
Conference papers
2012
Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
(2012)
Casimiro, A
Ghandi, R.
Araújo, F.
Books
2012
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
(2012)
Mônica Dixit
António Casimiro
Paolo Lolinni
Andrea Bondavalli
Paulo Veríssimo
Journal articles
2012
Replication for Dependability on Virtualized Cloud Environments
(2012)
Filipe Araujo
Raul Barbosa
António Casimiro
Conference papers
2012
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
(2012)
António Casimiro et al., with 9 authors including:
António Casimiro
Conference papers
2012
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
(2012)
Luís Marques
António Casimiro
Conference papers
2012
TRONE: Trustworthy and Resilient Operations in a Network Environment
(2012)
António Casimiro et al., with 11 authors including:
António Casimiro
Paulo Veríssimo
Conference papers
2012
A Secure Architecture for a Recursive Virtualization Environment
(2012)
Amir Soltani Nezhad
António Casimiro
Paulo Veríssimo
Conference papers
2012
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures
(2012)
Diego Kreutz
António Casimiro
Marcelo Pasin
Conference papers
2012
Timeout-based Adaptive Consensus: Improving Performance through Adaptation.
(2012)
Mônica Dixit
Henrique Moniz
António Casimiro
Conference papers
2012
Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks
(2012)
Luís Marques
António Casimiro
Other
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é
Academic documents
2011
From static to dynamic protocols: adapting timeouts for improved performance
(2011)
António Casimiro
Mônica Dixit
Conference papers
2011
Lightweight Dependable Adaptation for Wireless Sensor Networks
(2011)
Luís Marques
António Casimiro
Conference papers
2011
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
(2011)
Smruti Padhy
Diego Kreutz
António Casimiro
Marcelo Pasin
Conference papers
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
Academic documents
2011
MS IPTV audit collection services
(2011)
Antunes, Nuno Filipe Fernandes
Casimiro, António
Academic documents
2011
Support for Dependable and Adaptive Distributed Systems and Applications
(2011)
Dixit, Mônica Lopes Muniz Corrêa
Costa, António Casimiro Ferreira da
Academic documents
2011
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
(2011)
Padhy, S.
A. Casimiro
D. Kreutz
M. Pasin
Conference papers
2010
Architecting Dependable Systems VII
(2010)
António Casimiro
Rogério de Lemos
Cristina Gacek (Eds.)
Books
2010
Data Validity and Dependable Perception in Networked Sensor-Based Systems
(2010)
Luís Marques
António Casimiro
Conference papers
2010
Adaptare-FD: A dependability-oriented adaptive failure detector
(2010)
Mônica Dixit
António Casimiro
Conference papers
2010
Dependable Perception in Wireless Sensor Networks
(2010)
Luís Marques
António Casimiro
Conference papers
2010
Architecting Dependable Systems VII
(2010)
Casimiro, A.
Lemos, R.
Gacek, C.
Books
2010
Timeout Adaptive Consensus: Improving Performance through Adaptation
(2010)
Mônica Dixit
Henrique Moniz
António Casimiro
Other
2009
Applying architectural hybridization in networked embedded systems
(2009)
António Casimiro
José Rufino
Luís Marques
Mário Calha
Paulo Veríssimo
Conference papers
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
Conference papers
2009
Probabilistic Adaptive Time-Aware Consensus
(2009)
Mônica Dixit
António Casimiro
Paulo Veríssimo
Conference papers
2009
Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications
(2009)
Luís Marques
António Casimiro
Conference papers
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
Other
2008
A framework for dependable QoS adaptation in probabilistic environments
(2008)
António Casimiro
Paolo Lollini
Mônica Dixit
Andrea Bondavalli
Paulo Veríssimo
Conference papers
2008
Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
(2008)
Mônica Dixit
António Casimiro
Nuno Laranjeiro
Marco Vieira
Conference papers
2008
HIDENETS – Highly Dependable IP-based Networks and Services
(2008)
António Casimiro
Paulo Veríssimo
Other
2007
Revised reference model
(2007)
Arlat, J. et al., with 20 authors including:
Casimiro, António
Other
2007
Resilient architecture (preliminary version)
(2007)
Bondavalli, Andrea et al., with 14 authors including:
Casimiro, António
Other
2007
Use case scenarios and preliminary reference model
(2007)
Casimiro, António et al., with 8 authors including:
Casimiro, António
Other
2007
A framework for dependable adaptation in probabilistic environments
(2007)
Bondavalli, Andrea
Casimiro, António
Dixit, Mónica
Lolinni, Paolo
Veríssimo, Paulo
Other
2007
Towards Timely ACID Transactions in DBMS
(2007)
Marco Vieira
António C. Costa
Henrique Madeira
Conference papers
2007
Generic-Events Architecture: Integrating real-world aspects in event-based systems
(2007)
António Casimiro
Jörg Kaiser
Paulo Veríssimo
Book chapters
2007
Middleware Support for Time-Elastic Database Applications
(2007)
António Casimiro
Marco Vieira
Henrique Madeira
Conference papers
2007
Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
(2007)
Hans P. Reiser
António Casimiro
Conference papers
2007
Architecture and Implementation of an Embedded Wormhole
(2007)
Hugo Ortiz
António Casimiro
Paulo Veríssimo
Conference papers
2007
Towards Timely ACID Transactions in DBMS
(2007)
Marco Vieira
António Casimiro
Henrique Madeira
Conference papers
2006
On the development of dependable embedded applications using specialized wormholes
(2006)
Casimiro A.
O. Mendizabal
P. Veríssimo
Conference papers
2006
Towards Timely ACID Transactions in DBMS
(2006)
Vieira M.
A. Casimiro, H. Madeira.
Conference papers
2005
TACID Transactions
(2005)
Marco Vieira
António Casimiro
Henrique Madeira
Conference papers
2005
A New Programming Model for Dependable Adaptive Real-Time Applications
(2005)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Journal articles
2004
An Architectural Framework and a Middleware for Cooperating Smart Components
(2004)
António Casimiro
J. Kaiser
Paulo Veríssimo
Conference papers
2004
Timely ACID Transactions in DBMS
(2004)
Marco Vieira
António Casimiro
Henrique Madeira
Conference papers
2004
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
(2004)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Conference papers
2004
A Generic Temporal Consistency Model for Distributed Control Systems
(2004)
Pedro Martins
António Casimiro
Paulo Veríssimo
Conference papers
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
Other
2003
Timely Actions in the Presence of Uncertain Timeliness
(2003)
Casimiro, António
Academic documents
2003
An architecture to support interaction via Generic Events
(2003)
Paulo Veríssimo
Jorg Kaiser
António Casimiro
Conference papers
2003
Event-Driven Support of Real-Time Sentient Objects
(2003)
Paulo Veríssimo
António Casimiro
Conference papers
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
Other
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
Other
2003
Proof-of-concept prototypes
(2003)
Vinny Cahill, António Casimiro, Jorg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
Other
2002
The Timely Computing Base Model and Architecture
(2002)
P. Veríssimo
A. Casimiro
Journal articles
2002
Generic Timing Fault Tolerance using a Timely Computing Base
(2002)
A. Casimiro
P. Veríssimo
Conference papers
2002
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities
(2002)
P. Veríssimo et al., with 6 authors including:
P. Veríssimo
A. Casimiro
Conference papers
2002
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects
(2002)
P. Veríssimo et al., with 6 authors including:
A. Casimiro
Other
2001
Using the Timely Computing Base for Dependable QoS Adaptation
(2001)
Casimiro, António
Veríssimo, Paulo
Other
2001
Recent Advances on the Timely Computing Base Model
(2001)
A. Casimiro
M. Correia
Conference papers
2001
Measuring Distributed Durations with Stable Errors
(2001)
A. Casimiro
P. Martins
P. Veríssimo
L. Rodrigues
Conference papers
2001
Using the Timely Computing Base for Dependable QoS Adaptation
(2001)
A. Casimiro
P. Veríssimo
Conference papers
2001
Measuring distributed durations with stable errors
(2001)
A. Casimiro
P. Martins
P. Verissimo
L. Rodrigues
Conference papers
2001
Using the timely computing base for dependable QoS adaptation
(2001)
A. Casimiro
P. Verissimo
Conference papers
2000
How to build a timely computing base using real-time Linux
(2000)
A. Casimiro
P. Martins
P. Verissimo
Conference papers
2000
The timely computing base: Timely actions in the presence of uncertain timeliness
(2000)
P. Verissimo
A. Casimiro
C. Fetzer
Conference papers
2000
How to Build a Timely Computing Base using Real-Time Linux
(2000)
A. Casimiro
P. Martins
P. Veríssimo
Conference papers
2000
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
(2000)
P. Veríssimo et al., with 6 authors including:
P. Veríssimo
A. Casimiro
Conference papers
2000
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
(2000)
P. Veríssimo
A. Casimiro
C. Fetzer
Conference papers
2000
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
(2000)
P. Martins
A. Casimiro
Other
2000
Event Timestamping Tool: a simple PC based kernel to timestamp distributed events
(2000)
Casimiro, António
Martins, Pedro
Other
1999
The Timely Computing Base
(1999)
Paulo Veríssimo
António Casimiro
Other
1999
Timing Failure Detection with a Timely Computing Base
(1999)
António Casimiro
Paulo Veríssimo
Other
1999
Timing Failure Detection with a Timely Computing Base
(1999)
Casimiro, António
Veríssimo, Paulo
Other
1999
The Timely Computing Base
(1999)
Casimiro, António
Veríssimo, Paulo
Other
1999
Timing Failure Detection with a Timely Computing Base
(1999)
A. Casimiro
P. Veríssimo
Conference papers
1997
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems
(1997)
Paulo Veríssimo
Luís Rodrigues
Antonio Casimiro
Journal articles
1996
Distributed Industrial Information Systems: Design and Experience
(1996)
Paulo Veríssimo
Sérgio Melro
António Casimiro
Luís Silva
Book chapters
1995
Priority-Based Totally Ordered Multicast
(1995)
L. Rodrigues
P. Veríssimo
A. Casimiro
Conference papers
1993
Using atomic broadcast to implement a posteriori agreement for clock synchronization
(1993)
L. Rodrigues
P. Verissimo
A. Casimiro
Conference papers