António Casimiro

Conference Paper
Jesus, G., A. Casimiro, and A. Oliveira, "Dependable Outlier Detection in Harsh Environments Monitoring Systems", International Conference on Computer Safety, Reliability, and Security: Springer, pp. 224–233, 2018.
Conference Paper
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Conference Paper
Onica, R., N. Ferreira Neves, and A. Casimiro, "Fault-Tolerant Precision Time Protocol for Smart Grids", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Book Chapter
Vial, E., and A. Casimiro, "Evaluation of Safety Rules in a Safety Kernel-Based Architecture", Computer Safety, Reliability, and Security: Springer International Publishing, pp. 27–35, 2014.
Conference Paper
Casimiro, A., J. Rufino, R. Pinto, E. Vial, E. M. Schiller, O. Morales-Ponce, and T. Petig, "A kernel-based architecture for safe cooperative vehicular functions", Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
Journal Article
Araujo, F., S. Boychenko, R. Barbosa, and A. Casimiro, "Replica placement to mitigate attacks on clouds", Journal of Internet Services and Applications, vol. 5, no. 1: Springer London, pp. 1–13, 2014.
Conference Paper
Casimiro, A., O. Morales Ponce, T. Petig, and E. M. Schiller, "Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed", Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on: IEEE, pp. 167–176, 2014.
Conference Paper
Marques, L., and A. Casimiro, "Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models", Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on: IEEE, pp. 31–40, 2013.
Casimiro, A., J. Kaiser, E. M. Schiller, P. Costa( GMV), J. Parizi, R. Johansson, and R. Librino, "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: IEEE, pp. 1–12, 2013.
Book Chapter
Alves, J., A. Casimiro, and L. Marques, "Middleware support for adaptive real-time applications in wireless sensor networks", Dependable Computing: Springer Berlin Heidelberg, pp. 16–23, 2013.
Jesus, G. Joao Vitor, A. Casimiro, and A. Oliveira, "Towards Dependable Measurements in Coastal Sensors Networks", Dependable Computing: Springer Berlin Heidelberg, pp. 190–193, 2013.
Journal Article
Dixit, M., A. Casimiro, P. Lollini, A. Bondavalli, and P. Verissimo, "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 7, no. 2: ACM, pp. 18, 2012.
Book Chapter
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Conference Paper
Araujo, F., R. Barbosa, and A. Casimiro, "Replication for dependability on virtualized cloud environments", Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science: ACM, pp. 2, 2012.
Dixit, M., H. Moniz, and A. Casimiro, "Timeout-based adaptive consensus: improving performance through adaptation", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 492–497, 2012.
Book Chapter
Marques, L., and A. Casimiro, "Towards dependable and stable perception in smart environments with timing and value faults", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 151–161, 2012.
Conference Paper
Casimiro, A., P. Verissimo, D. Kreutz, F. Araujo, R. Barbosa, S. Neves, B. Sousa, M. Curado, C. Silva, R. Gandhi, et al., "TRONE: Trustworthy and resilient operations in a network environment", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Book Chapter
Kreutz, D., A. Casimiro, and M. Pasin, "A trustworthy and resilient event broker for monitoring cloud infrastructures", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 87–95, 2012.
Journal Article
Casimiro, A., and M. Dixit, "From static to dynamic protocols: adapting timeouts for improved performance", Proceedings of the 1st Workshop on Autonomic Distributed Systems, pp. 17–20, 2011.
Conference Paper
Marques, L., and A. Casimiro, "Lightweight dependable adaptation for wireless sensor networks", Reliable Distributed Systems Workshops (SRDSW), 2011 30th IEEE Symposium on: IEEE, pp. 26–35, 2011.
Padhy, S., D. Kreutz, A. Casimiro, and M. Pasin, "Trustworthy and resilient monitoring system for cloud infrastructures", Proceedings of the Workshop on Posters and Demos Track: ACM, pp. 3, 2011.
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
Conference Paper
Marques, L., and A. Casimiro, "Data validity and dependable perception in networked sensor-based systems", Reliable Distributed Systems, 2010 29th IEEE Symposium on: IEEE, pp. 358–362, 2010.
Book Chapter
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Journal Article
Marques, L., and A. Casimiro, "Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications", Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, 2009.
Conference Paper
Marques, L., A. Casimiro, and M. Calha, "Design and development of a proof-of-concept platooning application using the hidenets architecture", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 223–228, 2009.
Conference Paper
Casimiro, A., P. Lollini, M. Dixit, A. Bondavalli, and P. Verissimo, "A framework for dependable QoS adaptation in probabilistic environments", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2192–2196, 2008.
Journal Article
Dixit, M., A. Casimiro, N. Laranjeiro, and M. Vieira, "Using experimental measurements to assess dependable adaptation support mechanisms for timed transactions", Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with the 27th IEEE Symposium on Reliable Distributed Systems, vol. 77, 2008.
Conference Paper
Ortiz, H., A. Casimiro, and P. Verissimo, "Architecture and Implementation of an Embedded Wormhole", Industrial Embedded Systems, 2007. SIES'07. International Symposium on: IEEE, pp. 341–344, 2007.
Book Chapter
Casimiro, A., J. Kaiser, and P. Verissimo, "Generic-Events Architecture: Integrating real-world aspects in event-based systems", Architecting dependable systems IV: Springer Berlin Heidelberg, pp. 287–315, 2007.
Conference Paper
Moniz, H., N. Ferreira Neves, M. Correia, A. Casimiro, and P. Verissimo, "Intrusion tolerance in wireless environments: An experimental evaluation", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 357–364, 2007.
Journal Article
Casimiro, A., M. Vieira, and H. Madeira, "Middleware Support for Time-Elastic Database Applications", Supplemental Volume of the 2007 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 406–407, 2007.
Reiser, H. P., and A. Casimiro, "Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks", 4th International Workshop on Dependable Embedded Systems (WDES'07), Bejing, China, 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, A. Kövi, EV. Matthiesen, O. Mendizabal, H. Moniz, et al., Resilient architecture, , 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
Arlat, J., M. Kaaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, MO. Killijian, A. Kövi, et al., Revised reference model, : Department of Informatics, University of Lisbon, 2007.
Conference Paper
Casimiro, A., J. Kaiser, and P. Verissimo, "An architectural framework and a middleware for cooperating smart components", Proceedings of the 1st Conference on Computing Frontiers: ACM, pp. 28–39, 2004.
Martins, P., P. Sousa, A. Casimiro, and P. Venssimo, "Dependable adaptive real-time applications in wormhole-based systems", Dependable Systems and Networks, 2004 International Conference on: IEEE, pp. 567–572, 2004.
Journal Article
Martins, P., A. Casimiro, and P. Verissimo, A Generic Temporal Consistency Model for Distributed Control Systems, : WACERTS'04-Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004.
Vieira, M., A. Casimiro, and H. Madeira, "Timely ACID Transactions in DBMS", Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 102–103, 2004.
Verissimo, P., J. Kaiser, and A. Casimiro, "An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Sousa, P., P. Martins, A. Casimiro, and P. Verissimo, Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, : Department of Informatics, University of Lisbon, 2003.
Biegel, G., G. Blair, C. Brudna, V. Cahill, A. Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, et al., The CORTEX Programming Model, : Department of Informatics, University of Lisbon, 2003.
Biegel, G., G. Blair, V. Cahill, A. Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, et al., Definition of Application Scenarios, : Department of Informatics, University of Lisbon, 2003.
Conference Paper
Verissimo, P., and A. Casimiro, "Event-driven support of real-time sentient objects", Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on: IEEE, pp. 2–9, 2003.
Journal Article
Biegel, G., C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri, and P. Verissimo, Preliminary definition of CORTEX interaction model, : Department of Informatics, University of Lisbon, 2003.
Barron, P., G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, et al., Preliminary definition of CORTEX programming model, : Department of Informatics, University of Lisbon, 2003.
Brudna, C., V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier, and P. Verissimo, Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Blair, G., C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins, and P. Verissimo, Preliminary Specification of Basic Services and Protocols, : Department of Informatics, University of Lisbon, 2003.
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.
Casimiro, A., Timely Actions in the Presence of Uncertain Timeliness, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, Cortex: Towards supporting autonomous and cooperating sentient entities, , 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, : Department of Informatics, University of Lisbon, 2002.
Conference Paper
Casimiro, A., and P. Verissimo, "Generic timing fault tolerance using a timely computing base", Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on: IEEE, pp. 27–36, 2002.
Journal Article
Verissimo, P., and A. Casimiro, "The timely computing base model and architecture", Computers, IEEE Transactions on, vol. 51, no. 8: IEEE, pp. 916–930, 2002.
Conference Paper
Casimiro, A., P. Martins, P. Verissimo, and L. Rodrigues, "Measuring distributed durations with stable errors", Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE: IEEE, pp. 310–319, 2001.
Journal Article
Casimiro, A., and M. Correia, "Recent Advances on the Timely Computing Base Model", Fast Abstract at the International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001.
Conference Paper
Casimiro, A., and P. Verissimo, "Using the timely computing base for dependable qos adaptation", Reliable Distributed Systems, 2001. Proceedings. 20th IEEE Symposium on: IEEE, pp. 208–217, 2001.
Conference Paper
Casimiro, A., P. Martins, and P. Verissimo, "How to build a timely computing base using real-time linux", Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on: IEEE, pp. 127–134, 2000.
Verissimo, P., A. Casimiro, and C. Fetzer, "The timely computing base: Timely actions in the presence of uncertain timeliness", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on: IEEE, pp. 533–542, 2000.
Miscellaneous
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
Book Chapter
Verissimo, P., S. Melro, A. Casimiro, and L. Silva, "Distributed industrial information systems: design and experience", Balanced Automation Systems II: Springer US, pp. 175–190, 1996.
Conference Paper
Rodrigues, L., P. Verissimo, and A. Casimiro, "Priority-based totally ordered multicast", 3rd IFIP/IFAC workshop on Algorithms and Architectures for Real-Time Control (AARTC'95: Citeseer, 1995.
Conference Paper
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.