António Casimiro

Cunha, J. Carlos, Branc K. Castelo, Casimiro A., & Nunes U. Jose C. (2017).  Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]. IEEE Intelligent Transportation Systems Magazine. 9, 6–7.
Nogueira, A., Casimiro A., & Bessani A. (2017).  Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems.
Casimiro, A., Gouveia I., & Rufino J. (2017).  Enforcing Timeliness and Safety in Mission-Critical Systems. Ada-Europe International Conference on Reliable Software Technologies. 53–69.
García-Valls, M., Casimiro A., & Reiser H. P. (2017).  A few open problems and solutions for software technologies for dependable distributed systems.
Cunha, J. Carlos, Branco K., Casimiro A., & Nunes U. (2017).  SSIV 2017 Welcome. Dependable Systems and Networks Workshop (DSN-W), 2017 47th Annual IEEE/IFIP International Conference on. 1–1.
Jesus, G., Casimiro A., & Oliveira A. (2017).  A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks. Sensors. 17, 2010.
Völp, M., Esteves-Verissimo P., Casimiro A., & Pellizzoni R. (2016).  the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems.
Cunha, J. Carlos, Branco K., Casimiro A., & Nunes U. (2016).  Introduction to SSIV 2016. Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. 161–161.
Oliveira, A., Casimiro A., & Jesus G. Joao Vitor (2015).  Ensuring Reliable Measurements In Remote Aquatic Sensor Networks.
Onica, R., Neves N. Ferreira, & Casimiro A. (2015).  Fault-Tolerant Precision Time Protocol for Smart Grids. Proceedings of the 7th Simposio de Informatica (INFORUM).
Johansson, R., Kaiser J., Casimiro A., Librino R., stberg K. Ö., Rufino J., et al. (2014).  An architecture pattern enabling safety at lower cost and with higher performance. Embedded Real Time Software and Systems Conference, Toulouse, France.
Vial, E., & Casimiro A. (2014).  Evaluation of Safety Rules in a Safety Kernel-Based Architecture. Computer Safety, Reliability, and Security. 27–35.
Casimiro, A., Rufino J., Pinto R., Vial E., Schiller E. M., Morales-Ponce O., et al. (2014).  A kernel-based architecture for safe cooperative vehicular functions. Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on. 228–237.
Araujo, F., Boychenko S., Barbosa R., & Casimiro A. (2014).  Replica placement to mitigate attacks on clouds. Journal of Internet Services and Applications. 5, 1–13.
Casimiro, A., Ponce O. Morales, Petig T., & Schiller E. M. (2014).  Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed. Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on. 167–176.
Casimiro, A. (2013).  D2. 5-Definition of failure modes and failure semantics.
Martins, R., Gandhi R., Narasimhan P., Pertet S., Casimiro A., Kreutz D., et al. (2013).  Experiences with fault-injection in a Byzantine fault-tolerant protocol. Middleware 2013. 41–61.
Marques, L., & Casimiro A. (2013).  Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models. Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on. 31–40.
Casimiro, A. (2013).  KARY N.
Casimiro, A., Kaiser J., Schiller E. M., GMV) P. Costa(, Parizi J., Johansson R., et al. (2013).  The karyon project: Predictable and safe coordination in cooperative vehicular systems. Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on. 1–12.
Alves, J., Casimiro A., & Marques L. (2013).  Middleware support for adaptive real-time applications in wireless sensor networks. Dependable Computing. 16–23.
Verissimo, P., Melro S., Casimiro A., & Silva L. (2013).  Systems: Design and Experience. Balanced Automation Systems II: Implementation challenges for anthropocentric manufacturing. 175.
Jesus, G. Joao Vitor, Casimiro A., & Oliveira A. (2013).  Towards Dependable Measurements in Coastal Sensors Networks. Dependable Computing. 190–193.
Dixit, M., Casimiro A., Lollini P., Bondavalli A., & Verissimo P. (2012).  Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 7, 18.
Casimiro, A., Kaiser J., Karlsson J., Schiller E. Michael, Tsigas P., Costa P., et al. (2012).  Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems. Stabilization, Safety, and Security of Distributed Systems. 232–235.