Source: http://lasige.di.fc.ul.pt/user/8/biblio?page=87&amp;s=type&amp;o=desc&amp;f%5Bauthor%5D=1229
Timestamp: 2019-04-19 10:51:19+00:00

Document:
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.
Cunha, J. Carlos, K. Castelo Branc, A. Casimiro, and U. Jose C. Nunes, "Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]", IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1: IEEE, pp. 6–7, 2017.
Nogueira, A., A. Casimiro, and A. Bessani, "Elastic State Machine Replication", IEEE Transactions on Parallel and Distributed Systems: IEEE, 2017.
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
Oliveira, A., A. Casimiro, and G. Joao Vitor Jesus, Ensuring Reliable Measurements In Remote Aquatic Sensor Networks, , 2015.
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.
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.
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.
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.
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.
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.
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
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.
Marques, L., and A. Casimiro, "Dependable Perception in Wireless Sensor Networks", Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, 2010.
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.
Casimiro, A., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
Nickelsen, A., H-P. Schwefel, L. Jesper Grønbæk, A. Casimiro, A. Kövi, H. P. Reiser, and T. Julien Renier, Service level resilience solutions for the infrastructure domain: HIDENETS D2. 2, : Department of Electronic Systems, Aalborg University Aalborg, 2008.
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.
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, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
de Bruin, I., A. Casimiro, L. Falai, P. Frejek, S. Heemstra de Groot, G. Huszerl, M. Kaaniche, MO. Killijian, R. Lippman, EV. Matthiesen, et al., "Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
Matthiesen, E. Vestergaar, M. Radimirsch, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, and L. Falai, Use case scenarios and preliminary reference model, : Department of Informatics, University of Lisbon, 2007.
Radimirsch, M., E. V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, L. Falai, HIDENETS. Consortium, and , "Use case scenarios and preliminary reference model", EU FP6 IST project HIDENETS, deliverable D, vol. 1, 2006.
Martins, P., P. Sousa, A. Casimiro, and P. Verissimo, "A new programming model for dependable adaptive real-time applications", Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
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.
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.
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.
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.
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.
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.
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.
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.
Verissimo, P., A. Casimiro, L. Miguel Pinho, F. Vasques, L. Rodrigues, and E. Tovar, Distributed computer-controlled systems: the DEAR-COTS approach, : IPP-Hurray Group, 2000.
Martins, P., and A. Casimiro, Event Timestamping Tool: a simple PC based kernel to timestamp distributed events, : Department of Informatics, University of Lisbon, 2000.
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.
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.
Casimiro, A., and P. Verissimo, Timing failure detection with a timely computing base, : Department of Informatics, University of Lisbon, 1999.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
Verissimo, P., L. Rodrigues, and A. Casimiro, "Cesiumspray: a precise and accurate global time service for large-scale systems", Real-Time Systems, vol. 12, no. 3: Kluwer Academic Publishers, pp. 243–294, 1997.
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.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
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.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.